Results 81 to 90 of about 4,006 (251)
Deep Underground Science and Engineering, EarlyView.This study investigates ground subsidence during tunnel excavation in karst areas, highlighting the combined effects of karst cave proximity, cave size, and soil spatial variability. Findings suggest that shorter cave distances and larger cave sizes increase subsidence variability, and a modified Peck formula is proposed for more accurate subsidence ...
Zhenghong Su +4 more
wiley +1 more source
Cut elimination in inductive proofs of weakly quantified theorems [PDF]
, 2008 In dieser Arbeit wird erst der Gentzensche Beweis der Konsistenz der Peano- arithmetik vorgestellt, dann wird die Methode auf eine Klasse induktiver Be- weise erweitert.
Libal, Tomer
core
Deep Underground Science and Engineering, EarlyView.For the roof of coral reef limestone caverns, a novel tension‐shear composite failure mechanism was developed. The most critical tensile crack model was identified using a hybrid optimization algorithm, and the stability of the cavern roof was analyzed accordingly.
Dongsheng Xu, Chenxu Li, Chuantan Hou
wiley +1 more source
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 +4 more
wiley +1 more source
Earthquake Engineering &Structural Dynamics, EarlyView.ABSTRACT Nonstructural components (NSCs) installed in large‐span reticular structures were frequently severely damaged during earthquakes, even when the primary structure remained intact. Existing seismic design specifications for NSCs were predominantly developed for upright structures such as multi‐storey buildings and offer no guidance for reticular
Xudong Zhi +6 more
wiley +1 more source
Cut-Elimination for Full Intuitionistic Linear Logic
We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and exponential-free) Linear Logic introduced by Hyland and de Paiva.
Torben Braüner, Valeria De Paiva
core
Fire and Materials, EarlyView.ABSTRACT The relationship between accidental dwelling fire incidence and fire injury and fatality was examined using a Bayesian model to estimate the probability of a fire injury or fatality resulting from an accidental dwelling fire incidence under different circumstances of fire incidence (type of accidental dwelling fire, dwelling occupancy type ...
M. Taylor +5 more
wiley +1 more source
Subspace Acceleration for Efficient Nonlinear Water Wave Simulation
International Journal for Numerical Methods in Fluids, EarlyView.We introduce an exponentially weighted subspace acceleration technique to reduce GMRES iterations for solving the Poisson equation with time‐dependent coefficients in nonlinear, dispersive free‐surface flows governed by the incompressible Navier‐Stokes equations. The method significantly reduces memory requirements and computational complexity compared
Rasmus Kleist Hørlyck Sørensen +3 more
wiley +1 more source
Algebraic aspects of cut elimination
, 2001 We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the ...
Peter Jipsen +2 more
core
Geological Journal, EarlyView.This work advances landslide susceptibility mapping by incorporating short‐term trigger data with landscape susceptibility mapping. We also examine the importance of downsampling, watershed delineation and geospatial correlations in evaluating outcomes.
Kanta Kotsugi +3 more
wiley +1 more source