English
Related papers

Related papers: Quick Guides for Use of the CompOSE Data Base

200 papers

The equation of state and composition of matter are calculated for conditions typical for pre-collapse and early collapse stages in core collapse supernovae. The composition is evaluated under the assumption of nuclear statistical…

High Energy Astrophysical Phenomena · Physics 2012-03-26 S. I. Blinnikov , I. V. Panov , M. A. Rudzsky , K. Sumiyoshi

This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts different target languages for modeling the state-transitions of a…

Formal Languages and Automata Theory · Computer Science 2023-07-28 Javier Segovia-Aguas , Jonathan Ferrer-Mestres , Sergio Jiménez

Question Answering (QA) is a growing area of research, often used to facilitate the extraction of information from within documents. State-of-the-art QA models are usually pre-trained on domain-general corpora like Wikipedia and thus tend…

Computation and Language · Computer Science 2022-12-01 Matthew Maufe , James Ravenscroft , Rob Procter , Maria Liakata

Making quantum mechanical equations and concepts come to life through interactive simulation and visualization are commonplace for augmenting learning and teaching. However, graphical visualizations nearly always exhibit a set of hard-coded…

Large-scale quantum computation is likely to require massive quantum error correction (QEC). QEC codes and circuits are described via the stabilizer formalism, which represents stabilizer states by keeping track of the operators that…

Quantum Physics · Physics 2017-11-22 Héctor J. García , Igor L. Markov , Andrew W. Cross

Pairwise correlation is really an important property for multi-qubit states. For the two-qubit X states extracted from Dicke states and their superposition states, we obtain a compact expression of the quantum discord by numerical check. We…

Quantum Physics · Physics 2015-05-30 Zhengjun Xi , Heng-Na Xiong , Yongming Li , Xiaoguang Wang

When comparing quantum states to each other, it is possible to obtain an unambiguous answer, indicating that the states are definitely different, already after a single measurement. In this paper we investigate comparison of coherent…

Quantum Physics · Physics 2007-05-23 Erika Andersson , Marcos Curty , Igor Jex

In \cite{Spi}, we developed a category of databases in which the schema of a database is represented as a simplicial set. Each simplex corresponds to a table in the database. There, our main concern was to find a categorical formulation of…

Databases · Computer Science 2010-03-16 David I. Spivak

This review concentrates on the two principle methods used to evolve nuclear abundances within astrophysical simulations, evolution via rate equations and via equilibria. Because in general the rate equations in nucleosynthetic applications…

Astrophysics · Physics 2007-05-23 W. R. Hix , F. -K. Thielemann

Introduced below is a quantum database method, not only for retrieval but also for creation. It uses a particular structure of true's and false's in a state vector of n qubits, permitting up to 2**2**n words, vastly more than for classical…

Emerging Technologies · Computer Science 2011-06-23 John Robert Burger

A simple method is proposed to prepare conveniently the effective pure state |00...0><0...00| with any number of qubits in a quantum ensemble. The preparation is based on the temporal averaging (Knill, Chuang, and Laflamme, Phys.Rev.A 57,…

Quantum Physics · Physics 2007-05-23 Xijia Miao

We investigate the notion of sufficient explanation, and a sufficiency-degree as attribution score for database tuples in relation to query answering. We also investigate and exploit connections with database repairs as used for dealing…

Databases · Computer Science 2026-05-18 Leopoldo Bertossi , Nina Pardal

We have prototyped a "spreadsheet component repository" Web site, from which users can copy "components" into their own Excel or Google spreadsheets. Components are collections of cells containing formulae: in real life, they would do…

Software Engineering · Computer Science 2008-09-23 Jocelyn Paine

This note collects together useful unit conversions and numerical values from early universe cosmology. It is a quick reference that can be used to make easy order-of-magnitude estimates. Included are tables for unit conversions, the…

Cosmology and Nongalactic Astrophysics · Physics 2022-04-11 Eemeli Tomberg

A method for integrating the chemical equations associated with nuclear combustion at high temperature is presented and extensively checked. Following the idea of E. M\"uller, the feedback between nuclear rates and temperature was taken…

Astrophysics · Physics 2007-05-23 Ruben M. Cabezon Gomez , Domingo Garcia-Senz , Eduardo Bravo

Quantum Phase Estimation (QPE), the quantum algorithm for estimating eigenvalues of a given Hermitian matrix and preparing its eigenvectors, is considered the most promising approach to finding the ground states and their energies of…

Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error conditions that conventional testing may miss, and can aid in…

Software Engineering · Computer Science 2020-04-09 Tyler D. Smith , Ryan Peroutka , Robert Edman

OpenSesame is a program for generating tabular equations of state (EOS), with capabilities for multiphase EOS construction. In this tutorial, we provide an overview of how to run OpenSesame to construct a multiphase EOS. We discuss some…

Reconstructing quantum states is an important task for various emerging quantum technologies. The process of reconstructing the density matrix of a quantum state is known as quantum state tomography. Conventionally, tomography of arbitrary…

Quantum Physics · Physics 2020-08-17 Sanjib Ghosh , Andrzej Opala , Michał Matuszewski , Tomasz Paterek , Timothy C. H. Liew

Interacting with a standard computer can enhance the capabilities of current quantum computers already today, particularly by offloading certain computations to the standard computer. Quantum computers that interact with standard computers…

Quantum Physics · Physics 2025-09-11 Niels M. P. Neumann