相关论文: Property Testing for Ocean Models. Can We Specify …

Traditionally, numerical models have been deployed in oceanography studies to simulate ocean dynamics by representing physical equations. However, many factors pertaining to ocean dynamics seem to be ill-defined. We argue that transferring…

In the context of estimating material properties of porous walls based on in-site measurements and identification method, this paper presents the concept of Optimal Experiment Design (OED). It aims at searching the best experimental…

Two-dimensional free-surface potential flows of an ideal fluid over a strongly inhomogeneous bottom are investigated with the help of conformal mappings. Weakly-nonlinear and exact nonlinear equations of motion are derived by the…

In geophysics, inverse modelling can be applied to a wide range of goals, including, for instance, mapping the distribution of rock physical parameters in applied geophysics and calibrating models to forecast the behaviour of natural…

Simplified, classical models of water are an integral part of atomistic molecular simulations, especially in biology and chemistry where hydration effects are critical. Yet, despite several decades of effort, these models are still far from…

In this paper, we consider a problem inspired by the real-world need to identify the topographical features of ocean basins. Specifically we consider the problem of estimating the bottom impermeable boundary to an inviscid, incompressible,…

Describing the interactions of water molecules is one of the most common, yet critical, tasks in molecular dynamics simulations. Because of its unique properties, hundreds of attempts have been made to construct an ideal interaction…

We present a practical guide to Smoothed Particle Hydrodynamics (\SPH) and its application to astrophysical problems. Although remarkably robust, \SPH\ must be used with care if the results are to be meaningful since the accuracy of \SPH\…

Modeling of phenomena such as anomalous transport via fractional-order differential equations has been established as an effective alternative to partial differential equations, due to the inherent ability to describe large-scale behavior…

The goal of property testing is to quickly distinguish between objects which satisfy a property and objects that are $\epsilon$-far from satisfying the property. There are now several general results in this area which show that natural…

These lecture notes present an overview of equilibrium statistical mechanics of classical fluids, with special applications to the structural and thermodynamic properties of systems made of particles interacting via the hard-sphere…

This paper presents and investigates a novel methodology for validating high-resolution ocean models using satellite imagery. High-resolution ocean models provide detailed information in coastal areas where other available data products are…

The current explosion in machine learning for climate has led to skilled, computationally cheap emulators for the atmosphere. However, the research for ocean emulators remains nascent despite the large potential for accelerating coupled…

Geometric Hydrodynamics has flourished ever since the celebrated 1966 paper of V. Arnold. In this paper we present a collection of open problems along with several new constructions in fluid dynamics and a concise survey of recent…

This paper presents our ongoing work on spatio-temporal models for formal analysis and property-based testing. Our proposed framework aims at reducing the impedance mismatch between formal methods and practitioners. We introduce a set of…

In this work, we introduce an effective model for both ideal and viscous fluid dynamics within the framework of kinetic field theory (KFT). The main application we have in mind is cosmic structure formation where gaseous components need to…

Climate simulations, at all grid resolutions, rely on approximations that encapsulate the forcing due to unresolved processes on resolved variables, known as parameterizations. Parameterizations often lead to inaccuracies in climate models,…

The quantum mechanics description of a physical object stretched in space and stable in time from the relativistic space-time properties point of view, introduced in special theory of relativity, is considered and analysed. The mathematical…

We consider the use of Deep Learning methods for modeling complex phenomena like those occurring in natural physical processes. With the large amount of data gathered on these phenomena the data intensive paradigm could begin to challenge…

Generalized hydrodynamics (GHD) is a large-scale theory for the dynamics of many-body integrable systems. It consists of an infinite set of conservation laws for quasi-particles traveling with effective ("dressed") velocities that depend on…