Results 41 to 50 of about 674,428 (75)
IET Cyber-Physical Systems, 2017 We present LhaVrf, a symbolic verifier for the safety verification of concurrent LHA (Linear Hybrid Automaton). A concurrent LHA is composed of a set of LHAs that interact through shared variables and/or events.
Hao Ren +4 more
doaj +1 more source
Aspects of Computability in Physics [PDF]
arXiv, 1997 This paper reviews connections between physics and computation, and explores their implications. The main topics are computational "hardness" of physical systems, computational status of fundamental theories, quantum computation, and the Universe as a computer.
arxiv
Duality and Recycling Computing in Quantum Computers [PDF]
, 2007 Quantum computer possesses quantum parallelism and offers great computing power over classical computer \cite{er1,er2}. As is well-know, a moving quantum object passing through a double-slit exhibits particle wave duality. A quantum computer is static and lacks this duality property.
arxiv +1 more source
Marvel DC: A Blockchain-Based Decentralized and Incentive-Compatible Distributed Computing Protocol [PDF]
arXiv, 2022 Decentralized computation outsourcing should allow anyone to access the large amounts of computational power that exists in the Internet of Things. Unfortunately, when trusted third parties are removed to achieve this decentralization, ensuring an outsourced computation is performed correctly remains a significant challenge. In this paper, we provide a
arxiv
Verifying the structure and behavior in UML/OCL models using satisfiability solvers
IET Cyber-Physical Systems, 2016 Due to the ever increasing complexity of embedded and cyber-physical systems, corresponding design solutions relying on modelling languages such as Unified Modelling Language (UML)/Object Constraint Language (OCL) find increasing attention.
Nils Przigoda +4 more
doaj +1 more source
The Computational Complexity of Propositional Cirquent Calculus [PDF]
Logical Methods in Computer Science, 2015 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 system with a more explicit ability to reason about resources.
Matthew Steven Bauer
doaj +1 more source
The Digital and the Real Universe Foundations of Natural Philosophy and Computational Physics
Philosophies, 2019 In the age of digitization, the world seems to be reducible to a digital computer. However, mathematically, modern quantum field theories do not only depend on discrete, but also continuous concepts.
Klaus Mainzer
doaj +1 more source
Feedback computability on Cantor space [PDF]
Logical Methods in Computer Science, 2019 We introduce the notion of feedback computable functions from $2^\omega$ to $2^\omega$, extending feedback Turing computation in analogy with the standard notion of computability for functions from $2^\omega$ to $2^\omega$. We then show that the feedback
Nathanael L. Ackerman +2 more
doaj +1 more source
Informational Worldview. Scientific Foundations, and Philosophical Perspectives
Studies in Logic, Grammar and Rhetoric, 2016 In the text, I synthetically discuss the cultural background, computer science basis, and philosophical potential of an informational worldview, which I treat as an indirect link between awareness of the significance of contemporary achievements of ...
Stacewicz Paweł
doaj +1 more source
Computability in Basic Quantum Mechanics [PDF]
Logical Methods in Computer Science, 2018 The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and observable ...
Eike Neumann +2 more
doaj +1 more source