Výsledky vyhledávání - Theory of computation Models of computation Abstract machinery~

Theory of computation on abstract/concrete computer automata

Autoři: Karel Culik

Zdroj: ACM SIGACT News. 14:21-35

Témata: abstract finite computer automata, concrete arithmetic automata, finite computer arithmetics, Specification and verification (program logics, model checking, etc.), computation theory, programming languages, 0202 electrical engineering, electronic engineering, information engineering, correctness of programs, concrete computer automaton, Formal languages and automata, 02 engineering and technology, Models of computation (Turing machines, etc.), infinite computer automata

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/3902040
https://dl.acm.org/doi/10.1145/1008892.1008894

Computing frequency response of non‐parametric uncertainty model of MIMO systems using υ‐gap metric optimization

Autoři: Seyed Masoud Tabibian Mohammad Ataei Hamid Reza Koofigar

Zdroj: IET Control Theory & Applications, Vol 15, Iss 8, Pp 1115-1125 (2021)

Témata: Optimisation techniques, Algebra, Control system analysis and synthesis methods, Stability in control theory, Optimal control, Control engineering systems. Automatic machinery (General), TJ212-225

Popis souboru: electronic resource

Relation: https://doaj.org/toc/1751-8644; https://doaj.org/toc/1751-8652

Přístupová URL adresa: https://doaj.org/article/064075653f6e4aabaa8ea4fe3c8b51ad

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

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

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Autoři: Christel Baier Ugo Dal Lago

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 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

Autoři: Parosh Aziz Abdulla Delia Kesner

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

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

Towards a Unified Theory of Implementation

Autoři: Wiggershaus, Nick

Témata: History of Philosophy of Science, Preprint, NonPeerReviewed

URL: https://philsci-archive.pitt.edu/22100/1/UTAI_May%202023.pdf
https://philsci-archive.pitt.edu/22100/
https://philsci-archive.pitt.edu/22100

Classical and quantum structures in computation

Autoři: Wester, Linde Abramsky, Samson Vicary, Jamie

Přispěvatelé: Wester, Linde Abramsky, Samson Vicary, Jamie

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.847224

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024)

Autoři: Jaime Caro Shigeki Hagihara Shin-ya Nishizaki a další

Resource Type: eBook.

Témata: Computer science

Categories: COMPUTERS / General

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)

Autoři: Jaime Caro Shigeki Hagihara Shin-ya Nishizaki a další

Resource Type: eBook.

Témata: Computational complexity--Congresses, Computer science--Congresses

Categories: COMPUTERS / General

Foundations of Software Science and Computation Structures

Autoři: Patricia Bouyer Lutz Schröder

Resource Type: eBook.

Témata: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems

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

Exploring Minds: Modes of Modeling and Simulation in Artificial Intelligence.

Autoři: Greif, Hajo

Zdroj: Perspectives on Science; 8/20/2021, Vol. 29 Issue 4, p409-435, 27p

Témata: ANALOGY, ARTIFICIAL intelligence, IMITATIVE behavior, SIMULATION methods & models, MODEL theory, ISOMORPHISM (Mathematics)

PDE‐constrained model predictive control of open‐channel systems

Autoři: Yongfang Xie Ningjun Zeng Shaohui Zhang a další

Zdroj: IET Control Theory & Applications, Vol 18, Iss 2, Pp 160-170 (2024)

Témata: constraint handling, partial differential equations, predictive control, Control engineering systems. Automatic machinery (General), TJ212-225

Popis souboru: electronic resource

Relation: https://doaj.org/toc/1751-8644; https://doaj.org/toc/1751-8652

Přístupová URL adresa: https://doaj.org/article/72a182f46b084f4cb7bc68dce70744f2

Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 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: Orna Kupferman Pawel Sobocinski

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science

Adaptive stochastic model predictive control of linear systems using Gaussian process regression

Autoři: Fei Li Huiping Li Yuyao He

Zdroj: IET Control Theory & Applications, Vol 15, Iss 5, Pp 683-693 (2021)

Témata: Optimisation techniques, Other topics in statistics, Linear control systems, Stability in control theory, Optimal control, Self-adjusting control systems, Control engineering systems. Automatic machinery (General), TJ212-225

Popis souboru: electronic resource

Relation: https://doaj.org/toc/1751-8644; https://doaj.org/toc/1751-8652

Přístupová URL adresa: https://doaj.org/article/0e9bb5fadc2044fb91e4f7d9d64c424c

Study of micro‐elongated thermoelastic medium loaded with a piezoelectric layer under the influence of gravity using the dual‐phase‐lag model

Autoři: Mohamed I. A. Othman Ebtesam E. M. Eraki Mohamed F. Ismail

Zdroj: International Journal of Mechanical System Dynamics, Vol 3, Iss 2, Pp 136-145 (2023)

Témata: piezoelectrics, normal mode analysis, gravity, micro‐elongated thermoelastic, DPL model, Mechanical engineering and machinery, TJ1-1570, Systems engineering, TA168

Popis souboru: electronic resource

Relation: https://doaj.org/toc/2767-1402

Přístupová URL adresa: https://doaj.org/article/7a7267c341824def95b1fbb44b297f7f

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Stefan Kiefer Christine Tasson

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing

Sublinear Computation Paradigm

Autoři: Naoki Katoh Yuya Higashikawa Hiro Ito a další

Resource Type: eBook.

Témata: Computer algorithms--Mathematics, Big data

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

Models and Theories : A Philosophical Inquiry

Autoři: Roman Frigg

Resource Type: eBook.

Témata: Science--Methodology, Science--Philosophy

Categories: PHILOSOPHY / General

Transcending Turing Computability.

Autoři: MaClennan, B. J.

Zdroj: Minds & Machines; Feb2003, Vol. 13 Issue 1, p3-22, 20p

Témata: TURING machines, COMPUTATIONAL complexity, ARTIFICIAL neural networks, ANALOG computer simulation, INFORMATION processing, THEORY of knowledge