Publications
Now showing items 821-830 of 2508
Large-Scale Pattern-Based Information Extraction from the World Wide Web
(2010)
Extracting information from text is the task of obtaining structured, machine-processable facts from information that is mentioned in an unstructured manner. It thus allows systems to automatically aggregate information ...
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
(2012)
The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we ...
Lexikon zur Kernenergie. Ausgabe Juli 2015
(2015)
The scope of the Glossary of Nuclear Terms (Lexikon zur Kernenergie) is intended to focus on the key terms concerning the public debate about the peaceful use of nuclear energy, in order to explain the meanings of technical ...
Lexikon zur Kernenergie. Ausgabe September 2014
(2014)
The scope of the Glossary of Nuclear Terms (Lexikon zur Kernenergie) is intended to focus on the key terms concerning the public debate about the peaceful use of nuclear energy, in order to explain the meanings of technical ...
Mechanische Zuverlässigkeit von gedruckten und gasförmig abgeschiedenen Schichten auf flexiblem Substrat
(2014)
In dieser Arbeit wird das Schädigungsverhalten von ITO-Schichten und von linienförmig strukturierten Silberschichten (Silbergrids) auf flexiblem Substrat geprüft. Ein weiterer Schwerpunkt liegt in der mechanischen Untersuchung ...
Mechanismen der Kraftübertragung des Reifens auf Schnee und Eis
(2012)
In der vorliegenden Arbeit werden analytische Modelle zum Kraft- und Formschluss sowie zur Schnee-Schnee-Reibung vorgestellt, die den Reifen- und Fahrbahneinfluss auf die Kraftübertragung auf Schnee und Eis beschreiben. ...
Mechanismen der Korrosion bei ultrahochfestem Beton
(2013)
This thesis presents the results gained within a broad experimental programme on the long term behaviour in particular of ultra high performance concrete in corrosive environments. Within the investigations, the main ...
Mechanismen der Auslösung hochreichender Konvektion im südwestdeutschen Mittelgebirgsraum
(2017)
The study discusses the occurrence of precipitation induced by deep convection in Germany's southwestern low mountain range in summer of 2007. Based on statistical methods and a case study, the mechanisms triggering the ...
Miniaturisierte Kapillarelektrophorese zur kontinuierlichen Überwachung von Kationen und Anionen in Prozessströmen
(2010)
Anhand der Entwicklung eines automatisierten Systems für die bidirektionale Kapillarelektrophorese (CE) im Chipformat wird der Einsatz der hauptsächlich in der Laboranalytik eingesetzten Chip-CE für den Bereich der ...
Lectures on the Statutes of the Sacred Order of St. John of Jerusalem : at the University (of Studies) of Malta 1792
(2012)
The Statutes of the Order of Malta were compiled anew in 1776; they are still valid as subsidiary. Micallef, a Maltese Conventual Chaplain of the Order and professor at the Order's University of Malta, delivered lectures ...