scispace - formally typeset
Search or ask a question
Author

Peter Baumgartner

Bio: Peter Baumgartner is an academic researcher from University of Lausanne. The author has contributed to research in topics: Automated theorem proving & Cretaceous. The author has an hindex of 41, co-authored 208 publications receiving 5332 citations. Previous affiliations of Peter Baumgartner include Commonwealth Scientific and Industrial Research Organisation & NICTA.


Papers
More filters
30 Sep 1996
TL;DR: A variant of clausal normal form table aux that takes advantage of the central idea of (positive) hyper resolution, namely to resolve away all negative literals of a clause in a single inference step to enable new efficient proof procedures for full first order theories as variants of table ux calculi.
Abstract: This paper introduces a variant of clausal normal form table aux that we call “hyper tableaux”. Hyper tableaux keep many desirabl e features of analytic tableaux while taking advantage of the central idea fr om (positive) hyper resolution, namely to resolve away all negative literals of a clause in a single inference step. Another feature of the proposed calculus is th e extensive use of universally quantified variables. This enables new efficient fo rward-chaining proof procedures for full first order theories as variants of table ux calculi.

192 citations

Journal ArticleDOI
TL;DR: The history of continental breakup and oceanic spreading of the Alpine Tethys is defined by a revision of isotopic and biochronologic ages of 65 stratigraphic sections located in the Alps, Apennines, Betic Cordillera, Rif, and central Atlantic as discussed by the authors.
Abstract: The history of continental breakup and oceanic spreading of the Alpine Tethys is defined by a revision of isotopic and biochronologic ages of 65 stratigraphic sections located in the Alps, Apennines, Betic Cordillera, Rif, and central Atlantic and a reinterpretation of the stratigraphic sequences of surpraophiolitic radiolarites. The biochronology of radiolarites is revised by using the deterministic approach known as the unitary association method. During the early Bajocian (unitary association zone, UAZ 3) radiolarite sedimentation began at the continental margin. Biochronologic ages determined in the lowermost radiolarites in basinal sequences of Tethyan margins are synchronous and mark a regional change in sedimentation regime in the Alpine Tethys. The onset of oceanic spreading of the Alpine Tethys is dated by isotopic methods as Bajocian, and is consistent with the timing of the structural evolution of the continental margins. The earliest fragments of Tethyan oceanic crust are characterized by the associations of ophiolites with deep-sea sediments, and coarse reworked sediments including platform and continental basement fragments. The earliest ophiolites also show geochemical affinities with synrift and transitional mid-oceanic-ridge basalts. The oldest radiolarites on oceanic crust are so far dated as Bathonian (UAZ 6) and are located in the Gets nappe (western Alps), in the Balagne nappe (Corsica), and in the central Atlantic (Deep Sea Drilling Project [DSDP] Site 534A). The oldest remnants of Alpine Tethyan crust have been identified in weakly metamorphosed cover nappes that occupy an external tectonic position in the Alpine orogenic belts, as compared to the main ophiolitic sutures. Thus, the older relics of oceanic lithosphere were the first to be accreted and transported onto the foreland during the collision. Siliceous sedimentation during the early Bajocian is correlated with westward deep-water circulation in the Alpine Tethys related to the opening of deep seaways between Laurasia and Gondwana. In the central Atlantic no radiolarites, but thin radiolarian-rich layers, were deposited during the earliest Bathonian (UAZ 6). The similarity between radiolarian faunal assemblages and ages in the Northern Alps, Gets nappe, Betic Cordillera, and Site 534 (DSDP Leg 76) suggest a Middle Jurassic connection between the Alpine Tethys and central Atlantic. Biochronologic and isotopic ages currently indicate that oceanic spreading of the Alpine Tethys began during the Bajocian and continued until the Kimmeridgian.

172 citations


Cited by
More filters
Journal ArticleDOI

[...]

08 Dec 2001-BMJ
TL;DR: There is, I think, something ethereal about i —the square root of minus one, which seems an odd beast at that time—an intruder hovering on the edge of reality.
Abstract: There is, I think, something ethereal about i —the square root of minus one. I remember first hearing about it at school. It seemed an odd beast at that time—an intruder hovering on the edge of reality. Usually familiarity dulls this sense of the bizarre, but in the case of i it was the reverse: over the years the sense of its surreal nature intensified. It seemed that it was impossible to write mathematics that described the real world in …

33,785 citations

Journal ArticleDOI
01 Apr 1988-Nature
TL;DR: In this paper, a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) is presented.
Abstract: Deposits of clastic carbonate-dominated (calciclastic) sedimentary slope systems in the rock record have been identified mostly as linearly-consistent carbonate apron deposits, even though most ancient clastic carbonate slope deposits fit the submarine fan systems better. Calciclastic submarine fans are consequently rarely described and are poorly understood. Subsequently, very little is known especially in mud-dominated calciclastic submarine fan systems. Presented in this study are a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) that reveals a >250 m thick calciturbidite complex deposited in a calciclastic submarine fan setting. Seven facies are recognised from core and thin section characterisation and are grouped into three carbonate turbidite sequences. They include: 1) Calciturbidites, comprising mostly of highto low-density, wavy-laminated bioclast-rich facies; 2) low-density densite mudstones which are characterised by planar laminated and unlaminated muddominated facies; and 3) Calcidebrites which are muddy or hyper-concentrated debrisflow deposits occurring as poorly-sorted, chaotic, mud-supported floatstones. These

9,929 citations

01 Jan 2009
TL;DR: This paper presents a meta-modelling framework for modeling and testing the robustness of the modeled systems and some of the techniques used in this framework have been developed and tested in the field.
Abstract: ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

1,687 citations

Journal ArticleDOI
TL;DR: In this paper, a new type of global plate motion model consisting of a set of continuously-closing topological plate polygons with associated plate boundaries and plate velocities since the break-up of the supercontinent Pangea is presented.

1,519 citations

Journal ArticleDOI
TL;DR: YAGO is a large ontology with high coverage and precision, based on a clean logical model with a decidable consistency that allows representing n-ary relations in a natural way while maintaining compatibility with RDFS.

912 citations