Search Results - "Models of computation"
-
1
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)
-
2
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
-
3
Authors:
Source: IEEE Access, Vol 13, Pp 63918-63934 (2025)
-
4
Authors: et al.
Source: IEEE Access. 9:156337-156360
Subject Terms: Computational modeling, Runtime, Unified modeling language, Ontologies, Embedded systems, Adaptation models, Hardware, runtime reconfiguration, models of computation (MoC), domain ontology, mapping rules
File Description: print
-
5
Authors: Damian Arellanes
Source: Frontiers in Computer Science, Vol 7 (2025)
Subject Terms: FOS: Computer and information sciences, algebraic composition, models of computation, high-level computation, compositionality, Logic in Computer Science, F.1, Electronic computers. Computer science, computability theory, QA75.5-76.95, Logic in Computer Science (cs.LO)
-
6
Authors: et al.
Source: Communications of the ACM. 67:31-34
Subject Terms: Interactive computation, Artificial intelligence, Designing software, Models of computation, Artificial Intelligence and Robotics, Diversity & inclusion policies, Business Law, 02 engineering and technology, Implicit bias, Software creation and management, Diversity in the workplace, Public Responsibility, Human computer interaction (HCI), Computer software development, Artificial intelligence software, Human-centered computing, Machine learning, Graphics and Human Computer Interfaces, Software and its engineering, and Ethics, 0202 electrical engineering, electronic engineering, information engineering, Engineering Education, Interaction paradigms, Theory of computation
-
7
Authors: et al.
Source: Journal of the ACM. 71:1-48
Subject Terms: FOS: Computer and information sciences, TFNP, Networks and circuits as models of computation, circuit complexity, 0211 other engineering and technologies, 0102 computer and information sciences, 02 engineering and technology, Computational Complexity (cs.CC), 01 natural sciences, Approximation algorithms, Nash equilibrium, Computer Science - Computational Complexity, generalized circuit, Computer Science - Computer Science and Game Theory, 0202 electrical engineering, electronic engineering, information engineering, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), PPAD, Algorithmic game theory and complexity, approximation, Computer Science and Game Theory (cs.GT)
File Description: application/xml; text
-
8
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
-
9
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
-
10
Authors: et al.
Contributors: et al.
Source: Theory of Computing Systems. 69
Subject Terms: FOS: Computer and information sciences, Lattice problems, Quantum Physics, Networks and circuits as models of computation, circuit complexity, lattice problems, FOS: Physical sciences, Quantum algorithms and complexity in the theory of computing, Quantum computing, Computational Complexity (cs.CC), 01 natural sciences, quantum computing, Postselection, Computer Science - Computational Complexity, Quantum computation, 0103 physical sciences, postselection, ddc:004, Quantum Physics (quant-ph)
File Description: application/xml; application/pdf
-
11
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783031878961
Subject Terms: Memory optimization, Dataflow models of computation, Dataow, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Memory script, PAFG
File Description: application/pdf
Access URL: https://hal.science/hal-05117283v1
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Models of computation, Complexity theory, ddc:004, Formal neural networks
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: models of computation, tile assembly systems, self-assembly, ddc:004, noncooperative self-assembly
File Description: application/pdf
-
14
Authors: Lozhkin, S. A.
Source: Mathematical Notes. 115:748-754
Subject Terms: multiplexer, depth, Networks and circuits as models of computation, circuit complexity, Boolean functions, formula, individual complexity
File Description: application/xml
-
15
Authors:
Source: Discrete Mathematics and Applications. 34:103-115
Subject Terms: multiplexer, Switching theory, applications of Boolean algebras to circuits and networks, Networks and circuits as models of computation, circuit complexity, lookup function, 0101 mathematics, Boolean circuit, cellular circuit, 01 natural sciences, planar circuit, very large scale integration
File Description: application/xml
-
16
Authors: et al.
Contributors: et al.
Source: International Symposium on Principles and Practice of Declarative Programming. :1-9
Subject Terms: comonads, additive cellular automata, models of computation, cellular automata, graded monads, adjoint comonad-monad pairs, graded comonads
File Description: article 13
Access URL: https://hdl.handle.net/20.500.11815/4744
-
17
Authors:
Subject Terms: algebraic topology, models of computation, fiber bundle theory, non-locality and contextuality
File Description: application/pdf
Access URL: https://hdl.handle.net/20.500.11824/2088
-
18
Authors:
Source: ACM Transactions on Computational Logic. 25:1-26
Subject Terms: Streams, polynomials, differential equations, coalgebra, algebraic geometry, 0202 electrical engineering, electronic engineering, information engineering, Concurrency, Program reasoning, Models of computation, Symbolic and algebraic manipulation, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
19
Authors: et al.
Source: IEEE Access, Vol 12, Pp 80872-80883 (2024)
Subject Terms: bittide, FOS: Computer and information sciences, models of computation, Computer Science - Distributed, Parallel, and Cluster Computing, Formal Languages and Automata Theory (cs.FL), 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, Electrical engineering. Electronics. Nuclear engineering, Distributed, Parallel, and Cluster Computing (cs.DC), 02 engineering and technology, Distributed systems, Kahn process networks, TK1-9971
-
20
Authors: et al.
Contributors: et al.
Source: Symposium on Theoretical Aspects of Computer Science (STACS) ; https://hal.science/hal-04390697 ; Symposium on Theoretical Aspects of Computer Science (STACS), 2025, Jena, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025, ⟨10.4230/LIPIcs.STACS.2025.21⟩
Subject Terms: symbolic dynamics, Theory of computation → Models of computation, Mathematics of computing → Discrete mathematics, extender entropy, extender sets, tilings, subshifts, sofic shifts, computability, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]
Full Text Finder 
Nájsť tento článok vo Web of Science