A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway

Source URL: heim.ifi.uio.no

• Model theory
• First-order logic
• Type
• Hoare logic
• Unification

Hamburger Initiative gegen Rüstungsexporte Bürgerschaft und Senat der Freien und Hansestadt Hamburg Herrn Olaf Scholz Erster Bürgermeister Petition gegen Rüstungsexporte Der Hamburger Hafen ist zur Drehscheibe des in

Source URL: www.hamburgerforum.org

Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989

Source URL: www.olejohandahl.info

• Type theory
• Mathematical logic
• Category theory
• Functional programming
• Abstract algebra
• Term algebra
• Initial algebra
• Algebraic structure
• Mathematical induction
• Term
• Sigma-algebra
• Unification

Institut für Medizininformatik, Biometrie und Epidemiologie Direktor: Prof. Dr. Olaf Gefeller Lehrstuhl für Biometrie und Epidemiologie Waldstraße 6

Source URL: www.gmds.de

Eine Presseinformation der CDU-Fraktion im Landtag Rheinland-Pfalz V.i.s.d.P.: Leiter Pressestelle Olaf Quandt,

Source URL: www.cdu-fraktion-rlp.de

ON THE WELL-POSEDNESS OF THE LINEAR PERIDYNAMIC MODEL AND ITS CONVERGENCE TOWARDS THE NAVIER EQUATION OF LINEAR ELASTICITY ETIENNE EMMRICH∗ AND OLAF WECKNER† Abstract. The non-local peridynamic theory describes the d

Source URL: www.math.tu-berlin.de

• Wave equation
• Limit of a function
• Generalized functions

Entwicklung eines Gefahrstoff- und Brandschutzmoduls für ein CAFM-System Mathias Brosius, Olaf Th. Buck Fa. Peter Pietsch – Organisationsberatung und Informationstechnologie Gr. Burgstraße 55-57

Source URL: www.ak-uis.de

Interview „Werbeartikel kann man nicht wegklicken!“ Der Haptikexperte Olaf Hartmann ist in der Branche kein Unbekannter. Dennoch hat der Inhaber des Unternehmens Touchmore immer wieder etwas Neues zu erzählen. Das

Source URL: www.touchmore.de

Wicked Trip Into Wicked Network Management Olaf Kirch Matthias G. Eckermann

Source URL: www.suse.com

• Internet Standards
• Internet Protocol
• Tunneling protocols
• Network protocols
• IP address
• Dynamic Host Configuration Protocol
• Point-to-point protocol over Ethernet
• IPv6
• Netfilter
• IPv4
• Zero-configuration networking

ONSET DETECTION IN PITCHED NON-PERCUSSIVE MUSIC USING WARPING-COMPENSATED CORRELATION Olaf Schleusing, Bingjun Zhang, Ye Wang School of Computing, National University of Singapore , {bingjun, wangye}@c

Source URL: www.smcnus.org

• Auditory perception
• Signal processing
• Acoustics
• Hearing
• Onset
• Synthesizers
• Transcription
• Pitch detection algorithm
• Vibrato
• Short-time Fourier transform
• Pitch
• Music information retrieval