Results 141 to 150 of about 523,591 (296)

Investigation on tunnel stability considering pipe‐roof support with transparent soil technology

Deep Underground Science and Engineering, EarlyView.
This study integrates transparent soil technology, 3D reconstruction and numerical simulation to captures the full‐field deformation of shield tunnel instability. Results demonstrate that pipe‐roof support enhances stability via the “soil‐arching barrier effect,” effectively restraining failure wedge development by extending stress transfer paths ...
Zhi Jia, Yunpeng Ji, Zhao Lu, Honghua Zhao, Limin Zhang   +4 more
wiley   +1 more source

Experimental and smoothed particle hydrodynamics‐finite element method simulation investigation of synergistic erosion mechanism of gangue‐based abrasive water jets

Deep Underground Science and Engineering, EarlyView.
This study proposes an eco‐friendly coal permeability enhancement technique by utilizing mine waste gangue as an abrasive in high‐pressure water jets. Integrating erosion experiments with smoothed particle hydrodynamics‐finite element method coupled simulations, the research study elucidates the flow field dynamics and a nonlinear solid–liquid ...
Qingxiang Wang, Jiaxu Tang, Qiheng Ren, Ding Wang, Tong Wang   +4 more
wiley   +1 more source

Modeling proppant transport and settling in a 3D propagating fracture

Deep Underground Science and Engineering, EarlyView.
A versatile multiphysics tool is presented for simulating the complex processes involved in hydraulic fracturing treatments. The model couples fracture opening and propagation, variable‐density slurry flow, and proppant particle transport within the multiphysics object‐oriented simulation environment framework, based on two‐phase mixture equations and ...
Robert Egert, Aimé Fournier, Wencheng Jin   +2 more
wiley   +1 more source

Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges

Epilepsia Open, EarlyView.
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus, Cesar Santana‐Gomez, Ruby G. Escalante, Dominique Duncan, Pedro F. Viana, Giulia Sofia Cereda, Naoto Kuroda, Aristea S. Galanopoulou   +7 more
wiley   +1 more source

Proof simplification and automated theorem proving. [PDF]

Philos Trans A Math Phys Eng Sci, 2019
Kinyon M.
europepmc   +1 more source

On the representation of dynamic search spaces in theorem proving [PDF]

, 1996
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem proving. We outline an approach to measuring the complexity of search which
Jieh Hsiang, BONACINA, Maria Paola
core  

Bayesian Multivariate Two‐Stage Volatility‐Return Models (MTS‐VR)

Journal of Forecasting, EarlyView.
ABSTRACT This paper develops a class of models to capture the joint dynamics of asset returns and multivariate volatility. Owing to its two‐stage construction, this class is referred to as the multivariate two‐stage volatility‐return (MTS‐VR) model.
Zhenglyu Huang, Jennifer S. K. Chan, Gareth W. Peters   +2 more
wiley   +1 more source

Valuing Stock Liquidity: Theory and Evidence From the Collapse of Lehman Brothers

International Journal of Finance &Economics, EarlyView.
ABSTRACT This study examines the cross‐sectional relationship between stock return and stock liquidity (both level and risk) for the period when there was a huge decline in market‐wide funding liquidity from the collapse of Lehman Brothers. We propose a global game model to analyse the decisions of short‐term traders around the time Lehman Brothers ...
Shu Feng, Lining Han, Chun‐Yu Ho, Yolanda Yulong Wang, Jiayi Zhong   +4 more
wiley   +1 more source

Exact Values and Bounds on Covering Schemes of Strength Two

Journal of Combinatorial Designs, EarlyView.
ABSTRACT In this work, we investigate covering schemes of strength 2 over finite abelian groups, establishing new lower and upper bounds and evaluating new exact values. A main result is a new general lower bound that improves the trivial one and achieves optimality for the binary case. We also develop a recursive relation based on subsets of the group
André G. Castoldi, Anderson N. Martinhão, Emerson L. Monte Carmelo, Pablo H. Perondi, Otávio J. N. T. N. dos Santos   +4 more
wiley   +1 more source

ShZZaM

Proceedings of the International Florida Artificial Intelligence Research Society Conference
This paper describes ShZZaM, a tool that translates natural language to typed first-order logic, using Large Language Models (LLMs) and Automated Theorem Proving (ATP).
Geoff Sutcliffe, Danial Haroon
doaj   +2 more sources