If you made any changes in Pure these will be visible here soon.

Research Output 2008 2020

Filter
Conference article
2012

Exploring Chemistry Using SMT

Fagerberg, R., Flamm, C., Merkle, D. & Peters, P., 2012, In : Lecture Notes in Computer Science. 7514

Research output: Contribution to journalConference articleResearchpeer-review

Chemistry
Modulo
Planning
Chemical Synthesis
Chemical compounds
2008

An Algorithm for Inferring Mitochondrial Genome Rearrangements in a Phylogenetic Tree

Bernt, M., Merkle, D. & Middendorf, M., 2008, In : Lecture Notes in Computer Science. p. 143-157

Research output: Contribution to journalConference articleResearchpeer-review

Genome Rearrangement
Phylogenetic Tree
Rearrangement
Genes
Gene

Congestion Control in Ant Like Moving Agent Systems

Scheidler, A., Merkle, D. & Middendorf, M., 2008, In : IFIP International Federation for Information Processing. p. 33-43

Research output: Contribution to journalConference articleResearchpeer-review

Ants
Congestion control
Energy storage
Energy
Congestion

Emergent Sorting in Networks of Router Agents

Scheidler, A., Blum, C., Merkle, D. & Middendorf, M., 2008, In : Lecture Notes in Computer Science. p. 299-306

Research output: Contribution to journalConference articleResearchpeer-review

Router
Sorting
Routers
Buffer
Sorting Networks

Learning from House-Hunting Ants: Collective Decision-Making in Organic Computing Systems

Brutschy, A., Scheidler, A., Merkle, D. & Middendorf, M., 2008, In : Lecture Notes in Computer Science. p. 96-107

Research output: Contribution to journalConference articleResearchpeer-review

Decision making
Decision Making
Throughput
Unit
Computing