Suche
Anzeige der Dokumente 11-20 von 43
Dissertation
Extremal Fixpoints for Higher-Order Modal Logic
(2018-10)
In this dissertation, we investigate the interplay between extremal fixpoints and higher-order constructs. The main Focus here is Higher-Order Modal Fixpoint Logic (HFL), an extension of the modal mu-calculus by a simply typed lambda calculus. The resulting logic is very expressive, yet the interplay of its components has not been systematically investigated so far. Goal of this thesis is to characterize the interplay of the components of HFL.
A first characterization is given by converting the denotational semantics ...
Dissertation
Development, Verification and Analysis of a Fault Injection Tool for Improving Dependability of FPGA Systems
(2019-11)
Field Programmable Gate Array (FPGA) has been involved in various applications in the last couple of decades, such as aerospace, biomedical instrumentation, safety-critical systems, and spacecraft, due to their remarkable features. These features include parallelism, reconfiguration, self-healing capabilities, availability, low cost and low design turn-around time. FPGA devices are sensitive to Single Event Effects (SEE), which can be caused by various sources, such as α-particles, cosmic rays, atmospheric neutrons, ...
Dissertation
Das NetworkParser-Framework
(2019-03-10)
Meine Dissertation, die im Fachbereich Elektrotechnik/Informatik in Kassel eingereicht wurde, hat das Ziel ein Tool zur Verfügung zu stellen, um den Entwickler bei der Entwicklung eines Programms in jedem Entwicklungsschritt zu unterstützen. Der komplette Ablauf von Story Driven Modeling wird dabei unterstützt. Das Tool soll so intuitiv bedienbar sein, dass Programmieranfänger damit arbeiten können und die Techniken erlernen können. Es ist gelungen ein kompaktes Tool für den kompletten SDM-Prozess zu schaffen, welches ...
Dissertation
Relatedness in Evidence Networks
(2014-10-10)
Einhergehend mit der Entwicklung und zunehmenden Verfügbarkeit des Internets hat sich die Art der Informationsbereitstellung und der Informationsbeschaffung deutlich geändert. Die einstmalige Trennung zwischen Publizist und Konsument wird durch kollaborative Anwendungen des sogenannten Web 2.0 aufgehoben, wo jeder Teilnehmer gleichsam Informationen bereitstellen und konsumieren kann. Zudem können Einträge anderer Teilnehmer erweitert, kommentiert oder diskutiert werden. Mit dem Social Web treten schließlich die ...
Dissertation
Capturing Emergent Semantics from Social Annotation Systems
(2013-02-26)
The ongoing growth of the World Wide Web, catalyzed by the increasing possibility of ubiquitous access via a variety of devices, continues to strengthen its role as our prevalent information and commmunication medium. However, although tools like search engines facilitate retrieval, the task of finally making sense of Web content is still often left to human interpretation. The vision of supporting both humans and machines in such knowledge-based activities led to the development of different systems which allow to ...
Dissertation
Kontextbasiertes System zur Vermeidung von Kollisionen zwischen Autos und Fußgängern
(2012-07-23)
Laut dem Statistischen Bundesamts ist die Zahl der im Straßenverkehr getöteten Personen zwar rückläufig, jedoch wurden in 2010 in Deutschland noch immer 3648 Personen bei Unfällen im Straßenverkehr getötet, 476 davon waren Fußgänger. In den letzten Dekaden lag der Schwerpunkt der Forschungsarbeiten zur Reduzierung der Verkehrstoten besonders im Bereich des Insassenschutzes. Erst in den letzten Jahren rückte die Thematik des Fußgängerschutzes mehr in den Fokus des öffentlichen Interesses und der Automobilhersteller. ...
Dissertation
An algorithmic approach to increase the context prediction accuracy by utilizing multiple context sources
(2017-09-06)
Heutzutage sind wir umgeben von technischen System und Geräten die unser alltägliches Leben unterstützen und vereinfachen sollen. Wir nutzen Mobiltelefone, um überall auf Informationen zugreifen zu können, intelligente Haussteuerungen, um unsere Sicherheit und unseren Wohnkomfort zu steigern und Fahrerassistenzsysteme im Automobil, um unsere Fahrten angenehmer und sicherer zu gestalten. Allerdings erwarten wir oft ein vorausschauendes Verhalten solcher Systeme: das Mobiltelefon soll die Bahnstörung einblenden bevor ...
Dissertation
Supporting Researchers: Analyzing the Scholarly Publication Life Cycle and Social Bookmarking Systems
(2017-04-19)
Researchers must face the exponential growth of the body of available scholarly literature, which makes it ever harder to keep track with one’s own community, especially for newcomers. In this thesis, we explore different means of supporting researchers with that task. For this purpose, we follow two approaches: We provide analyses of research communities and of researchers’ interactions through data that can be obtained from the phases in the life cycle of scholarly publications (creation, dissemination, usage, and ...
Dissertation
Verknüpfung von Domänenwissen für ein Ontologie-basiertes IT-Management
(2018-05-14)
Mit der steigenden Komplexität von IT-Systemen wird auch die Verwaltung dieser Systeme komplexer. Den Fragestellungen, die sich durch diese Komplexität auf der Seite des Betriebs und der Überwachung von IT-Systemen stellen, wird durch integriertes und automatisiertes IT-Management begegnet, indem auch implizite Zusammenhänge zwischen Aspekten aus unterschiedlichen Sichten auf die Systeme berücksichtigt werden, sowie die weitgehende Eliminierung des manuellen Anteils bei Überwachung und Pflege der Systeme angestrebt ...
Dissertation
Abbildung von XML-Dokumenten auf SQL:2003-konforme Datentypen
(2012-08-10)
Die Auszeichnungssprache XML dient zur Annotation von Dokumenten und hat sich als Standard-Datenaustauschformat durchgesetzt. Dabei entsteht der Bedarf, XML-Dokumente nicht nur als reine Textdateien zu speichern und zu transferieren, sondern sie auch persistent in besser strukturierter Form abzulegen. Dies kann unter anderem in speziellen XML- oder relationalen Datenbanken geschehen. Relationale Datenbanken setzen dazu bisher auf zwei grundsätzlich verschiedene Verfahren: Die XML-Dokumente werden entweder unverändert ...