Search Results - Computational complexity and computability

Feasible Real Random Access Machines by Brattka, Vasco, Hertling, Peter

“… Using a logarithmic complexity measure we prove that all functions computable on a RAM in time O…”
Get full text

Computational Complexity in Analysis: Invited Presentation at Seventh International Conference on Computability and Complexity in Analysis by Rettinger, Robert

Get full text

The Computational Complexity of Subclasses of Semiperfect Rings by Wu, Huishan

“…This paper studies the computational complexity of subclasses of semiperfect rings from the perspective of computability theory…”
Get full text

Freezing, Bounded-Change and Convergent Cellular Automata by Ollinger, Nicolas, Theyssier, Guillaume

“…This paper studies three classes of cellular automata from a computational point of view…”
Get full text

Computable and computational complexity theoretic bases for Herbert Simon’s cognitive behavioral economics by Velupillai, K.Vela, Kao, Ying-Fang

“…This paper aims to interpret and formalize Herbert Simon’s cognitive notions of bounded rationality, satisficing and heuristics in terms of computability theory and computational complexity theory…”
Get full text

Uniform computational complexity of the derivatives of C∞-functions: Computability and complexity in analysis by BLÄSER, Markus

Get full text

Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), June 15-18, 1998, Buffalo, New York, USA by IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science

Get full text

The computational complexity of module socles by Wu, Huishan

“…This paper studies the computational complexity of socles of modules from the viewpoint of computability theory. The socle Soc(M…”
Get full text

Proceedings : twenty-second Annual IEEE Conference on Computational Complexity CCC 2007 : San Diego, California, June 13-16, 2007 by IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory

Get full text

Proceedings : twenty-first Annual IEEE Conference on Computational Complexity (CCC 2006) : 16-20 June 2006, Prague, Czech Republic by IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory

Get full text

Proceedings, Fourteenth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), May 4-6, 1999, Atlanta, Georgia, USA by IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science

Get full text

Proceedings, Twelfth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), June 24-27, Ulm, Germany by IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science

Get full text

Proceedings, 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy by IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science

Get full text

Closed Sets and Operators thereon: Representations, Computability and Complexity by Rösnick-Neugebauer, Carsten

“… In this paper we refine these investigations from the point of view of computational complexity…”
Get full text

Handbook of Mathematical Models for Languages and Computation by Meduna, Alexander, Horáček, Petr, Tomko, Martin

“…, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational…”
Get full text

Proceedings : twentieth Annual IEEE Conference on Computational Complexity : 11-15 June 2005, San Jose, CA by IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory

Get full text

The Computational Complexity of Propositional Cirquent Calculus by Bauer, Matthew Steven

“…Introduced in 2006 by Japaridze, cirquent calculus is a refinement of sequent calculus. The advent of cirquent calculus arose from the need for a deductive…”
Get full text

Proceedings : 19th IEEE Annual Conference on Computational Complexity : 21-24 June 2004, Amherst, Massachusetts by IEEE Conference on Computational Complexity, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory

Get full text

Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló Summer School, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Menéndez Pelayo, Santander, Spain by UIMP-RSME Santaló Summer School, Montana, Jose Luis, Pardo, L. M. (Luis M.)

“…?'' These papers cover several aspects of this problem: from numerical to symbolic methods in polynomial equation solving, computational complexity aspects…”
Get full text

Computability and Beltrami fields in Euclidean space by Cardona, Robert, Miranda, Eva, Peralta-Salas, Daniel

“…In this article, we pursue our investigation of the connections between the theory of computation and hydrodynamics. We prove the existence of stationary…”
Get full text