English
Related papers

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

200 papers

We study synthetic data release for answering multiple linear queries over a set of database tables in a differentially private way. Two special cases have been considered in the literature: how to release a synthetic dataset for answering…

Databases · Computer Science 2023-06-28 Badih Ghazi , Xiao Hu , Ravi Kumar , Pasin Manurangsi

Reduced basis methods provide a powerful framework for building efficient and accurate emulators. Although widely applied in many fields to simplify complex models, reduced basis methods have only been recently introduced into nuclear…

Nuclear Theory · Physics 2022-10-12 Amy L. Anderson , Graham L. O'Donnell , J. Piekarewicz

These lecture notes, suitable for a two-semester introductory course or self-study, offer an elementary and self-contained exposition of the basic tools and concepts that are encountered in practical computations in perturbative thermal…

High Energy Physics - Phenomenology · Physics 2022-01-17 Mikko Laine , Aleksi Vuorinen

In optimization or machine learning problems we are given a set of items, usually points in some metric space, and the goal is to minimize or maximize an objective function over some space of candidate solutions. For example, in clustering…

Machine Learning · Computer Science 2020-11-19 Dan Feldman

Knowledge bases store information about the semantic types of entities, which can be utilized in a range of information access tasks. This information, however, is often incomplete, due to new entities emerging on a daily basis. We address…

Information Retrieval · Computer Science 2019-07-09 Jon Arne Bø Hovda , Darío Garigliotti , Krisztian Balog

We give an overview about equations of state (EOS) which are currently available for simulations of core-collapse supernovae and neutron star mergers. A few selected important aspects of the EOS, such as the symmetry energy, the maximum…

Nuclear Theory · Physics 2017-03-29 Matthias Hempel , Micaela Oertel , Stefan Typel , Thomas Klähn

Engineering efficient implementations of compact and succinct structures is a time-consuming and challenging task, since there is no standard library of easy-to- use, highly optimized, and composable components. One consequence is that…

Data Structures and Algorithms · Computer Science 2013-11-07 Simon Gog , Timo Beller , Alistair Moffat , Matthias Petri

In this contribution, we briefly present the equation-of-state modelling for application to neutron stars and discuss current constraints coming from nuclear physics theory and experiments. To assess the impact of model uncertainties, we…

High Energy Astrophysical Phenomena · Physics 2023-11-14 A. F. Fantina , F. Gulminelli

Given the advances in reactive synthesis, it is a natural next step to consider more complex multi-process systems. Distributed synthesis, however, is not yet scalable. Compositional approaches can be a game changer. Here, the challenge is…

Logic in Computer Science · Computer Science 2022-08-15 Bernd Finkbeiner , Noemi Passing

Answering complex questions is a time-consuming activity for humans that requires reasoning and integration of information. Recent work on reading comprehension made headway in answering simple questions, but tackling complex questions is…

Computation and Language · Computer Science 2018-03-20 Alon Talmor , Jonathan Berant

Consider a joint quantum state of a system and its environment. A measurement on the environment induces a decomposition of the system state. Using algorithmic information theory, we define the preparation information of a pure or mixed…

Quantum Physics · Physics 2015-06-26 Andrei N. Soklakov , Ruediger Schack

Compressed bitmap indexes are used to speed up simple aggregate queries in databases. Indeed, set operations like intersections, unions and complements can be represented as logical operations (AND,OR,NOT) that are ideally suited for…

Databases · Computer Science 2016-01-11 Owen Kaser , Daniel Lemire

We consider the problem of deciding whether a given state preparation, i.e., a source of quantum states, is accurate, namely produces states close to a target one within a prescribed threshold. We show that, when multiple measurements need…

Quantum Physics · Physics 2024-01-22 Weichao Liang , Francesco Ticozzi , Giuseppe Vallone

A thorough in situ characterization of materials at extreme conditions is challenging, and computational tools such as crystal structural search methods in combination with ab initio calculations are widely used to guide experiments by…

Materials Science · Physics 2018-11-14 Maximilian Amsler , Vinay I. Hegde , Steven D. Jacobsen , Chris Wolverton

Introducing an active space approximation is inevitable for the quantum computations of chemical systems. However, this approximation ignores the electron correlations related to non-active orbitals. Here, we propose a computational method…

Quantum Physics · Physics 2024-06-06 Luca Erhart , Yuichiro Yoshida , Viktor Khinevich , Wataru Mizukami

The work presents a simple formalism which proposes an estimate of the ground state energy from a single reference function. It is based on a perturbative expansion but leads to non linear coupled equations. It can be viewed as well as a…

Strongly Correlated Electrons · Physics 2007-05-23 Mohamad Al Hajj , Jean-Paul Malrieu

A coreset (or core-set) of an input set is its small summation, such that solving a problem on the coreset as its input, provably yields the same result as solving the same problem on the original (full) set, for a given family of problems…

Machine Learning · Computer Science 2019-10-22 Ibrahim Jubran , Alaa Maalouf , Dan Feldman

In this paper we present SynKB, an open-source, automatically extracted knowledge base of chemical synthesis protocols. Similar to proprietary chemistry databases such as Reaxsys, SynKB allows chemists to retrieve structured knowledge about…

Computation and Language · Computer Science 2022-10-10 Fan Bai , Alan Ritter , Peter Madrid , Dayne Freitag , John Niekrasz

The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over…

Combinatorics · Mathematics 2014-01-16 Chris Berg , Viviane Pons , Travis Scrimshaw , Jessica Striker , Christian Stump

The EXFOR library is a useful resource for many people in the field of nuclear physics. In particular, the experimental data in the EXFOR library serves as a starting point for nuclear data evaluations. There is an ongoing discussion about…

Digital Libraries · Computer Science 2021-03-30 Georg Schnabel