661 Works

Die Pharmazie Jahrgang 1. 1946

Entwicklung automatisierter Messverfahren für Vortriebskontrollen beim Rohrvortrieb

Rolf Kemper-Böninghausen
Tunnelvortriebsmaschinen werden eingesetzt, um weitestgehend ohne größere Eingriffe in oberirdischen Geländestrukturen unterirdische Tunnel und Kanäle für Straßen- und Bahntunnel sowie für wasser- und abwassertechnische Anlagen zu errichten. In der vorliegenden Arbeit werden die Entwicklungen automatisierter Messverfahren beschrieben, die eine Alternative zu den herkömmlichen Vortriebskontrollvermessungen darstellen. Die Kontrollvermessungen sind wesentlicher Bestandteil für einen zielgerichteten Vortrieb. Für einen planmäßigen Vortrieb und einer sicheren Einfahrt in den Zielschacht sind Vermessungsnetze, bestehend aus Grundlagen-, Portal- und Vortriebsnetzen, eine Grundvoraussetzung....

Die Pharmazie Jahrgang 57. 2002

Wind effects on permeable building envelopes: a two-dimensional exploratory study

Andrea Giachetti

On the role of uncertainties in the seismic risk assessment of historic masonry towers

Silvia Monchetti
The research activity developed in the present work achieved both technical and scientific results on the seismic risk assessment of masonry towers. It provided semi empirical formulations for the main frequency estimation based on a wide database of historic masonry towers and a novel framework for the seismic risk assessment starting from the Bayesian model updating using dynamic experimental data. The recent Italian earthquakes have dramatically highlighted the vulnerability of historic masonry constructions and the...

Allgemeine Umrisse der Verfassung des Gesammtgymnasiums zu Braunschweig ; nebst dem Lehrplane bis Ostern 1828

Friedrich Traugott Friedemann

Automatic Error Recovery during Industrial Assembly Operations based on Human Demonstrations

Arne Muxfeldt
Based on a scenario where humans and robots share their workspace, a system for automatically error handling during an automated industrial assembly is presented. If an error occurs, it is first detected and then classified. If it is a previously unknown error, the human closest to the robot will be asked to perform error handling by interacting with the robot. This interaction is recorded so that it can be reapplied if the same error occurs...

Transkriptionsfaktoren der basalen Immunität in Säugetieren und Pflanzen interagieren mit den gleichen cis-regulatorischen Elementen

Konstantin Kanofsky
Kürzlich entdeckte neue microbe-associated molecular pattern (MAMP)-responsive cis-Sequenzen enthalten die Kernsequenz GACTTT, welche als WT-Box bezeichnet wird. Abhängig vom Nukleotid vor der Kernsequenz wird die WT-Box in zwei unterschiedliche Typen unterteilt. Die Typ I WT-Box mit der Sequenz TGACTTTT und CGACTTTT interagiert mit WRKY Transkriptionsfaktoren, hingegen konnte bisher kein interagierendes Protein mit den Typ II WT-Boxen GGACTTTC, GGACTTTT und GGACTTTG identifiziert werden. Die Typ II WT-Boxen sind in Arabidopsis thaliana Protoplasten für eine MAMP-Responsivität notwendig....

Big Data Machine Learning for Flight Planning

Ralf René Shu-Zhong Cabos
Weather forecasts serve as a fundamentally important input to the flight planning process and can carry an inherent measure of uncertainty. Such uncertainties thus lead to a trajectory being planned that does not represent the most cost-optimal option. Weather forecast generation relies on numerical simulations of the earth’s atmosphere, which in turn rely on models imitating the physical processes involved. Technological advances have meanwhile lead to a surge in means to more efficiently process large...

Jahresbericht 2017 Institut für Nachrichtentechnik (IfN), Technische Universität Braunschweig

Ulrich Reimers, Thomas Kürner, Tim Fingscheidt &

Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY: Masterarbeit

Carsten Immanuel Pardylla
Die Qualität von Software hängt direkt von ihrer Zuverlässigkeit ab. Um diese sicherzustellen, kommen verschiedene Techniken zum Einsatz. Die bekanntesten Techniken hierzu sind testen und Code-Reviews, diese sind jedoch nicht formal. Deduktive Verifikation stellt eine statische, formale Alternative hierzu dar. Der Vorzug dieser Lösung ist, dass nicht einzelne Ausführungen getestet werden, sondern dass das korrekte Verhalten mit Hilfe von Deduktionen bewiesen werden kann. Trotz dieses großen Vorzuges wird die Technik jedoch scheinbar nur spärlich eingesetzt....

Registration Year

  • 2018
    661

Resource Types

  • Text
    661