Mathematisch-Naturwissenschaftliche Fakultät: Suche
Anzeige der Dokumente 51-60 von 172
Free Theorems in Languages with Real-World Programming Features
(2013-11-07)
Free theorems, type-based assertions about functions, have become a prominent reasoning tool in functional programming languages. But their correct application requires a lot of care. Restrictions arise due to features ...
Approximability of Combinatorial Optimization Problems on Power Law Networks
(2013-10-30)
One of the central parts in the study of combinatorial optimization is to classify the NP-hard optimization problems in terms of their approximability. In this thesis we study the Minimum Vertex Cover (Min-VC) problem and ...
Dilation, Transport, Visibility and Fault-Tolerant Algorithms
(2014-07-09)
Connecting some points in the plane by a road network is equivalent to constructing a finite planar graph G whose vertex set contains a predefined set of vertices (i. e., the possible destinations in the road ...
Fast Repeater Tree Construction
(2014-09-18)
Repeaters are used during physical design of chips to improve the electrical and timing properties of interconnections. They are added along Steiner trees that connect root gates to sinks, creating repeater trees. Their ...
Transistor-Level Layout of Integrated Circuits
(2014-07-29)
In this dissertation, we present the toolchain BonnCell and its underlying algorithms. It has been developed in close cooperation with the IBM Corporation and automatically generates the geometry for functional groups of ...
Steuerung und Überwachung einer Zeitprojektionskammer mit GEM-Auslese
(2014-03-10)
Für ein tieferes Verständnis der starken Wechselwirkung und des Aufbaus der Nukleonen untersucht das CBELSA/TAPS-Experiment im Rahmen des Sonderforschungsbereichs SFB/TRR 16 "Elektromagnetische Anregung subnuklearer Systeme" ...
Automated Optimization Methods for Scientific Workflows in e-Science Infrastructures
(2014-04-22)
Scientific workflows have emerged as a key technology that assists scientists with the design, management, execution, sharing and reuse of in silico experiments. Workflow management systems simplify the management of ...
Shape Retrieval Methods for Architectural 3D Models
(2014-02-21)
This thesis introduces new methods for content-based retrieval of architecture-related 3D models. We thereby consider two different overall types of architectural 3D models. The first type consists of context objects that ...
Three-dimensional Laser-based Classification in Outdoor Environments
(2014-02-18)
Robotics research strives for deploying autonomous systems in populated environments, such as inner city traffic. Autonomous cars need a reliable collision avoidance, but also an object recognition to distinguish different ...
The knowledge-based search for water-related information system for the Mekong delta, Vietnam
(2014-03-14)
In recent years, the World Wide Web has strongly changed way of sharing and accessing data. Moreover, with new methods of data collection are developed we have much more data today. However, it is not straightforward to ...