Výsledky vyhľadávania - Theory of computation, Models of computation
-
1
Autori: Ouzeri, Adam Amine
Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística
Thesis Advisors: Arroyo Balaguer, Marino
Zdroj: TDX (Tesis Doctorals en Xarxa)
Predmety: 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
Popis súboru: application/pdf
Prístupová URL adresa: http://hdl.handle.net/10803/690044
https://dx.doi.org/10.5821/dissertation-2117-402162 -
2
Autori: Damian Arellanes
Zdroj: Frontiers in Computer Science, Vol 7 (2025)
Predmety: models of computation, computability theory, high-level computation, compositionality, algebraic composition, Electronic computers. Computer science, QA75.5-76.95
Popis súboru: electronic resource
Relation: https://www.frontiersin.org/articles/10.3389/fcomp.2025.1564048/full; https://doaj.org/toc/2624-9898
Prístupová URL adresa: https://doaj.org/article/7d9f5de19bf04c55be5d19288c7a6c49
-
3
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
Relation: Lecture Notes in Computer Science
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101666
-
4
Autori: PRESCOTT, EDWARD SIMPSON
Zdroj: The Geneva Papers on Risk and Insurance Theory, 2003 Dec 01. 28(2), 105-130.
Prístupová URL adresa: https://www.jstor.org/stable/41953433
-
5
Autori:
Zdroj: Structural Equation Modeling: A Multidisciplinary Journal. 2022 29(2):233-247.
Peer Reviewed: Y
Počet strán: 15
-
6
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
Relation: Lecture Notes in Computer Science
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/89912
-
7
Prispievatelia: Steffen, Bernhard
Predmety: 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
Popis súboru: application/pdf
Relation: Lecture Notes in Computer Science; Computer Science; Computer Science (R0)
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/107646
-
8
Autori: Mallafré Muro, Celia
Prispievatelia: University/Department: Universitat de Barcelona. Facultat de Física
Thesis Advisors: Pardo Martínez, Antonio, Femández Romero, Luis
Zdroj: TDX (Tesis Doctorals en Xarxa)
Predmety: 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
Popis súboru: application/pdf
Prístupová URL adresa: http://hdl.handle.net/10803/691937
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Journal of the ACM.
Predmety: 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
Popis súboru: application/pdf
-
10
Autori:
Zdroj: Proceedings: Mathematical, Physical and Engineering Sciences, 2007 Jun 01. 463(2082), 1541-1561.
Prístupová URL adresa: https://www.jstor.org/stable/20209263
-
11
Autori: Dodig-Crnkovic, Gordana, 1955
Zdroj: Minds and Machines. 21(2):301-322
Predmety: 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
Prístupová URL adresa: https://gup.ub.gu.se/publication/224931
-
12
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
Relation: Lecture Notes in Computer Science
Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54027
-
13
Prispievatelia: Kline, K
Zdroj: 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
Popis súboru: Medium: ED; Size: PDF-FILE: 7 ; SIZE: 81.5 KBYTES pages
Prístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/15016424
-
14
-
15
-
16
Autori:
Typ zdroja: eBook.
Kategórie: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics
Plný text ve formátu PDF Plný text vo formáte ePub -
17
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: 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.htmlPredmety: 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
Autori: a ďalší
Zdroj: ACM Transactions on Cyber-Physical Systems, 8 (1), 1–23
Predmety: 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
Popis súboru: application/pdf
-
19
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Bibliogr. przy rozdz.
Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:3004355&theme=nukat
-
20
Autori:
Typ zdroja: eBook.
Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic
Plný text ve formátu PDF Plný text vo formáte ePub
Full Text Finder 
Nájsť tento článok vo Web of Science