Výsledky vyhledávání - abstract and (automatic OR automation) compatibility and recursion theory

A Bisimulation for Type Abstraction and Recursion.

Autoři: Sumii, Eijiro Pierce, Benjamin C.

Zdroj: Journal of the ACM; Oct2007, Vol. 54 Issue 5, p1-43, 43p, 3 Charts

Témata: RECURSION theory, LAMBDA calculus, MATHEMATICAL logic, RECURSIVE functions, ALGORITHMS, MATHEMATICAL analysis

Artificial Intelligence and Internet of Things Integration in Pharmaceutical Manufacturing: A Smart Synergy.

Autoři: Kodumuru, Reshma Sarkar, Soumavo Parepally, Varun a další

Zdroj: Pharmaceutics; Mar2025, Vol. 17 Issue 3, p290, 50p

Témata: ARTIFICIAL intelligence, DRUG discovery, MACHINE learning, DATA analytics, DIGITAL technology, DEEP learning

Computability Theory & Automata Theory

Autoři: Kristy Plante Tomas Jensen

Resource Type: eBook.

Témata: Computer science, Computable functions, Machine theory

Categories: MATHEMATICS / Logic, MATHEMATICS / Infinity

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

F-ing modules.

Autoři: ROSSBERG, ANDREAS RUSSO, CLAUDIO DREYER, DEREK

Zdroj: Journal of Functional Programming; Sep2014, Vol. 24 Issue 5, p529-607, 79p

Témata: MODULES (Algebra), MATHEMATICAL decomposition, FUNCTIONAL programming (Computer science), RECURSION theory, SUBSET selection, SEMANTIC computing

From Fieldwork to Linguistic Theory

Autoři: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

Témata: Language arts

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

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

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

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

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Theory and Applications of Ordered Fuzzy Numbers : A Tribute to Professor Witold Kosiński

Autoři: Piotr Prokopowicz Jacek Czerniak Dariusz Mikołajewski a další

Resource Type: eBook.

Témata: Management science, Computational intelligence, Engineering, Operations research, Automatic control

Categories: COMPUTERS / Artificial Intelligence / General, BUSINESS & ECONOMICS / Management Science, BUSINESS & ECONOMICS / Operations Research, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General)

The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for?.

Autoři: Climent Vidal, J. Soliveres Tur, J.

Zdroj: Archive for History of Exact Sciences; Mar2018, Vol. 72 Issue 2, p99-141, 43p

Témata: RECURSION theory, REASONING, ETHNOMATHEMATICS, UNIVERSAL algebra

People: DEDEKIND, Richard, 1831-1916

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

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

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

The Nexus Framework: A Comprehensive Analysis of its Recursive Harmonic Principles and Unifying Potential

Autoři: Kulik, Dean

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 II

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

Topological aspects of numberings.

Autoři: Menzel, Wolfram Stephan, Frank

Zdroj: Mathematical Logic Quarterly; Mar2003, Vol. 49 Issue 2, p129-149, 21p

Témata: RECURSION theory, HIERARCHIES (Recursion theory), MATHEMATICAL logic, METRIC system, ARITHMETIC, TOPOLOGY, SET theory

TYPE-CHECKING LIVENESS FOR COLLABORATIVE PROCESSES WITH BOUNDED AND UNBOUNDED RECURSION.

Autoři: DEBOIS, SØREN HILDEBRANDT, THOMAS SLAATS, TIJS a další

Zdroj: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 1, p1-38, 38p

Témata: RECURSION theory, MATHEMATICAL bounds, CALCULUS, BRANCHING processes, MESSAGE passing (Computer science)

Engines of Order : A Mechanology of Algorithmic Techniques

Autoři: Bernhard Rieder

Resource Type: eBook.

Categories: COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, PHILOSOPHY / Epistemology

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

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

16th International Symposium on Advanced Vehicle Control : Proceedings of AVEC’24 – Society of Automotive Engineers of Japan

Autoři: Giampiero Mastinu Francesco Braghin Federico Cheli a další

Resource Type: eBook.

Témata: Automobiles--Collision avoidance systems--Congresses, Automobiles--Automatic control--Congresses, Automobiles--Design and construction--Congresses, Automobiles--Dynamics--Congresses

Categories: TRANSPORTATION / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Automotive, TECHNOLOGY & ENGINEERING / Civil / Highway & Traffic