• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 26
  • 22
  • 10
  • 1
  • Tagged with
  • 57
  • 33
  • 18
  • 17
  • 17
  • 16
  • 16
  • 16
  • 14
  • 13
  • 13
  • 10
  • 9
  • 9
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Zur Kontextanalyse einer algebraischen Programmiersprache

Maeder, Christian. January 2001 (has links) (PDF)
Berlin, Techn. Univ., Diss., 2001.
2

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik

Bitsch, Friedemann. January 2007 (has links)
Zugl.: Stuttgart, Univ., Diss., 2006.
3

Konzeption und Implementierung von Verfahren zur (halb-)automatischen Prüfung natürlichsprachlicher Spezifikationen

Richter, Martin. January 1998 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.
4

Dorso-ventral Differentiation and Specification of the Mesencephalon in Early Chick Embryos / Die dorsoventrale Differenzierung und Spezifikation des frühen embryonalen Hühnermittelhirn

Li, Naixin January 2009 (has links) (PDF)
The chick midbrain is subdivided into functionally distinct ventral and dorsal domains, tegmentum and optic tectum. In the mature tectum, neurons are organized in layers, while they form discrete nuclei in the tegmentum. An interesting characteristic of the embryonic brain is the development of a large optic tectum, of which the growth becomes obvious at embryonic day 3 (E3). Dorsoventral (DV) specification of the early midbrain should thus play a crucial role for the organization of the neuronal circuitry in optic tectum and tegmentum. In the first part of my thesis, I investigated regional commitment and establishment of cellular differences along the midbrain DV axis. I examined the commitment of gene expression patterns in isolated ventral and dorsal tissue in vivo and in vitro, and studied their cell mixing properties. Explant cultures, and grafting of dorsal midbrain into a ventral environment or vice versa, revealed a gradual increase in the autonomy of region-specific gene regulation between, which was accompanied by a gradual increase in differential adhesive properties from E2 to E3, once the DV axis polarity was fixed. These events happened at a time-point when the majority of midbrain cells are not yet differentiated. Long-term transplantation (6 - 9 days) using quail cells from ventral midbrain as grafts showed the same result. Hence, the results suggest that progressive specification of the midbrain DV axis is accompanied by progressively reduced cell mixing between dorsal and ventral precursors, leading to a partial regionalization of midbrain tissue into autonomous units of precursor cell populations. In the second part I investigated the genes that might be involved in regulating the growth of the tectum. In particular, I focused on the role of Pax7 transcription factor, a paired domain protein. The results suggested that Pax7 was involved in regulating the medial-lateral extension of the tectum. Over expression of Pax7 in dorsal midbrain led to an enlarged tectum accompanied by a raise in cell division, while Pax7 knockdown by shrank caused a reduction in tectum. The overall pattern of neuronal differentiation was not disturbed by an up or down regulation of Pax7. Pax7 also positively regulated Pax3, another pair-ruled gene expressed dorsally. These results suggest that Pax7 very likely together with Pax3 could facilitate or maintain neural cell proliferation in the midbrain at early stages and that a regulation of the size in that region does not influence the neuronal patterning of the developmental field. I further checked the expression and function of a GFPase Rab 23, that was suggested to be involved in the DV patterning in mouse neural tube as a negative regulator of Shh signaling. Overexpression of Rab23 indicated that it facilitated the expression of Pax7 and Pax3 in the neural tube and suppressed ventral genes like Nkx6.1 cell autonomously, however, it did not disturb neuronal patterning. Interestingly, a thorough expression study of Rab 23 during chick early development revealed that Rab23 is already expressed very early and asymmetrically during gastrulation, suggesting a possible role of Rab23 on the left-right determination of Hensen’s node. In combination with the result that Rab23 is expressed in the notochord early in development, I assume that both Rab23 and Shh exist in all neural progenitor cells initially, and when their expression patterns separate gradually the neural cells adopt a ventral or dorsal fate according to their location along the dorsoventral axis. The avian embryo is a classic system used widely to investigate questions of vertebrate development. The easy and cheap accessibility of the embryo for in ovo or ex ovo experiments all around the year make it an ideal animal model to work with. The only recently developed method of over expressing genes in specific cells or regions in the chick embryo by electroporation enabled me to study different ways of gene suppression using this way of gene transfection. Thus, I compared the effect of long-hairpin and short hairpin dsRNA in different vectors and antisense morpholino oligonucleotides. The results revealed that all hairpin dsRNA constructs did reduce gene and protein expression often accompanied by morphological changes. Most efficiently were shRNAi constructs cloned into a siRNA-specific vector – pSilencer 1.0-U6. Gene silencing was already well observed 36 hours after transfection. In comparison antisense morpholino oligonucleotides did not show such big gene reduction as the shRNA in pSilencer. Taken together, this methodical research proposes that the shRNA in the pSilencer vector was a good and effective tool to reduce gene and protein expression locally. / Das Mittelhirn des Huhns wird in funktionel unterschiedliche, ventrale und dorsale Regionen eingeteilt, nämlich das Tegmentum ventral und das optisches Tectum dorsal. Im vollentwickelten Tectum bilden Nervenzellen Schichten, während das Tegmentum aus unterschiedlichen Nuclei besteht. Ein charakteristisches Merkmal des embryonalen Gehirns ist die Entwicklung eines großen optischen Techtums, die am dritten embryonalen Tag (E3) sehr deutlich zu beobachten ist. Diese unterschiedliche funktionelle und morphologische Entwicklung des Mittelhirns deutet daraufhin, das die dorsoventrale Spezifikation des frühen Mittelhirns für der Organisation neuronaler Netzwerke im optischen Tectum und Tegmentum eine kritische Rolle spielt. Im ersten Teil dieser Doktorarbeit wurde die regionale Bestimmung und Bildung zellulärer Unterschiede entlang der DV Achse des Mittelhirns untersucht. Dafür bestimmte ich den Zeitpunkt, an dem spezifische ventrale und dorsale Genexpressionsmuster festgelegt werden in isoliertem ventralen und dorsalen Gewebe in vivo and in vitro. Desweiteren untersuchte ich die Entwicklung unterschiedlicher adhäsiver Eigenschaften von ventralen und dorsalen Zellen in vitro. Explantatkulturen und Transplantationen von dorsalem Mittelhirn in eine ventrale Umgebung oder vice versa liessen eine schrittweise Zunahme der Autonomie der region-spezifischen Genregulation erkennen. Dies wurde von einer schrittweisen Zunahme des differentialen Adhäsionsverhaltens von ventralen und dorsalen Mittelhirnzellen von E2 zu E3 begleitet, der Zeitspanne, in der die Polarität der DV Achse festgelegt wurde. Diese Entwicklungsprozesse fanden u einem Zeitpunkt statt, an dem die meisten Zellen des Mittelhirns noch nicht differenziert hatten. Transplantationen,. von ventralen Mittelhirnzellen der Wachtel ins dorsale Hühnertecctum, die erst nach mehreren Tagen (6 - 9 Tage) untersucht wurden, zeigten das gleiche Ergebnis. Diese Ergebnisse lassen schliessen, dass eine partielle Regionalisierung des Mittelhirns in autonome Einheiten von Vorläuferzellen der dorsoventralen Achse stattfindet. Dies erlaubt den Zellen eine Positionsidentität zu bewahren – unhabhängig von der wachsenden Distanz zu Signalzentren. Im zweiten Teil meiner Arbeit untersuchte ich Gene, die das Wachstum und die spezifische Entwicklung des Tectums regulieren könnten. Die Arbeit konzentrierte sich speziell auf die Rolle von Pax7, ein Mitglied der sogenannten ‚pair-ruled’ Familie von Transkriptionsfaktoren, und auf die Rolle von Rab23, einer GTPase, die den Shh-Signalweg im dorsalen Neuralrohr inhibiert. Dieser Versuch zeigte, dass Pax7 an der Regulation der medio-lateral Ausdehnung des Tectums beteiligt ist. Überexpression von Pax7 im dorsalen Mittelhirn führte zu einer Vergrößerung des Tectums, die von einer Zunahme der Zellteilung begleitet wurde, während Knockdown von Pax7 eine Größereduktion des Tectums verursachte. Das neuronale Differenzierungsmuster im generellen wurde nicht von der Überexpression oder Repression von Pax7 gestört. Pax7 induzierte ausserdem Pax3, ein Mitglied derselben Familie, das ebenfalls dorsal exprimiert wird und unterdrückte ventrale Gene wie Nkx6.1. Diese Ergebnisse lassen vermuten, dass Pax7, sehr wahrscheinlich zusammen mit Pax3, die neural Zellproliferation im Mittelhirn in frühen Entwicklungsstadien fördert oder auf einem konstanten Level hält und dass die Muster der neuronalen Entwicklung nicht durch der Regulation der Größe dieser Region beeinflusst wird. Außerdem förderte Rab 23, das sehr wahrscheinlich ein negativer Regulator von Shh ist, die Expression von Pax7 und Pax3 im ventralen Mittelhirn und unterdrückte ventrale Gene wie Nkx6.1. Die Überexpression von Rab 23 beeinflusste auch nicht das neuronale Differenzierungsmusterung. Interessanterweise zeigte eine genaue Analyse der Expression von Rab 23 während der frühen Entwicklungsstadien des Huhns, dass Rab 23 bereits sehr früh und asymmetrisch während der Gastrulation exprimiert wurde. Dies deutet auf eine mögliche Rolle von Rab 23 für die links-rechts Determination des Hensen´s node an. Betrachtet man diese Ergebnisse zusammen, dann könnte man zu fogender Schlussfolgerung kommen, nämlich, dass sowohl Rab 23 als auch Shh früh in allen neural Progenitorzellen existieren, und dass die neuralen Zellen jeweils nach ihrer Lage entlang der dorsoventral Achse ein ventrales oder dorsales Schicksal annehmen, wenn das sich die Expressionsmuster von Rab 23 und Shh allmänlich trennen. Der Vogelembryo ist ein klassisches und häufig benutztes System, um die Entwicklung der Vertebraten zu untersuchen. Die einfache und preiswerte Zugänglichkeit des Embryos für in ovo oder ex ovo Experiment das ganze Jahr über machen ihn zu einem idealen Tiermodell. Die in den letzten Jahren entwickelte Methode der Elektroporation eines Embryos zum Gentransfer in die Zellen, ermöglichte es mir unterschiedliche Weisen der Genunterdrückung in embryonalem Gewebe zu testen und zu vergleichen.Ich verglich in dieser Untersuchung die Wirkung von langen und kurzen Haarnadel-RNAs (hairpin RNA) in verschieden Vektoren mit der Wirkung von Antisense-morpholino-Oligonucleotiden verglichen. Die Ergebnisse zeigten, dass alle Haarnadel-dsRNA-Konstruktionen die Gen- und Proteinexpression reduzierten, wobei es häufig zu einer morphologischen Veränderung kam. Die kurze shRNAi-Konstruktionen, die in einen siRNA-spezifischen Vektor – pSilencer 1.0-U6 - geklont wurden war, zeigte sich dabei am effizientesten.. Die Herunterregulierung der Gene wurde bereits 36 Stunden nach der Transfektion beobachtet. Im Gegensatz dazu, zeigten die Antisense-Morpholino-Oligonucleotiden keine solche starke Reduktion wie das shRNA in pSilencer. Zusammenfassend zeigt diese methodische Untersuchung, dass die shRNA im pSilencer-Vektor ein gutes und effektives Werkzeug ist, um Gen- und Proteinexpression örtlich zu reduzieren.
5

Integrierte Produktstrukturmodellierung in den frühen Phasen der Produktentstehung : eine Methode zur Modularisierung variantenreicher mechatronischer Produkte /

Riepe, Bernd. January 2003 (has links)
Thesis (doctoral)--Universität, Paderborn, 2003.
6

Integration of verification and testing into compilation systems concept and case study /

Didrich, Klaus. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
7

Zur Kontextanalyse einer algebraischen Programmiersprache

Maeder, Christian. Unknown Date (has links) (PDF)
Techn. Universiẗat, Diss., 2001-- Berlin.
8

Bedeutung der Spezifikation für Ratingmodelle / Impact of model specification on credit rating models

Rönnberg, Michael January 2010 (has links) (PDF)
Ziel dieser Arbeit ist die Untersuchung der Bedeutung der Spezifikation für Ratingmodelle zur Prognose von Kreditausfallwahrscheinlichkeiten. Ausgehend von dem in der Bankenpraxis etablierten Logit-Modell werden verschiedene Modellerweiterungen diskutiert und hinsichtlich ihrer Eigenschaften als Ratingmodelle empirisch und simulationsbasiert untersucht. Die Interpretierbarkeit und die Prognosegüte der Modelle werden dabei gleichermaßen berücksichtigt. Besonderes Augenmerk wird auf Mixed Logit-Modelle zur Abbildung individueller Heterogenität gelegt. Die Ergebnisse zeigen, dass die Spezifikation einen wichtigen Einfluss auf die Eigenschaften von Ratingmodellen hat und dass insbesondere mit Hilfe von Mixed Logit-Ansätzen sinnvoll interpretierbare Ratingmodelle mit guten Prognoseeigenschaften erlangt werden können. / This thesis aims at analyzing the impact of model specification on credit rating models as used by banks to forecast credit default probabilities. The well-established logit model is extended in various directions. Implications are discussed empirically and with the help of Monte Carlo studies. In this respect, interpretability and forecasting quality are considered simultaneously. A main focus is on mixed logit models that allow for modeling individual heterogeneity. Results indicate that proper model specification has a strong impact on the quality of rating models. In particular it is emphasized that mixed logit models offer well interpretable credit rating models with high forecasting power.
9

XIII. Internationales Oberflächenkolloquium

16 March 2012 (has links) (PDF)
Das 13. Internationale Oberflächenkolloquium war das erste Treffen in der neuen Veranstaltungsreihe Industry meets standardization and science (IMSAS), mit dem ein Forum für Entwickler, Fertigungstechniker, Normungsexperten und Wissenschaftlern geschaffen werden soll. Vom 12. bis zum 14. März 2012 haben wir in diesem Rahmen über das Thema Kanten und Radien informiert. Viele internationale Normen existieren bereits zur Spezifikation und Verifikation. In einigen Bereichen sind diese Festlegungen jedoch noch lückenhaft. Kanten und Radien sind dafür ein perfektes Beispiel. Default Angaben zu Toleranzzonen und Verifikationsfestlegungen zur Extraktion, Filterung und Assoziation werden benötigt, um Spielräume bei der Interpretation und Bewertung auszuschließen und die Funktion eindeutig beschreiben zu können. Unsere Ziele für das Kolloquium waren die Einführung der neuen Veranstaltungsreihe IMSAS, die Information der Teilnehmer über den aktuellen Stand der Normung auf dem Gebiet von Kanten und Radien, die Präsentation von Problemstellungen und aktuell verfügbaren Lösungen zu diesem Thema und die Ableitung des zukünftigen Normungs- und Entwicklungsbedarfs auf diesem Gebiet. Das Kolloquium wurde vom Institut für Fertigungsmesstechnik und Qualitätssicherung IFMQ (Prof. M. Dietzsch und Dr.-Ing. Sophie Gröger ) der Technischen Universität Chemnitz in Zusammenarbeit mit dem Normungsauschuss Technische Grundlagen (NA 152) (J. Zymnossek) des Deutschen Instituts für Normung (DIN) organisiert.
10

Werkzeugentwicklung für informationsflussorientierte Prozessmodelle /

Braunholz, Helge. January 2006 (has links) (PDF)
Univ., Diss--Wuppertal, 2005.

Page generated in 0.1254 seconds