Related papers: Newton: A Language for Describing Physics
The recently observed quantum states of neutrons bound in a gravitational field are analyzed in the framework of one-parameter isospectral hamiltonians. Potentials isospectral to the usual Newton potential are explicitly constructed for the…
An experimental formula, sometimes named as Newton-collision-formula, (v1-v2) = - e.(u1-u2) relating relative-velocities before & after impact of two bodies under linear-collision, is commonly used successfully for study of…
"Quantum sensing" describes the use of a quantum system, quantum properties or quantum phenomena to perform a measurement of a physical quantity. Historical examples of quantum sensors include magnetometers based on superconducting quantum…
Quantum information processing is the emerging field that defines and realizes computing devices that make use of quantum mechanical principles, like the superposition principle, entanglement, and interference. In this review we study the…
Contextuality - the obstruction to describing quantum mechanics in a classical statistical way - has been proposed as a resource that powers quantum computing. The measurement-based model provides a concrete manifestation of contextuality…
These notes review a description of quantum mechanics in terms of the topology of spaces, basing on the axioms of Topological Quantum Field Theory and path integral formalism. In this description quantum states and operators are encoded by…
Pawns is a programming language under development which supports pure functional programming (including algebraic data types, higher order programming and parametric polymorphism) and imperative programming (including pointers, destructive…
Neural compression is the application of neural networks and other machine learning methods to data compression. Recent advances in statistical machine learning have opened up new possibilities for data compression, allowing compression…
Interpretation of vibrational inelastic neutron scattering spectra of complex systems is frequently reliant on accompanying simulations from theoretical models. Ab-initio codes can routinely generate force constants, but additional steps…
Computational thinking in physics has many different forms, definitions, and implementations depending on the level of physics, or the institution it is presented in. In order to better integrate computational thinking in introductory…
Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming more pervasive. Moreover, the digitalised services provided by…
This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as…
The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principle solution can be regarded as an analogue of the design…
The purpose of this paper is to introduce Condensed-Matter-Laboratory (CML) application for simulating solids and nanostructures and calculating different properties of them by density functional theory and using Green's function theory in…
Niels Bohr introduced the concept of complementarity in order to give a general account of quantum mechanics, however he stressed that the idea of complementarity is related to the general difficulty in the formation of human ideas,…
Semantic properties are domain-specific specification constructs used to augment an existing language with richer semantics. These properties are taken advantage of in system analysis, design, implementation, testing, and maintenance…
The properties of electrons in matter are of fundamental importance. They give rise to virtually all molecular and material properties and determine the physics at play in objects ranging from semiconductor devices to the interior of giant…
In this article we introduce a generalization of the Newton transformation to the case of a system of endomorphisms. We show that it can be used in the context of extrinsic geometry of foliations and distributions yielding new integral…
Niels Bohr introduced the concept of complementarity in order to give a general account of quantum mechanics, however he stressed that the idea of complementarity is related to the general difficulty in the formation of human ideas,…
In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property…