Search Results - Theory of computation Models of computation
-
1
Authors: Ouzeri, Adam Amine
Contributors: University/Department: Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística
Thesis Advisors: Arroyo Balaguer, Marino
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Active gels, Actomyosin cortex, Epithelial mechanics, Onsager’s variational principles, Deformable surfaces, Continuum mechanics, Dynamical systems, Vertex models, Finite element method, Àrees temàtiques de la UPC::Matemàtiques i estadística
File Description: application/pdf
-
2
Authors: Damian Arellanes
Source: Frontiers in Computer Science, Vol 7 (2025)
Subject Terms: models of computation, computability theory, high-level computation, compositionality, algebraic composition, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
3
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
4
Authors: PRESCOTT, EDWARD SIMPSON
Source: The Geneva Papers on Risk and Insurance Theory, 2003 Dec 01. 28(2), 105-130.
Access URL: https://www.jstor.org/stable/41953433
-
5
Authors:
Source: Structural Equation Modeling: A Multidisciplinary Journal. 2022 29(2):233-247.
Peer Reviewed: Y
Page Count: 15
-
6
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
7
Contributors: Steffen, Bernhard
Subject Terms: Open Access, artificial intelligence (AI), machine learning (ML), Natural Language Processing (NLP), industrial applications, deep learning (DL), AI systems, large language models, Verification, Model Checking, Dependable and Fault-Tolerant Systems and Networks, Models of Computation, Software Creation and Management, Probability and Statistics, Human-Computer Interaction (HCI), Collaborative and Social Computing, Mathematical theory of computation, Software Engineering, Expert systems / knowledge-based systems, Systems analysis and design, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Computer Science; Computer Science (R0)
-
8
Authors: Mallafré Muro, Celia
Contributors: University/Department: Universitat de Barcelona. Facultat de Física
Thesis Advisors: Pardo Martínez, Antonio, Femández Romero, Luis
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Ciències de la vida, Ciencias de la vida, Life sciences, Metabolòmica, Metabolómica, Metabolomics, Cicle de treball, Ciclo de trabajo, Workflow, Teoria de la computació, Teoría de la computación, Theory of computation, Ciències Experimentals i Matemàtiques
File Description: application/pdf
Access URL: http://hdl.handle.net/10803/691937
-
9
Authors: et al.
Contributors: et al.
Source: Journal of the ACM.
Subject Terms: FOS: Computer and information sciences, Theory of computation → Models of computation, Hyperclique Hypothesis, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Reachability, Computational Complexity (cs.CC), Computer Science - Computational Complexity, Fine-Grained Complexity, Coverability, ddc:004, k-Cycle Hypothesis, Exponential Time Hypothesis, Vector Addition System
File Description: application/pdf
-
10
Authors:
Source: Proceedings: Mathematical, Physical and Engineering Sciences, 2007 Jun 01. 463(2082), 1541-1561.
Access URL: https://www.jstor.org/stable/20209263
-
11
Authors: Dodig-Crnkovic, Gordana, 1955
Source: Minds and Machines. 21(2):301-322
Subject Terms: Philosophy, Filosofi, Other Computer and Information Science, Annan data- och informationsvetenskap, Computer and Information Sciences, Data- och informationsvetenskap (Datateknik), Computer Sciences, Datavetenskap (datalogi), Hypercomputing, Models of computation, Philosophy of computer science, Philosophy of computing, Philosophy of information, Theory of computation
Access URL: https://gup.ub.gu.se/publication/224931
-
12
Contributors:
Subject Terms: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
13
Contributors: Kline, K
Source: Conference: Presented at: Science Day 2005 Poster Abstracts: Theory and Computation, Livermore, CA (US), 05/23/2005--05/26/2005; Other Information: PBD: 25 Mar 2005
File Description: Medium: ED; Size: PDF-FILE: 7 ; SIZE: 81.5 KBYTES pages
-
14
-
15
Authors:
Resource Type: eBook.
Subjects: Hypergraphs, Artificial intelligence--Mathematics
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, MATHEMATICS / Probability & Statistics / General
PDF Full Text ePub Full Text -
16
Authors:
Resource Type: eBook.
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
PDF Full Text ePub Full Text -
17
Authors: et al.
Contributors: et al.
Source: 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 1-660, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)https://doi.org/10.4230/LIPIcs.ITP.2023
14th International Conference on Interactive Theorem Proving (ITP 2023)
https://hal.science/hal-04200527
14th International Conference on Interactive Theorem Proving (ITP 2023), Adam Naumowicz
René Thiemann, Jul 2023, Białystok, Poland. pp.21:1--17, ⟨10.4230/LIPIcs.ITP.2023.21⟩
https://mizar.uwb.edu.pl/ITP2023/program.htmlSubject Terms: Theory of computation → Models of computation, µ-recursive functions, computational contents, Coq, extraction, OCaml, Theory of computation → Functional constructs, Software and its engineering → Formal methods, Software and its engineering → Functional languages, Theory of computation → Higher order logic phrases Unbounded linear search, Theory of computation → Type theory, [INFO]Computer Science [cs]
Time: Białystok, Poland
-
18
Authors: et al.
Source: ACM Transactions on Cyber-Physical Systems, 8 (1), 1–23
Subject Terms: ddc:004, 0209 industrial biotechnology, Theory of computation: Models of computation: Interactive computation, DATA processing & computer science, 05 social sciences, Theory of computation: Models of computation: Timed and hybrid models, 0501 psychology and cognitive sciences, 02 engineering and technology, concepts and paradigms, Human-centered computing: Interaction design: Interaction design theory, CCS CONCEPTS
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Source: Bibliogr. przy rozdz.
Subject Terms: Algorytmy -- konferencje, Informatyka -- konferencje
-
20
Full Text Finder 
Nájsť tento článok vo Web of Science