Related papers: A Lower Bound on Conservative Elementary Object Sy…
We propose a means for constructing highly accurate equations of state (EOS) for elemental solids and liquids essentially from first principles, based upon a particular decomposition of the underlying condensed matter Hamiltonian for the…
The quasi-neutral hybrid model with kinetic ions and fluid electrons is a promising approach for bridging the inherent multi-scale nature of many problems in space and laboratory plasmas. Here, a novel, implicit, particle-in-cell based…
As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are safe. This paper presents a set of backward reachability…
Evaluating conditional coverage remains one of the most persistent challenges in assessing the reliability of predictive systems. Although conformal methods can give guarantees on marginal coverage, no method can guarantee to produce sets…
We provide a protection system making use of encapsulation, messages communication, interface functions coming from an object oriented model described in previous works. Each user represents himself to the system by the mean of his "USER"…
Black-box adversarial attacks that minimize only the ground-truth confidence suffer from class drift: perturbations wander through the feature space without committing to a specific adversarial class, wasting queries on diffuse, undirected…
Analysis of cryptographic protocols in a symbolic model is relative to a deduction system that models the possible actions of an attacker regarding an execution of this protocol. We present in this paper a transformation algorithm for such…
We perform a Bayesian inference of the dense-matter equation of state (EOS) within a unified framework that incorporates hadronic matter, quark matter, and a smooth hadron-to-quark crossover. The EOS is constrained using physical…
The arising application of neural networks (NN) in robotic systems has driven the development of safety verification methods for neural network dynamical systems (NNDS). Recursive techniques for reachability analysis of dynamical systems in…
This paper addresses the conservatism in data-driven reachability analysis for discrete-time linear systems subject to bounded process noise, where the system matrices are unknown and only input--state trajectory data are available.…
While the equation of state (EOS) $P(\varepsilon)$ of neutron star (NS) matter has been extensively studied, the EOS-parameter $\phi = P/\varepsilon$ or equivalently the dimensionless trace anomaly $\Delta = 1/3 - \phi$, which quantifies…
We consider the problem of under and over-approximating the image of general vector-valued functions over bounded sets, and apply the proposed solution to the estimation of reachable sets of uncertain non-linear discrete-time dynamical…
Detectability of discrete event systems (DESs) is a question whether the current and subsequent states can be determined based on observations. Shu and Lin designed a polynomial-time algorithm to check strong (periodic) detectability and an…
Electronic Product Code (EPC) is the basis of a pervasive infrastructure for the automatic identification of objects on supply chain applications (e.g., pharmaceutical or military applications). This infrastructure relies on the use of the…
This paper addresses the problem of infinite-step opacity and K-step opacity of discrete event systems modeled with Petri nets. A Petri net system is said to be infinite-step/K-step opaque if all its secret states remains opaque to an…
A new Essentially Non-oscillatory (ENO) recovery algorithm is developed and tested in a Finite Volume method. The construction is hinged on a reformulation of the reconstruction as the solution to a variational problem. The sign property of…
The recently discovery of a massive neutron star (PSR J1614-2230 of $1.97\pm0.04M_{\odot}$) rules out the soft equation of states (EOSs) such as those included hyperons or kaon condensates at high densities, while the nuclear theory or the…
Higher-order exceptional points (EPs) in optical structures enable ultra-sensitive responses to perturbations. However, previous investigations on higher-order EPs have predominantly focused on coupled systems, leaving their fundamental…
We explore the consequences of imposing robust thermodynamic constraints arising from perturbative Quantum Chromodynamics (QCD) when inferring the dense-matter equation-of-state (EOS). We find that the termination density, up to which the…
We construct posterior distributions of the equation of state (EoS) for matter beyond the inner crust of neutron stars by incorporating finite nuclei (FN) constraints within relativistic mean field models. These constraints are implemented…