Design of Parallel and High-Performance Computing Fall 2013 Lecture: Lock-Free and Distributed Memory Instructor: Torsten Hoefler & Markus Püschel

Source URL: spcl.inf.ethz.ch

• Concurrency control
• Consensus
• Non-blocking algorithm
• Lock
• Linearizability
• Thread
• Synchronization
• Monitor
• Java concurrency

Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich

Source URL: spcl.inf.ethz.ch

• Probability distributions
• Constructible universe
• Isotope lists
• 73-96
• Hlder condition

Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011

Source URL: www.cs.toronto.edu

• Model theory
• Logic
• Predicate logic
• Quantification
• Skolem normal form
• Inverse trigonometric functions
• Quantifier
• Surjective function
• Unification
• Herbrandization
• First-order logic

Torsten Kettritz (Stand: Einrichtungsliste: Therapie, Beratung, Betreuung sexuell übergriffiger Kinder erstellt undvonJugendlicher Träger

Source URL: www.dgfpi.de

Research stay by Gut & Milde at the University of Campinas, March/April 2003 Ulrike Gut, Jan-Torsten Milde, Campinas, 2nd April, 2003 Part I: Brief summary of the activities The purpose of the research stay as specified

Source URL: www.ime.usp.br

• Computational linguistics
• Corpus linguistics
• Discourse analysis
• Annotation
• Reference
• Writing
• Text corpus

Design of Parallel and High Performance Computing HS 2015 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich

Source URL: spcl.inf.ethz.ch

Torsten J. Gerpott/Phil Meinert The impact of mobile Internet usage on mobile voice calling behavior: A two-level analysis of residential mobile communications customers in Germany Work in Progress # 145 July 2015

Source URL: www.zftm.de

Torsten J. Gerpott/Mathias Paukert Der Zusammenhang zwischen Mitarbeiter- und Kundenzufriedenheit Eine Metaanalyse Work in Progress # 113

Source URL: www.zftm.de

Additional multcomp Examples Torsten Hothorn May 4, 2016 It is assumed that the reader is familiar with the theory and applications described in the generalsiminf vignette.

Source URL: cran.r-project.org

Mitglieder der Betriebswirtschaftlichen Kommission (BWK) Torsten Löffler, Tel.: oder, Fax: , email: Vorsitzender der BWK und zuständig für alle Verlage und

Source URL: www.vdbb.de