Search Results - Theory of computation Models of computation Interactive computation
-
1
Authors:
Source: Journal of Chemical Education. 2025 102(6):2448-2453.
Peer Reviewed: Y
Page Count: 6
-
2
Authors:
Source: Zagadnienia Filozoficzne w Nauce, Iss 73, Pp 77-119 (2022)
Subject Terms: philosophy of computing, models of computation, interactive computing, computing mechanism, computational mechanistic explanation, Philosophy (General), B1-5802
File Description: electronic resource
-
3
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
-
4
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 4(HOPL)
Subject Terms: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), 4612 Software Engineering (for-2020), 4 Quality Education (sdg), Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education-Interactive learning environments, History of computingsHistory of programming languages, Computing educations- Computational thinking, Computing education programsDComputer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools- General programming languages, Imperative languages, Functional languages, Language featuressControl structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computations-Models of computation-computabilitys-, Lambda calculus, Recursive functions, Interactive computation., Logo, Lisp, Constructionism, Constructivism, turtle geometry, Education– Interactive learning environments, History of computing–History of programming languages, Computing education– Computational thinking, Computing education programs—Computer science education, Informal education, Computing literacy, K-12 education (ages 5-18), Software notations and tools–General programming languages, Imperative languages, Functional languages, Language features–Control structures, Data types and structures, Recursion, Procedures, functions and subroutines, Theory of computation–Models of computation— Computability–Lambda calculus, Recursive functions, Interactive computation., 4612 Software engineering (for-2020), 4613 Theory of computation (for-2020), 4903 Numerical and computational mathematics (for-2020)
File Description: application/pdf
-
5
-
6
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 -
7
-
8
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 -
9
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
-
10
-
11
Authors: Mingsheng Ying
Source: Theoretical Computer Science. 344:134-207
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal languages and automata, 0102 computer and information sciences, 01 natural sciences, algebraic semantics, regular languages, Theoretical Computer Science, Quantum computation, orthomodular lattice, Algebraic semantics, 0101 mathematics, Quantum logic, quantum logic, quantum computation, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), F.1.1, F.1.2, finite automata, Regular languages, Models of computation (Turing machines, etc.), Logic in Computer Science (cs.LO), Orthomodular lattice, Finite automata, Computer Science(all)
File Description: application/xml
Access URL: http://arxiv.org/abs/cs/0403041
https://arxiv.org/abs/cs/0403041
http://ieeexplore.ieee.org/document/1547240
https://opus.lib.uts.edu.au/bitstream/10453/8983/1/2008004750.pdf
https://opus.lib.uts.edu.au/handle/10453/8983
https://arxiv.org/pdf/cs/0403041v1
https://ieeexplore.ieee.org/document/1547240/ -
12
Authors: André van Tonder
Source: SIAM Journal on Computing. 33:1109-1135
Subject Terms: High Energy Physics - Theory, FOS: Computer and information sciences, Logic in computer science, Quantum Physics, Computer Science - Logic in Computer Science, models of computation, quantum computation, FOS: Physical sciences, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), lambda calculus, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), High Energy Physics - Theory (hep-th), linear logic, Quantum computation, 0101 mathematics, Functional programming and lambda calculus, Quantum Physics (quant-ph)
File Description: application/xml
-
13
Authors: et al.
Resource Type: eBook.
Subjects: Computer science
Categories: COMPUTERS / General
PDF Full Text -
14
Authors:
Source: Developmental Review. Sep 1999 19(3):389-414.
Peer Reviewed: Y
Page Count: 26
Descriptors: Brain, Cognitive Development, Developmental Psychology, Models, Research Tools, Theories
-
15
-
16
Authors:
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
PDF Full Text -
17
Contributors:
Subject Terms: Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, Mathematical theory of computation, Software Engineering, Artificial intelligence, Computer hardware
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
-
18
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science
PDF Full Text ePub Full Text -
19
Authors: Ivanova, Malinka
Source: Informatics in Education. 2020 19(2):257-282.
Peer Reviewed: Y
Page Count: 26
-
20
Authors:
Source: Minds & Machines; Mar2023, Vol. 33 Issue 1, p83-112, 30p, 2 Diagrams
Subject Terms: HUMAN-computer interaction, COMPUTABLE functions, TURING machines, COMPUTERS, COMPUTER engineering
Nájsť tento článok vo Web of Science 
Full Text Finder