Colloquia

Page 1 of 7 1234567 >>

Runtime Verification Utilizing the Blockchain
The documentation and verification of real-world events plays an important role in smart systems, e.g., with regard to supply chains or logistics. Once events have been identified, it is necessary to...

Practical Formal Methods for Mainstream LLVM Developers
Peephole optimizations perform local algebraic simplifications to improve the efficiency of the code input to the compiler. These optimizations are a persistent source of bugs. The talk will present...

New Ideas for Stereo Matching of Untextured Scenes
Two talks for the price of one! I will present two radically different approaches to the challenging problem of stereo matching of scenes with little or no surface texture.First, I will discuss how...

CE-Seminar: Towards pressure-robust mixed methods for the incompressible Navier-Stokes equations
For more than thirty years it was thought that the efficient construction of pressure-robust mixed methods for the incompressible Navier-Stokes equations, whose velocity error is...

DLS in Cybersecurity: New Threat Models for Cryptography
Traditionally cryptography is used to protect communications and stored data. The cost of strong cryptography has been decreasing and today cryptography is used in tens of billions of devices....

Efficient calculation of spectral bounds for Hessian matrices on hyperrectangles
The presentation summarizes progress made over the past few years in the calculation of spectral bounds of interval Hessian matrices. Spectral bounds of this type play an important role in global...

Software Teams Debuggen
Passen Architektur einer Anwendung und Kommunikationsstrukturen ihres Entwicklungsteams nicht zueinander, führt das zu Problemen. Sowohl die Architektur, als auch die Teamorganisation entwickeln sich...

Visual Analytics Support for Searching and Comparing Patterns in Scatter Plots
The Scatter Plot is a classic, well-known technique in data visualization, and it has been applied in many domains since a long time effectively. Based on mapping input data to marks in a 2D graph,...

Podiumsdiskussion: Internationalisierung – Chancen und Herausforderungen in Lehrveranstaltungen
Wenn Studierende mit unterschiedlichen kulturellen Erfahrungen in einer Lehrveranstaltung zusammenkommen, kann dies zu mancherlei Herausforderung führen. Lehre in internationalen Studiengängen...

In-depth natural language understanding with probabilistic semantics and distributional models
Speaker: Kartin Erk
The meaning of natural language sentences can be represented through logic. Traditionally,the resulting logical form has been paired with manually created taxonomies for inference.But there are many...

Page 1 of 7 1234567 >>

Service

Note

If you know about other events at the department not listed yet, please notify us at events(a-t)informatik.tu-darmstadt.de.

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Website Analysis: More Information
zum Seitenanfangzum Seitenanfang