Machine learning identifies rock type at drilling bit, reducing error from 13.5% to 9%
problem Precision drilling requires rock type identification at the drilling bit, but sensors are far away.
method Machine learning and data mining on sensors readings, comparing various algorithms.
result Real-time rock type classification error reduced from 13.5% to 9%
New method detects rock type changes in real-time during drilling.
problem Detecting rock type changes in time during directional drilling.
method Combines machine learning and change detection procedures.
result Significant reduction in change detection delay and false positives.
Machine learning predicts rock properties from routine core analysis.
problem Predict rock properties like porosity and permeability from routine core analysis.
method Developed and compared machine learning models (NN, SVM, LR).
result Neural network with hidden layers best for all rock properties.
Machine learning enhances rock facies classification with physics-inspired features.
problem Accurately classifying rock facies for better reservoir characterization.
method Incorporating physics-motivated feature interactions in feature augmentation.
result Improvement of rock facies classification by up to 5% in F-1 score.
Deep learning model improves seismic rock property estimation.
problem Estimating reservoir rock properties from seismic reflection data.
method Proposes a deep learning-based seismic inversion workflow that models seismic traces spatiotemporally.
result Achieves best performance on SEAM dataset with r2 coefficient of 79.77\% ROCK method generalizes MOCK for learning dynamical systems efficiently.
problem Learning dynamical systems from data efficiently.
method Variational formulation in Reproducing Kernel Hilbert Spaces.
result ROCK method is more computationally efficient and performs better on benchmarks.
Automated rock fragmentation assessment using deep learning and spatial statistics.
problem Assessing post-blast rock fragmentation in real-time.
method Fine-tuned YOLO12l-seg model for instance segmentation, followed by spatial statistics.
result Framework accurately assesses rock fragmentation patterns in real-time.
A machine learning method predicts rock permeability from 3D images.
problem Efficiently predict permeability of heterogeneous rocks for planetary and robotic applications.
method Machine learning guided 3D properties recognition of rock morphology from 3D micro CT and MRI images.
result The morphology decoder method accurately predicts permeability from 3D images.
Paper introduces impact curves for evaluating binarized regression models with varying costs.
problem Evaluating binarized regression models with varying costs and instance-specific utility.
method Proposes impact curves to optimize binary decisions across different utilities.
result Impact curves identify conditions where one model is favored over another and quantify model improvement.
Deep learning boosts micro-CT image resolution and texture recovery.
problem Compensating for image resolution trade-offs in micro-CT imaging.
method EDSRGAN trained on a diverse dataset of uCT images.
result EDSRGAN outperforms other methods in texture recovery and resolution.
AI beats 95% of humans in Rock-Paper-Scissors.
problem Predicting and modeling human behavior in strategic games.
method Used Markov Models of varying memory lengths to compete against humans, introducing a 'focus length' parameter.
result Multi-AI strategy wins over 95% of human opponents in continuous 300-round games.
DeepFlow uses deep generative models to solve history matching problems.
problem Calibrating reservoir models with transient fluid data.
method Generative adversarial network for property distribution, gradient descent on latent variables, and additional well constraints.
result Solves history matching problems for synthetic reservoir models.
New CRF model segments music into chords with rich features.
problem Harmonic analysis of music segments.
method Semi-Markov Conditional Random Field (semi-CRF) with segment-level features.
result Semi-CRF model performs better than previous approaches.
Dual neural networks tackle uncertainty in geophysical data.
problem Quantifying and separating epistemic and aleatoric uncertainties in geophysical data.
method Combination of Bayesian Neural Network (BNN) and Artificial Neural Network (ANN).
result Reduces uncertainties in rock and fluid property estimation for better reservoir optimization.
Improved Bayesian computation for imaging problems using a new MCMC method.
problem Challenges in Bayesian computation for imaging inverse problems due to high dimensionality and non-smoothness.
method Introduces a new accelerated proximal MCMC method (ls SK-ROCK) that combines data augmentation and relaxation with proximal MCMC.
result The method converges faster and achieves better accuracy than state-of-the-art approaches.
In the present paper we study interval identification systems of order three. We prove that the Rauzy induction preserves symmetry: for any symmetric interval identification system of order three after finitely many iterations of the Rauzy induction we always obtain a symmetric system. We also provide an example of sym…
In this work, we explore how probabilistic programs can be used to represent policies in sequential decision problems. In this formulation, a probabilistic program is a black-box stochastic simulator for both the problem domain and the agent. We relate classic policy gradient techniques to recently introduced black-box…
Develops a Bayesian non-parametric approach for signal separation with varying components.
problem Signal separation with varying components across different input locations.
method Augments Gaussian Process Latent Variable Models with weighted sums of pure component signals and incorporates priors for linear weights.
result Framework allows for non-linear variations in signals and incorporates useful priors for linear weights.
Simplified identification methods for causal inference with arbitrary interventional distributions.
problem Estimating cause-effect relationships from data with experimental interventions.
method Using Single World Intervention Graphs and nested model factorization, we provide algorithms for identifying causal parameters from mixed observational and interventional distributions.
result Our algorithms are complete for certain types of interventional marginal distributions.
Deep learning model for AIS data improves vessel monitoring.
problem Improving maritime safety and efficiency with AIS data.
method Combining RNNs and latent variable modeling for multi-task learning.
result Demonstrated relevance on real AIS datasets for trajectory reconstruction, anomaly detection, and vessel type identification.
CNNs improve particle identification in ground-based gamma-ray astronomy.
problem Identifying particles in gamma-ray astronomy images.
method Used convolutional neural networks (CNNs) with PyTorch and TensorFlow.
result Improved accuracy in identifying gamma-rays and background particles.
Patient notes contain a wealth of information of potentially great interest to medical investigators. However, to protect patients' privacy, Protected Health Information (PHI) must be removed from the patient notes before they can be legally released, a process known as patient note de-identification. The main objectiv…
New assumptions help identify causal relationships in data.
problem Challenges in identifying causal relationships from observational data.
method Introduced typed directed acyclic graphs to constrain causal relationships.
result The proposed assumptions lead to significant gains in causal graph identification.
iPromoter-BnCNN identifies and classifies six types of sigma promoters.
problem Accurate classification of sigma promoters remains challenging.
method Convolutional Neural Network (CNN) combining local features.
result Supremacy on 5-fold cross-validation and independent test datasets.
Synthetic theory defines orbifolds as microlinear types with finite identifications.
problem Defining orbifolds in traditional set-level foundations with internal symmetries.
method Synthetic differential cohesive homotopy type theory, microlinearity, finite identifications.
result Proper étale groupoids are orbifolds in synthetic theory.
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 …
This work improves SINDy-type algorithms for system identification using score-guided dictionary selection.
problem Improving accuracy and interpretability in dynamical system identification.
method Score-guided library selection to refine dictionary terms in sparse regression.
result Score-guided methods enhance SINDy's robustness in discovering governing equations.
Paper proposes a method to identify wind hazard types and predict extreme wind speeds.
problem Difficulty in identifying wind hazard types from meteorological data records.
method Numerical pattern recognition method with feature extraction and generalization.
result Algorithm performance validated using K-fold cross-validation and real-world data.
Objective: Patient notes in electronic health records (EHRs) may contain critical information for medical investigations. However, the vast majority of medical investigators can only access de-identified notes, in order to protect the confidentiality of patients. In the United States, the Health Insurance Portability a…
Recent developments in system identification have brought attention to regularized kernel-based methods. This type of approach has been proven to compare favorably with classic parametric methods. However, current formulations are not robust with respect to outliers. In this paper, we introduce a novel method to robust…
The paper studies transformations of Frobenius manifolds and their properties.
problem Analyzing transformations of Frobenius manifolds and their properties.
method Analytic theory of Legendre-type transformations for Frobenius manifolds.
result Monodromy data, Stokes matrix, and central connection matrix are shared among Legendre-type transformations.
A new filter design improves system identification accuracy.
problem Improving system identification accuracy for various system types.
method Generalized proportionate-type normalized subband adaptive filter (GPtNSAF) using least squares on subband errors with a sparsity penalty.
result GPtNSAF benefits from increasing subbands more than sparsity for quasi-sparse or dispersive systems, and both aspects are complementary for sparse systems.
This study reviews and evaluates clustering methods for single-cell RNA-seq data.
problem Identifying and characterizing novel cell types from single-cell RNA-seq data.
method Review and performance comparison of clustering methods.
result Performance comparison experiments on two datasets.
New methods identify causal effects without needing complete proxy variables.
problem Identifying causal effects in the presence of unmeasured confounders.
method Partial identification methods that do not require completeness of proxy variables.
result Obtain bounds on causal effects using available proxy variables.
Dataset for rainfall modeling in central Europe from 1981-2011.
problem Improving rainfall streamflow modeling beyond simple catchments.
method Spatially resolved meteorological and ancillary data compilation.
result Dataset for neural network-driven hydrological modeling.
Most users of online services have unique behavioral or usage patterns. These behavioral patterns can be exploited to identify and track users by using only the observed patterns in the behavior. We study the task of identifying users from statistics of their behavioral patterns. Specifically, we focus on the setting i…
New CNN architecture separates 'what' and 'where' in neural data.
problem Estimating individual receptive field locations in neural data.
method Sparse readout layer factorizing spatial and feature dimensions.
result Our network outperforms current models in system identification.
Bayesian filtering approach identifies nonlinear restoring forces in dynamic systems.
problem Identification of nonlinear dynamic systems in engineering.
method Modeling the nonlinear restoring force as a Gaussian process, converting it to a state-space model, and inferring internal states and the nonlinear restoring force through filtering and smoothing.
result The approach effectively identifies nonlinear restoring forces in both simulated and experimental datasets.
Computational identifiability is a new framework for identifying causal effects.
problem Identifying causal effects in complex scenarios.
method A computational search procedure for empirical estimators.
result Fine-grained identification questions can be answered.
Early classification improves satellite-based crop type identification.
problem Accurate early identification of crop types from satellite imagery.
method End-to-end trainable recurrent neural network with an additional stopping probability based on previously seen data.
result The model can distinguish crop types before the end of the vegetative period.
New algorithm identifies causal relationships from graphs, even with selection bias.
problem Identifying causal relationships from graphs with selection bias.
method Developed a measure-theoretic version of Pearl's causal calculus and a sound, complete identification algorithm.
result General measure-theoretic version of causal calculus allows for identification of causal relationships under selection bias.
Paper tackles best mixed arm identification with cost constraints in bandit models.
problem Finding the best mixed arm with cost constraints in a stochastic bandit model.
method Proposes SFSR algorithm combining successive reject and score-function-based rejection criteria.
result Upper and lower bounds on mis-identification probability show exponential decay with budget.
EB-TCε identifies the best arm with ε confidence in stochastic bandits.
problem Identifying the best arm in stochastic bandits with a fixed level of confidence.
method EB-TCε is a novel sampling rule for ε-best arm identification in stochastic bandits.
result EB-TCε is the first anytime algorithm for fixed confidence or fixed budget identification.
T. Saito and M. Teragaito asked whether Berge knots of type VII are hyperbolic, and showed that some infinite sequences of the knots are hyperbolic. We show that Berge knots of types VII and VIII are hyperbolic except the known sequence of torus knots. We used the Reidemeister torsions. As a result, the Alexander polyn…
New method for identifying best arm in batched multi-armed bandit problems.
problem Identifying the best arm in multi-armed bandit problems where arms are sampled in batches.
method General linear programming framework for best arm identification in batched multi-armed bandit problems.
result Demonstrated good performance in numerical studies compared to UCB-type or Thompson sampling methods.
New algorithm identifies missing data models using directed acyclic graphs.
problem Identifying missing data distributions represented by DAGs.
method Proposed a new algorithm that generalizes ID algorithm for causal inference.
result Significantly generalizes types of manipulations for identification.
BAICS identifies best arm with fairness constraints on subpopulations.
problem Identify the best arm while ensuring fairness across subpopulations.
method Formulated and solved BAICS problem, analyzed complexity, designed algorithm.
result Algorithm's sample complexity matches theoretical lower bound.
Bayesian Recurrent Neural Networks improve fault detection and identification in manufacturing.
problem Detect and identify faults in chemical processes to ensure optimal operations.
method Bayesian Recurrent Neural Networks (BRNNs) with variational dropout.
result BRNNs provide uncertainty estimates for fault detection and identification.