Related papers: Cross-Code verification and sensitivity analysis t…
This paper presents a formal verification guided approach for a principled design and implementation of robust and resilient learning-enabled systems. We focus on learning-enabled state estimation systems (LE-SESs), which have been widely…
We propose a new adequacy test and a graphical evaluation tool for nonlinear dynamic models. The proposed techniques can be applied in any setup where parametric conditional distribution of the data is specified, in particular to models…
Climate change necessitates rapid expansion of renewable energy, with wind energy offering a scalable and low-impact solution. However, accurate prediction of wind loads and power generation remains challenging due to uncertainties in wind…
Electrochemical kinetics at electrode-electrolyte interfaces are crucial to understand high-rate behavior of energy storage devices. Phase transformation of electrodes is typically treated under equilibrium thermodynamic conditions, while…
Understanding the performance of electrochemical energy storage systems requires probing the electrochemical properties at each layer and interface during cell operation. While traditional onboard and operando methods can measure impedance,…
Understanding under what conditions it is possible to construct equivalent ensembles is key to advancing our ability to connect microscopic and macroscopic properties of non-equilibrium statistical mechanics. In the case of fluid dynamical…
Alternative approach for description of the non-equilibrium phenomena arising in solids at a severe external loading is analyzed. The approach is based on the new form of kinetic equations in terms of the internal and modified free energy.…
We review the equation of state (EoS) models covering a large range of temperatures, baryon number densities and electron fractions presently available on the \textsc{CompOSE} database. These models are intended to be directly usable within…
The second law of thermodynamics can be described as the non-decreasing of the entropy in the irreversible thermodynamic process. Such phenomenon can be quantitatively evaluated with the irreversible entropy generation (IEG), which was…
Mechanistic interpretability has identified functional subgraphs within large language models (LLMs), known as Transformer Circuits (TCs), that appear to implement specific algorithms. Yet we lack a formal, single-pass way to quantify when…
We investigate numerically the role of thermal instability (TI) as a generator of density structures in the interstellar medium (ISM), both by itself and in the context of a globally turbulent medium. Simulations of the instability alone…
A new type of instability - electrokinetic instability - and an unusual transition to chaotic motion near a charge-selective surface was studied by numerical integration of the Nernst-Planck-Poisson-Stokes system and a weakly nonlinear…
In this review, the methodology of large eddy simulations (LES) is introduced and applications in astrophysics are discussed. As theoretical framework, the scale decomposition of the dynamical equations for neutral fluids by means of…
Electrical Impedance Tomography (EIT) is a functional imaging method that is being developed for bedside use in critical care medicine. Aiming at improving the chest anatomical resolution of EIT images we developed a fuzzy model based on…
Understanding and controlling the chemical states both in the bulk and at the interfaces of complex oxide thin films is essential for engineering a wide range of electronic, optical, and magnetic functionalities, which arise through…
In the present work fournontrivial stages of electrokinetic instability are identified by direct numerical simulation (DNS) of the full Nernst-Planck-Poisson-Stokes (NPPS) system: i) The stage of the influence of the initial conditions…
A method for the calculation of elastic constants in the NVT ensamble, using molecular dynamics (MD) simulation with a realistic many-body embedded-atom-model (EAM) potential, is studied in detail. It is shown that in such NVT MD…
Nonlinear evolutions of two-dimensional single-mode compressible Rayleigh--Taylor instability (RTI) with isothermal stratification are investigated in cylindrical geometry via direct numerical simulation for different Atwood numbers…
We describe a simple experiment for measuring the thermal expansion coefficient of a metal wire and discuss how the experiment can be used as a tool for exploring the interplay of measurement uncertainty and scientific models. In…
Creating stable superposed states of matter is one of the most intriguing aspects of quantum physics, leading to a variety of counter-intuitive scenarios along with a possibility of restructuring the way we understand, process and…