Now showing items 31-40 of 335
Nichtlineare Bahnregelung eines geladenen Mikrotropfens
Microdroplets with diameters in the range of a few microns are important for various industrial processes and atmospheric research. Characteristic properties like evaporation and condensation rates of single droplets have ...
Hierarchical landmarks - a means to reduce search effort in hybrid planning
Artificial Intelligence planning is a key problem solving technology currently being used in a variety of applications including military campaigns, robot navigation, airplane scheduling, and human computer interaction. ...
Transmission methods for wireless multi carrier systems in time-varying environments
Fast time-variant and frequency selective radio channels lead to significant challenges for the design of wireless data transmission systems. A scenario where such difficult channels occur is the data link to a high speed ...
SiGe HBT ICs with high operational to transit frequency ratio: design and design re-use
The recent significant performance improvement of SiGe Heterojunction Bipolar Transistors has opened the way to the millimeter-wave domain. In the future, this will allow the development of new exciting consumer-oriented ...
Preparation and characterization of nanotube ferrofluids by template-directed methods
Experimental investigations suggest that replacing the spherical nanoparticles of a conventional ferrofluid with anisotropic magnetic nanotubes would lead to a stronger field-induced viscosity enhancement and a much-improved ...
Engineering stochastic local search for the satisfiability problem
This thesis describes new algorithms for the Propositional Satisfiability Problem (SAT), a fundamental problem in theoretical and practical computer science. Besides the theoretical relevance of the SAT problem, many ...
Learning in layered multimodal classifier architectures for cognitive technical systems
(Universität Ulm, 2016-07-08)
Modern computer systems have changed our way of living fundamentally. They improve our effectiveness by assisting us in our work and daily tasks. However, current systems are limited to a direct input of commands. ...
Untersuchungen von semipolarem (In)GaN auf strukturierten Saphirsubstraten für effiziente grüne Leuchtdioden
(Universität Ulm, 2016-09-21)
In this thesis the epitaxy of semipolar GaN on patterned sapphire substrates was systematically investigated. Adjusting the growth conditions, the crystal and surface quality of different crystal orientations were optimized. ...
CDF-intervals: a probabilistic interval constraint framework to reason about data with uncertainty
(Universität Ulm, 2016-05-24)
We propose a novel framework, the cummulative distribution function (cdf )-intervals, that intuitively describes data coupled with uncertainty without losing any information given in the problem definition. Our new proposition ...
Verifikation abstrakter Zustandsmaschinen
Die Arbeit stammt aus dem Themengebiet der Anwendung formaler Methoden im Software Engineering. Als Grundlage wurde die Spezifikationssprache der Abstrakten Zustandsmaschinen (engl. abstract state machines, kurz ASMs) ...