Search Results - "Computability"
-
1
Authors: et al.
Source: Annals of Pure and Applied Logic. 176(8)
Subject Terms: Pure Mathematics, Mathematical Sciences, Generic computability, Coarse computability, Linear ordering, Sigma alpha elementary substructure, Computation Theory and Mathematics, General Mathematics, Theory of computation, Applied mathematics, Pure mathematics
File Description: application/pdf
-
2
Authors:
Source: Innovations. 2025, N° 78(3), p. 155-170.
-
3
Authors: Christian Choffrut
Source: International Journal of Foundations of Computer Science. 36:269-283
Subject Terms: Presburger arithmetic, Theory of computing, Model theory, multiautomata, communication complexity, finite two-way automata, unary languages, Computability and recursion theory
File Description: application/xml
-
4
Authors:
Source: International Journal of Foundations of Computer Science. 36:247-267
Subject Terms: Theory of computing, leftmost derivations, Computability and recursion theory, Computer science, cooperating distributed grammar systems
File Description: application/xml
-
5
Authors:
Source: The Journal of Symbolic Logic. 90:364-390
Subject Terms: inner model theory, Large cardinals, Other aspects of forcing and Boolean-valued models, Inner models, including constructibility, ordinal definability, and core models, 03E45, 03E55, 03D60, 03E40, FOS: Mathematics, admissibility, Mathematics - Logic, 0101 mathematics, Logic (math.LO), 01 natural sciences, Computability and recursion theory on ordinals, admissible sets, etc
File Description: application/xml
Access URL: http://arxiv.org/abs/2207.06136
-
6
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)
-
7
Authors:
Source: Logical Methods in Computer Science. 21
Subject Terms: FOS: Computer and information sciences, Logic in computer science, Computer Science - Logic in Computer Science, higher-order computability, strong negation, constructive mathematics, Mathematics - Logic, 0102 computer and information sciences, Computer science, 01 natural sciences, Logic in Computer Science (cs.LO), Higher order computability, constructive mathematics, strong negation, FOS: Mathematics, 0101 mathematics, Logic (math.LO)
File Description: application/xml
-
8
Authors: Rosich Oliva, Albert
Contributors: University/Department: Universitat Politècnica de Catalunya. Institut d'Organització i Control de Sistemes Industrials
Thesis Advisors: Sarrate Estruch, Ramon, Nejjari, Fatiha
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Optimal sensor placement, Fault diagnosis, Faul detection and isolation, Structural analysis, Minimal dedundant sub-models, Binary integer programing, Causal computability, Fuel cell stack system
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Source: Leibniz International Proceedings in Informatics
8:1-8:17Subject Terms: FOS: Computer and information sciences, F.2.2, I.5.3, VDP::Algoritmer og beregnbarhetsteori: 422, overlapping clustering, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), 05C85, approximation, VDP::Algorithms and computability theory: 422, Complexity Theory, parameterized complexity, Algoritmer og beregnbarhetsteori: 422 [VDP], Social and Information Networks (cs.SI), Algorithms and computability theory: 422 [VDP], Computer Science - Social and Information Networks, Algoritmer, Grafteori, Graph theory, cluster editing, graph modification, ddc:004, Algorithms, Kompleksitetsteori
File Description: application/pdf
-
10
Authors: et al.
Source: Scientific Reports, Vol 15, Iss 1, Pp 1-9 (2025)
Subject Terms: Artificial intelligence, Ai safety, Computability, Decidability, Halting problem, Medicine, Science
File Description: electronic resource
Relation: https://doaj.org/toc/2045-2322
-
11
Authors: Hansson, Sven Ove
Source: Philosophy & Technology. 33(1):117-139
Subject Terms: Computability, Computer technology, Geometrical building construction, Mathematics, Technology, Usefulness of mathematics
File Description: print
-
12
Authors:
Source: Discrete event dynamic systems. 30(3):465-497
Subject Terms: Complexity, Decidability, Eventual strong detectability, Finite automaton, Labeled Petri net, Weak approximate detectability, Computability and decidability, Finite automata, Petri nets, Polynomial approximation, Detectability, Deterministic finite automata, Output sequences, Output signal, Polynomial-time, PSPACE-complete, Verification algorithms, Discrete event simulation
File Description: print
-
13
Authors:
Contributors:
Source: International Journal of Foundations of Computer Science. 35:179-214
Subject Terms: computability, FOS: Computer and information sciences, Computability, Computer Science - Logic in Computer Science, Uniformization, synthesis, Formal Languages and Automata Theory (cs.FL), Transducers, Généralités, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, uniformization, continuity, 01 natural sciences, computable functions, two-way transducers, Logic in Computer Science (cs.LO), Synthesis, 0202 electrical engineering, electronic engineering, information engineering, transducers, ddc:004, Continuity, Sciences exactes et naturelles
File Description: application/pdf; 1 full-text file(s): application/octet-stream; 1 full-text file(s): application/pdf
-
14
Authors: et al.
Source: Journal of Fourier Analysis and Applications. 31
Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Computational Complexity, Computational Complexity (cs.CC), 68T07, 68T05, 03D80, 65D15, Article, Computability, Deep learning, Classification, Approximation theory, Quantization, Decision problems, 68T07, 68T05, 03D80, 65D15, ddc, Machine Learning (cs.LG)
File Description: application/pdf
-
15
Authors: Faizrahmanov, Marat
Source: Theory of Computing Systems. 69
Subject Terms: computable numbering, complete numbering, Other degrees and reducibilities in computability and recursion theory, completion, universal numbering, Theory of numerations, effectively presented structures, principal numbering, Recursive functions and relations, subrecursive hierarchies
File Description: application/xml
-
16
Authors: et al.
Source: Journal of Membrane Computing.
Subject Terms: Reaction system, Reaction automata, Formal language, Computability, reaction system, reaction automata, formal language, computability
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Distributed computability, Anonymous Networks, Leader Election, ddc:004, Randomness
File Description: application/pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: formalizations of computational models, time and space complexity, computability theory, HOL, abstract machines, lambda calculus, ddc:004, call-by-push-value reduction
File Description: application/pdf
-
19
Authors: Raguž, Andrija
Subject Terms: Computability, Observability, AI
-
20
Authors:
Contributors:
Subject Terms: FOS: Computer and information sciences, Non-Linear Functions, Logic in Computer Science, Computability in Analysis, ddc:004, Dynamical Systems, Logic in Computer Science (cs.LO)
File Description: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text