Institut for Matematik og Datalogi

  • Campusvej 55

    5230 Odense M

Publikationer 1990 2020

Filtrer
Bog
Bog

8th German Workshop on Artificial Life - Proceedings of the GWAL-8

Klemm, K., Merkle, D. & Olbrich, E., 2009, IOS Press. 160 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

cognition
metapopulation
robotics
stochasticity
population dynamics

Artificial Life XII: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, Odense, Denmark, August 19-23, 2010

Fellermann, H. (red.), Dörr, M. (red.), Hanczyc, M. M. (red.), Laursen, L. L. (red.), Maurer, S. E. (red.), Merkle, D. (red.), Monnard, P-A. (red.), Støy, K. (red.) & Rasmussen, S. (red.), 2010, MIT Press.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Digraphs: Theory, Algorithms and Applications

Bang-Jensen, J. & Gutin, G., 2009, 2. udg. London: Springer. 820 s. (Springer Monographs in Mathematics).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Digraphs. Theory, algorithms and applications

Bang-Jensen, J. & Gutin, G., 2000, London: Springer Science+Business Media.

Publikation: Bog/antologi/afhandling/rapportBogForskning

El jaguar como elemento estratégico para la conservación: Corredor Biológico Mesoamericano México

Manterola, C., Conde, D. A., Colchero, F., Rivera, A., Huerta, E., Soler, A. & Pallares, E., 2011, Comisión Nacional para el Conocimiento y Uso de la Biodiversidad. 130 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Experimental Methods for the Analysis of Optimization Algorithms

Bartz-Beielstein, T. (red.), Chiarandini, M. (red.), Paquete, L. (red.) & Preuss, M. (red.), 1. nov. 2010, Springer. 479 s.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Operations research
Computer science
Design of experiments
Statistical methods
Tuning

Finite Precision Number Systems and Arithmetic

Kornerup, P. & Matula, D. W., 24. sep. 2010, Cambridge University Press. 699 s. (Encyclopedia of Mathematics and its Applications; Nr. 133).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Graph Edge Coloring: Vizing's Theorem and Goldberg's Conjecture

Stiebitz, M., Scheide, D., Toft, B. & Favrholdt, L. M., 2012, New York: John Wiley & Sons Ltd. 335 s.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

HEX The Full Story

Toft, B. & Hayward, R. B., 2019, Boca Raton: CRC Press. 297 s.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

John Dewey: Interesse og indsats i uddannelse

Albrechtsen, T. R. S. & Petersen, M. R., 2013, Syddansk Universitetsforlag. 82 s.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

L2-invariants for quantum groups: PhD dissertation

Kyed, D., maj 2008

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Leonardo da Vinci: fortællinger om mennesket og naturen

Bangsgaard, K. & Albrechtsen, T. R. S., 2007, Center for naturvidenskabernes og matematikkens didaktik, Syddansk Universitet. 115 s.

Publikation: Bog/antologi/afhandling/rapportBogUndervisning

Optimierung: Wissenswelten der Mathematik

Jongen, H. T. & Meer, K., 2003, Heidelberg: Spektrum-Verlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Optimization Theory

Jongen, H. T., Meer, K. & Triesch, E., 2004, Boston: Springer. 443 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Professionelle læringsfællesskaber: teamsamarbejde og undervisningsudvikling

Albrechtsen, T. R. S., 2013, Frederikshavn: Dafolo.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Proving termination and memory safety for programs with pointer arithmetic

Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J. & Schneider-Kamp, P., 2014

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Proving termination of programs automatically with AProVE

Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S. & Thiemann, R., 2014

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Swarm Intelligence: Introduction and Applications

Blum, C. & Merkle, D., 2008, Springer. 286 s. (Natural Computing Series).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Teacher Certification - Teachers in Motion.

Michelsen, C., Andersen, M., Pawlik, E. & Thorslund, J., 2004, København: Learning Lab Denmark.

Publikation: Bog/antologi/afhandling/rapportBogForskning

群智能 (Swarm intelligence introduction and applications)

Blum, C. & Merkle, D., 2011, National Defence Industry Press. 286 s.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review