Geothermal recovery involves a coupled thermo-hydro-mechanical (THM) process in fractured rocks. A fluid transient equilibrium equation, considering thermal conduction, convection, and heat exchange, is established. The evolution of the reservoir permeability variance fracture aperture due to change stress field are derived simultaneously. THM coupling accomplished through iterative hydromechan...

A horizontal travelling heater method (THM) for growing cylindrical crystals from a partially filled solution zone has been investigated for the first time. By applying ampoule rotation, the whole cross section of the crystal is successively brought into contact with the liquid solution, which is effectively stirred by forced convection. This approach was used to grow single-crystalline Hgt_xCd...

Geologic disposal is a promising solution for safe permanent isolation of accumulated high-level nuclear waste from powerplants. The behavior host rock highly coupled thermally, hydromechanically, and chemically. Numerical simulations such phenomena the extremely long term (>100,000 years) large length scale (>1 km) geologic remain to be computationally challenging. In this study, methodology h...

A construct ive learning algori thm dynamical ly creates a problem-specific neural ne twork architecture rather t h a n learning o n a pre-specified architecture. W e propose a parallel vers ion of our recently presented construct ive neural ne twork learning algori thm. Parallelization provides a computat ional speedup by a fact o r of O ( t ) where t is t h e number of training ezamples. Dist...

In this paper, we first recall a previous favourable experience with the Schwarz type domain decomposition methods applied to problems of heat flow and elasticity [9, 11, 12] and then discuss a possible use of these methods for solving Darcy flow problems.

We prove that the model checking and the satisfiability problem of both Dynamic Logic of Propositional Assignments DL-PA and Coalition Logic of Propositional Control and Delegation DCL-PC are in PSPACE. We explain why the proof of EXPTIME-hardness of the model checking problem of DL-PA presented in [1, Thm 4] is false. We also explain why the proof of membership in PSPACE of the model checking ...

Every operation or relation on a base set A can be "lifted" to the power set P ( A ) . In this paper clones of operations and corresponding invariant relations are studied under this process of lifting (e.g. the clone generated by all lifted operations of a clone is characterized internally by 6-closure (Thm. 2.2) and externally by special invariant relations (Thm. 2.4, 3.3)). Generalizations t...

BACKGROUND-These studies were initiated to confirm that high-level thrombomodulin overexpression is sufficient to limit neointima formation after mechanical overdilation injury. METHODS AND RESULTS-An adenoviral construct expressing thrombomodulin (Adv/RSV-THM) was created and functionally characterized in vitro and in vivo. The impact of local overexpression of thrombomodulin on neointima form...

Owing the presence of Coulomb barrier at astrophysically relevant kinetic energies, it is very difficult, or sometimes impossible to measure astrophysical reaction cross sections in laboratories, especially for electron screening effect. This why different indirect techniques are being used along with direct measurements. The Trojan Horse Method (THM)is a unique technique allowing one rearrange...

In th is paper we present an algor i thm for f inding a "c losed-form" solut ion of the dil l-erential equatiofl -1"'+ ql +by, where a and b are rational functions of a complex var iable .x. provided a "c losed-form" solut ion exists. The algor i thm is so arranged that i f no solut icrn is found. then no solut ion can exist . The frrst sect ion makes precise what is meant by "c losed-form" and...