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.
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\% 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.
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.
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.
Directional oil well drilling requires high precision of the wellbore positioning inside the productive area. However, due to specifics of engineering design, sensors that explicitly determine the type of the drilled rock are located farther than 15m from the drilling bit. As a result, the target area runaways can be d…
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.
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.
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.
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.
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.
With recent progress in algorithms and the availability of massive amounts of computation power, application of machine learning techniques is becoming a hot topic in the oil and gas industry. One of the most promising aspects to apply machine learning to the upstream field is the rock facies classification in reservoi…
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.
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.
Momentum speeds up evolutionary processes in machine learning.
problem Accelerating convergence in evolutionary dynamics.
method Combining momentum from machine learning with evolutionary dynamics using information divergences as Lyapunov functions.
result Momentum accelerates convergence of evolutionary dynamics, including the replicator equation and Euclidean gradient descent.
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…
Stochastic image reconstruction is a key part of modern digital rock physics and materials analysis that aims to create numerous representative samples of material micro-structures for upscaling, numerical computation of effective properties and uncertainty quantification. We present a method of three-dimensional stoch…
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.
We present a new approach to harmonic analysis that is trained to segment music into a sequence of chord spans tagged with chord labels. Formulated as a semi-Markov Conditional Random Field (semi-CRF), this joint segmentation and labeling approach enables the use of a rich set of segment-level features, such as segment…
We consider a simple stochastic differential equation for modeling bubbles in social context. A prime example is bubbles in asset pricing, but similar mechanisms may control a range of social phenomena driven by psychological factors (for example, popularity of rock groups, or a number of students pursuing a given majo…
The main task in oil and gas exploration is to gain an understanding of the distribution and nature of rocks and fluids in the subsurface. Well logs are records of petro-physical data acquired along a borehole, providing direct information about what is in the subsurface. The data collected by logging wells can have si…
Zero-sum games such as chess and poker are, abstractly, functions that evaluate pairs of agents, for example labeling them `winner' and `loser'. If the game is approximately transitive, then self-play generates sequences of agents of increasing strength. However, nontransitive games, such as rock-paper-scissors, can ex…
New hierarchical RL agent learns to generalize in complex multi-agent games.
problem Current RL methods struggle to generalize to unseen opponents in multi-agent games.
method Proposed a hierarchical RL architecture grounded in game-theoretic structure.
result Hierarchical agent generalizes to unseen opponents, while baselines fail.
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.
Continuous-time PCD for MLE with explicit error bounds.
problem Maximum likelihood estimation of unnormalised densities.
method Continuous-time formulation as coupled SDEs, deriving UiT bounds.
result Explicit error bounds between PCD iterates and MLE solution.
New methods improve multi-agent reinforcement learning by addressing rotational dynamics.
problem Reproducibility crisis in multi-agent reinforcement learning.
method Reframing MARL approaches using Variational Inequalities (VIs) and proposing gradient-based VI methods.
result Significant performance improvements across benchmarks, including better convergence to equilibrium strategies in zero-sum games.
A new method simulates large, diverse populations of learning agents evolving in games.
problem Limited scalability and efficiency of Multi-Agent Reinforcement Learning.
method Parallelizable implementation of Policy Gradient and Opponent-Learning Awareness for evolutionary simulations.
result Simulated large, diverse populations of learning agents evolve under various strategies.
We build an agent-based model to study how the interplay between low- and high-frequency trading affects asset price dynamics. Our main goal is to investigate whether high-frequency trading exacerbates market volatility and generates flash crashes. In the model, low-frequency agents adopt trading rules based on chronol…
Structural and topological information play a key role in modeling flow and transport through fractured rock in the subsurface. Discrete fracture network (DFN) computational suites such as dfnWorks are designed to simulate flow and transport in such porous media. Flow and transport calculations reveal that a small back…
Generating music has a few notable differences from generating images and videos. First, music is an art of time, necessitating a temporal model. Second, music is usually composed of multiple instruments/tracks with their own temporal dynamics, but collectively they unfold over time interdependently. Lastly, musical no…
(ABRIDGED) In previous work, two platforms have been developed for testing computer-vision algorithms for robotic planetary exploration (McGuire et al. 2004b,2005; Bartolo et al. 2007). The wearable-computer platform has been tested at geological and astrobiological field sites in Spain (Rivas Vaciamadrid and Riba de S…
We optimize rebalancing options by limiting asset allocations to a few choices, reducing the price and guaranteeing near-optimal performance.
problem Optimizing rebalancing strategies under discrete hindsight optimization.
method Restricting the set of rebalancing rules to a small number of asset allocations.
result Guaranteed near-optimal performance with a rock-bottom option price.
Deep learning predicts fluid flow in porous media, accelerating simulations by orders of magnitude.
problem Accurate simulation of fluid flow in complex porous media requires excessive computational resources.
method Combining deep learning with direct simulation, using Gated U-Net CNNs trained on datasets of 2D and 3D porous media.
result Deep learning predictions can reach over 90% accuracy for permeability estimation and accelerate simulations by orders of magnitude.
Groups with Property (T) have fiber products with Property (T).
problem When does the fiber product of groups with Property (T) have Property (T)?
method Analyzing fiber products of groups with Property (T).
result Fiber products of groups with Property (T) also have Property (T).
We prove recognition theorems for codimension one manifold factors of dimension n≥4. In particular, we formalize topographical methods and introduce three ribbons properties: the crinkled ribbons property, the twisted crinkled ribbons property, and the fuzzy ribbons property. We show that X×R i…
The study shows that several properties are not profinite invariants.
problem Determining which properties are profinite invariants.
method Combining Rips constructions and iterated group-theoretic Dehn filling on hyperbolic virtually special groups.
result Several properties (stable commutator length, quasimorphisms, property NL, property FW∞, property FA, and non-abelian free subgroups) are not profinite invariants. We show that all finite-dimensional resolvable generalized manifolds with the piecewise disjoint arc-disk property are codimension one manifold factors. We then show how the piecewise disjoint arc-disk property and other general position properties that detect codimension one manifold factors are related. We also note …
Investigates stability properties of Haezendonck-Goovaerts premium principles in Orlicz spaces.
problem Stability properties of Haezendonck-Goovaerts premium principles in various Orlicz spaces.
method Analysis of stability properties including Fatou and Lebesgue properties, and continuity with respect to Φ-weak convergence. result Haezendonck-Goovaerts principles satisfy the Fatou property and Lebesgue property under certain conditions.
The paper explores higher property T in lattices and its connections to geometric phenomena.
problem Understanding higher property T in lattices and related geometric phenomena.
method Operator-algebraic characterizations of higher property T and connections to lattice geometry.
result Unified framework for understanding higher property T and related geometric phenomena.
Asymptotic property C was introduced by Dranishnikov to study spaces with infinite asymptotic dimension. We show that asymptotic property C is preserved by infinite products. We also show that countable restricted direct products of countable groups with finite asymptotic dimension have asymptotic property C. Then we i…
Groups of importance in group theory have flexible stability properties.
problem Stability and flexibility of groups in geometric and combinatorial group theory.
method Establishing Kirchberg's Local Lifting Property and Lubotzky--Shalom's Property FD for specific groups.
result Groups like 3-manifold groups, limit groups, and certain one-relator groups are very flexibly stable. This paper generalizes property (QT) to a broader class of groups.
problem Proving property (QT) for a wider range of groups.
method Using projection complex machinery and hierarchical hyperbolic groups.
result Established sufficient conditions for groups to have property (QT).
Proves a vanishing property for symplectic manifold cohomology.
problem Generalizing complex geometry results to symplectic geometry.
method Based on Tseng and Zhou's vanishing property under symplectic flatness.
result Establishes necessity of symplectic flatness for certain results.
Unified approach amplifies data for distribution property estimation.
problem Estimating properties of discrete distributions efficiently.
method Unified, linear-time, competitive estimator using just 2n samples.
result Achieves performance of empirical estimator with n√log n samples using only 2n samples.
Survey on foliations and diffeomorphism groups.
problem Relationship between algebraic and homotopical properties.
method Survey and analysis of existing literature.
result Explains the connection between diffeomorphism groups and foliations.
We prove extension theorems for several geometric properties such as asymptotic property C (APC), finite decomposition complexity (FDC), strict finite decomposition complexity (sFDC) which are weakenings of Gromov's finite asymptotic dimension (FAD). The context of all theorems is a finitely generated group G with a …
Study generalizes property elicitation to imprecise probabilities.
problem Minimizing risk over imprecise probability distributions.
method Maximin risk minimization over a set of imprecise probabilities.
result Conditions for elicitability of IP-properties.
Introduces bounded scale measure and generalizes property A.
problem Defining property A for large scale spaces with bounded geometry.
method Introduces bounded scale measure, shows its coarse invariance, and generalizes property A.
result Definition of property A for large scale spaces with bounded scale measure is a coarse invariant.