المؤلفون: Charlier, Emilie, Kreczman, Savinien

المصدر: Actes de Numeration 2023 (2023); Numeration 2023, Liège, Belgium [BE], du 22 mai 2023 au 26 mai 2023

مصطلحات موضوعية: linear numeration systems, regular languages, dominant root, Hollander, Physical, chemical, mathematical & earth Sciences, Mathematics, Physique, chimie, mathématiques & sciences de la terre, Mathématiques

الوصول الحر: https://orbi.uliege.be/handle/2268/317122Test

المؤلفون: Cotumaccio, Nicola

مصطلحات موضوعية: Generalized Automata, Myhill-Nerode Theorem, Regular Languages, Wheeler Graphs, FM-index, Burrows-Wheeler Transform, Theory of computation → Regular languages, Theory of computation → Pattern matching, Theory of computation → Data compression

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

العلاقة: https://dx.doi.org/10.4230/LIPIcs.STACS.2024Test; https://dx.doi.org/10.1109/DCC52660.2022.00013Test; https://dx.doi.org/10.1137/1.9781611975994.55Test; https://dx.doi.org/10.1016/j.ic.2021.104820Test; https://dx.doi.org/10.1006/jagm.1999.1063Test; https://dx.doi.org/10.1007/s11047-022-09882-6Test; https://dx.doi.org/10.1089/cmb.2012.0021Test; https://dx.doi.org/10.4230/LIPIcs.ESA.2023.15Test; https://dx.doi.org/10.1109/DCC55655.2023.00023Test; https://dx.doi.org/10.1109/DCC52660.2022.00035Test; https://dx.doi.org/10.4230/LIPIcs.ISAAC.2023.22Test; https://dx.doi.org/10.1145/3607471Test; https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.55Test; https://dx.doi.org/10.1145/3588334Test; https://dx.doi.org/10.4230/LIPIcs.ISAAC.2021.20Test; https://dx.doi.org/10.1007/s00453-022-01007-wTest

الإتاحة: https://doi.org/10.4230/lipics.stacs.2024.2610.4230/LIPIcs.STACS.202410.1109/DCC52660.2022.0001310.1137/1.9781611975994.5510.1016/j.ic.2021.10482010.1006/jagm.1999.106310.1007/s11047-022-09882-610.1089/cmb.2012.002110.4230/LIPIcs.ESA.2023.1510.1109/DCC55655.2023.0002310.1109/DCC52660.2022.0003510.4230/LIPIcs.ISAAC.2023.2210.1145/360747110.4230/LIPIcs.ICALP.2019.5510.1145/358833410.4230/LIPIcs.ISAAC.2021.2010.1007/s00453-022-01007-wTest

المؤلفون: Moreau, Vincent, Nguyễn, Lê Thành Dũng

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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é), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Lê Thành D˜ung (Tito) Nguy ˜ên: Supported by the LABEX MILYON (ANR-10-LABX-0070)of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operatedby the French National Research Agency (ANR), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), ANR-11-IDEX-0007,Avenir L.S.E.,PROJET AVENIR LYON SAINT-ETIENNE(2011)

المصدر: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://hal.science/hal-04447910Test
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩

مصطلحات موضوعية: Simple types, Denotational semantics, Logical relations, Regular languages, [INFO]Computer Science [cs]

جغرافية الموضوع: Naples, Italy

العلاقة: hal-04447910; https://hal.science/hal-04447910Test; https://hal.science/hal-04447910/documentTest; https://hal.science/hal-04447910/file/article.pdfTest

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.40Test
https://hal.science/hal-04447910Test
https://hal.science/hal-04447910/documentTest
https://hal.science/hal-04447910/file/article.pdfTest

المؤلفون: Place, Thomas, Zeitoun, Marc

المساهمون: Thomas Place and Marc Zeitoun

مصطلحات موضوعية: Classes of regular languages, Generalized unary temporal logic, Generalized two-variable first-order logic, Generic decidable characterizations, Membership, Separation

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

العلاقة: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); urn:nbn:de:0030-drops-196888; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.45Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.45Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-196888Test

المؤلفون: Mereghetti, C, Palano, B, Raucci, P

المساهمون: C. Mereghetti, B. Palano, P. Raucci

مصطلحات موضوعية: quantum finite state automata, periodic stochastic event, unary regular languages, Settore INF/01 - Informatica

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001171387000001; volume:14; issue:4; firstpage:1; lastpage:30; numberofpages:30; journal:APPLIED SCIENCES; https://hdl.handle.net/2434/1045868Test

الإتاحة: https://doi.org/10.3390/app14041490Test
https://hdl.handle.net/2434/1045868Test

المؤلفون: Carlo Mereghetti, Beatrice Palano, Priscilla Raucci

المصدر: Applied Sciences, Vol 14, Iss 4, p 1490 (2024)

مصطلحات موضوعية: quantum finite state automata, periodic stochastic events, unary regular languages, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/2076-3417/14/4/1490Test; https://doaj.org/toc/2076-3417Test

الوصول الحر: https://doaj.org/article/26bcdaa8965a41ac83a757631010faadTest

المؤلفون: Henriksson, Viktor

مصطلحات موضوعية: monoids, semigroups, logic, pointlikes, conelikes, forbidden patterns, rankers, Trotter-Weil hierarchy, ranker comparisons, first order logic, FO2, Carton-Michel automata, regular languages, varieties, separation, covering

الوصول الحر: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.846986Test

المؤلفون: Kaelbling, Philip, Lambert, Dakotah, Heinz, Jeffrey

المساهمون: Wesleyan University, Laboratoire Hubert Curien (LHC), Institut d'Optique Graduate School (IOGS)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Stony Brook University SUNY (SBU), State University of New York (SUNY), Support was granted from the Data + Computing = Discovery summer REU program at the Institute for Advanced Computational Science at Stony Brook University, supported by the NSF under award 1950052, Henning Fernau, Philipp Kindermann, Zhidan Feng, Kevin Mann

المصدر: Lecture Notes in Computer Science ; 24th International Symposium Fundamentals of Computation Theory ; https://hal.science/hal-04237264Test ; 24th International Symposium Fundamentals of Computation Theory, Henning Fernau; Philipp Kindermann; Zhidan Feng; Kevin Mann, Sep 2023, Trier, Germany. pp.276-290, ⟨10.1007/978-3-031-43587-4_20⟩

مصطلحات موضوعية: identification in the limit, grammatical inference, regular languages, model theory, locally testable, piecewise testable, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: Trier, Germany

العلاقة: hal-04237264; https://hal.science/hal-04237264Test; https://hal.science/hal-04237264/documentTest; https://hal.science/hal-04237264/file/main.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-031-43587-4_20Test
https://hal.science/hal-04237264Test
https://hal.science/hal-04237264/documentTest
https://hal.science/hal-04237264/file/main.pdfTest

المؤلفون: Feinstein, Yoav, Kupferman, Orna

المساهمون: Yoav Feinstein and Orna Kupferman

مصطلحات موضوعية: Regular Languages, Probability, Monotonicity, Automata

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

العلاقة: Is Part Of LIPIcs, Volume 284, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023); urn:nbn:de:0030-drops-193998; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.26Test

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

المؤلفون: Adamson, Duncan, Fleischmann, Pamela, Huch, Annika, Koß, Tore, Manea, Florin, Nowotka, Dirk

المساهمون: Duncan Adamson and Pamela Fleischmann and Annika Huch and Tore Koß and Florin Manea and Dirk Nowotka

مصطلحات موضوعية: String Algorithms, Regular Languages, Finite Automata, Subsequences

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

العلاقة: Is Part Of LIPIcs, Volume 283, 34th International Symposium on Algorithms and Computation (ISAAC 2023); urn:nbn:de:0030-drops-193064; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2023.4Test

الإتاحة: https://doi.org/10.4230/LIPIcs.ISAAC.2023.4Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-193064Test