المؤلفون: Ganardi, Moses, Sağlam, Irmak, Zetzsche, Georg

المساهمون: Moses Ganardi and Irmak Sağlam and Georg Zetzsche

مصطلحات موضوعية: Subword, ideal, language, regular, context-free, equivalence, downward closure, compression

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); urn:nbn:de:0030-drops-197465; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.36Test

الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.36Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-197465Test

المؤلفون: Anand, Ashwani, Zetzsche, Georg

المساهمون: Ashwani Anand and Georg Zetzsche

مصطلحات موضوعية: downward closure, priority order, pushdown automata, non-deterministic finite automata, abstraction, computability

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023); urn:nbn:de:0030-drops-190339; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.39Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2023.39Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-190339Test

المؤلفون: Xuejian Zhao, Xinhui Zhang, Pan Wang, Songle Chen, Zhixin Sun

المصدر: IEEE Access, Vol 6, Pp 29271-29282 (2018)

مصطلحات موضوعية: Frequent itemset mining, weight judgment, downward closure property, intelligent decision, smart system, data mining, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/8368224Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/9139e22381534e7fa40a504f051fea5aTest

المؤلفون: Parys, Pawel

المساهمون: Pawel Parys

مصطلحات موضوعية: diagonal problem, higher-order recursion schemes, intersection types, downward closure

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 93, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017); urn:nbn:de:0030-drops-83757; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2017.45Test

الإتاحة: https://doi.org/10.4230/LIPIcs.FSTTCS.2017.45Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-83757Test

المؤلفون: Barozzini, David, Clemente, Lorenzo, Colcombet, Thomas, Parys, Paweł

المساهمون: Faculty of Mathematics, Informatics, and Mechanics Warsaw (MIMUW), University of Warsaw (UW), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Centre National de la Recherche Scientifique (CNRS), Université Paris Cité (UPCité), ANR-16-CE40-0007,DELTA,DÉfis pour la Logique, les Transducteurs et les Automates(2016), European Project: 670624,H2020,ERC-2014-ADG,DuaLL(2015)

المصدر: ISSN: 0169-2968.

مصطلحات موضوعية: Automata, Safe scheme, downward closure, Regular cost functions, Infinite trees, [INFO]Computer Science [cs]

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2004.12187; info:eu-repo/grantAgreement//670624/EU/Duality in Formal Languages and Logic - a unifying approach to complexity and semantics/DuaLL; hal-04324097; https://hal.science/hal-04324097Test; ARXIV: 2004.12187

الإتاحة: https://doi.org/10.3233/FI-222145Test
https://hal.science/hal-04324097Test

المؤلفون: Atig, Mohamed Faouzi, Meyer, Roland, Muskalla, Sebastian, Saivasan, Prakash

المساهمون: Mohamed Faouzi Atig and Roland Meyer and Sebastian Muskalla and Prakash Saivasan

مصطلحات موضوعية: Petri nets, BPP nets, downward closure, upward closure

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 83, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017); urn:nbn:de:0030-drops-81278; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2017.49Test

الإتاحة: https://doi.org/10.4230/LIPIcs.MFCS.2017.49Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-81278Test

المؤلفون: Clemente, Lorenzo, Parys, Paweł, Salvati, Sylvain, Walukiewicz, Igor

المساهمون: University of Warsaw (UW), Faculty of Mathematics, Informatics, and Mechanics Warsaw (MIMUW), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), IEEE

المصدر: LICS ; https://hal.archives-ouvertes.fr/hal-01394830Test ; LICS, Jun 2016, New York, United States. pp.96 - 105, ⟨10.1145/2933575.2934527⟩

مصطلحات موضوعية: downward closure, separability problem, diagonal prob- lem, higher-order recursion schemes, higher-order OI grammars, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: New York, United States

العلاقة: hal-01394830; https://hal.archives-ouvertes.fr/hal-01394830Test; https://hal.archives-ouvertes.fr/hal-01394830/documentTest; https://hal.archives-ouvertes.fr/hal-01394830/file/igw-lics16.pdfTest

الإتاحة: https://doi.org/10.1145/2933575.2934527Test
https://hal.archives-ouvertes.fr/hal-01394830Test
https://hal.archives-ouvertes.fr/hal-01394830/documentTest
https://hal.archives-ouvertes.fr/hal-01394830/file/igw-lics16.pdfTest

المؤلفون: Zetzsche, Georg

المساهمون: Georg Zetzsche

مصطلحات موضوعية: abstraction, downward closure, obstruction set, computability

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 30, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015); urn:nbn:de:0030-drops-49554; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2015.743Test

الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2015.743Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-49554Test

المؤلفون: Shaohong Yin, Yuanyuan Li

المصدر: International Journal of Engineering and Management Research. :154-158

مصطلحات موضوعية: China, Association rule learning, Computer science, Computer Science::Information Retrieval, Weighted Model, General Engineering, Downward closure property, Ordered FPTree, Weighted Ordered FP-Tree, Space (commercial competition), computer.software_genre, Data mining algorithm, Association Rules, Tree (data structure), Data Mining, Data mining, computer

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::874f01de4378dd03b9428577d5f8bd61Test
https://doi.org/10.31033/ijemr.9.5.22Test

المؤلفون: G. Srilatha, N. Subhash Chandra

المصدر: Materials Today: Proceedings.

مصطلحات موضوعية: 010302 applied physics, Computer science, Association (object-oriented programming), InformationSystems_DATABASEMANAGEMENT, Downward closure, 02 engineering and technology, 021001 nanoscience & nanotechnology, computer.software_genre, 01 natural sciences, Upper and lower bounds, 0103 physical sciences, Business decision mapping, Scalability, Embedding, Data mining, 0210 nano-technology, Database transaction, computer

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::033b3f88ad70426e67bb112d2f02b6ecTest
https://doi.org/10.1016/j.matpr.2020.12.1143Test