Related papers: Property Testing for Ocean Models. Can We Specify …
Inspired by Tokieda's work on mechanical insights in geometry, we explore a hydrostatic approach to classical geometric problems. Using principles of fluid statics, we derive two mathematical results regarding polygons. These results…
In this work, experiment design for marine vessels is explored. A dictionary-based approach is used, i.e., a systematic way of choosing the most informative combination of independent experiments out of a predefined set of candidates. This…
A~machine learning framework is developed to estimate ocean-wave conditions. By supervised training of machine learning models on many thousands of iterations of a physics-based wave model, accurate representations of significant wave…
This work studies the problem of predicting the loads and motions induced by wave systems on a ship in forward motion (seakeeping). Assuming that the hull is rigid, the motion of the ship is described by the equations of rigid body…
In the first part of our study, we demonstrated how a simple physical benchmark model can be used to assess assumptions of the conceptual models, based on a lumped Probability Distributed Model (PDM) formulated by Lamb (1999). In this…
We explore the stability of floating objects through mathematical modeling and experimentation. Our models are based on standard ideas of center of gravity, center of buoyancy, and Archimedes' Principle. We investigate a variety of floating…
Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresholds. The model checking problem for stochastic systems with…
The oceanic mantle lithosphere has considerable potential to store chemically bound water, thereby being an important factor for the deep water cycle. However, the actual extent of hydrous alteration in such mantle rocks is debated.…
Consider briefly the equations of fluid dynamics-they describe the enormous wealth of detail in all the interacting physical elements of a fluid flow-whereas in applications we want to deal with a description of just that which is…
The growing interest in energy applications of molten salts is justified by several of their properties. Their possibilities of usage as a coolant, heat transfer fluid or heat storage substrate, require thermo-hydrodynamic refined…
In numerical ocean models coast lines change the direction from one grid cell to its neighbor and the value for viscosity is set to be as small as possible. Therefore, model simulations are not converged with resolution and boundary…
We investigate a coupled atmosphere-ocean model including the mechanical and thermodynamical interaction between the two fluids for the mid-latitudes. The formulation combines a multilayer quasi-geostrophic dynamical framework with…
Property testing algorithms are highly efficient algorithms, that come with probabilistic accuracy guarantees. For a property P, the goal is to distinguish inputs that have P from those that are far from having P with high probability…
The quest for atmospheric spectral signatures that may witness biological activity in exoplanets is focused on rocky planets. The best targets for future, challenging spectroscopic observations will be selected among potentially habitable…
Generalized hydrodynamics (GHD) was proposed recently as a formulation of hydrodynamics for integrable systems, taking into account infinitely-many conservation laws. In this note we further develop the theory in various directions. By…
In many statistical applications, the dimension is too large to handle for standard high-dimensional machine learning procedures. This is particularly true for graphical models, where the interpretation of a large graph is difficult and…
Application of hydrodynamics for modeling of heavy-ion collisions is reviewed. We consider several physical observables that can be calculated in this approach and compare them to the experimental measurements.
We propose Graph Generating Dependencies (GGDs), a new class of dependencies for property graphs. Extending the expressivity of state of the art constraint languages, GGDs can express both tuple- and equality-generating dependencies on…
We attempt to gain some insight into the modeling of the generation of internal waves produced by submarines traveling in the littoral regions of the ocean with the use of high fidelity numerical simulations. These numerical simulations are…
Recently, large models, or foundation models, have exhibited remarkable performance, profoundly impacting research paradigms in diverse domains. Foundation models, trained on extensive and diverse datasets, provide exceptional…