Results 101 to 110 of about 1,491,574 (265)
Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry [PDF]
Karl Bringmann
openalex +1 more source
Model Theory and Computational Complexity
Model theory has lately become a domain of interest to computer scientists. The reason is that model theory, and in particular its restriction to finite models, has led to some new results in computational complexity (e.g. NLOGSPACE=co-NLOGSPACE). In this report, firstly we present a survey of this theory and we focus on the descriptive complexity ...
Lafitte, Grégory, Mazoyer, Jacques
openaire +1 more source
A problem to describe the complexity class BPP in terms of a logical language is considered. BPP (abbreviation for bounded-error probablistic polynomial time) represents the class of computational decision problems that are efficiently solvable in ...
V. G. Naidenko
doaj
Complexity vs energy: theory of computation and theoretical physics [PDF]
Yuri I. Manin
openalex +1 more source
Computational Complexity Theory for Advanced Function Spaces in Analysis [PDF]
Florian Steinberg
openalex +1 more source
Coding Methods in Computability Theory and Complexity Theory
A major part of computability theory focuses on the analysis of a few structures of central importance. As a tool, the method of coding with first-order formulas has been applied with great success. For instance, in the c.e. Turing degrees, it has been used to determine the complexity of the elementary theory, to provide restrictions on automorphisms ...
openaire +2 more sources
Editorial: Brain connectivity, dynamics, and complexity
Stephen José Hanson +1 more
doaj +1 more source
Easy Or Hard? Basic Questions in Computational Complexity Theory [PDF]
Noa Segev, Avi Wigderson
openalex +1 more source
Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version) [PDF]
Ugo Dal Lago, Sara Zuppiroli
openalex +1 more source
Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data [PDF]
Akitoshi Kawamura +3 more
openalex +1 more source

