English
Related papers

Related papers: A Continuous Model of Computation

200 papers

We discuss that how the majority of traditional modeling approaches are following the idealism point of view in scientific modeling, which follow the set theoretical notions of models based on abstract universals. We show that while…

Artificial Intelligence · Computer Science 2017-09-12 Vahid Moosavi

For over a decade, the hypercomputation movement has produced computational models that in theory solve the algorithmically unsolvable, but they are not physically realizable according to currently accepted physical theories. While…

Logic · Mathematics 2014-08-12 Aran Nayebi

The goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine…

Programming Languages · Computer Science 2011-12-06 J. A. Miszczak

Computational models pervade all branches of the exact sciences and have in recent times also started to prove to be of immense utility in some of the traditionally 'soft' sciences like ecology, sociology and politics. This volume is a…

In modern science the efficient numerical treatment of high-dimensional problems becomes more and more important. A fundamental insight of the theory of information-based complexity (IBC for short) is that the computational hardness of a…

Numerical Analysis · Mathematics 2013-05-20 Markus Weimar

Quantum computers take advantage of interfering quantum alternatives in order to handle problems that might be too time consuming with algorithms based on classical logic. Developing quantum computers requires new ways of thinking beyond…

Quantum Physics · Physics 2014-09-10 W. C. Parke

Turing's (1936) paper on computable numbers has played its role in underpinning different perspectives on the world of information. On the one hand, it encourages a digital ontology, with a perceived flatness of computational structure…

Logic · Mathematics 2015-06-23 S. Barry Cooper

The well-known Turing machine is an example of a theoretical digital computer, and it was the logical basis of constructing real electronic computers. In the present paper we propose an alternative, namely, by formalising arithmetic…

Numerical Analysis · Computer Science 2012-04-17 Vladimir Aristov , Andrey Stroganov

Computational problems are classified into computable and uncomputable problems. If there exists an effective procedure (algorithm) to compute a problem then the problem is computable otherwise it is uncomputable. Turing machines can…

Computational Complexity · Computer Science 2024-09-06 Asad Khaliq

Studies of issues related to computability and computational complexity involve the use of a model of computation. Pivotal to such a model are the computational processes considered. Processes of this kind can be described using an…

Logic in Computer Science · Computer Science 2024-06-24 C. A. Middelburg

We recall from previous work a model-independent framework of computational complexity theory. Notably for the present paper, the framework allows formalization of the issues of precision that present themselves when one considers physical,…

Computational Complexity · Computer Science 2014-04-02 Ed Blakey

The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only…

General Literature · Computer Science 2013-08-15 Carlo A. Furia , Dino Mandrioli , Angelo Morzenti , Matteo Rossi

Scientists have demonstrated that quantum computing has presented novel approaches to address computational challenges, each varying in complexity. Adapting problem-solving strategies is crucial to harness the full potential of quantum…

Computational Complexity · Computer Science 2024-09-13 Arash Vaezi , Ali Movaghar , Mohammad Ghodsi , Seyed Mohammad Hussein Kazemi , Negin Bagheri Noghrehy , Seyed Mohsen Kazemi

How can complexity theory and algorithms benefit from practical advances in computing? We give a short overview of some prior work using practical computing to attack problems in computational complexity and algorithms, informally describe…

Computational Complexity · Computer Science 2008-11-11 Ryan Williams

Complexity theory offers a variety of concise computational models for computing boolean functions - branching programs, circuits, decision trees and ordered binary decision diagrams to name a few. A natural question that arises in this…

Computational Complexity · Computer Science 2013-06-18 Netanel Raviv

Quantum computing is gaining increased attention as a potential way to speed up simulations of physical systems, and it is also of interest to apply it to simulations of classical plasmas. However, quantum information science is…

Plasma Physics · Physics 2024-06-19 I. Y. Dodin , E. A. Startsev

Continuous-variable quantum computing utilizes continuous parameters of a quantum system to encode information, promising efficient solutions to complex problems. Trapped-ion systems provide a robust platform with long coherence times and…

Numerical simulation of quantum systems is crucial to further our understanding of natural phenomena. Many systems of key interest and importance, in areas such as superconducting materials and quantum chemistry, are thought to be described…

Quantum Physics · Physics 2010-11-17 Katherine L Brown , William J Munro , Vivien M Kendon

This article presents a general solution to the problem of computational complexity. First, it gives a historical introduction to the problem since the revival of the foundational problems of mathematics at the end of the 19th century.…

Computational Complexity · Computer Science 2023-12-25 Rami Zaidan

The theory of computational complexity focuses on functions and, hence, studies programs whose interactive behavior is reduced to a simple question/answer pattern. We propose a broader theory whose ultimate goal is expressing and analyzing…

Computational Complexity · Computer Science 2012-09-05 Ugo Dal Lago , Tobias Heindel , Damiano Mazza , Daniele Varacca