相关论文: Testing Ocean Software with Metamorphic Testing
In this contribution we evaluate the impact of filtering techniques in enhancing the accuracy of forecasts of optical turbulence and atmospheric parameters critical for ground-based telescopes. These techniques make use of the data…
The simulation of the optical turbulence (OT) for astronomical applications obtained with non-hydrostatic atmospherical models at meso-scale presents, with respect to measurements, some advantages. The future of the ground-based astronomy…
Earth System Models (ESMs) are critical for understanding past climates and projecting future scenarios. However, the complexity of these models, which include large code bases, a wide community of developers, and diverse computational…
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…
We introduce our new code, SMERCURY-T, which is based on existing codes SMERCURY (Lissauer et al. 2012) and Mercury-T (Bolmont et al. 2015). The result is a mixed-variable symplectic N-body integrator that can compute the orbital and spin…
Operational ocean forecasting systems conventionally employ dynamical ocean models driven by atmospheric forcing derived from numerical weather prediction (NWP) models. Recent advancements in artificial intelligence and machine learning…
In air traffic management (ATM) all necessary operations (tactical planing, sector configuration, required staffing, runway configuration, routing of approaching aircrafts) rely on accurate measurements and predictions of the current…
Large language models and deep learning models designed for code intelligence have revolutionized the software engineering field due to their ability to perform various code-related tasks. These models can process source code and software…
Vision-based underwater robots can be useful in inspecting and exploring confined spaces where traditional sensors and preplanned paths cannot be followed. Sensor noise and situational change can cause significant uncertainty in…
Past efforts to interrogate the mantle's contribution to Earth's topography suffer from inadequate in-situ measurements of true bathymetry and the involvement of an empirical plate model whose presumed lithospheric density profile…
We consider how transformation optics and invisibility cloaking can be used to construct models in subsets $\mathbb{R}^3$ with a varying metric, where the time-harmonic waves for a given angular wavenumber $k$, are equivalent to the waves…
We introduce a new hybrid method to perform high-resolution tidal disruption simulations, at arbitrary orbits. An SPH code is used to simulate tidal disruptions only in the immediate spatial domain of the star, namely, where the tidal…
For extremely large telescopes, adaptive optics will be required to correct the Earth's turbulent atmosphere. The performance of tomographic adaptive optics is strongly dependent on the vertical distribution (profile) of this turbulence. An…
We investigate the scrambling of information in a hierarchical star-topology system using out-of-time-ordered correlation (OTOC) functions. The system consists of a central qubit directly interacting with a set of satellite qubits, which in…
With the success of machine learning (ML) applied to climate reaching further every day, emulators have begun to show promise not only for weather but for multi-year time scales in the atmosphere. Similar work for the ocean remains nascent,…
Marine object detection has gained prominence in marine research, driven by the pressing need to unravel oceanic mysteries and enhance our understanding of invaluable marine ecosystems. There is a profound requirement to efficiently and…
Climate change's destruction of marine biodiversity is threatening communities and economies around the world which rely on healthy oceans for their livelihoods. The challenge of applying computer vision to niche, real-world domains such as…
We study the fundamental tradeoffs between computational tractability and statistical accuracy for a general family of hypothesis testing problems with combinatorial structures. Based upon an oracle model of computation, which captures the…
Numerical simulations have historically played a major role in understanding the hydrodynamics of the tidal disruption process. Given the complexity of the geometry of the system, the challenges posed by the problem have indeed stimulated…
Efficiently receiving underwater sound remotely from air is a long-standing challenge in acoustics hindered by the large impedance mismatch at the water-air interface. Here we introduce and experimentally demonstrate a technique for remote…