A methodology is presented for determining the probability of dikes failing due to uplifting and piping using directional sampling. The study concerns one dike section in the lower river area of The Netherlands. For this dike section, the three most important random quantities are: the North-Sea water level, the river Rhine discharge, and the critical head in the event of uplifting and piping. ...

Abstract New trace-element, radiogenic Sr-Nd-Pb isotopic and geochronological data from Middle-Late Cretaceous Zagros ophiolites of Iran give new insights into the tectono-magmatic history these supra-subduction zone (SSZ)-type ophiolites. The distribution SSZ-type in comprises two parallel belts: (1) outer ophiolitic belt (2) inner belt. These were generated by seafloor spreading what became f...

A well-known conjecture about closed hyperbolic 3-manifolds asserts that the first Betti number can be increased without bound by passage to finite sheeted covers. If the manifold is fibred, a strengthening of this conjecture is that the number of fibred faces (see §2.1 for the definition of a fibred face) of the unit ball of the Thurston norm can be made arbitrarily large by passage to finite ...

Spur dike is one of the hydraulic structures used in rivers to protect river banks. In this paper, flow pattern around a T-shaped spur dike which is located in a 90◦ bend and different amounts of submersion has been studied using Flow-3D. Numerical results have been compared with experimental results and have been analysed.

Epidosites are a prominent type of subseafloor hydrothermal alteration basalts in ophiolites and greenstone belts, showing an end-member mineral assemblage epidote + quartz titanite Fe-oxide. known to form within crustal-scale upflow zones their fluids have been proposed as deep equivalents black-smoker seafloor vent fluids. Proposals the mass fluid per rock (W/R ratio) needed epidosites contra...

This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, and a graphical user interface to provide an integrated toolset for the development of model-based diagnosis applications. The framework has been used for representing a number of application domains. We present the AD2...