Dictionnaire français - anglais

paraclase

sciences naturelles et appliquées - iate.europa.eu
Property-based code slicing for efficient verification of osek/vdx operating systems... Comparative experiments using random testing and model checking for the verification of assertions in the Trampoline kernel code show how our environment generation and abstraction approach can be utilized for efficient fault-detection
sciences naturelles et appliquées - core.ac.uk - PDF: doaj.org
Abstract decoupling synchronization from local control for efficient symbolic model checking of statecharts... The technique enabled the analysis of the statecharts model of a fault-tolerant electrical power distribution system developed by the Boeing Commercial Airplane Group....
sciences naturelles et appliquées - iate.europa.eu
Schematic showing the present-day configuration of mid-ocean ridges in the tropical east pacific and the location of known kiwaids.... Abbreviations are: NEPR = Northern East Pacific Rise; SEPR = Southern East Pacific Rise; GR = Galapagos Rift; JFM = Juan Fernandez Microplate; GM = Galapagos Microplate; PAR = Pacific-Antarctic Ridge; CR = Chile Rise....
sciences naturelles et appliquées / activité agricole - core.ac.uk - PDF: figshare.com
Earthquakes and eruptions at okataina volcanic centre... On a larger scale, new geological and geophysical information has improved understanding of the geometrical relationships between major volcanic features such as caldera structures and tectonic features such as rift grabens (Acocella et al.,...

Publications scientifiques

Preface to the focus section on injection- induced seismicity... Although the basic mechanism for activation of slip on a fault by subsur-face fluid injection is well established (Healy et al.,...
commercialisation / sciences naturelles et appliquées / production et structures agricoles - core.ac.uk - PDF: profile.usgs.gov
Universal fault simulation using fault tuplesWe introduce a new fault representation mechanism for digital circuits based on fault tuples....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
The namib rift: a rift system of possible karoo age, offshore... South of the Autseib Lineament, Damaran basement fabrics largely determined fault trends within the Namib Rift....
général - core.ac.uk - PDF: sp.lyellcollection.org
Rapid spatiotemporal variations in rift structure during development of the corinth rift, central greece... A complete compilation of marine geophysical data, complemented by onshore data, is used to develop a high-resolution chronostratigraphy and detailed fault history for the offshore Corinth Rift, integrating interpretations and reconciling previous discrepancies....
général - core.ac.uk - PDF: core.ac.uk
Tectonic stress field in rift systems – a comparison of rhinegraben, baikal rift and east african rift... Especially for small rifts (e.g....
général - core.ac.uk - PDF: www.africamuseum.be


1 milliard de traductions classées par domaine d'activité en 28 langues