Výsledky vyhledávání - Theory of computation Formal languages and automata theory Formalisms Rewrite systems

Cost Automata, Safe Schemes, and Downward Closures

Autoři: Barozzini, David Clemente, Lorenzo Colcombet, Thomas a další

Přispěvatelé: Barozzini, David Clemente, Lorenzo Colcombet, Thomas a další

Zdroj: Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020

Témata: FOS: Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Theory of computation → Logic and verification, 01 natural sciences, Automata, Regular cost functions, higher-order recursion schemes, Infinite trees, Cost logics, downward closure, safe recursion schemes, cost automata, 0202 electrical engineering, electronic engineering, information engineering, cost logics, ddc:004, Safe scheme, Theory of computation → Rewrite systems, downward closures

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2004.12187
https://fi.episciences.org/8485
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.109
https://hal.science/hal-03105650v1
https://doi.org/10.4230/lipics.icalp.2020.109
https://hal.science/hal-03105650v1/document

Correctness by construction and style preserving reconfigurations of system of systems

Autoři: Eichler, Cédric Drira, Khalil Monteil, Thierry a další

Přispěvatelé: Eichler, Cédric Drira, Khalil Monteil, Thierry a další

Zdroj: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. :1680-1686

Témata: [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], Système d'exploitation, Réseaux et télécommunications, 0102 computer and information sciences, 02 engineering and technology, Systèmes embarqués, 01 natural sciences, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Rewrite systems, Calcul parallèle, distribué et partagé, Grammars and context-free languages, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], Architectures Matérielles, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Formal languages and automata theory, Formalisms, Theory of computation

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-02652140/document
https://hal.archives-ouvertes.fr/hal-02652140
https://oatao.univ-toulouse.fr/22153/
https://dl.acm.org/doi/pdf/10.1145/3167132.3167312
https://dblp.uni-trier.de/db/conf/sac/sac2018.html#EichlerD0S18
https://hal.archives-ouvertes.fr/hal-02652140/document
https://doi.org/10.1145/3167132.3167312
https://oatao.univ-toulouse.fr/22153/
https://hal.science/hal-02652140v1

Theory of Computation and Application : Automata, Formal Languages, Computational Complexity

Autoři: Jena, S. R. Swain, S. K.

Resource Type: eBook.

Témata: Computable functions, Formal languages, Computer systems

Categories: COMPUTERS / Computer Science, SCIENCE / Physics / Mathematical & Computational

chemSKI with tokens: world building and economy in the SKI universe

Autoři: Buliga, Marius

Témata: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Formal Languages and Automata Theory (cs.FL), Computer Science - Neural and Evolutionary Computing, Computer Science - Formal Languages and Automata Theory, Neural and Evolutionary Computing (cs.NE)

Přístupová URL adresa: http://arxiv.org/abs/2306.00938

Language, Culture, Computation: Computing - Theory and Technology : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

Autoři: Nachum Dershowitz Ephraim Nissan

Resource Type: eBook.

Témata: Artificial intelligence, Natural language processing (Computer science), Information storage and retrieval systems, Computer science

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Speech & Audio Processing

Structured Noncommutative Multidimensional Linear Systems.

Autoři: Ball, Joseph A. Groenewald, Gilbert Malakorn, Tanit

Zdroj: SIAM Journal on Control & Optimization; 2005, Vol. 44 Issue 4, p1474, 55p

Témata: LINEAR differential equations, LINEAR systems, SYSTEMS theory, KALMAN filtering, CONTROL theory (Engineering), HANKEL operators, HANKEL functions

On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer.

Autoři: Constable, Robert L.

Zdroj: 2012 27th Annual IEEE Symposium on Logic in Computer Science; 1/ 1/2012, p2-8, 7p

The neurobiology of syntax: beyond string sets.

Autoři: Petersson, Karl Magnus Hagoort, Peter

Zdroj: Philosophical Transactions of the Royal Society B: Biological Sciences; 7/19/2012, Vol. 367 Issue 1598, p1971-1983, 13p

Témata: GRAMMAR, LANGUAGE acquisition, BRAIN physiology, INFORMATION theory, LEARNING theories in education, SYNTAX (Grammar), NEUROBIOLOGY, COMPUTATIONAL linguistics

A Second Course in Formal Languages and Automata Theory

Autoři: Jeffrey Shallit

Resource Type: eBook.

Témata: Machine theory, Formal languages

Categories: COMPUTERS / Languages / General

Constructor theory.

Autoři: Deutsch, David

Zdroj: Synthese; Dec2013, Vol. 190 Issue 18, p4331-4359, 29p

Témata: FUNDAMENTAL forces (Physics), PREDICTION models, MOTIVATION (Psychology), QUANTUM information theory, THERMODYNAMICS, VON Neumann architecture (Computers)

Frontiers of Combining Systems

Autoři: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Naoki Kobayashi James Worrell

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

Témata: Language acquisition, Language and languages--Study and teaching, Germanic languages--Syntax, Computational linguistics, Grammar, Comparative and general, Generative grammar, Government (Grammar)

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autoři: Ilya Sergey

Resource Type: eBook.

Témata: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Symbolic dynamics and computation in model gene networks.

Autoři: Edwards, R. Siegelmann, H. T. Aziza, K. a další

Zdroj: Chaos; Mar2001, Vol. 11 Issue 1, p160, 10p

Témata: GENETICS, BIOLOGICAL models

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

Témata: Language arts

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General