Search: English

Results 51 - 75 of 347

Results

Authors Year Title Type Fulltext
Janson, S.
Merkle, D.
2005 A New Multi-Objective Particle Swarm Optimization Algorithm Using Clustering Applied to Automated Docking Paper
Petzold, E.
Haeseler, A. von
...
2006 Phylogenetic Parameter Estimation on COWs Paper
Hernandez, H.
Blum, C.
...
2009 Self-Synchronized Duty-Cycling for Mobile Sensor Networks with Energy Harvesting Capabilities: A Swarm Intelligence Study. Paper
Middendorf, M.
Scheuermann, B.
...
2002 An Evolutionary Approach to Dynamic Task Scheduling on FPGAs. Paper
Middendorf, M.
Timkovsky, V.
2002 On scheduling cycle shops: classification, complexity and approximation. Paper pdf
Middendorf, M.
Schmeck, H.
...
2002 Multi Colony Ant Algorithms. Paper pdf
Branke, J.
Leppert, S.
...
2002 Width Restricted Layering of Acyclic Digraphs with Consideration of Dummy Nodes. Paper pdf
Merkle, D.
Worsch, Th.
2002 Formal Language Recognition by Stochastic Cellular Automata. Paper
Engelbrecht, A.
Middendorf, M.
2009 Applied Swarm Intelligence Paper
Blum, C.
Merkle, D.
2008 Swarm Intelligence Paper
Cagnoni, S.
Cardalda, J.J. Romero
...
2003 Applications of Evolutionary Computing Paper pdf
Branke, J.
Middendorf, M.
...
2005 Waiting Strategies for Dynamic Vehicle Routing. Paper pdf
Geis, M.
Flamm, Christoph
...
2008 Folding Kinetics of Large RNAs Paper
Perseke, Marlen
Fritzsch, Guido
...
2008 Evolution of Mitochondrial Gene Orders in Echinoderms Paper
Kebschull, Udo
Herrmann, Paul
...
2002 Einführung in z/OS und OS/390 Paper
Kuske, D.
Genest, B.
...
2004 A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms Paper
Kuske, D.
Meinecke, Ingmar
2004 Branching automata with costs - a way of reflecting parallelism in costs Paper
Kuske, D.
Weigelt, P.
2004 The rôle of the complementarity relation in Watson-Crick automata and sticker systems Paper
Kuske, D.
Genest, B.
...
2006 A Kleene theorem and model checking algorithms for existentially bounded communicating automata Paper
Droste, M. 2005 Universal homogeneous causal sets Paper
Kuske, D.
Genest, B.
...
2005 Snapshot Verification Paper
Kuske, D.
Lohrey, M.
2005 Logical aspects of Cayley graphs: the group case Paper
Gastin, P.
Kuske, D.
2007 Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces Paper pdf
Genest, B.
Kuske, D.
...
2007 On communicating automata with bounded channels Paper pdf
Kirsten, D. 2006 Distance Desert Automata and Star Height Substitutions Paper pdf
Droste, M.
Gastin, P.
2007 Weighted automata and weighted logics Paper
Kirsten, D. 2007 Desert Automata V. On the Complexity of the Relative Inclusion Star Height Problem Paper pdf
Droste, M.
Gray, R.
...
2008 Construction of some uncountable 2-arc-transitive bipartite graphs Paper
Droste, M.
Kuich, W.
...
2008 Multi valued MSO logics over words and trees Paper
Droste, M.
Holland, Ch.
...
2008 On full groups of measure-preserving and ergodic transformations with uncountable cofinalities Paper
Kuske, D. 2008 Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic Paper pdf
Kuske, D.
Bollig, B.
2008 Distributed Muller automata and logics Paper
Kuske, D.
Lohrey, M.
2008 Euler paths and ends in automatic and recursive graphs Paper
Kuske, D.
Lohrey, M.
2008 Hamiltonicity of automatic graphs Paper
Kuske, D.
Lohrey, M.
2008 First-order and counting theories of omega-automatic struct ures Paper
Kuske, D.
Meinecke, Ingmar
2008 Construction of tree automata from regular expressions Paper
Droste, M.
Göbel, R.
2009 Stabilizers of direct composition series Paper pdf
Droste, M.
Stüber, T.
...
2009 Weighted finite automata over strong bimonoids Paper pdf
Droste, M.
Truss, J.K.
2009 Uncountable cofinalities of automorphism groupsof linear and partial orders Paper pdf
Kirsten, D. 2009 A burnside approach to the termination of Mohri's algorithm for polynomially ambiguous min-plus-automata Paper pdf
Kuske, D.
Fichtner, I.
...
2009 Traces, series-parallel posets, and pictures: a weighted study. Paper
Gruhn, Volker
Peters, Dirk
2004 Konfigurierbare Sicherheit für Java-Laufzeitumgebungen Paper pdf
Lindemann, Christoph 1998 Performance Modelling with Deterministic and Stochastic Petri Nets Paper
Ciardo, G.
Lindemann, Christoph
1994 Comments on 'Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets' Paper
Krefting, Dagmar
Bart, Julian
...
2009 MediGRID: Towards a user friendly secured grid infrastructure Paper
Aumüller, David 2009 Retrieving metadata for your local scholarly papers Demo/Poster pdf
Aumüller, David 2009 Towards web supported identification of top affiliations from scholarly papers Paper pdf
Sax, Ulrich
Mohammed, Yassene
...
2006 MediGRID - Medical Grid Computing Demo/Poster pdf
Köpcke, Hanna
Rahm, Erhard
2008 Training Selection for Tuning Entity Matching Paper pdf
Bornmann, L.
Marx, W.
...
2009 Convergent validity of bibliometric Google Scholar data in the field of chemistry Paper pdf