Search: English

Results 1 - 25 of 347

Results

Authors Year Titlesort icon Type Fulltext
Nittka, Alexander 2003 A 3-Valued Approach to Disbelief Dipl pdf
Kirsten, D. 2009 A burnside approach to the termination of Mohri's algorithm for polynomially ambiguous min-plus-automata Paper pdf
Märtens, Holger 2001 A Classification of Skew Effects in Parallel Database Systems Paper pdf
Jäger, Markus
Iwig, Kornelius
...
2011 A compact digital time differential perturbed angular correlation-spectrometer using field programmable gate arrays and various timestamp algorithms Paper
Boronat, Xavier Azagra 2008 A comparison of HTML-aware tools for Web Data extraction Dipl pdf
Kirsten, Toralf
Do, Hong-Hai
...
2004 A Data Warehouse for Multidimensional Gene Expression Analysis Report
Andersen, Björn 2011 A Diagnostic System for Remote Real-Time Monitoring of Marine Diesel-Electric Propulsion Systems BSc pdf
Jäger, Markus
Reinert, Tilo
2013 A digitizer based compact digital spectrometer for ion beam analysis using field programmable gate arrays and various energy algorithms Paper
Rahm, Erhard 1992 A Framework for Workload Allocation in Distributed Transaction Processing Systems Paper pdf
Hartung, Michael
Rahm, Erhard
2007 A Grid Middleware for Ontology Access Paper pdf
Apel, Joachim 1995 A Groebner Approach to Involutive Bases. Paper pdf
Kuske, D.
Genest, B.
...
2006 A Kleene theorem and model checking algorithms for existentially bounded communicating automata Paper
Kuske, D.
Genest, B.
...
2004 A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms Paper
Huschenbett, Martin 2010 A Kleene-Schützenberger theorem for trace series over bounded lattices Paper
Huschenbett, Martin 2010 A Kleene-Schützenberger theorem for trace series over bounded lattices Research
Wagner, Gerd 1997 A Logical Reconstruction of Fuzzy Inference in Databases and Logic Programs Paper pdf
Nittka, Alexander 2008 A Method for Reasoning about other Agents' Beliefs from Observations Diss pdf
Kühn, Katrin 2004 A Model for a Data Dictionary Supporting Multiple Definitions, Views and Contexts Dipl pdf
Kirsten, Toralf
Do, Hong-Hai
...
2003 A Multidimensional Data Warehouse for Gene Expression Analysis Demo/Poster pdf
Janson, S.
Merkle, D.
2005 A New Multi-Objective Particle Swarm Optimization Algorithm Using Clustering Applied to Automated Docking Paper
Apel, Joachim
Klaus, Uwe
1998 A Note on Data Types Supporting Efficient Implementations of Polynomial Arithmetics Report pdf
Gräbe, Hans-Gert
Lassner, Wolfgang
1994 A parallel Gröbner factorizer Paper pdf
Müller, Robert
Rahm, Erhard
1998 A Petri Net-based Model for Knowledge-based Workflows in Distributed Cancer Therapy Paper pdf
Hartung, Michael
Loebe, Frank
...
2008 A Platform for Collaborative Management of Semantic Grid Metadata Paper pdf
Duc, Ho Ngoc 1997 A Recursively Axiomatizable Subsystem of Levesque's Logic of Only Knowing. Report pdf
Rahm, Erhard
Bernstein, Philip A.
2001 A Survey of Approaches to Automatic Schema Matching Paper pdf
Jäger, Markus
Iwig, Kornelius
...
2010 A user-friendly fully digital TDPAC-spectrometer Paper pdf
Gräbe, Hans-Gert 1998 About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce. Book pdf
Alexander I. Kovacs 2003 Actions in Situation Theory - And a Novel Solution to the Frame Problem Dipl
Martius, Georg 2005 Active Learning in the Sensorimotor Loop Dipl pdf
Obraczka, Daniel 2017 Active Learning of Link Specifications using Decision Tree Learning BSc pdf
Greiner, Ulrike
Müller, Robert
...
2005 AdaptFlow: Protocol-based Medical Treatment Using Adaptive Workflows Paper pdf
Greiner, Ulrike
Ramsch, Jan
...
2004 Adaptive Guideline-based Treatment Workflows with AdaptFlow Paper pdf
Thor, Andreas
Golovin, Nick
...
2005 Adaptive Website Recommendations with AWESOME Paper pdf
Zakharyaschev, Michael
Wolter, Frank...
1998 Advanced Modal logic Paper pdf
Müller, Robert
Greiner, Ulrike
...
2003 AgentWork: A Workflow System Supporting Event-Oriented Workflow Adaptation Report pdf
Gräbe, Hans-Gert 1998 Algebraic Numbers in Symbolic Computations Paper pdf
Lin, Ying-Chi 2016 Algorithms for Map Generation and Spatial Data Visualization in LIFE MSc pdf
Gräbe, Hans-Gert 1995 Algorithms in local algebra. Paper pdf
Wolter, Frank 1997 All finitely axiomatizable subframe logics containing the provability logic CSM are decidable Paper pdf
Balzuweit, Gerd
Der, Ralf
...
1997 An Algorithm for Generalized Principal Curves with Adaptive Topology in Complex Data Sets Report pdf
Loebe, Frank 2003 An Analysis of Roles. Towards Ontology-Based Modelling Dipl
Middendorf, M.
Scheuermann, B.
...
2002 An Evolutionary Approach to Dynamic Task Scheduling on FPGAs. Paper
Wong, Renata 2011 An Implementation of Splitting for Dung Style Argumentation Frameworks BSc pdf
Hering, Klaus
Haupt, Reiner
...
1995 An Improved Mixture of Experts Approach for Model Partitioning in VLSI-Design Using Genetic Algorithms Report pdf
Lange, Jörg
Kirsten, Toralf
...
2005 An integrated platform for analyzing clinical and molecular-biological data in collaborative research projects Demo/Poster pdf
Kirsten, Toralf
Lange, Jörg
...
2006 An integrated platform for analyzing molecular-biological data within clinical studies Paper
Müller, Robert
Stöhr, Thomas
...
1999 An Integrative and Uniform Model for Metadata Management in Data Warehousing Environments Paper pdf
Schmäche, Christopher 2013 An Obstacle Problem for a fractional power of the Laplace Operator Dipl pdf
Rahm, Erhard
Bernstein, Philip A.
2006 An Online Bibliography on Schema Evolution Paper pdf