Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Source URL: www.eecs.northwestern.edu

• Software engineering
• Computer programming
• Programming language theory
• Object-oriented programming languages
• Combinatory logic
• Enumerated type
• Contract
• Objective-C
• Scope
• Eiffel
• Racket

Matthias Ruffert, Zwischen Quelle und Gericht: Funktion der Wissenschaft bei der Identifikation des Völkerrechts, in: Freiheit und Regulierung in der Cyberwelt – Rechtsidentifikation zwischen Quelle und Gericht, Beric

Source URL: www.dgfir.de

• Law
• Philosophy of law
• Political philosophy
• Legal ethics
• Hans Kelsen
• Precedent
• Jurisprudence
• International law

Collateralized Banking A Post-Crisis Reality Dr. Matthias Degen Senior Manager, KPMG AG

Source URL: www.ccfz.ch

• Economy
• Systemic risk
• Finance
• Money
• KPMG
• Derivative
• Collateral management
• Basel III
• DoddFrank Wall Street Reform and Consumer Protection Act
• Repurchase agreement

  Overview of the LHC Data Model  DASPOS Technical Report #1    Peter Ivie, Anna Woodard, Matthias Wolf, 

Source URL: daspos.crc.nd.edu

• Physics
• Particle physics
• Large Hadron Collider
• ATLAS experiment
• Compact Muon Solenoid
• Worldwide LHC Computing Grid
• Trigger
• Higgs boson
• Geant4
• CERN
• Barn
• LHCb experiment

Pestalozzi Gruppe Gemeinsam bewegen. Seit 1763 Geschäftsleitung (v.l.n.r.) : Stefan Greub, Matthias Haller, Matthias Pestalozzi, Hanspeter Friedli, Stephan Muntwyler und Marcel Locher. Pestalozzi Gruppe

Source URL: www.pestalozzi.com

Password Authenticated Key Agreement for Contactless Smart Cards Dennis Kügler1, Heike Neumann2, Sebastian Stappert2, Markus Ullmann1, Matthias Vögeler2 1

Source URL: events.iaik.tugraz.at

• Cryptography
• ISO standards
• Ubiquitous computing
• Computer security
• Prevention
• Computer access control
• Password
• Contactless smart card
• Challengeresponse authentication
• Key-agreement protocol
• Smart card
• Key

EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks Matthias Woehrle # , Christian Plessl ∗ , Roman Lim # , Jan Beutel # #

Source URL: www.tik.ee.ethz.ch

• Wireless sensor network
• Computing
• Wireless networking
• Computer networking
• Data transmission
• Sensor node
• Collection Tree Protocol
• Routing
• TinyOS
• Embedded system

Institutsleiter Prof. Dr. Matthias Klingner Verwaltungsleiterin Kornelia Brüggert Fraunhofer-Institut für Verkehrs- und Infrastruktursysteme IVI

Source URL: www.ivi.fraunhofer.de

Final Thesis: Guidelines Economics: Design and Behavior Chair: Prof. Dr. Matthias Sutter Last updated: May 2, 2016 Contents

Source URL: sutter.wiso.uni-koeln.de

• Academia
• Grey literature
• Rhetoric
• Theses
• Thesis
• Education
• Knowledge
• Research
• Draft:Learn How to Write a PhD Thesis

28. September 2016 – IAA Hannover Matthias Wissmann Vita

Source URL: kongress.car-it.com

• Matthias Wissmann
• Verband der Automobilindustrie
• Wissmann
• VDA