Global ETD Search

171	Evaluation of Queries on Linked Distributed XML Data / Auswertung von Anfragen an verteilte, verlinkte XML Daten Behrends, Erik 18 December 2006 (has links) No description available. 004 Informatik Mathematics and Computer Science XML XLink XPointer XML Anfragen XPath XQuery XML XLink XPointer XML Querying XPath XQuery 54.55 54.64
172	Learning Finite State Machine Specifications from Test Cases / Lernen von Spezifikationen in Form von endlichen Zustandsmaschinen aus Testfällen Werner, Edith Benedicta Maria 01 June 2010 (has links) No description available. 004 Informatik Mathematics and Computer Science Maschinelles Lernen Modellrekonstruktion Modell-basiertes Testen Test-Validierung machine learning reverse engineering model based testing test validation 54.52 54.72 54.10
173	Quality Assurance of Test Specifications for Reactive Systems / Qualitätssicherung von Testspezifikationen für Reaktive Systeme Zeiß, Benjamin 02 June 2010 (has links) No description available. 004 Informatik Mathematics and Computer Science Qualitätssicherung Testspezifikationen Kommunizierende Systeme Reverse-Engineering TTCN-3 Qualitätsmodell Modell-basierte Analyse Quality Assurance Test Specifications Communicating Systems Reverse-Engineering TTCN-3 Quality Model Model-Based Analysis 54.52
174	On monitoring and fault management of next generation networks Shi, Lei 04 November 2010 (has links) No description available. 004 Informatik Mathematics and Computer Science Computer networks network monitoring fault management path-based monitoring traffic matrix Computer networks network monitoring fault management path-based monitoring traffic matrix 54.32
175	Modellierung regulatorischer Netzwerke von Säugetieren und Einsatz von Methoden zur strukturellen Analyse und Identifikation von Kernkomponenten / Modeling of regulatory networks in mammals and application of methods for their topological analysis and identification of key components Goemann, Björn 20 April 2011 (has links) No description available. 004 Informatik Mathematics and Computer Science Regulatorische Netzwerke Transkription Signalübertragung Metabolismus Netzwerktopologie Skalenfreiheit Robustheit Regulatory networks transcription signal transduction metabolism network topology 54.80 WA 700: Systeme in der Biologie WD 500: Bioinformatik {Biologie}
176	Evaluierung des phylogenetischen Footprintings und dessen Anwendung zur verbesserten Vorhersage von Transkriptionsfaktor-Bindestellen / Evaluation of phylogenetic footprinting and its application to an improved prediction of transcription factor binding sites Sauer, Tilman 11 July 2006 (has links) No description available. 004 Informatik Mathematics and Computer Science phylogenetisches Footprinting Transkriptionsfaktor-Bindestellen Hidden-Markov-Modell vergleichende Genomik positions-spezifische Scoring-Matrizen phylogenetic footprinting transcription factor binding sites hidden markov model comparative genomics position-specific scoring matrices 54.80 WD 500: Bioinformatik {Biologie}
177	Exploiting Network Coding in Lossy Wireless Networks / Exploiting Network Coding in Lossy Wireless Networks Kuo, Fang-Chun 16 February 2009 (has links) No description available. 004 Informatik Mathematics and Computer Science Netzwerk-Codierung WLAN Wireless Netzwerk Network coding WLAN Wireless networks ARQ Retransmission MAC 802.11 53.71 54.32 54.84
178	Algorithms and Data Structures for Parametric Analysis of Real-Time Systems / Algorithmen und Datenstrukturen für parametrisierten Analyse von Echt-Zeit Systems Chamuczynski, Patryk 16 February 2009 (has links) No description available. 004 Informatik Mathematics and Computer Science timed automata Difference Bound Matrix embedded systems real time systems parameterized verification model checking test generation timed automata Difference Bound Matrix embedded systems real time systems parameterized verification model checking test generation 54.10
179	Multistage Algorithms in C++ / Mehrstufige Algorithmen in C++ Priesnitz, Andreas 02 November 2005 (has links) No description available. 004 Informatik Mathematics and Computer Science Mehrstufige Programmierung Generische Programmierung Metaprogrammierung statische Bindung Spracheinbettung multistage programming generic programming meta programming static binding language embedding 54.51 54.52
180	Prediction of Protein-Protein Interaction Sites with Conditional Random Fields / Vorhersage der Protein-Protein Wechselwirkungsstellen mit Conditional Random Fields Dong, Zhijie 27 April 2012 (has links) No description available. 004 Informatik EGIT 050 Learning and adaptive systems Mathematics and Computer Science Conditional Random Fields (CRFs) Maschinelles Lernen Bioinformatik Mathematische Modelle Stochastische Modelle Conditional Random Fields (CRFs) protein-protein interaction prediction machine learning bioinformatics mathematical models stochastical models 54.80 Angewandte Informatik

Search results