Efficient Traffic Routing with Progress Guarantees Stefan Blumer Manuel Eichelberger Roger Wattenhofer

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

• Routing algorithms
• Edsger W. Dijkstra
• Mathematics
• Game artificial intelligence
• Combinatorial optimization
• Search algorithms
• Computing
• Applied mathematics
• Pathfinding
• Shortest path problem
• Deadlock
• Routing

Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2

Source URL: ceur-ws.org

• Economy
• Business intelligence
• Finance
• Money
• Learning analytics
• Predictive analytics
• Analytics in higher education
• Analytics
• Usability
• Business analytics
• Architectural pattern
• Educational technology

Forth Day: Green Arrays, Inc.  Greg Bailey – Intro: The State of Green Arrays  Stefan Mauerhofer – Eval Board Application: Low Frequency Clock and UART

Source URL: www.forth.org

• System software
• BIOS
• Computer architecture
• Boot loaders
• Booting

Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 | 09 | 12

Source URL: www.maria-a-schett.net

• Education
• Economy
• Educational psychology
• Neuropsychology
• Business intelligence
• Big data
• Formal sciences
• Analytics
• Architectural pattern
• Educational technology
• Learning
• Learning analytics

Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2

Source URL: www2.cs.cas.cz

LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at

Source URL: www.cbpf.br

• Information theory
• Statistical theory
• Physics
• Probability and statistics
• Entropy
• Conditional entropy
• Principle of maximum entropy

Hash-Based Signatures Stefan-Lukas Gazdag 5th ENISA/FORTH Summer School, 27th of September 2018

Source URL: nis-summer-school.enisa.europa.eu

• Cryptography
• Post-quantum cryptography
• Cryptographic hash functions
• Hash-based cryptography
• Hashing
• Collision resistance
• Hash function
• Hash
• Index of cryptography articles
• Lamport signature

Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and

Source URL: www.isse.uni-augsburg.de

• Computing
• Software
• Formal methods
• Computer programming
• Refinement
• Crash Bandicoot
• Crash
• S0
• Extensible Storage Engine
• Boeing B-52 Stratofortress

Meltdown Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6 , Yuval Yarom

Source URL: mlq.me

• Computer security
• Computer hardware
• Side-channel attacks
• X86 architecture
• Computing
• Meltdown
• Computer engineering
• Pwnie Awards

Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

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

• Formal languages
• Mathematics
• Theoretical computer science
• Models of computation
• Discrete mathematics
• Nested word
• Words
• Bisimulation
• Distribution
• Deterministic pushdown automaton