. "admin" . "4db03761bd78ab95915b46a53505705b7dc872f2" . "2008-02-19T17:18:57"^^ . . "dol" . "92f0608b71b99a3065a1d32c90efec00ad3b864f" . "2008-02-26T16:27:15"^^ . . "Berücksichtigung von Therapiemöglichkeiten bei der modellbasierten Diagnose in der Medizin" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:21"^^ . . . "Cycle-Based Simulation on Loosely-Coupled Systems." . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:21"^^ . . . "Unendliche Reduktionen in der kombinatorischen Logik" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:21"^^ . . . "Modellierung einer wissensbasierten, interaktiven Prozeßsteuerung" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:21"^^ . . . "Schwerpunkte bei der Wissensmodellierung am Beispiel einer Prozeßsimulation" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:21"^^ . . . "Entwurf und Implementierung eines parallelen Logiksimulators auf Basis von TEXSIM" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:21"^^ . . . "COMA - A System for Flexible Combination of Schema Matching Approaches" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Einsatz von Workflow-Management-Systemen zur Unterstützung unternehmensübergreifender Kooperationsformen" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "On the Epistemic Foundations of Agent Theories" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Reasoning about Rational, but not Logically Omniscient Agents" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "A Recursively Axiomatizable Subsystem of Levesque's Logic of Only Knowing." . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Reasoning about Rational, but not Logically Omniscient Agents." . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Reasoning about Rational, but Not Logically Omniscience Agents (Extended Abstract)" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Comparison of Schema Matching Evaluations" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Flexible Integration of Molecular-biological Annotation Data: The GenMapper Approach" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Local online learning of coherent information" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Wavelet analysis of EEG signals as a tool for the investigation of the time architecture of cognitive processes" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:22"^^ . . . "Nonlinear principal component analysis." . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:23"^^ . . . "On the compactness of nonmonotonic logics" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:23"^^ . . . "Konzeption und prototypische Implementierung einer Workflow Engine für dynamische Workflow-Adaptation" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:23"^^ . . . "Schema Matching and Mapping-based Data Integration" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:23"^^ . . . "Analyse des SINAUT Spectrum Graphikdatenmodells und Neuimplementierung unter dem Gesichtspunkt der Granularität und Performanz" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:23"^^ . . . "On Metadata Interoperability in Data Warehouses" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:23"^^ . . . "Evaluierung von Data Warehouse-Werkzeugen" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:23"^^ . . . "Comparative Evaluation of Microarray-based Gene Expression Databases" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:23"^^ . . . "Administrationsmöglichkeiten eines Client/Server-DV-Systems" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:23"^^ . . . "Untersuchung der Verdrahtungsressourcen reprogrammierbarer Xilinx-FPGAs der 4000er Familie" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:23"^^ . . . "The Computation of Gröbner Bases Using an Alternative Algorithm." . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "Computational Ideal Theory in Finitely Generated Extension Rings" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "Zu Berechenbarkeitsfragen der Idealtheorie." . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "The Theory of Involutive Divisions and an Application to Hilbert Function Computations." . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "Effective Gröbner Structures" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "A Groebner Approach to Involutive Bases." . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "Division of Entire Functions by Polynomial Ideals" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "Aspects of Large Scale Symbolic Computation Management" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "A Note on Data Types Supporting Efficient Implementations of Polynomial Arithmetics" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "Representing Polynomials in Computer Algebra Systems." . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:24"^^ . . . "Term Bases for Multivariate Interpolation of Hermite Type." . "2008-02-21T17:20:17"^^ . "2008-03-14T17:23:27"^^ . . . "Intersections of Sequences of Ideals Generated by Polynomials" . "2008-02-21T17:20:17"^^ . "2008-03-14T17:23:47"^^ . . . "Reduction of Everywhere Convergent Power Series with respect to Groebner Bases" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:25"^^ . . . "Schema and Ontology Matching with COMA++" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:25"^^ . . . "SHAWN: Structure Helps a Wiki Navigate" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:25"^^ . . . "Semantic Authoring and Retrieval in a Wiki" . "2008-02-21T17:20:17"^^ . "2008-03-07T15:56:25"^^ . . . "Towards a Semantic Wiki Experience" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:25"^^ . . . "The SymbolicData Project" . "2008-02-21T17:20:18"^^ . "2008-03-14T17:23:12"^^ . . . "An Algorithm for Generalized Principal Curves with Adaptive Topology in Complex Data Sets" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:25"^^ . . . "Linkbasierte Ranking-Verfahren in Internet-Suchsystemen" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:25"^^ . . . "Modellierung und Realisierung eines Informationssystems für wissenschaftliche Literatur mit WWW-Zugang" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:25"^^ . . . "Entwurf eines relationalen Schemas für ein Literaturverwaltungssystem" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:25"^^ . . . "Data Warehousing Scenarios for Model Management" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Simulation objektrelationaler Join-Verfahren in parallelen Datenbanksystemen" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Extraktion von semantischen Relationen aus natürlichsprachlichem Text mit Hilfe von maschinellem Lernen" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Extraktion von semantischen Relationen aus natürlichsprachlichem Text mit Hilfe von maschinellem Lernen" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Realisierung der virtuellen Hardware-Maschine in VHDL" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Die Modellierung eines Grundbuchsystems im Situationskalkül" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Konstruktion einer B-Wichte auf einer partiellen *-Algebra, fuer die alle in bestimmter Weise assoziierten Proberaeume tonnelier" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Konzeption und Implementierung eines Anzeigenannahme-, Service- und Verwaltungssystems für das Publizieren und Verwalten von ges" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Spectral Theory of Modular Operators for von Neumann Algebras and Related Inverse Problems" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:26"^^ . . . "Vererbungsalgorithmen von semantischen Eigenschaften auf Assoziationsgraphen und deren Nutzung zur Klassifikation natürlichsprac" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:27"^^ . . . "Echtzeitfähige modellbasierte Bilderkennung zur visuomotorischen Kontrolle bewegter Objekte" . "2008-02-21T17:20:18"^^ . "2008-03-07T15:56:27"^^ . . . "Segmentierung des Knochens aus T1- und PD-gewichteten Kernspinbildern vom Kopf" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:27"^^ . . . "Generation of standalone CICS business application accessed by the 3270 Interface and by MQSeries & Securing CICS with RACF" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:27"^^ . . . "Konzeption und Implementierung eines Applikationsservers für linguistische Anwendungen" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:27"^^ . . . "SQUIRREL: DBS-based Information Retrieval System For The WWW With Context Graphs" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:27"^^ . . . "Konzeption und Implementierung eines Workflow-Editors" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:27"^^ . . . "Agentensysteme - aktueller Entwicklungsstand und" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:27"^^ . . . "Multi-User Evaluation of XML Data Management Systems with XMach-1" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:27"^^ . . . "Benchmarking XML Database Systems - First Experiences" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "XMach-1: A Benchmark for XML Data Management" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "LOTS - Online-Training an der Universität Leipzig" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "LOTS - Online Training an der Universität Leipzig (Foliensatz)" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "Konzeption und Einsatz eines Online-Übungssystems an der Universität Leipzig" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "Incremental concept learning for bounded data mining" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "Experiments on joint source-channel fractal image coding with unequal error protection" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "Computersimulation von morphologisch rekonstruierten Neuronen Parameterbestimmung und Analyse der dendritischen Informationsvera" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "27. 10. 1999, 20:15 Uhr. TV-Bericht im MDR" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "Contributions to the Ontological Foundation of Knowledge Modelling" . "2008-02-21T17:20:19"^^ . "2008-03-07T15:56:28"^^ . . . "Self-adjusting reinforcement learning" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:29"^^ . . . "Building nonlinear data models with self-organizing feature maps" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:29"^^ . . . "Incremental nonlinear dynamic data reconciliation" . "2008-02-21T17:20:20"^^ . "2008-03-07T15:56:29"^^ . . . "Visualization and Analysis of Flow Fields based on Clifford Convolution" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:29"^^ . . . "Integration von Methoden und Verfahren zur gesicherten Übertragung von Daten und zur Authentifizierung in ein webbasiertes Syste" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:29"^^ . . . "Planen mit Präferenzen: Ein Ansatz zur Lösung partieller Erfüllbarkeitsprobleme" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:29"^^ . . . "Konzept einer Virtual-Reality Laufzeitumgebung und Implementierung des Rahmenwerkes basierend auf einem Open-Source Szenen-Graph" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:29"^^ . . . "Untersuchung der Online-Videoübertragung unter Windows NT über Dual-Video-Systeme" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:29"^^ . . . "Der Diracsee im äußeren Feld" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:29"^^ . . . "Netzwerkinventarisierung und -dokumentation. Design und Implementierung einer plattformunabhängigen Softwarelösung." . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:30"^^ . . . "Entwicklung und Implementierung einer Native-ATM-Datentransportschnittstelle für das Videokonferenzsystem" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:30"^^ . . . "Hardware-Debugging durch die Kombination von Emulation und Simulation" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:30"^^ . . . "Hardware-Debugging durch die Kombination von Emulation und Simulation" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:30"^^ . . . "Periods and Algebraic deRham Cohomology" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:30"^^ . . . "Inrtelligente Firewall-Strategien zum Management von Peer-to-Peer-Datenverkehr" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:30"^^ . . . "Implementierung einer Warteschlange zur lastabhängigen Adaption der Bedienrate im Netzwerksimulator ns2" . "2008-02-21T17:20:21"^^ . "2008-03-07T15:56:30"^^ . . . "Automaten und Formale Sprachen" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:30"^^ . . . "Mengentheoretisch-algebraische Grundlagen." . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:30"^^ . . . "Grundkurs Praktische Informatik" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "On case-based learnability of languages" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "Automatic Optimization of Web Recommendations Using Feedback and Ontology Graphs" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "Volumenrekonstruktion aus TEE-Ultraschallbildserien" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "Quality-Oriented Execution and Optimization of Cooperative Processes: Model and Algorithms" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "Adaptives Workflow-Management für kooperierende Workflows - ein Überblick" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "Adaptives Workflow-Management für kooperierende Workflows" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "Konzeption und Implementierung eines Agenten zur ereignisorientierten Adaptation von Workflows" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "Quality-Oriented Handling of Exceptions in Web-Service-Based Cooperative Processes" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "WEBFLOW: Ein System zur flexiblen Ausführung webbasierter, kooperativer Workflows" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:31"^^ . . . "Adaptive Guideline-based Treatment Workflows with AdaptFlow" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "Flexible, protokollbasierte Therapie auf Basis adaptiver Workflows" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "Operation Graph Oriented Correlation of ASIC Chip Internal Information for Hardware Debug" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce." . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "Algebraic Numbers in Symbolic Computations" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "Minimal Primary Decomposition and Factorized Groebner Bases" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "Triangular Systems and Factorized Groebner Bases" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "Algorithms in local algebra." . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "On Factorized Groebner Bases" . "2008-02-21T17:20:22"^^ . "2008-03-07T15:56:32"^^ . . . "A parallel Gröbner factorizer" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:32"^^ . . . "On a formula of Coll-Gerstenhaber-Giaquinto" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:32"^^ . . . "Definition einer Sprache zur Beschreibung von Prozessmustern zur Unterstützung agiler Softwareentwicklungsprozesse" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Automatische Segmentation anatomischer Strukturen an MRT-Daten des menschlichen Gehirns mit Active Appearance Modellen" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Rate-distortion based video coding with adaptive mean-removed vector quantization" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Ein mechanisches Finite-Elemente-Modell des menschlichen Kopfes" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Termersetzungssysteme" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Grundlagen der Programmverifikation" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Algebraische Grundlagen der Semantik" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Algebraische Spezifikation" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Hierarchical Model Partitioning for Parallel VLSI-Simulation Using Evolutionary Algorithms" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Integration of a Local Search Operator into Evolutionary Algorithms for VLSI-Model Partitioning" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:33"^^ . . . "Evaluierung kommerzieller Volltext-Datenbanksysteme" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Entwurf und Implementierung eines Recherchesystems zur Web-Service-basierten Integration digitaler Bibliotheken" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Web-basiertes Management von Daten aus Online-Anträgen von Bürgern an Verwaltungen am Beispiel einer Antragsbearbeitung für eine" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Teiresias: Datenbank-basiertes Online-Wörterbuch Neugriechisch-Deutsch" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Lösen von Gleichungssystemen mit kontinuierlichen Symmetrien" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Continuously Parameterized Symmetries and Buchberger's Algorithm" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Neuronale Steuerungsparadigmen für autonome Roboter realisiert durch ein flexibles Software-Tool" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Parallel Cycle Simulation" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Partitionierungsalgorithmen für Modelldatenstrukturen zur parallelen compilergesteuerten Logiksimulation (Projekt)" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Parameterized Partition Valuation for Parallel Logic Simulation" . "2008-02-21T17:20:23"^^ . "2008-03-07T15:56:34"^^ . . . "Hierarchical Strategy of Model Partitioning for VLSI-Design Using an Improved Mixture of Experts Approach" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Cone-basierte, hierarchische Modellpartitionierung zur parallelen compilergesteuerten Logiksimulation beim VLSI-Design" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "An Improved Mixture of Experts Approach for Model Partitioning in VLSI-Design Using Genetic Algorithms" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Solving Practical Reasoning Problems with Extended Disjunctive Logic Programming" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Stable Semantics of Temporal Deduktive Databases" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Efficient Q-Learning by division of labour." . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Hard- und Software-Entwicklung eines ATM-Testgenerators/Monitors" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "On the notation of a Language Products Technology" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Ein adaptives Prognosesystem zur Unterstützung von Produktionsplanungsprozessen" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Kompression von DNA Sequenzen" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Resource-Bounded Reasoning about Knowledge" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:35"^^ . . . "Ein modularer Beweiser für agentenabhängige Terminologien" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Entwurf und Implementierung eines Sessionmanagement-Systems für das Multicast-Videokonferenzsystem" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Selbstadaptierendes Suchverfahren in leichtgewichtigen XML-Datenbanken semistrukturierter Daten" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Übersicht über die Promotionen an der Fakultät für Mathematik und Informatik der Universität Leipzig von 1998 bis 2000" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Übersicht über die Habilitationen an der Fakultät für Mathematik und Informatik der Universität Leipzig von 1998 bis 2000" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Übersicht über die Habilitationen an der Fakultät für Mathematik und Informatik der Universität Leipzig von 1993 bis 1997" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Übersicht über die Promotionen an der Fakultät für Mathematik und Informatik der Universität Leipzig von 1993 bis 1997" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Analyse von zell- und systemspezifischen Einflussfaktoren auf die Variabilität des Repopulationverhaltens hämatopoetischer Stamm" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Jahresbericht 2002" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Jahresbericht 2001" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:36"^^ . . . "Jahresbericht 2000" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:37"^^ . . . "Jahresbericht 1999" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:37"^^ . . . "Kommentiertes Vorlesungsverzeichnis, Sommersemester 1999" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:37"^^ . . . "Jahresbericht 1998" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:37"^^ . . . "Kommentiertes Vorlesungsverzeichnis des Instituts für Informatik, Wintersemester 1999/2000" . "2008-02-21T17:20:24"^^ . "2008-03-07T15:56:37"^^ . . . "Kommentiertes Vorlesungsverzeichnis des Instituts für Informatik, Wintersemester 1997/98" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:37"^^ . . . "Jahresbericht 1997" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:37"^^ . . . "Learning languages and functions by erasing" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:37"^^ . . . "On the learnability of recursively enumerable languages from good examples" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:37"^^ . . . "On the learnability of R.E. languages from good examples" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:37"^^ . . . "Theoretical Investigations and Experimental Explorations of the Necessity of User Guidance in Case-Based Knowledge Acquisition" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:37"^^ . . . "Extended Experimental Explorations of the Necessity of User Guidance in Case-Based Learning" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "The Necessity of User Guidance in Case-Based Knowledge Acquisition." . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "Konzept und Implementierung eines datenbankgestützten Dokumentenstruktur-Editors und -Generators" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "Normalizing Disjunctive Rule Bases by Retraction" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "Hybrid Integration of molecular-biological Annotation Data" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "A Data Warehouse for Multidimensional Gene Expression Analysis" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "A Data Warehouse for Multidimensional Gene Expression Analysis" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "A Data Warehouse for Multidimensional Gene Expression Analysis" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "An integrated platform for analyzing molecular-biological data within clinical studies" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "BioFuice: Mapping-based data integration in bioinformatics" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "BioFuice: Mapping-based data integration in bioinformatics" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:38"^^ . . . "Actions in Situation Theory" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:39"^^ . . . "Parallelisierung von 3D Voxel-Algorithmen" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:39"^^ . . . "Normal monomodal logics can simulate all others" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:39"^^ . . . "Sitzungsmanagement und Ressourcenverwaltung für das Distance-Learning-Tool OVID" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:39"^^ . . . "Graphik-Programmierung mit OpenGL" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:39"^^ . . . "Bewertung der Eignung von XML und zugehöriger Standards für Kommunikationsprotokolle" . "2008-02-21T17:20:25"^^ . "2008-03-07T15:56:39"^^ . . . "XML-Datenspeicherung" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:39"^^ . . . "Parallel Rendering von Portlets im IBM WebSphere Portal Server" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:39"^^ . . . "XML - Query Sprachen" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:39"^^ . . . "Hybride Integration von molekularbiologischen Annotationsdaten" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:39"^^ . . . "Werkzeuge zur statistischen Auswertung von Web-Zugriffen" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "A Model for a Data Dictionary Supporting Multiple Definitions, Views and Contexts" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "Flexible Verwaltung und Spezifikation von Experimentannotationen für Genexpressionsanalysen" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "Design and Implementation of a Virtual Hardware Machine" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "Die Prozeßsimulation von ein- und mehrstufigen Ionenaustauschanlagen für Zeolithe" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "TV-Bericht zum Abschluß der Kooperationsvereinbarung mit Microsoft Deutschland" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "Cell Processor-Based Workstation for XML Offload - System Architecture and Design" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "An Analysis of Roles" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "Modellpartitionierung in der Logiksynthese" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:40"^^ . . . "Adaptive mathematische Modellierung und Entwicklung eines Echtzeitsystems zur optimalen Kontrolle eines chemischen Reaktors" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:41"^^ . . . "Hochverfügbare Middlewareplattform für ein mobiles Patientenbetreuungssystem" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:41"^^ . . . "Simulation von Token Ring Netzwerken" . "2008-02-21T17:20:26"^^ . "2008-03-07T15:56:41"^^ . . . "Automatisches Texture-Handling für ein interaktives bildgestütztes 3D-Rekonstruktionssystem" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:41"^^ . . . "Generic Schema Matching with Cupid" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:41"^^ . . . "Analyse von webbasierten eGovernment-Anwendungen hinsichtlich der Optimierung von Suchmechanismen mit Methoden der Automatischen" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:41"^^ . . . "Parallele Logiksimulation mit dem Simulator dlbSIM - Implementierungsaspekte und Untersuchungen zur Lastbalancierung" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:41"^^ . . . "Active Learning in the Sensorimotor Loop" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:41"^^ . . . "Analyse der Wiederverwendung zum Schema-Matching" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:41"^^ . . . "DBS1-Vorlesung, WS99/00" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:41"^^ . . . "ISLE: Konzeption und Realisierung eines verteilten XML-basierten Informationssystems" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:41"^^ . . . "Architektur und Realisierung eines verteilten XML-basierten Informationssystems" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:42"^^ . . . "EPOS: Electronic Publishing mit OODBS und SGML" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:42"^^ . . . "DOL: An Interoperable Document Server" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:42"^^ . . . "Rondo: A Programming Platform for Generic Model Management (Extended Version)" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:42"^^ . . . "Auswertung von Gefäßstrukturen in Laserscanning-Volumendaten" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:42"^^ . . . "Formal Specification and Verification of Knowledge and its Application" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:42"^^ . . . "Erstellung einer Performanceanalyse in einer Tivoli-Umgebung" . "2008-02-21T17:20:27"^^ . "2008-03-07T15:56:42"^^ . . . "Modellierung von Reverse Engineering Strategien zur Identifizierung genetischer Netzwerke aus unvollständigen Genexpressionsdate" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:42"^^ . . . "Das Xilinx-LCA-Format" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "Das explizite Reziprozitaetsgesetz im Falle einer zyklotomischen Erweiterung von Qp" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "A Classification of Skew Effects in Parallel Database Systems" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "A Classification of Skew Effects in Parallel Database Systems" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "On Disk Allocation of Intermediate Query Results in Parallel Database Systems" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "Skew-Insensitive Join Processing in Shared-Disk Database Systems" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "Skew-tolerantes, dynamisches LPT-Scheduling zur Join-Verarbeitung in parallelen Shared-Disk-Datenbanksystemen" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "Disk Scheduling for Intermediate Results of Large Join Queries in Shared-Disk Parallel Database Systems" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "Options in Scan Processing for Shared-Disk Parallel Database Systems" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "On Parallel Join Processing in Object-Relational Database Systems" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:43"^^ . . . "Dynamic Query Scheduling in Parallel Data Warehouses" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:44"^^ . . . "Dynamic Query Scheduling in Parallel Data Warehouses" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:44"^^ . . . "Ein Branch&Bound-Ansatz zur Verdrahtung von Field Programmable Gate-Arrays" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:44"^^ . . . "Reverse Engineering Methoden zur Rekonstruktion von Genregulationsnetzwerken ausGenexpressionsdaten" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:44"^^ . . . "Spezifikation und Implementation virtueller Räume in einer Java-basierten Verteilungsumgebung im WWW" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:44"^^ . . . "Ein Billardroboter" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:44"^^ . . . "Krümmungsbasierte Unterteilung der Hirnoberfläche" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:44"^^ . . . "Deterministische Dienste für IP-Telefonie auf Basis von DiffServ" . "2008-02-21T17:20:28"^^ . "2008-03-07T15:56:44"^^ . . . "ATM versus Gigabit Ethernet im TCP/IP-LAN" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:44"^^ . . . "Provision of deterministic services for voice over IP using priority queues" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:44"^^ . . . "Event-Oriented Dynamic Adaptation of Workflows: Model, Architecture and Implementation" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "Ein graph- und objektorientiertes Datenbank- Modell für die Kinderonkologie" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "The CliniCon Framework for Context Representation in Electronic Patient Records" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "HematoWork: A Knowledge-based Workflow System for Distributed Cancer Therapy" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "TheMPO: A Knowledge-Based System for Therapy Planning in Pediatric Oncology" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "AgentWork: A Workflow System Supporting Event-Oriented Workflow Adaptation" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "Dealing with Logical Failures for Collaborating Workflows" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "Dealing with Logical Failures for Collaborating Workflows" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "Rule-Based Dynamic Modification of Workflows in a Medical Domain" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "A Petri Net-based Model for Knowledge-based Workflows in Distributed Cancer Therapy" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:45"^^ . . . "An Integrative and Uniform Model for Metadata Management in Data Warehousing Environments" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:46"^^ . . . "CORBA-Integration des Workflow-Management-Systems IBM FlowMark" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:46"^^ . . . "Fallbasiertes Lernen von Bewertungsfunktionen" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:46"^^ . . . "Modellierung und prototypische Implementierung eines Repository-Ansatzes für technische Metadaten in Data Warehouse-Umgebungen" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:46"^^ . . . "Implementierung und Test einer Emulationsplattform für die Hardware- Softwarepartitionierung eingebetteter Systeme" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:46"^^ . . . "A 3-Valued Approach to Disbelief" . "2008-02-21T17:20:29"^^ . "2008-03-07T15:56:46"^^ . . . "Entwicklung eines graphischen Editors für neurometrische Untersuchungen komplexer Oberflächen auf der Basis von Polygonnetzen" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:46"^^ . . . "Sicherheitsaspekte kryptographischer Verfahren beim Homebanking" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:46"^^ . . . "Regionenbasierte Partitionierung bei fraktaler Bildkompression mit Quadtrees" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:46"^^ . . . "Entwurf und Implementierung einer echtzeitfähigen Entwicklungsumgebung für Lern- und Evolutionsexperimente mit autonomen Roboter" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Versicherbarkeit von Internetrisiken" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Spezifikation und Implementierung einer Übungssoftware deutsch-arabisch" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Elliptische und parabolische Probleme mit nichtlokalen Abhängigkeiten" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Beiträge und Beispiele zur Bures-Geometrie" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Simulation and Investigation of Embodied Autonomous Robots driven by Homeokinetic Control" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Clusteralgorithmen für Textdaten" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Vergleich von javabasierten Application-Servern auf Basis der Entwicklung eines verteilten Beschaffungssystems für die Universit" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Datenbanksysteme 1" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:47"^^ . . . "Implementierung von Datenbanksystemen 2" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:48"^^ . . . "Seminar Bio-Datenbanken Wintersemester 2002/2003" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:48"^^ . . . "Datenbanksysteme 2" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:48"^^ . . . "Mehrrechner-Datenbanksysteme" . "2008-02-21T17:20:30"^^ . "2008-03-07T15:56:48"^^ . . . "Algorithmen und Datenstrukturen 2" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:48"^^ . . . "Implementierung von Datenbanksystemen 1" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:48"^^ . . . "Algorithmen und Datenstrukturen 1" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:48"^^ . . . "Implementierung von Datenbanksystemen 1" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:48"^^ . . . "Implementierung von Datenbanksystemen 2" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:48"^^ . . . "Datenbanksysteme 2" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:48"^^ . . . "Evaluation of object-relational database systems for fulltext retrieval" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:48"^^ . . . "Informatikforschung an der Universität Leipzig" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Goal-oriented performance control for transaction processing" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Automatisches, zielorientiertes Performance Tuning von Transaktionssystemen" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Dynamic Load Balancing in Parallel Database Systems" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Dynamic Load Balancing in Parallel Database Systems" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Hochleistungs-Transaktionssysteme" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Hochleistungs-Transaktionssysteme" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Data Cleaning: Problems and Current Approaches" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Matching Large XML Schemas" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Dynamic Multi-Resource Load Balancing in Parallel Database Systems" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "TID Hash Joins" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:49"^^ . . . "Dynamic Multi-Resource Load Balancing in Parallel Database Systems" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "On Flexible Allocation of Index and Temporary Data in Parallel Database Systems" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "Dienst für Online-Dokumente gestartet" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "Analysis of Parallel Scan Processing in Shared Disk Database Systems" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "Controlling Disk Contention for Parallel Query Processing in Shared Disk Database Systems" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "Citation analysis of database publications" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "On Matching Schemas Automatically" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "Kopplung des GIS ARCINFO mit relationalen DBS zur Realisierung des ATKIS-Modells (Amtliches Topographisch-Kartographisches Infor" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "Temporale Datenmodelle und Metainformationssysteme für GIS" . "2008-02-21T17:20:31"^^ . "2008-03-07T15:56:50"^^ . . . "Das Metainformationssystem DST für ATKIS" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:50"^^ . . . "Bildbasierte 3D Gestalterkennung" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:50"^^ . . . "Nonconvex Dynamical Problems" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Kompression von Hyperspektraldaten und Übertragung in einem Kanal mit reduzierten Ressourcen" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Das Konzept der Therapievollständigkeit medizinischer Wissensbasen" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Ein Wachstumsgrammatikinterpreter für neuroanatomische Simulationen" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Benutzer- und Ressourcen-/Dokumentenverwaltung für ein Distance-Learning-Tool OVID zur Erstellung und Verwaltung multimedialen L" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Effiziente Viterbi Decodierung und Anwendung auf die Bildübertragung in gestörten Kanälen" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Effiziente Viterbi Decodierung und Anwendung auf die Bildübertragung in gestörten Kanälen" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Blickkontrolle in neuraler Architektur für Aktive Sehsysteme" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Momentbasierte Methoden der Schriftzeichenerkennung" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:51"^^ . . . "Dynamische Datenbankorganisation für multimediale Informationssysteme" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:52"^^ . . . "Magnetic forces in discrete and continuous systems" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:52"^^ . . . "Automatische Ermittlung semantischer Zusammenhänge lexikalischer Einheiten und deren graphische Darstellung" . "2008-02-21T17:20:32"^^ . "2008-03-07T15:56:52"^^ . . . "Verhaltensbeschreibung in der High-Level-Synthese" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:52"^^ . . . "VH2FG ein VHDL-nach-Flussgraph-Converter fuer CADDY" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:52"^^ . . . "Implementierung der XPath-Anfragesprache für XML-Daten in RDBMS unter Ausnutzung des Nummerierungsschemas DLN" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:52"^^ . . . "Über das Verhalten von Kapillarflächen in Spitzen" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:52"^^ . . . "Ein tableaubasierter Beweiser für temporalisierte Beschreibungslogiken: M2DR" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:52"^^ . . . "Entwicklung, Untersuchung und Implementierung von Parallelen Evolutionären Algorithmen für die Modellpartitionierungskomponente " . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:52"^^ . . . "Synchronisation heterogener LDAP-Schemas" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:52"^^ . . . "Linguistische Aufbereitung von Personendaten und Repräsentation durch ein Question Answering System" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Klassifikation von Dokumenten mit statistischen und regelbasierten Verfahren" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Iterative Modellpartitionierungsverfahren für die parallele Logiksimulation" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Design und Implementierung eines optimierenden VHBC-Compilers für die Virtual Hardware Machine und Realisierung der Virtual Hard" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Survey of existing Bio-ontologies" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Agentenbasiertes Verwalten mit aktiven Dokumenten am Beispiel der Schadenbearbeitung" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Qualitätsgerechte Übertragung komprimierter Audio-/ Videoströme in IP- Netzen im Vergleich verschiedener Kompressionsverfahren." . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Phonetische Suche in neugriechischen Texten" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Der Dokumentenserver DOL" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Der Annotationsserver als mathematischer Bedienprozeß, Teil 1" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Annotationen in Dokumenten einer verteilten digitalen Bibliothek" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:53"^^ . . . "Vorlesung Datenschutz und Datensicherheit\"\"" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:54"^^ . . . "Document Version Management Using an Adapted Segment Tree" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:54"^^ . . . "Web-basiertes SQL-Training im Bildungsportal Sachsen" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:54"^^ . . . "Zellulare Automaten und ihre Anwendung bei der Modellierung von Wellenerscheinungen" . "2008-02-21T17:20:33"^^ . "2008-03-07T15:56:54"^^ . . . "Unterstützung des E-Procurement Prozesses im Bauwesen" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:54"^^ . . . "Zwischenbericht zur Arbeit im DFG-Projekt Partitionierungsalgorithmen für Modelldatenstrukturen zur parallelen compilergesteuert" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:54"^^ . . . "Zwischenbericht zur Arbeit im DFG-Projekt" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:54"^^ . . . "Dokumentenmanagement in kooperativen Arbeitsumgebungen" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:54"^^ . . . "Der Asynchrone Transfer Mode im LAN" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:54"^^ . . . "Sicherheitsmanagement für Dateisysteme in Windows NT-Netzwerken per Tivoli TME 10 - Entwicklung eines Modellierungstools für die" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:54"^^ . . . "Dining Cryptographers Networks" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:54"^^ . . . "Zwischenbericht zum Projekt ''FPGA-Entwurfssystem''." . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "Referenzmodell für die Kommunikation eines Universitätsklinikums mit dem niedergelassenen Bereich" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "Analytische Bestimmung einer Datenallokation für Parallele Data Warehouses" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "Indexallokation in Parallelen Datenbanksystemen" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "Ein Simulationsansatz zur Bewertung paralleler Shared-Disk-Datenbanksysteme" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "Multi-Dimensional Database Allocation for Parallel Data Warehouses" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "Warlock: A Data Allocation Tool for Parallel Warehouses" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "OLAP-Auswertung von Web-Zugriffen" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "Speaking about transitive frames in propositional languages" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "Erkenntnistheoretische und begriffliche Grundlagen der objektorientierten Datenmodellierung" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:55"^^ . . . "AWESOME - A Data Warehouse-based System for Adaptive Website Recommendations" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:56"^^ . . . "Data-Warehouse-basierte Architektur für adaptive Online-Recommendations" . "2008-02-21T17:20:34"^^ . "2008-03-07T15:56:56"^^ . . . "Speicher- und Zeitbedarf von Methoden der Isoflächen-Extraktion" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Konzeption und Entwicklung eines plattformunabhängigen Tools zum netzwerkweiten Daten-Management und anwendungsspezifische Erpro" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Porting the Linux Kernel to the TriCore Architecture" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Entwicklung eines Systems zur dezentralen Online-Ticketerstellung und -kontrolle" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Habilitationsordnung der Fakultät für Mathematik und Informatik" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Parallel Evolutionary Algorithms with SOM-like Migration and their Application to Real World Data Sets" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Entwurf, Implementierung und Bewertung eines Dienstes für die verteilte Bearbeitung von Dokumenten unter Verwendung von CORBA un" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Entwurf und Implementierung einer Java-basierten Middleware zur Abstraktion von Backendsystemen" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Conceptual Foundations of Artificial Agents" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:56"^^ . . . "Artificial Agents and Logic Programming" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "A Logical Reconstruction of Fuzzy Inference in Databases and Logic Programs" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "Multi-Level Security in Multiagent Systems" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "From Partial to Possibilistic Logic" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "VIVA Multi-Agent Logic Programming" . "2008-02-21T17:20:35"^^ . "2008-03-14T17:22:53"^^ . . . "Conceptual Foundations of Artificial Agents (Zusammenfassung der wissenschaftlichen Ergebnisse zur Habilitationsschrift)" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "Conceptual Foundations of Artificial Agents (overview of the Habilitation thesis)" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "Belnap's Epistemic States and Negation-as-Failure" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "Vivid Agents - How they Deliberate, How They React, How They Are Verified" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "Simulative Bewertung von zielorientierten Lastkontrollverfahren" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "Beschreibung von Verfahren zur Anbindung von E-Commerce-Anwendungen an betriebswirtschaftliche Standardsoftware und Evaluation d" . "2008-02-21T17:20:35"^^ . "2008-03-07T15:56:57"^^ . . . "Investigations in Belnap's Logic of Inconsistent and Unknown Information" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "Möglichkeiten der Software-Wiederverwendung durch komponentenbasierte Anwendungsentwicklung in einem Versicherungsunternehmen" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "Erweiterung eines Dokumentenservers um multimediale und zusammengesetzte Dokumente" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "Kovariante Differentialrechnung auf Quantensphären ungerader Dimension. Ein Beitrag zur nichtkommutativen Geometrie homogener Qu" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "Klassifikation und Bewertung von Frameworks für die Entwicklung von Web-Anwendungen" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "Text, Wörter, Morpheme - Möglichkeiten einer automatischen Terminologie-Extraktion" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "Fragments of Common knowledge Logics" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "The algebraic face of minimality" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "On Logics with Coimplication" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "The product of converse PDL and polymodal K" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "Fusions of Modal Logics revisited" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:58"^^ . . . "All finitely axiomatizable subframe logics containing the provability logic CSM are decidable" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "Modal description logics: modalizing roles" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "Dynamic description logics" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "Temporalizing description logics" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "Intuitionistic Modal Logics" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "Multi-dimensional description logics" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "Intuitionistic Modal Logics as fragments of Classical Bimodal Logics" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "On the decidability of description logics with modal operators" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "On the relation between intuitionistic and classical modal logics" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "Influence of Tissue Conductivity Inhomogeneity and Anisotropy on EEG/MEG based Source Localization in the Human Brain" . "2008-02-21T17:20:36"^^ . "2008-03-07T15:56:59"^^ . . . "Advanced Modal logic" . "2008-02-21T17:20:37"^^ . "2008-03-07T15:57:00"^^ . . . "test" . "2008-04-02T15:35:00"^^ . "2008-04-02T15:35:25"^^ . . . "Configuration Management for Lyee Software" . "2008-08-28T16:11:57"^^ . "2008-08-28T16:12:24"^^ . . . "AMABULO - A Model Architecture for Business Logic" . "2008-08-28T16:20:20"^^ . "2008-08-28T16:20:27"^^ . . . "A Framework for Workload Allocation in Distributed Transaction Processing Systems," . "2008-08-28T16:27:27"^^ . "2008-08-28T16:27:30"^^ . . . "Cache management method and apparatus for shared, sequentially-accessed, data" . "2008-08-28T16:38:34"^^ . "2008-08-28T16:38:37"^^ . . . "tet" . "2008-08-28T16:39:30"^^ . "2008-08-28T16:39:47"^^ . . . "Handbook of Weighted Automata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:50"^^ . . . "Weighted finite automata over strong bimonoids" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:50"^^ . . . "On aperiodic and star-free formal power series in partially commuting variables" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:50"^^ . . . "Absolute graphs with prescribed endomorphism monoids" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:50"^^ . . . "Multi valued MSO logics over words and trees" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "On full groups of measure-preserving and ergodic transformations with uncountable cofinalities" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "A monoidal category of bifinite Chu spaces" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "A Kleene-Schützenberger theorem for weighted timed automata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "Weighted automata and weighted logics on infinite words" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "Weighted automata with discounting" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "Construction of some uncountable 2-arc-transitive bipartite graphs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "International Journal of Software and Informatics 2 (2008)" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "A burnside approach to the termination of Mohri's algorithm for polynomially ambiguous min-plus-automata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:51"^^ . . . "Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:52"^^ . . . "Schützenberger's theorem on formal power series follows from Kleene's theorem" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:52"^^ . . . "Euler paths and ends in automatic and recursive graphs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:52"^^ . . . "Hamiltonicity of automatic graphs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:52"^^ . . . "Construction of tree automata from regular expressions" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:52"^^ . . . "Distributed Muller automata and logics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:52"^^ . . . "First-order and counting theories of omega-automatic structures" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:52"^^ . . . "Weighted picture automata and weighted logics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:52"^^ . . . "Weighted logics for nested words and algebraic formal power series" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "Journal of Automata, Languages and Combinatorics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "Weighted automata and weighted logics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "Normal Subgroups of BuAut(?)" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "Almost every domain is universal" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "On weighted Büchi automata with order-complete weights" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "Weighted automata and weighted logics with discounting" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "Weighted logics for XML" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "Lecture Notes in Comp. Science" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:53"^^ . . . "Desert Automata V. On the Complexity of the Relative Inclusion Star Height Problem" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:54"^^ . . . "Weighted asynchronous cellular automata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:54"^^ . . . "Propositional Dynamic Logic for Message-Passing Systems" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:54"^^ . . . "Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:54"^^ . . . "On communicating automata with bounded channels" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:54"^^ . . . "Definable Transductions and Weighted Logics for Texts" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:54"^^ . . . "Characterizations of Recognizable Picture Series" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:54"^^ . . . "Weighted Distributed Systems and Their Logics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:54"^^ . . . "Observations on the smoothness properties of real functions computed by weighted finite automata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:55"^^ . . . "Skew and infinitary formal power series" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:55"^^ . . . "On representing words in the automorphism group of the random graph" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:55"^^ . . . "Weighted tree automata and weighted logics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:55"^^ . . . "Distance Desert Automata and Star Height Substitutions" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:55"^^ . . . "Theories of orders an the set of words" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:55"^^ . . . "On graph products of automatic and biautomatic monoids" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:55"^^ . . . "A Kleene theorem and model checking algorithms for existentially bounded communicating automata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:56"^^ . . . "Monadic chain logic over iterations and applications to push-down systems" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:56"^^ . . . "Logical aspects of Cayley graphs: the monoid case" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:56"^^ . . . "Weighted Logics for Traces" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:56"^^ . . . "Special issue of Journal of Automata, Languages and Combinatorics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:56"^^ . . . "Universal homogeneous causal sets" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:56"^^ . . . "Uncountable cofinalities of permutation groups" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:57"^^ . . . "Generating automorphism groups of chains" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:57"^^ . . . "A Kleene theorem for weighted tree automata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:57"^^ . . . "Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:57"^^ . . . "Snapshot Verification" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:57"^^ . . . "Decidable first-order theories of one-step rewriting in trace monoids" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:57"^^ . . . "Logical aspects of Cayley graphs: the group case" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:57"^^ . . . "Recognizable and Rational Picture Series" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:57"^^ . . . "On the Determinization of Weighted Automata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:58"^^ . . . "The Hadamard Product of Sequential-Parallel Series" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:58"^^ . . . "A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:58"^^ . . . "Branching automata with costs - a way of reflecting parallelism in costs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:58"^^ . . . "The rôle of the complementarity relation in Watson-Crick automata and sticker systems" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:58"^^ . . . "Weighted Branching Automata - Combining Concurrency and Weights" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:58"^^ . . . "A structuralist framework for quantitative linguistics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:58"^^ . . . "Automatic extension of feature-based semantic lexicons via centextual attributes" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:59"^^ . . . "Semantic indexing with typed terms using rapid annotation" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:59"^^ . . . "Real-time generation of topic map from speech streams" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:59"^^ . . . "Automatische Erweiterung eines semantikbasierten Lexikons durch Bootstrapping auf grossen Korpora" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:59"^^ . . . "Unsupervised knowledge-free morpheme boundary detection" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:59"^^ . . . "Disentangling from babylonian confusion - unsupervized language identification" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:51:59"^^ . . . "Evaluation of Lexical Acquisition Algorithms" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:00"^^ . . . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:00"^^ . . . "Topic maps exchange in the absence of shared vocabularies" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:00"^^ . . . "Tuning co-occurrences of higher orders for generating ontology extension candidates" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:00"^^ . . . "Real-time analysis of speech streams and their representation as conceptual structures" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:00"^^ . . . "Crossing the cognitive barrier - mapping speech streams to conceptual structures" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:00"^^ . . . "Distributed knowledge management in the absence of shared vocabularies" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:00"^^ . . . "Kookkurrenzanalyse und korpusbasierte Sachgruppenlexikographie" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:01"^^ . . . "Generating semantic contexts from spoken conversation in meetings" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:01"^^ . . . "Automatically building concept structures and displaying concept trails for the use in brainstorming sessions and content manage" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:01"^^ . . . "Software for visualizing brainstorming sessions and thematic concept trails on document collections" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:01"^^ . . . "Automatic acquisition of paradigmatic relations using iterated co-occurrences" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:01"^^ . . . "Web services for language resources and language technology applications" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:01"^^ . . . "Eine Wissenlandkarte der Knowtech" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:02"^^ . . . "Linguistic corpus search" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:02"^^ . . . "Semiautomatic externsion of corenet using a bootstrapping mechanism on corpus-based co-occurrences" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:02"^^ . . . "Lernen paradigmatischer Relationen auf iterierten Kollokationen" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:02"^^ . . . "Text Mining-Verfahren für die Erschliessung juristischer Fachtexte" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:02"^^ . . . "Chinese whispers - an efficient graph clustering algorithm and its application to natural language processing problems" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:02"^^ . . . "Part-of-speech tagging employing efficient graph clustering" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:03"^^ . . . "Real-time generation of topic maps from speech streams" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:03"^^ . . . "Two-step approach to unsupervised morpheme segmentation" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:03"^^ . . . "Triplet-based clustering and automatic evaluation" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:03"^^ . . . "Using strong’s numbers in the bible to test an automatic alignment of parallel texts" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:03"^^ . . . "Mining norwegian daily newswire" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:03"^^ . . . "Text Mining, Grundlagen, Algorithmen, Beispiele" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:03"^^ . . . "Entwicklung von Textkollektionen für P2P Information Retrieval" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:04"^^ . . . "Closing the semantic gap in topic maps and owl ontologies" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:04"^^ . . . "Collaborative instantiation of topic maps and owl ontologies" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:04"^^ . . . "Charting the topic maps research and applications landscape" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:04"^^ . . . "Compiling a large korean it-related language resource by language independent methods for domain-specific taxonomy learning" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:04"^^ . . . "Measuring monolinguality" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:04"^^ . . . "Corpus portal for search in monolingual corpora" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:05"^^ . . . "Künstlicher Sachverstand" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:05"^^ . . . "Exploiting the leipzig corpora collection" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:05"^^ . . . "Carrot and stick - combining information retrieval models" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:05"^^ . . . "Estimation of global term weights for distributed and ubiquitous ir" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:05"^^ . . . "Information structuring and product classification" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:05"^^ . . . "Global Resources for Peer-to-Peer Text Retrieval" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:05"^^ . . . "Admission Policies for Caches of Search Engine Results" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:06"^^ . . . "Webspam Detection via Semi-Supervised Graph Partitioning" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:06"^^ . . . "A Framework for Adaptive Information Retrieval." . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:06"^^ . . . "Unsupervised Part of Speech Tagging Supporting Supervised Methods" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:06"^^ . . . "A random text model for the generation of statistical language invariants" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:06"^^ . . . "Unsupervised natural language processing using graph models" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:06"^^ . . . "Similarity of documents and document collections using attributes with low noise" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:07"^^ . . . "Using strong’s numbers in the bible to test an automatic alignment of parallel texts" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:07"^^ . . . "The Leipzig Corpora Collection - Monolingual corpora of standard size" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:07"^^ . . . "Aspectual shift via supevaluation" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:07"^^ . . . "Íslenskur orðasjóður - building a large icelandic corpus" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:07"^^ . . . "Enhancing Just-in-Time E-Learning Through Machine Learning on Desktop Context Sensors" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:07"^^ . . . "Exploiting Context Information for Identification of Relevant Experts in Collaborative Workplace-Embedded E-Learning Environment" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:08"^^ . . . "Kontextualisierte Kooperationsinitiierung zur Unterstützung arbeitsplatzorientierten kollaborativen Lernens" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:08"^^ . . . "The MILL - Method for Informal Learning Logistics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:08"^^ . . . "Supporting Web-based Address Extraction with Unsupervised Tagging" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:08"^^ . . . "Report from the open space and poster sessions" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:08"^^ . . . "Laveraging the semantics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:08"^^ . . . "Universal Regularities of Language Statistics - An Empirical investigation of Mandelbrot`s Law on Various Scales and Languages" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:09"^^ . . . "Combining contexts in lexicon learning for semantic parsing" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:09"^^ . . . "Multi-level association graphs - a new graph-based model for information retrieval" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:09"^^ . . . "WCTAnalyze - Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:09"^^ . . . "A Case Study in Market Research" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:09"^^ . . . "Networks in Molecular Evolution" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:09"^^ . . . "On the Evolution of Primitive Genetic Codes" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:10"^^ . . . "Circuit Bases of Strongly Connected Graphs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:10"^^ . . . "Minimum Cycle Bases of Halin Graphs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:10"^^ . . . "Quasi-Independence, Homology and the Unity of Type: A Topological Theory of Characters" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:10"^^ . . . "Design of Multi-Stable Nucleic Acid Sequences" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:10"^^ . . . "litsift: Automated Text Categorization in Bibliographic Search" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:10"^^ . . . "Independent Hox-Cluster Duplications in Lampreys" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:11"^^ . . . "Generic Properties of Chemical Networks: Artificial Chemistry Based on Graph Rewriting" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:11"^^ . . . "Morphological Modularity and Macroevolution: Conceptual and Empirical Aspects" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:11"^^ . . . "Phase transition and landscape statistics of the number partitioning problem" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:11"^^ . . . "Barrier Trees on Poset-Valued Landscapes" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:11"^^ . . . "Shapes of tree representations of spin-glass landscapes" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:11"^^ . . . "Landscapes and Effective Fitness" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:12"^^ . . . "Centers of Complex Networks" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:12"^^ . . . "Molecular Replicator Dynamics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:12"^^ . . . "A Graph-Based Toy Model of Chemistry" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:12"^^ . . . "The freshwater turtle genus Mauremys {Testudines, Geoemydidae} - a textbook example of an east-west disjunction or a taxonomic m" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:12"^^ . . . "Discrete Models of Biopolymers" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:12"^^ . . . "Comparative genomics, cis-regulatory elements, and gene duplication" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:12"^^ . . . "RNA Folding in silico" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:13"^^ . . . "Transitions from Nonliving to Living Matter" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:13"^^ . . . "Conserved RNA Pseudoknots" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:13"^^ . . . "Gene Phylogenies and Protein-Protein Interactions: Possible Artifacts Resulting From Shared Protein Interaction Partners" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:13"^^ . . . "Simon Ando Decomposability and Fitness Landscapes" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:13"^^ . . . "Divergence of Conserved Non-Coding Sequences: Rate Estimates and Relative Rate Tests" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:13"^^ . . . "The Duplication of the Hox Gene Clusters in Teleost Fishes" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:14"^^ . . . "Graph Grammars as Models for the Evolution of Developmental Pathways" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:14"^^ . . . "Interactions in oligonucleotide hybrid duplexes on microarrays" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:14"^^ . . . "The sensitivity of microarray oligonucleotide probes: variability and the effect of base composition" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:14"^^ . . . "Molecular Evolution of a MicroRNA Cluster" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:14"^^ . . . "Prediction of Consensus RNA Secondary Structures Including Pseudoknots" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:15"^^ . . . "Assessing the robustness of disparity estimates: the impact of morphometric scheme, temporal scale, and taxonomic level in spata" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:15"^^ . . . "The Partition Function Variant of Sankoff's Algorithm" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:15"^^ . . . "Multi-Phase Artificial Chemistry" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:15"^^ . . . "Computational Chemistry with RNA Secondary Structures" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:15"^^ . . . "Exact Folding Dynamics of RNA Secondary Structures" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:15"^^ . . . "Alignment of RNA Base Pairing Probability Matrices" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:16"^^ . . . "Exclusion of Repetitive DNA Elements from Gnathostome Hox Clusters" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:16"^^ . . . "Evidence for independent Hox gene duplications in the hagfish lineage: A PCR-based gene inventory of Eptatretus stoutii" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:16"^^ . . . "Structural and evolutionary analysis of the transcribed sequence of Boudicca, a Schistosoma mansoni retrotransposon" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:16"^^ . . . "The Footprint Sorting Problem" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:16"^^ . . . "Conserved RNA Secondary Structures in Viral Genomes: A Survey" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:17"^^ . . . "Multi-Information in the Thermodynamic Limit" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:17"^^ . . . "Conserved RNA Secondary Structures in Flaviviridae Genomes" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:17"^^ . . . "Counterexamples in Chemical Ring Perception" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:17"^^ . . . "The Shark HoxN cluster is homologous to the Human HoxD cluster" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:17"^^ . . . "Prediction of Locally Stable RNA Secondary Structures for Genome-Wide Surveys" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:17"^^ . . . "Aggregation of Variables and System Decomposition: Applications to Fitness Landscape Analysis" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:18"^^ . . . "Bichir HoxA Cluster Sequence Reveals Surprising Trends in Ray-Finned Fish Genomic Evolution" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:18"^^ . . . "The Macroevolution of Phenotypic Integration" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:18"^^ . . . "The Topology of Evolutionary Biology" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:18"^^ . . . "Surveying Phylogenetic Footprints in Large Gene Clusters: Applications to Hox Cluster Duplications" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:18"^^ . . . "Proto-Organism Kinetics: Evolutionary Dynamics of Lipid Aggregates with Genes and Metabolism" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:19"^^ . . . "Graph Laplacians, Nodal Domains, and Hyperplane Arrangements" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:19"^^ . . . "An analysis of Andes Frogs {Phrynopus: Leptodactylidae} phylogeny based on 12S and 16S mitochondrial DNA sequences" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:19"^^ . . . "The Atlas Mountains, not the Strait of Gibraltar, as biogeographic barrier for Mauremys leprosa {Reptilia: Testudines}" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:19"^^ . . . "Molecular insights into speciation in the Agrilus viridis-complex and the genus Trachys {Coleoptera: Buprestidae}" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:19"^^ . . . "Globalization, polarization and cultural drift" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:19"^^ . . . "Minimum Path Bases and Relevant Paths" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:20"^^ . . . "Binary and Multivariate Stochastic Models of Consensus Formation" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:20"^^ . . . "Nodal Domain Theorems and Bipartite Subgraphs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:20"^^ . . . "Neutral Networks of Interacting RNA Secondary Structures" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:20"^^ . . . "Explicit Collision Simulation of Chemical Reactions in a Graph Based Artifical Chemistry" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:20"^^ . . . "Emergence of regulatory networks in simulated evolutionary processes" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:21"^^ . . . "Unorthodox mRNA start site to extend the highly structured leader of retrotransposon Tto1 mRNA increases transposition rate" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:21"^^ . . . "CelloS: A Multi-level Approach to Evolutionary Dynamics" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:21"^^ . . . "Non-coding RNAs in Ciona intestinalis" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:21"^^ . . . "Mapping of conserved RNA secondary structures predicts thousands of functional noncoding RNAs in the human genome" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:21"^^ . . . "Multiple Sequence Alignments of Partially Coding Nucleic Acid Sequences" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:21"^^ . . . "Fast and reliable prediction of noncoding RNAs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:22"^^ . . . "Evolutionary Patterns of Non-Coding RNAs" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:22"^^ . . . "Stable and unstable attractors in Boolean networks" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:22"^^ . . . "Topology of biological networks and reliability of information processing" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:22"^^ . . . "Scaling in the structure of directory trees in a computer cluster" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:22"^^ . . . "Comparative promoter region analysis powered by CORG" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:22"^^ . . . "The Effect of RNA Secondary Structures on RNA-Ligand Binding and the Modifier RNA Mechanism: A Quantitative Model" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:23"^^ . . . "Molecular Evolution of Duplicated Ray Finned Fisch HoxA Clusters: Increased synonymous substitution rate and asymmetrical co-div" . "2008-09-30T14:50:39"^^ . "2008-09-30T14:52:23"^^ . . . "Molecular Evolution of Duplicated Ray Finned Fisch HoxA Clusters: Increased synonymous substitution rate and asymmetrical co-div" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:28"^^ . . . "Evolution of MicroRNAs Located Within Hox Gene Clusters" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:28"^^ . . . "Multiple sequence alignment with user-defined constraints at GOBICS" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:28"^^ . . . "On a Notion of Linear Replicator Equations" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:29"^^ . . . "Impact of mountain chains, sea straits and peripheral populations on genetic and taxonomic structure of a freshwater turtle, Mau" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:29"^^ . . . "Geoemyda silvatica, an enigmatic turtle of the Geoemydidae {Reptilia: Testudines}, represents a distinct genus" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:29"^^ . . . "From terrestrial to aquatic habitats and back again - molecular insights into the evolution and phylogeny of Hydrophiloidea {Col" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:30"^^ . . . "Multiple sequence alignment with user-defined anchor points" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:30"^^ . . . "Evolution of MicroRNAs" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:30"^^ . . . "Visualization of Barrier Tree Sequences" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:30"^^ . . . "Genotype Phenotype Maps" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:30"^^ . . . "Local versus global interactions in nonequilibrium transitions: A model of social dynamics" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:30"^^ . . . "Evolutionary Genomics of Hox Gene Clusters" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:30"^^ . . . "Comparative Analysis of Cyclic Sequences: Viroids and other Small Circular RNAs" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:31"^^ . . . "Visualization of Lattice-Based Protein Folding Simulations" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:31"^^ . . . "Hairpins in a Haystack: Recognizing microRNA Precursors in Comparative Genomics Data" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:31"^^ . . . "miRNAMap: Genomic Maps of MicroRNA Genes and Their Target Genes in Mammalian Genomes" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:31"^^ . . . "Exploring the Lower Part of Discrete Polymer Model Energy Landscapes" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:31"^^ . . . "Partition Function and Base Pairing Probabilities of RNA Heterodimers" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:32"^^ . . . "Local RNA Base Pairing Probabilities in Large Sequences" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:32"^^ . . . "Prediction of Structured Non-Coding RNAs in the Genomes of the Nematodes Caenorhabditis elegans and Caenorhabditis briggsae" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:32"^^ . . . "The Expansion of the Metazoan MicroRNA Repertoire" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:32"^^ . . . "Statistics of cycles in large networks" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:32"^^ . . . "Thermodynamics of RNA-RNA Binding" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:32"^^ . . . "Memory Efficient Folding Algorithms for Circular RNA Secondary Structures" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:33"^^ . . . "Algebraic Comparison of Metabolic Networks, Phylogenetic Inference, and Metabolic Innovation" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:33"^^ . . . "A Prime Factor Theorem for a Generalized Direct Product" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:33"^^ . . . "Evolution of the Vertebrate Parahox Clusters" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:33"^^ . . . "The fish specific Hox cluster duplication is coincident with the origin of teleosts" . "2008-09-30T14:55:12"^^ . "2008-09-30T14:55:33"^^ . .