Suchergebnisse - Theory of computation Models of computation Abstract machinery

Theory of computation on abstract/concrete computer automata

Autoren: Karel Culik

Quelle: ACM SIGACT News. 14:21-35

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

Autoren: Seyed Masoud Tabibian Mohammad Ataei Hamid Reza Koofigar

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

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

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/064075653f6e4aabaa8ea4fe3c8b51ad

Foundations of Software Science and Computation Structures

Autoren: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

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

Autoren: Christel Baier Ugo Dal Lago

Resource Type: eBook.

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

Autoren: Parosh Aziz Abdulla Delia Kesner

Resource Type: eBook.

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

Autoren: Naoki Kobayashi James Worrell

Resource Type: eBook.

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

Autoren: Wiggershaus, Nick

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

Autoren: Wester, Linde Abramsky, Samson Vicary, Jamie

Weitere Verfasser: Wester, Linde Abramsky, Samson Vicary, Jamie

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

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

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

Resource Type: eBook.

Schlagworte: Computer science

Categories: COMPUTERS / General

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

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

Resource Type: eBook.

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

Categories: COMPUTERS / General

Foundations of Software Science and Computation Structures

Autoren: Patricia Bouyer Lutz Schröder

Resource Type: eBook.

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

Autoren: Greif, Hajo

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

Schlagwörter: ANALOGY, ARTIFICIAL intelligence, IMITATIVE behavior, SIMULATION methods & models, MODEL theory, ISOMORPHISM (Mathematics)

PDE‐constrained model predictive control of open‐channel systems

Autoren: Yongfang Xie Ningjun Zeng Shaohui Zhang et al.

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

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

Dateibeschreibung: electronic resource

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

Zugangs-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

Autoren: Orna Kupferman Pawel Sobocinski

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science

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

Autoren: Fei Li Huiping Li Yuyao He

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

Schlagwörter: 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

Dateibeschreibung: electronic resource

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

Zugangs-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

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

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

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

Dateibeschreibung: electronic resource

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

Zugangs-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

Autoren: Stefan Kiefer Christine Tasson

Resource Type: eBook.

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

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

Sublinear Computation Paradigm

Autoren: Naoki Katoh Yuya Higashikawa Hiro Ito et al.

Resource Type: eBook.

Schlagworte: Computer algorithms--Mathematics, Big data

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

Models and Theories : A Philosophical Inquiry

Autoren: Roman Frigg

Resource Type: eBook.

Schlagworte: Science--Methodology, Science--Philosophy

Categories: PHILOSOPHY / General

Transcending Turing Computability.

Autoren: MaClennan, B. J.

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

Schlagwörter: TURING machines, COMPUTATIONAL complexity, ARTIFICIAL neural networks, ANALOG computer simulation, INFORMATION processing, THEORY of knowledge