On the Derivation of Closed-Form Expressions for Displacements, Strains, and Stresses Inside Poroelastic Reservoirs

We critically review the derivation of closed-form analytical expressions for elastic displacements, strains, and stresses inside a subsurface reservoir undergoing pore pressure changes using inclusion theory. Although developed decades ago, inclusion theory has been used recently by various authors to obtain fast estimates of depletion...

On the derivation of closed-form expressions for displacements, strains and stresses inside a poroelastic inclusion

This note provides the derivation of closed-form expressions for elastic displacements, strains, and stresses inside an inclusion. Jansen et al. (2019) and Wu et al. (2021) obtained correct expressions for the stresses inside an inclusion, but their derivation of these expressions contained mistakes. In this note, the correct derivation of...

Induced aseismic slip and the onset of seismicity in displaced faults

We address aseismic fault slip and the onset of seismicity resulting from depletion-induced or injection-induced stresses in reservoirs with pre-existing vertical or inclined faults. Building on classic results, we discuss semi-analytical modelling techniques for fault slip including dislocation theory, Cauchy-type singular integral equations...

Weak convergence of stochastic integrals with respect to the state occupation measure of a Markov chain

Our aim is to find sufficient conditions for weak convergence of stochastic integrals with respect to the state occupation measure of a Markov chain. First, we study properties of the state indicator function and the state occupation measure of a Markov chain. In particular, we establish weak convergence of the state occupation measure under...

Surgical flow disturbances in dedicated minimally invasive surgery suites:: An observational study to assess its supposed superiority over conventional suites

Background: Minimally invasive surgery (MIS) is frequently compromised by surgical flow disturbances due to technology- and equipment-related failures. Compared with MIS in a conventional cart-based OR, performing MIS in a dedicated integrated operating room (OR) is supposed to be beneficial to patient safety. The aim of this study was to...

Polaris: Providing context aware navigation in spreadsheets

Spreadsheets are a successful example of an end-user programming language, and the spreadsheet paradigm shares several characteristics like composition, selection, and repetition with programming languages. There are compelling reasons that spreadsheets are code. For most programming languages, developers are supported by powerful IDEs. However,...