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.
During the directional drilling, a bit may sometimes go to a nonproductive rock layer due to the gap about 20m between the bit and high-fidelity rock type sensors. The only way to detect the lithotype changes in time is the usage of Measurements While Drilling (MWD) data. However, there are no general mathematical mode…
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.
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…
The objective of this work is to study the applicability of various Machine Learning algorithms for prediction of some rock properties which geoscientists usually define due to special lab analysis. We demonstrate that these special properties can be predicted only basing on routine core analysis (RCA) data. To validat…
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.
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.
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…
(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…
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.
The calibration of a reservoir model with observed transient data of fluid pressures and rates is a key task in obtaining a predictive model of the flow and transport behaviour of the earth's subsurface. The model calibration task, commonly referred to as "history matching", can be formalised as an ill-posed inverse pr…
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…
Digital money could reduce germ spread during coronavirus.
problem Spreading of germs via paper money during coronavirus.
method Policy recommendations for mobile wallets, digital currencies, and data protection.
result Adopting digital money can help reduce germ spread.
Study of digital topology concepts like hyperspaces and function graphs.
problem Adapting classical topology concepts to digital topology.
method Define digital hyperspaces and function graphs, study their properties.
result Some relationships and graphical properties of digital hyperspaces and function graphs.
Corrects a false claim about a digital sphere model's contractibility.
problem Incorrect claim about MSS_18's 18-contractibility.
method Analyzes digital image MSS_18 as a digital model of S^2.
result Shows MSS_18 is 18-contractible.
The paper highlights issues with fixed point claims in digital images.
problem Flaws in published assertions about fixed points in digital images.
method Continues a series of studies examining digital topology.
result Identifies and discusses problems with fixed point claims.
Find limiting sets for digital cones and suspensions.
problem Digital topology cone and suspension constructions.
method Identify (m, n)-limiting sets, especially (0, 0)-freezing sets.
result Discover (0, 0)-limiting sets for digital cones and suspensions.
Corrects incorrect assertions about fixed points in digital topology.
problem Incorrect or incorrectly proven assertions about fixed points in digital metric spaces.
method Analysis of existing assertions and proofs.
result Identifies and corrects errors in published assertions.
Study AFPP of unions of convex digital disks in 2D.
problem Conditions for AFPP of union of convex disks in digital plane.
method Use results from [6] to analyze AFPP.
result Conditions for AFPP of union of convex disks.
The paper addresses flaws in fixed point assertions for digital images.
problem Deficiencies in previously published works on fixed point assertions for digital images.
method Continues a series of studies to identify and rectify issues in fixed point assertions.
result Identifies and corrects flaws in fixed point assertions for digital images.
Study minimal freezing sets in convex digital disks.
problem Finding minimal freezing sets in convex digital disks.
method Showed how to find minimal freezing sets for convex disks in digital plane.
result Found minimal freezing sets for convex disks in digital plane.
Study on cold and freezing sets in digital images.
problem Properties of cold sets in digital images.
method Analysis of properties and relationships between cold and freezing sets.
result Examined relationships between cold and freezing sets.
In this paper, we show how to construct graph theoretical models of n-dimensional continuous objects and manifolds. These models retain topological properties of their continuous counterparts. An LCL collection of n-cells in Euclidean space is introduced and investigated. If an LCL collection of n-cells is a cover of a…
Incorrect fixed point assertions in digital topology are discussed.
problem Incorrect or poorly stated fixed point assertions in digital topology.
method Discussion of problematic publications in digital metric spaces.
result Clarification of incorrect fixed point assertions.
Incorrect fixed point assertions in digital topology are discussed.
problem Incorrect, incorrectly proven, or trivial fixed point assertions in digital topology.
method Continues earlier work on identifying and critiquing bad fixed point assertions.
result Clarifies the nature and extent of incorrect fixed point assertions in digital topology.
Digital trees have approximate fixed point property, and conditions for products are explored.
problem Conditions for the approximate fixed point property in digital tree products.
method Analyzes digital trees and their products, explores conditions for the AFPP.
result Conditions are found for the AFPP in digital tree products.
Study convexity and AFPP in digital images.
problem Relationship between convexity and AFPP in digital images.
method Examined in Z^2 digital images.
result Relationship between convexity and AFPP in digital images.
The paper highlights issues in fixed point claims in digital topology.
problem Flaws in published assertions about fixed points in digital metric spaces.
method Continues a series of studies examining these flaws.
result Identifies and discusses problems in fixed point claims.
Han discusses variants of digital covering maps and their equivalences.
problem Han's paper lacks thorough discussion on variants and their equivalences.
method Examined several variants of digital covering maps and compared their equivalences.
result Found several equivalences among the variants of digital covering maps.
Critiques incorrect fixed point assertions in digital topology.
problem Incorrect or incorrectly proven fixed point assertions in digital topology.
method Critical review of existing assertions.
result Identifies and critiques incorrect fixed point assertions.
Examines how irreducibility and rigidity affect digital images.
problem Understanding interactions between irreducibility and rigidity in digital images.
method Analyzes Cartesian products, wedges, and cold and freezing sets.
result Interactions between irreducibility and rigidity in digital images.
Study restrictions on digitally continuous functions and their effects.
problem Understanding effects of restrictions on digitally continuous functions.
method Analyzing digitally continuous functions and their modifications.
result Analogous result for topological spaces derived from digitally continuous functions.
Fixed point assertions in digital topology are often incorrect or poorly stated.
problem Fixed points in digital metric spaces
method Discussing publications with bad assertions
result Identifying and correcting errors in fixed point assertions
A new method streamlines digital payment programming using smart contracts.
problem High costs and security challenges in programming smart contracts for digital payments.
method Transforming digital currencies into token streams and using configurable templates to generate specialized smart contracts.
result Reduces payment programming costs and enhances security, self-enforcement, adaptability, and controllability.
New framework explains leading digit patterns without probabilistic assumptions.
problem Explaining leading digit distributions without relying on probabilistic models.
method Shift-invariant functional equation and affine-plus-periodic formulas.
result Unified mathematical foundation for understanding digit distributions.
Study freezing sets for digital images in a 2D grid.
problem Determine minimal freezing sets for digital images.
method Prove methods to obtain freezing sets for digital images (X, c_i) where X is a subset of Z^2.
result Examples show how methods can lead to the determination of minimal freezing sets.
Pakistan examines digital mergers using traditional competition tools.
problem Regulating digital mergers in a developing country.
method Empirical comparative analysis of CCP's M&A decisions.
result CCP uses same decision factors for digital and traditional M&As.
Wrist movements can reveal digits, posing security risks.
problem Security vulnerabilities in wrist wearable devices.
method Machine learning model trained on wrist movement data.
result 100% accuracy in predicting digits via wrist movement.
Generative models create personalized patient health simulations.
problem Creating accurate digital twins for personalized medicine.
method Neural network architecture for conditional generative models of clinical trajectories.
result Same architecture generates accurate twins across 13 indications.
Study shows 'Belt and Road' node cities boost digital finance in China.
problem Impact of 'Belt and Road' node cities on digital inclusive finance.
method Descriptive analysis, literature review, theoretical model, differential differential method.
result Establishment of 'Belt and Road' node cities promotes digital inclusive finance in China, with Internet development as a mediating variable.
Surrogate models enhance digital twin technology for dynamic systems.
problem Lack of clarity and effective methods for digital twin applications.
method Exploration of Gaussian process (GP) emulators within digital twin framework.
result Surrogate models like GP emulators are effective for digital twin development.
SFC aims to protect the Amazon with a digital currency and smart contracts.
problem Protecting the Amazon's ecosystem and ensuring resource credibility.
method Blockchain, digital contracts, smart contracts with oracles.
result Ensures credibility and security for financial resources invested in Amazon projects.
Digital twin reduces costs in various fields.
problem High costs in decision-making processes.
method Use of digital twin model for cost reduction.
result Digital twin acts as a cost reduction method.