Framework improves marine mammal monitoring in noisy underwater environments.
problem Underwater bioacoustic monitoring challenges due to overlapping calls and variable noise.
method Multi-step attention-guided framework with segmentation and mid-level fusion.
result Improved signal discrimination, reduced false positives, reliable representations.
A Deep Zero-Inflated Model for Detecting North Atlantic Right Whale Presence
problem Balancing marine conservation and blue economy management
method Deep Zero-Inflated Bernoulli model
result Improved model adequacy and predictive performance
Research into automated systems for detecting and classifying marine mammals in acoustic recordings is expanding internationally due to the necessity to analyze large collections of data for conservation purposes. In this work, we present a Convolutional Neural Network that is capable of classifying the vocalizations o…
Machine learning monitors detect motor overheating, adapting to concept drift.
problem Early detection of motor overheating in ships' propulsion systems.
method Machine learning and statistical methods using historical data to adapt to concept drift.
result The proposed monitors provide early detection of overheating during and after concept drifts.
Phytoplankton plays an important role in marine ecosystem. It is defined as a biological factor to assess marine quality. The identification of phytoplankton species has a high potential for monitoring environmental, climate changes and for evaluating water quality. However, phytoplankton species identification is not …
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…
This paper discusses challenges and opportunities in vessel behavior detection using machine and deep learning.
problem Real-time analysis of vessel behaviors is crucial for maritime safety and protection.
method Comparison of classical machine learning and deep learning approaches for vessel event and anomaly detection.
result Novel methods and tools are needed to address challenges in vessel behavior detection.
The paper improves marine buoy placement to detect ships robustly against disruptions.
problem Detecting fishing vessels in the presence of natural and man-made disruptions.
method Formulated as a clustering problem, used dropout k-means and k-median to improve buoy placement robustness.
result Improved ship detection probability with dropout k-means compared to classic methods.
Deep learning detects schools of herring from echograms.
problem Manual interpretation of echograms is time-consuming and inconsistent.
method Deep learning framework for automatic detection.
result Deep learning outperforms traditional machine learning.
Noncritical soft-faults and model deviations are a challenge for Fault Detection and Diagnosis (FDD) of resident Autonomous Underwater Vehicles (AUVs). Such systems may have a faster performance degradation due to the permanent exposure to the marine environment, and constant monitoring of component conditions is requi…
Deep learning model detects and classifies marine microfossils.
problem Manual identification of microfossils is time-consuming and error-prone.
method Transfer learning from ImageNet dataset to classify foraminifera.
result Proposed model achieves high accuracy on foraminifera classification.
Machine learning models predict bluebottles' presence on beaches, addressing class imbalance and unreliable absence data.
problem Predicting bluebottles' presence on beaches with machine learning, tackling class imbalance and unreliable absence data.
method Used Multilayer Perceptron, Random Forest, and XGBoost models; employed data augmentation techniques like SMOTE, Random Undersampling, and Synthetic Negative Approach.
result Random Forests combined with Synthetic Negative Approach provided the best predictive model, identifying wind direction as a key factor.
Completes results on complex braid group parabolic subgroups.
problem Proves properties of complex braid group parabolic subgroups.
method Uses Garside groupoid structure of B(G31) to extend results.
result Proves main theorems for B(G31) parabolic subgroups.
For a non-orientable closed surface standardly embedded in the 4-sphere, a diffeomorphism over this surface is extendable if and only if this diffeomorphism preserves the Guillou-Marin quadratic form of this embedded surface.
We present a method for Temporal Difference (TD) learning that addresses several challenges faced by robots learning to navigate in a marine environment. For improved data efficiency, our method reduces TD updates to Gaussian Process regression. To make predictions amenable to online settings, we introduce a sparse app…
YOLOv3 detects ships in real-time with high accuracy.
problem Real-time target detection in maritime scenarios.
method YOLOv3 model trained on a large dataset of marine vessels.
result Average Precision up to 96% for IoU of 0.5.
Machine learning predicts ship performance changes over time.
problem Estimating ship hydrodynamic performance over time.
method Machine learning methods (NL-PCR, NL-PLSR, probabilistic ANN) calibrated with in-service data.
result Probabilistic ANN model performs best in predicting ship performance changes.
This Ph.D. thesis deals with the optimization of several renewable energy resources development as well as the improvement of facilities management in oceanic engineering and airports, using computational hybrid methods belonging to AI to this end. Energy is essential to our society in order to ensure a good quality of…
Slender marine structures such as deep-water marine risers are subjected to currents and will normally experience Vortex Induced Vibrations (VIV), which can cause fast accumulation of fatigue damage. The ocean current is often three-dimensional (3D), i.e., the direction and magnitude of the current vary throughout the …
Extends Shifts dataset for MS lesion segmentation and marine vessel power estimation.
problem Distributional shift in training and deployment data for ML models.
method Develops new datasets for high-risk industrial applications.
result Demonstrates robustness and uncertainty estimation in new industrial tasks.
We show that up to automorphisms of PC2 there are 5 homogeneous convex foliations of degree four on PC2. Using this result, we give a partial answer to a question posed in 2013 by D. {Marín} and J. {Pereira} about the classification of reduced convex foliations on~$\mat…
The visual systems of many mammals, including humans, is able to integrate the geometric information of visual stimuli and to perform cognitive tasks already at the first stages of the cortical processing. This is thought to be the result of a combination of mechanisms, which include feature extraction at single cell l…
P. Arnoux and A. Marin showed that any triangulation of RPn contains more than 2(n+1)(n+2) vertices if n≥3. We construct some natural triangulation of RPn with 2n(n+5)−1 vertices for all n≥3. Previously, it was known that RPn has Z2n-e…
Let n≥3. In this paper, we study the problem of whether a given finite group G embeds in a quotient of the form Bn/Γk(Pn), where Bn is the n-string Artin braid group, k∈{2,3}, and {Γl(Pn)}l∈N is the lower central series of the n-string pure braid group Pn. Previous …
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.
The gap between our ability to collect interesting data and our ability to analyze these data is growing at an unprecedented rate. Recent algorithmic attempts to fill this gap have employed unsupervised tools to discover structure in data. Some of the most successful approaches have used probabilistic models to uncover…
Flexible XVAE model for efficient spatial extremes simulation.
problem Complex tail dependence structures in spatial extremes processes.
method Variational autoencoder (XVAE) for modeling flexible and non-stationary dependence.
result XVAE provides fast inference and outperforms traditional models in high dimensions.
This review assesses statistical and machine learning methods for coral bleaching.
problem Coral bleaching due to rising sea temperatures and environmental factors.
method Statistical and machine learning models for predicting and analyzing coral bleaching.
result Statistical and machine learning methods are crucial for effective reef management.
AI systems that explain their decisions can be monitored for harmful intentions.
problem Monitoring AI systems' decision-making processes for harmful intentions is imperfect and can miss some misbehavior.
method Monitoring the chain of thought (CoT) of AI systems that communicate in human language.
result CoT monitoring is a promising but fragile approach to AI safety.
Paper develops a neural-fuzzy controller for GPS-intelligent buoys.
problem Optimally track dynamically positioned marine buoys with unknown parameters.
method Dynamic system modeling using neural-fuzzy networks with backstepping technique.
result The controller minimizes position errors and adjusts buoy positions accurately.
Simple online monitor detects unsafe LLM outputs.
problem LLMs generate unsafe outputs despite training.
method Thresholding external verifier signal to decide alarms.
result Simple design competitive with advanced methods.
This research tackles monitoring machine learning algorithms post-deployment, addressing performativity issues.
problem Monitoring machine learning algorithms after deployment, especially when they affect their own data-generating process.
method Uses causal inference techniques to navigate performativity and compares different monitoring criteria and data sources.
result Different monitoring systems have varying operating characteristics and implications for ML monitoring design.
Paper improves ETF tail-risk monitoring reliability.
problem Unreliable ETF risk monitoring under degraded data.
method Combines quality checks, prediction, scoring, and adjustment.
result Improves tail-risk monitoring, especially during stressed periods.
PITMonitor monitors model calibration over time with formal error guarantees.
problem Fixed-sample tests applied to models over time can lead to false alarms.
method PITMonitor uses mixture e-processes to detect distributional shifts in probability integral transforms.
result PITMonitor achieves competitive detection rates on river's FriedmanDrift benchmark.
The paper adds explanation to predictive process monitoring.
problem Equipping predictive business process monitoring with explanation capabilities.
method Used game theory of Shapley Values to obtain robust explanations.
result First time explanations given in predictive business process monitoring.
A new method monitors unstructured 3D shapes without registration.
problem Error-prone registration and mesh reconstruction steps in PCD monitoring.
method Intrinsic geometric properties of shapes, using Laplacian and geodesic distances.
result Effective monitoring of defects without registration and mesh reconstruction.
IDS algorithm optimizes sequential decisions in various monitoring settings.
problem Optimizing sequential decisions in complex monitoring scenarios.
method Information-directed sampling (IDS) algorithm for linear partial monitoring.
result IDS achieves nearly worst-case rate optimality in finite-action games.
Focuses on monitoring and explaining models in real-world applications.
problem Ensuring high quality machine learning services in production environments.
method Statistical techniques for model performance and data monitoring, explanations of predictions.
result Challenges and solutions for implementing monitoring and explanation in production models.
Surveying low-cost sensors for air quality monitoring and calibration.
problem Limited spatial resolution due to expensive environmental monitoring stations.
method Low-cost sensors with machine learning for calibration.
result Machine learning improves sensor accuracy over time.
We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger obstructions are based on the Ozsvath-Szabo correction term in Heegaard-Floer homology, al…
In this paper we study the tensor powers of the standard representation of the quantum super-algebra Uq(sl(2∣1), focusing on the rings of its algebra endomorphisms, called centraliser algebras and denoted by LGn. Their dimensions were conjectured by I. Marin and E. Wagner \cite{MW}. We prove this conjecture, desc…
Neural system optimizes glucose levels in diabetics.
problem Limited research on continuous glucose maintenance devices.
method Differential predictive control with neural policy and differentiable modeling.
result Improves glucose level optimization in real-time.
We present a numerical scheme to calculate fluctuation identities for exponential Lévy processes in the continuous monitoring case. This includes the Spitzer identities for touching a single upper or lower barrier, and the more difficult case of the two-barriers exit problem. These identities are given in the Fourier-L…
Optimal probing framework for scalable network monitoring.
problem Efficiently monitor growing cloud networks with limited budgets.
method A- and E-optimal experimental designs, Frank-Wolfe algorithm approximations.
result Significant reduction in probing budget with low estimation errors.
The paper proposes a method to create efficient remote monitoring models.
problem Large and complex machine learning models are unsuitable for remote monitoring on edge devices.
method Decompose the model into a simple local monitoring function and a complex correction term evaluated on the server.
result The proposed framework learns monitoring models with significantly reduced complexity that maintain safety.
New monitoring method detects ML risk models' performance changes in medical interventions.
problem Monitoring ML risk models in healthcare is complicated by confounding medical interventions.
method Developed a new score-based CUSUM monitoring procedure with dynamic control limits.
result Valid inference is possible if conditional exchangeability or time-constant selection bias hold.
We first introduce a novel profile-based alignment algorithm, the multiple continuous Signal Alignment algorithm with Gaussian Process Regression profiles (SA-GPR). SA-GPR addresses the limitations of currently available signal alignment methods by adopting a hybrid of the particle smoothing and Markov-chain Monte Carl…
Emerging wearable sensors have enabled the unprecedented ability to continuously monitor human activities for healthcare purposes. However, with so many ambient sensors collecting different measurements, it becomes important not only to maintain good monitoring accuracy, but also low power consumption to ensure sustain…