Search Results - Theory of computation Models of computation Abstract machinery*

Theory of computation on abstract/concrete computer automata

Authors: Karel Culik

Source: ACM SIGACT News. 14:21-35

Subject Terms: 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

File Description: application/xml

Access URL: 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

Authors: Seyed Masoud Tabibian Mohammad Ataei Hamid Reza Koofigar

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

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

File Description: electronic resource

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

Access URL: https://doaj.org/article/064075653f6e4aabaa8ea4fe3c8b51ad

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Subjects: 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

Authors: Christel Baier Ugo Dal Lago

Resource Type: eBook.

Subjects: 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

Authors: Parosh Aziz Abdulla Delia Kesner

Resource Type: eBook.

Subjects: 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

Authors: Naoki Kobayashi James Worrell

Resource Type: eBook.

Subjects: 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

Authors: Wiggershaus, Nick

Index Terms: 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

Authors: Wester, Linde Abramsky, Samson Vicary, Jamie

Contributors: Wester, Linde Abramsky, Samson Vicary, Jamie

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.847224

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

Authors: Jaime Caro Shigeki Hagihara Shin-ya Nishizaki et al.

Resource Type: eBook.

Subjects: Computer science

Categories: COMPUTERS / General

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

Authors: Jaime Caro Shigeki Hagihara Shin-ya Nishizaki et al.

Resource Type: eBook.

Subjects: Computational complexity--Congresses, Computer science--Congresses

Categories: COMPUTERS / General

Foundations of Software Science and Computation Structures

Authors: Patricia Bouyer Lutz Schröder

Resource Type: eBook.

Subjects: 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.

Authors: Greif, Hajo

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

Subject Terms: ANALOGY, ARTIFICIAL intelligence, IMITATIVE behavior, SIMULATION methods & models, MODEL theory, ISOMORPHISM (Mathematics)

PDE‐constrained model predictive control of open‐channel systems

Authors: Yongfang Xie Ningjun Zeng Shaohui Zhang et al.

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

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

File Description: electronic resource

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

Access URL: 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

Authors: Orna Kupferman Pawel Sobocinski

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science

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

Authors: Fei Li Huiping Li Yuyao He

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

Subject Terms: 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

File Description: electronic resource

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

Access URL: 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

Authors: Mohamed I. A. Othman Ebtesam E. M. Eraki Mohamed F. Ismail

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

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

File Description: electronic resource

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

Access URL: 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

Authors: Stefan Kiefer Christine Tasson

Resource Type: eBook.

Subjects: Software engineering--Congresses, Computer software--Congresses

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

Sublinear Computation Paradigm

Authors: Naoki Katoh Yuya Higashikawa Hiro Ito et al.

Resource Type: eBook.

Subjects: Computer algorithms--Mathematics, Big data

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

Models and Theories : A Philosophical Inquiry

Authors: Roman Frigg

Resource Type: eBook.

Subjects: Science--Methodology, Science--Philosophy

Categories: PHILOSOPHY / General

Transcending Turing Computability.

Authors: MaClennan, B. J.

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

Subject Terms: TURING machines, COMPUTATIONAL complexity, ARTIFICIAL neural networks, ANALOG computer simulation, INFORMATION processing, THEORY of knowledge