scispace - formally typeset
P

Peter Baumgartner

Researcher at University of Lausanne

Publications -  225
Citations -  5709

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
Journal ArticleDOI

Mesozoic basins on the Adriatic continental margin – a cross-section through the Dinarides in Montenegro / Mezozojski bazeni na kontinentalnem robu Jadranske plošče – presek čez Dinaride v Črni gori

TL;DR: In this article , the main stages in the Mesozoic geodynamic history are: 1) rifting leading to opening of the Maliac Ocean in the Late Anisian, 2) onset of an east-dipping intra-oceanic subduction in the Early-Middle Jurassic and sea-floor spreading in a supra-subduction setting (Vardar Ocean), 3) formation of ophiolitic mélanges in trench-like basins, westward obduction of young supra subductions in the Middle-Late Jurassic and accumulation of flysch-type deposits in foreland basins in the latest Jurassic to Early Cretaceous, 4) subaerial exposure of the newly formed nappes followed by middle to Late Cretovery transgression, and 5) continental collision in the Maastrichtian and Paleogene.
Journal ArticleDOI

Performance Analysis of Resonant-Fin Transistors and Their Application in RF-Circuit Design

TL;DR: Following the performance analyses conducted throughout this work, the fundamental limit for the Q-factor of this resonator is investigated, challenging the validity of functionality of the resonant fin transistor and its potential for circuit applications.
Journal ArticleDOI

A field-experiment testing the impact of a warrant service prioritization strategy for police patrol officers

TL;DR: In this paper , a field experiment was carried out with the Greensboro (NC) Police Department to test the efficacy of providing prioritized warrant lists to patrol officers, and the results showed that prioritization was not effective in promoting additional warrant service.
Proceedings ArticleDOI

Influence of Transistor Compact Model Accuracy on Phase Noise Simulation

TL;DR: In this paper , the phase noise properties of oscillator phase as a function of time were investigated using a simple SPICE level 1 model and a highly accurate foundry model, and the results showed that qualitatively correct results can be expected even for the simple compact model.
ReportDOI

Machine Learning for Medical Coding in Health Care Surveys

TL;DR: In this article, the authors evaluated the use of machine learning classifiers to perform automated medical coding for large statistical healthcare surveys and found that the classifiers performed well for large-scale surveys.