Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• Concurrency control
• Computing
• Computer programming
• Data management
• Lock
• N1
• Monitor
• File locking
• APT

Halbjahresabschluss zum 30. Juni 2018 Conference Call München, 9. AugustProf. Klaus Josef Lutz, CEO

Source URL: www.baywa.com

Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• E1
• Hepatitis C virus

What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2

Source URL: www.cs.man.ac.uk

• Computing
• Open formats
• Markup languages
• Formal methods
• Debugging
• Logic in computer science
• Runtime verification
• Tracing
• Comma-separated values
• Exception handling
• Database
• Data logger

Cluster Hypothesis in Low-Cost IR Evaluation with Different Document Representations Kai Hui Klaus Berberich

Source URL: gdac.uqam.ca

• Information science
• Information retrieval
• Natural language processing
• Statistical natural language processing
• Computational linguistics
• Semantics
• Vector space model
• Latent semantic analysis
• Relevance
• Word2vec
• Tfidf
• Ranking

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Control theory
• Applied mathematics
• Systems science
• Mathematics

Demailly, Jean-Pierre (ed.); Hulek, Klaus (ed.); Peternell, Thomas (ed.) Complex analysis. Abstracts from the workshop held September 2–8, Komplexe Analysis.) (English) Zbl
Oberwolfach Rep. 9, No.

Source URL: jgrivaux.perso.math.cnrs.fr

• FIZ Karlsruhe
• Zentralblatt MATH
• Fiz
• Moduli space
• Algebraic geometry
• Mathematics
• Geometry
• Mathematical analysis
• Complex manifolds
• Differential geometers
• Several complex variables

PDF Document

Source URL: www.klaus-henkel.de

PDF Document

Source URL: www.klaus-henkel.de