Related papers: Ground-State Probabilistic Logic with the Simplest…
The potential energy landscape, PEL, theory stands as one of the most successful frameworks for understanding supercooled liquids and glassy systems. A central element of this theory is the configurational entropy, Sc, which is…
Model checking has been proposed as a formal verification approach for analyzing computer-based and cyber-physical systems. The state space explosion problem is the main obstacle for applying this approach for sophisticated systems.…
An efficient numerical method is developed using the matrix product formalism for computing the properties at finite energy densities in one-dimensional (1D) many-body localized (MBL) systems. Arguing that any efficient (possibly quantum)…
This paper introduces the Fusemate probabilistic logic programming system. Fusemate's inference engine comprises a grounding component and a variable elimination method for probabilistic inference. Fusemate differs from most other systems…
In this paper, we propose a physical layer security (PLS) framework for an intelligent reflecting surface (IRS)-assisted integrated sensing and semantic communication (ISASC) system, where a multi-antenna dual-functional semantic base…
This paper promotes the differential method as a new fruitful strategy for estimating a ground-state energy of a many-body system. The case of an arbitrary number of attractive Coulombian particles is specifically studied and we make some…
While there have been many developments in computational probes of both strongly-correlated molecular systems and machine-learning accelerated molecular dynamics, there remains a significant gap in capabilities in simulating accurate…
$\Lambda N$ spin-spin and spin-orbit splittings in low-lying excitation spectra are investigated for $p$-shell $\Lambda$ hypernuclei on the basis of the microscopic structure calculation within the antisymmetrized molecular dynamics, where…
A quantum system exhibiting $\mathcal{PT}$ symmetry is a Bose-Einstein condensate in a double-well potential with balanced particle gain and loss, which is described in the mean-field limit by a Gross-Pitaevskii equation with a complex…
Modeling multi-agent systems on networks is a fundamental challenge in a wide variety of disciplines. Given data consisting of multiple trajectories, we jointly infer the (weighted) network and the interaction kernel, which determine,…
In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish…
The spin-1 Ising (BEG) model with the nearest-neighbour bilinear and biquadratic interactions and single-ion anisotropy is simulated on a cellular automaton which improved from the Creutz cellular automaton(CCA) for a simple cubic lattice.…
The boundary element method (BEM) provides an efficient numerical framework for solving multiple scattering problems in unbounded homogeneous domains, since it reduces the discretization to the domain boundaries, thereby condensing the…
Motivated by the many-body localization (MBL) phase in generic interacting disordered quantum systems, we develop a model simulating the same eigenstate structure like in MBL, but in the random-matrix setting. Demonstrating the absence of…
We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this we use the two different mathematical tools of Propositional Logic and…
The low-energy states of quantum many body systems, such as spin chains, are entangled. Using tensor network computations, we demonstrate a protocol that distills Bell pairs out of the ground state of the prototypical transverse-field Ising…
This paper proposes new methods for analyzing dynamic images registered by multichannel, highly sensitive detectors with low spatial but high temporal resolution. The principal characteristic of the approach is the absence of factorization…
The paper presents a computational stochastic model of virtual cells irradiation, based on Quasi-Markov Chain Monte Carlo method and using biophysical input. The model is based on a stochastic tree of probabilities for each cell of the…
Pump-probe spectroscopy is a powerful tool for probing response dynamics of quantum many-body systems in and out-of-equilibrium. Quantum computers have proved useful in simulating such experiments by exciting the system, evolving, and then…
We present a formulation of the problem of probabilistic model checking as one of query evaluation over probabilistic logic programs. To the best of our knowledge, our formulation is the first of its kind, and it covers a rich class of…