Enhances ocean floor mapping with adaptive uncertainty estimates.
problem Inaccurate bathymetric data for precise ocean modeling.
method Block-based conformal prediction with VQ-VAE architecture.
result Significant improvements in reconstruction quality and uncertainty estimation reliability.
OceanForecastBench offers a comprehensive benchmark for data-driven ocean forecasting models.
problem Lack of open-source, standardized benchmarks for data-driven ocean forecasting models.
method Proposes OceanForecastBench, a benchmark with high-quality data and evaluation pipeline.
result Offers the most comprehensive benchmarking framework for data-driven ocean forecasting.
Understanding local currents in the North Atlantic region of the ocean is a key part of modelling heat transfer and global climate patterns. Satellites provide a surface signature of the temperature of the ocean with a high horizontal resolution while in situ autonomous probes supply high vertical resolution, but horiz…
Algorithm speeds up search for stationary targets with guaranteed accuracy.
problem Minimize search time while ensuring high detection accuracy of stationary targets.
method Multi-fidelity Gaussian process model and EMTS algorithm.
result Guaranteed performance in target detection accuracy and search time.
The paper develops sampling methods for ocean phenomena based on temperature and salinity measurements.
problem Improving oceanographic sampling with limited resources.
method Design criterion based on uncertainty in excursions of vector-valued Gaussian random fields.
result Demonstrates effective exploration of ambiguous regions for data-driven sampling.
Optimizes deep learning models for ocean dynamics using Fourier neural operators.
problem Efficiently training deep learning models for ocean dynamics with optimal hyperparameters.
method Multiobjective hyperparameter optimization with DeepHyper for Fourier neural operators.
result Optimal hyperparameters significantly improved model performance in ocean dynamics forecasting.
In this paper, we propose hybrid building/floor classification and floor-level two-dimensional location coordinates regression using a single-input and multi-output (SIMO) deep neural network (DNN) for large-scale indoor localization based on Wi-Fi fingerprinting. The proposed scheme exploits the different nature of th…
One of the key technologies for future large-scale location-aware services covering a complex of multi-story buildings --- e.g., a big shopping mall and a university campus --- is a scalable indoor localization technique. In this paper, we report the current status of our investigation on the use of deep neural network…
Trading floors need to be twice as deep as electronic markets to compete.
problem Informed traders prefer fast electronic markets over slow trading floors.
method Examined the performance of trading floors and electronic markets in a hybrid system.
result Trading floors need to be twice as deep as electronic markets to compete.
The relationships between braid ordering and the geometry of its closure is studied. We prove that if an essential closed surface F in the complements of closed braid has relatively small genus with respect to the Dehornoy floor of the braid, F is circular-foliated in a sense of Birman-Menasco's Braid foliation the…
Model accurately gates ocean microbes from high-frequency flow cytometry data.
problem Gating of high-frequency flow cytometry data for ocean microbes is challenging.
method Trend filtered mixture of experts with smooth parameter variation.
result Model accurately matches human-annotated gating and corrects errors.
Gaussian processes improved for ocean current reconstruction and divergence identification.
problem Reconstructing ocean currents from sparse buoy data.
method Proposed a Helmholtz decomposition-based approach to Gaussian processes for better physical modeling.
result Improved inference on ocean currents and divergence identification with minimal computational cost.
This work builds an automated anomaly detection method for chaotic time series, and more concretely for turbulent, high-dimensional, ocean simulations. We solve this task by extending the Echo State Network by spatially aware input maps, such as convolutions, gradients, cosine transforms, et cetera, as well as a spatia…
Deep learning model predicts wind-wave relationship.
problem Characterize ocean wave climate for engineering applications.
method Two-stage deep learning model: CNN for spatial features, LSTM for temporal dependencies.
result Predicts spatio-temporal relationship between wind and significant wave height.
OCEAN infers online task identities from context variables.
problem Online task inference for compositional tasks with context adaptation.
method Variational inference framework OCEAN models global and local context variables in a joint latent space.
result OCEAN provides more effective task inference with sequential context adaptation.
The paper uses Bayesian Surprise to identify unexpected structures in indoor environments.
problem Identifying unexpected structures in indoor environments.
method Bayesian Surprise applied to Isovist Analysis of 2D floor plans.
result Surprise regions in indoor environments can be used to focus on important areas in LBS.
A training-free conformal interval is a mandatory baseline for probabilistic time-series forecasting.
problem Comparing probabilistic forecasters against weak or omitted baselines.
method A simple conformal interval with no parameters and no training.
result The ConformalNaive interval decisively beats several baselines.
This article explores the concepts of ocean wave multivariate multistep forecasting, reconstruction and feature selection. We introduce recurrent neural network frameworks, integrated with Bayesian hyperparameter optimization and Elastic Net methods. We consider both short- and long-term forecasts and reconstruction, f…
New method models intensity functions on spheres using normalizing flows.
problem Modeling non-homogeneous Poisson process intensity functions on the sphere.
method Flexible bijective map using normalizing flows to transform intensity functions.
result Normalizing flows provide a flexible way to model intensity functions on spheres.
Improved analysis for fair federated learning reduces dependence on noise floor.
problem Asymptotic stationarity in group fair federated learning with reduced noise floor dependence.
method DS FedProxGrad framework with inexact local proximal solutions and fairness regularization.
result Algorithm converges asymptotically to stationarity without dependence on a noise floor.
We propose a novel methodology, forest floor, to visualize and interpret random forest (RF) models. RF is a popular and useful tool for non-linear multi-variate classification and regression, which yields a good trade-off between robustness (low variance) and adaptiveness (low bias). Direct interpretation of a RF model…
BALLAST optimizes Lagrangian observer placement for ocean vector fields.
problem Optimizing Lagrangian observer placement for time-dependent ocean vector fields.
method Bayesian active learning with look-ahead amendment for sea-drifter trajectories using a physics-informed spatio-temporal Gaussian process surrogate model.
result Noticeable benefits of BALLAST-aided observer placement strategies on synthetic and high-fidelity ocean models.
We study the portfolio selection problem of a long-run investor who is maximising the asymptotic growth rate of her expected utility. We show that, somewhat surprisingly, it is essentially not affected by introduction of a floor constraint which requires the wealth process to dominate a given benchmark at all times. We…
Consider an agent who enters a financial market on day t = 0 with an initial capital amount x. He invests this amount on stocks and the money market, and by day t = T, has generated a wealth W . He is given a convex class of probability measures (called scenarios) and a real-valued function (or floors) corresponding to…
New model combines physics and machine learning for ocean dynamics.
problem Discovering hidden laws governing ocean dynamics.
method Develops Deep Neural Numerical Models (DNNMs) to learn hidden variables of physical laws.
result Illustrates DNNMs applied to Sea Surface Height dynamics, connecting to QG model.
SIMPGEN improves SWOT SSH data interpretation by removing noise and preserving fine-scale features.
problem Noisy data and limited fine-scale observations in oceanic processes.
method Simulation-Informed Metric and Prior for Generative Ensemble Networks (SIMPGEN) combining real SWOT observations with simulated reference data.
result SIMPGEN effectively removes noise, preserving fine-scale features better than existing neural methods.
The paper develops a theory for random forests, separating variance components and providing methods for estimating prediction intervals.
problem Understanding the variance and uncertainty in random forest predictions.
method Design-based theory, Monte Carlo averaging, PASR resampling.
result The floor of prediction uncertainty is positive and persists even without observation overlap, providing conservative prediction intervals.
Study uses echo-sounder buoys to analyze tuna schools' association with dFADs globally.
problem Understanding temporal trends of tuna schools' association to drifting objects.
method Applied Machine Learning to examine binary and regression outputs of tuna schools' colonization and disaggregation times.
result Median colonization and disaggregation times varied by ocean, with Pacific having longest soak and colonization times.
New model estimates indoor radon distribution with higher spatial resolution.
problem Accurate estimation of indoor radon concentration for health assessment.
method Quantile regression forest and probabilistic Monte Carlo sampling.
result Approximate lognormal distribution of indoor radon in Germany with specific exceedance probabilities.
We present novel empirical observations regarding how stochastic gradient descent (SGD) navigates the loss landscape of over-parametrized deep neural networks (DNNs). These observations expose the qualitatively different roles of learning rate and batch-size in DNN optimization and generalization. Specifically we study…
Novel spatio-temporal LSTM model forecasts oceanic variables across sensors and scales.
problem Data sparsity and lack of connected spatial and temporal information in environmental datasets.
method SPATIAL LSTM architecture that learns across spatial and temporal scales.
result Framework accurately forecasts oceanic variables with comparable performance to state-of-the-art models.
We present a new framework for online Least Squares algorithms for nonlinear modeling in RKH spaces (RKHS). Instead of implicitly mapping the data to a RKHS (e.g., kernel trick), we map the data to a finite dimensional Euclidean space, using random features of the kernel's Fourier transform. The advantage is that, the …
Deep learning improves nearshore bathymetry estimation from sparse data.
problem Estimating nearshore bathymetry from limited and often sparse data.
method Deep Neural Network (DNN) and Conditional Generative Adversarial Network (cGAN) for posterior estimates; Kriging for comparison.
result DNN-based methods outperform traditional Kriging in predicting nearshore bathymetry with sharp gradients.
EdgeLite detects hazardous supermarket floors, improving safety.
problem Detecting hazardous conditions on supermarket floors to prevent injuries.
method Developed a lightweight deep learning model, EdgeLite, for edge devices.
result EdgeLite outperformed state-of-the-art models in detecting hazards on supermarket floors.
We determine the price of digital double barrier options with an arbitrary number of barrier periods in the Black-Scholes model. This means that the barriers are active during some time intervals, but are switched off in between. As an application, we calculate the value of a structure floor for structured notes whose …
The study uses machine learning to analyze office floor plans and predict function based on geometry.
problem Lack of formalisms to describe spatial affordance in automated floor-plan generation tools.
method Supervised and unsupervised data mining techniques, including J48 algorithm, were used to analyze office floor plans.
result J48 algorithm can predict class performance on unseen examples up to 79.5% for office dataset.
Fast, reliable, and error-bounded option pricing with neural networks
problem Fast, reliable, and error-bounded option pricing
method Mixture Density Network
result Out-of-sample CDF error of 1.4imes10−4 Predicting illegal fishing on Patagonian Shelf using machine learning.
problem Improving detection of illegal fishing to conserve fish stocks.
method Combining vessel tracking data with oceanographic seascapes and machine learning models.
result Machine learning models predict illegal fishing with 69-96% confidence.
KATA improves associative recall by optimizing feature maps derived from nonnegative attention weights.
problem Linear attention's poor performance on associative recall tasks.
method Formulates attention recall as a spherical-packing problem and introduces Kernelized Linear Attention Activations (KATA).
result KATA features offer a favorable capacity-interference tradeoff, enabling efficient associative recall.
A hierarchical Bayesian classifier is trained at pixel scale with spectral data from the CRISM (Compact Reconnaissance Imaging Spectrometer for Mars) imagery. Its utility in detecting rare phases is demonstrated with new geologic discoveries near the Mars-2020 rover landing site. Akaganeite is found in sediments on the…
Model predicts phytoplankton subpopulations based on environmental factors.
problem Predicting phytoplankton dynamics under changing environmental conditions.
method Sparse mixture of multivariate regressions model.
result Identifies environmental covariates influencing phytoplankton subpopulations.
Develops a new framework for perpetual futures on binary prediction markets.
problem Lack of effective risk management in perpetual futures on binary prediction markets.
method PIRAP framework with six components: index estimator, margin sizing, leverage, funding rule, halt protocol, and eligibility framework.
result Mixed results from empirical evaluation, with some pre-registered floors passing and others failing.
New network approximates functions with error decreasing with network width and depth.
problem Approximating functions with high-dimensional data.
method Floor-ReLU networks with specific width and depth.
result Approximation error decreases as network width and depth increase.
A big challenge in environmental monitoring is the spatiotemporal variation of the phenomena to be observed. To enable persistent sensing and estimation in such a setting, it is beneficial to have a time-varying underlying environmental model. Here we present a planning and learning method that enables an autonomous ma…
The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of configuration spaces of distinct unordered points in X. We calculate the homology of th…
The study bounds exceptional surgeries for hyperbolic knots.
problem Identifying the range of slopes for exceptional surgeries.
method Analyzing meridional and non-meridional surgeries, and investigating the relationship between boundary slopes and exceptional surgeries.
result There are boundary slopes b1<b2 such that all non-trivial exceptional surgeries occur in the interval [b1,b2]. The integers in $[\ceil{b_1}, \floor{b_2}]$ are all exceptional surgeries. ConfEviSurrogate improves surrogate model accuracy and uncertainty quantification.
problem Uncertainty in surrogate models hinders reliable analysis.
method Introduces ConfEviSurrogate, a novel model that learns evidential distributions, separates uncertainty sources, and provides reliable prediction intervals.
result Demonstrates accurate predictions and robust uncertainty estimates in various simulations.
Study uses AUVs and RL to map river plumes over multiple days.
problem Long-term mapping of dynamic river plumes with multiple AUVs.
method Multi-agent reinforcement learning with spatiotemporal GPR.
result Multi-agent approach outperforms single-agent and benchmarks.