相关论文: Property Testing for Ocean Models. Can We Specify …
This book is devoted to an informal discussion of patterns constructed for treating physical problems. Such patterns, when sufficiently formalized, are usually referred as "models", and tents to be applied not only in physics, but conquer…
Surface waves on liquids act as a dynamical phase grating for incident light. In this article, we revisit the classical method of probing such waves (wavelengths of the order of mm) as well as inherent properties of liquids and liquid films…
Graph Neural Networks (GNNs) are widely deployed in industry, making their intellectual property valuable. However, protecting GNNs from unauthorized use remains a challenge. Watermarking offers a solution by embedding ownership information…
The field of property testing of probability distributions, or distribution testing, aims to provide fast and (most likely) correct answers to questions pertaining to specific aspects of very large datasets. In this work, we consider a…
Ensuring fairness in data driven decision making has become a central concern across domains such as marketing, lending, and healthcare, but fairness constraints often come at the cost of utility. We propose a statistical hypothesis testing…
We propose a verified approach to the formal verification of timed properties using model-checking techniques. We focus on properties expressed using real-time specification patterns, which can be viewed as a subset of timed temporal logics…
Invariant and equivariant models incorporate the symmetry of an object to be estimated (here non-parametric regression functions $f : \mathcal{X} \rightarrow \mathbb{R}$). These models perform better (with respect to $L^2$ loss) and are…
Artworks can improve humanity ability to apply macro-engineering principles which skirt or correct oceanographic problems impairing the economic usefulness of coastal land, the overhead airshed, and seawater temperature and salinity…
A survey is given on the applications of hydrodynamic model of nucleus-nucleus collisons, focusing especially on i) the resolution of hydrodynamic equations for arbitrary configurations, by using the smoothed-particle hydrodynamic approach;…
The suggested approach makes it possible to produce a consistent description of motions of a physical system. It is shown that the concept of force fields defining the systems dynamics is equivalent to the choice of the corresponding metric…
Coastal erosion is a major and growing environmental problem describing the movement of sand caused by tides, waves or currents. Several phenomena contribute to the significant advance of the sea. These include climate change, with rising…
Accurate subgrid-scale turbulence models are needed to perform realistic numerical magnetohydrodynamic (MHD) simulations of the subsurface flows of the Sun. To perform large-eddy simulations (LES) of turbulent MHD flows, three unknown terms…
Methods for model parameter estimation, uncertainty quantification and experimental design are summarized in this paper. They are based on the generalized least squares estimator and different approximations of its covariance matrix using…
Recent research has extended methods from the fields of thermodynamics and statistical mechanics into other disciplines. Most notably, one recent work creates a unified theoretical framework to understand evolutionary biology, machine…
Formal methods for verification of programs are extended to testing of programs. Their combination is intended to lead to benefits in reliable program development, testing, and evolution. Our geometric theory of testing is intended to serve…
This study proposes deterministic and stochastic energy-aware hybrid models that should enable simulations of idealized and primitive-equations Geophysical Fluid Dynamics (GFD) models at low resolutions without compromising on quality…
As urbanization and climate change progress, urban heat island effects are becoming more frequent and severe. To formulate effective mitigation plans, cities require detailed air temperature data, yet conventional machine learning models…
A gaussian distribution of binding energies, but conditioned to exploit generally available information on packing in liquids, provides a statistical-thermodynamic theory of liquid water that is structurally non-committal, molecularly…
We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix…
Simulating fluid dynamics is crucial for the design and development process, ranging from simple valves to complex turbomachinery. Accurately solving the underlying physical equations is computationally expensive. Therefore, learning-based…