Department of Mathematics and Computer Science (IMADA)

  • Campusvej 55

    5230 Odense M

Research Output 1990 2019

Filter
Book chapter
2019

Er modellering vejen frem?

Auning, C. & Michelsen, C., 30. Jun 2019, Universitetsskolen: mellem forskning, uddannelse og skoleudvikling. von Oettingen, A. & Thorgård, K. (eds.). Frederikshavn: Dafolo, 13 p. (Undervisning og læring).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Information Processing in Chemical Systems

Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2019, The Energetics of Computing in Life and Machines. Wolpert, D. H., Kempes, C., Stadler, P. F. & Grochow, J. A. (eds.). SFI Press

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2018

Basic terminology, notation and results

Bang-Jensen, J. & Gutin, G., 2018, Classes of Directed Graphs. Bang-Jensen, J. & Gutin, G. (eds.). Springer, 34 p. (Springer Monographs in Mathematics).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Digraph
Notation
Figure
Standards

Branching in digraphs with many and few leaves: Structural and algorithmic results

Bang-Jensen, J. & Gutin, G., Sep 2018, Optimization Problems in Graph Theory: In Honor of Gregory Z. Gutin's 60th Birthday. Goldengorin, B. (ed.). Springer, p. 93-106 (Springer Optimization and Its Applications, Vol. 139).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Digraph
Branching
Leaves
Zero
Vertex of a graph

DiMmer: Discovery of Differentially Methylated Regions in Epigenome-Wide Association Study (EWAS) Data

Frisch, T., Møller Gøttcke, J., Röttger, R., Tan, Q. & Baumbach, J., 2018, Data Mining for Systems Biology: Methods and Protocols. Mamitsuka, H. (ed.). Humana Press, p. 51-62 (Methods in Molecular Biology, Vol. 1807).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Programming Languages
DNA Methylation
Random Allocation

Locally semicomplete digraphs and generalizations

Bang-Jensen, J., 2018, Classes of Directed Graphs. Bang-Jensen, J. & Gutin, G. (eds.). Springer, p. 245-296 (Springer Monographs in Mathematics).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Digraph
Locally Connected
Generalization
Independence number
Hamiltonian circuit

Online interactive microbial classification and geospatial distributional analysis using BioAtlas

Lund, J., Tan, Q. & Baumbach, J., 2018, Data Mining for Systems Biology: Methods and Protocols. Mamitsuka, H. (ed.). New York: Humana Press, Vol. 1807. p. 21-35 (Methods in Molecular Biology, Vol. 1807).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Databases
rRNA Genes
16S Ribosomal RNA
Metagenomics
Datasets
18 Downloads (Pure)

Relative worst-order analysis: A survey

Boyar, J., Favrholdt, L. M. & Larsen, K. S., 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H-J., Komm, D. & Unger, W. (eds.). 1. ed. Springer VS, p. 216-230 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11011 LNCS).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File

Tournaments and Semicomplete Digraphs

Bang-Jensen, J. & Havet, F., 2018, Classes of Directed Graphs. Bang-Jensen, J. & Gutin, G. (eds.). Springer, p. 35-124 (Springer Monographs in Mathematics).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Tournament
Digraph
Range of data
Open Problems
Cover
2017

An agent-based model of sex ratio at birth distortions

Kashyap, R. & Villavicencio, F., 2017, Agent-based modelling in population studies: Concepts, methods and applications. Grow, A. & Van Bavel, J. (eds.). Cham: Springer, p. 343–367 (Springer Series on Demographic Methods and Population Analysis, Vol. 41).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

52 Downloads (Pure)

Interest and Emotions in Science Education

Petersen, M. R. & Dohn, N. B., 2017, Exploring Emotions, Aesthetics and Wellbeing in Science Education Research. Bellocchi, A., Quigley, C. & Otrel-Cass, K. (eds.). Springer International Publishing Switzerland: Springer, p. 187-202 (Cultural Studies of Science Education , Vol. 13).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
emotion
science
education
learning
mood

Logic of Relations and Diagrammatic Reasoning: Structuralist Elements in the Work of Charles Sanders Peirce (1839-1914)

Carter, J. M. H. G., 2017, The Prehistory of Mathematical Structuralism. H. Reck, E. & Schiemer, G. (eds.). Oxford University Press

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Microservices: A language-based approach

Guidi, C., Lanese, I., Mazzara, M. & Montesi, F., Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 217-225

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Computer programming languages
Chemical analysis
56 Downloads (Pure)

Microservices: Yesterday, today, and tomorrow

Dragoni, N., Giallorenzo, S., Lafuente, A. L., Mazzara, M., Montesi, F., Mustafin, R. & Safina, L., 1. Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 195-216

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

File
Software architecture
2016

Cache-Oblivious B-Tree

Fagerberg, R., 2016, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, 3 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Choreographies in Practice

Cruz-Filipe, L. & Montesi, F., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Springer, p. 114-123 (Lecture Notes in Computer Science, Vol. 9688).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Den matematiske og naturvidenskabelige dannelse

Michelsen, C., 2016, Almen dannelse: Dannelsestandarder og fag. von Oettingen, A. (ed.). 1 ed. København: Hans Reitzels Forlag, p. 37-80

Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

Didaktisk rekonstruktion og samarbejde i naturfag

Ahrenkiel, L. & Petersen, M. R., 2016, Professionelle læringsfællesskaber og fagdidaktisk viden. Albrechtsen, T. R. S. (ed.). Dafolo Forlag A/S, p. 151-163 (Undervisning og læring).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

On the Evaluation of Outlier Detection: Measures, Datasets, and an Empirical Study Continued

Campos, G. O., Zimek, A., Sander, J., Campello, R. J. G. B., Micenková, B., Schubert, E., Assent, I. & Houle, M. E., 2016, Proceedings of the LWDA 2016 Workshops: KDML, FGWM, FGIR, and FGDB, Potsdam, Germany. p. 234 1 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Data mining

Self-reconfiguring microservices

Gabbrielli, M., Giallorenzo, S., Guidi, C., Mauro, J. & Montesi, F., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.). Springer, p. 194-210 (Lecture Notes in Computer Science, Vol. 9660).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Service oriented architecture (SOA)
Topology

Styrer målet eller bliver målet styret i naturfagsundervisningen? Kommentar til tre diskussioner om målstyret undervisning

Petersen, M. R., 10. Nov 2016, Sammenlignende Fagdidaktik 4. Krogh, E. & Holgersen, S-E. (eds.). Aarhus Universitet, Vol. 4. p. 221-232 (Cursiv; No. 19, Vol. 4).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2015

Brooks's Theorem

Stiebitz, M. & Toft, B., 2015, Topics in Chromatic Graph Theory. Beineke, L. W., Wilson, R. J. & Toft, B. (eds.). Cambridge University Press, p. 36-55 (Encyclopedia of Mathematics and Its Applications, Vol. 156).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Chapter 14 - RNA Secondary Structures: An Approach Through Pseudoknots and Fatgraphs

Reidys, C., 2015, Algebraic and Discrete Mathematical Methods for Modern Biology. Robeva, R. S. (ed.). Academic Press, p. 347-362

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Design Patterns for Description-logic Programs

Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2015, Knowledge Discovery, Knowledge Engineering and Knowledge Management: 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers. Fred, A., Dietz, J. L. G., Liu, K. & Filipe, J. (eds.). Springer, p. 199-214 (Communications in Computer and Information Science, Vol. 454).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Roads and jaguars in the Mayan forests

Pallares, E., Manterola, C., Conde, D. A. & Colchero, F., 2015, Handbook of Road Ecology. van der Ree, R., Smith, D. & Grilo, C. (eds.). Wiley, p. 313-16

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Spilmageren

Toft, B., 2015, Piet Hein Verdensdanskeren. Harsløf, O. (ed.). 1. ed. København: Gyldendal, p. 116-133

Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

Unsolved Graph Colouring Problems

Jensen, T. & Toft, B., 2015, Topics in Chromatic Graph Theory. Beineke, L. W., Wilson, R. J. & Toft, B. (eds.). Cambridge University Press, p. 327-357 (Encyclopedia of Mathematics and Its Applications, Vol. 156).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2014

Compactness-Preserving Mapping on Trees

Baumbach, J., Guo, J. & Ibragimov, R., 2014, Combinatorial Pattern Matching. Kulikov, A. S., Kuznetsov, S. O. & Pevzner, P. (eds.). Springer, p. 162-171 10 p. (Lecture Notes in Computer Science, Vol. 8486).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Complexity of Dense Bicluster Editing Problems

Sun, P., Guo, J. & Baumbach, J., 2014, Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings. Cai, Z., Zelikovsky, A. & Bourgeois, A. (eds.). Springer, p. 154-165 12 p. (Lecture Notes in Computer Science, Vol. 8591).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Computational methods for the analysis of mitochondrial genome rearrangements

Bernt, M., Merkle, D., Middendorf, M., Schierwater, B., Schlegel, M. & Stadler, P., 2014, Deep Metazoan Phylogeny: The backbone of the Tree of Life: New insights from analyses of molecules, morphology, and theory of data analysis. Wägele, J. W. & Bartolomaeus, T. (eds.). De Gruyter, p. 515-529

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Continuous Yao Graphs

Barba, L., Bose, P., Carufel, J-L. D., Damian, M., Fagerberg, R., Renssen, A. V., Taslakian, P. & Verdonschot, S., 2014, Proceedings of the 26th Canadian Conference on Computational Geometry. CCCG, p. 100-106

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access

Efficient Skyline Computation in MapReduce

Mullesgaard, K., Pederseny, J. L., Lu, H. & Zhou, Y., 2014, Proc. 17th International Conference on Extending Database Technology (EDBT), Athens, Greece, March 24-28, 2014.. EDBT, p. 37-48 12 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Geometry and Coarse-Grained Representations of Landscapes

Qin, J., Stadler, P. & Klemm, K., 2014, Recent Advances in the Theory and Application of Fitness Landscapes, Emergence, Complexity and Computation. Springer Publishing Company, Vol. 6. p. 153-176

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Maximum Likelihood Estimation and Large-Sample Inference for Generalized Linear and Nonlinear Regression Models

Jørgensen, B., 2014, Statistical Analysis of Continuous Data. Penn, R. & Berridge, D. (eds.). SAGE Publications, Vol. 1. p. 19-28 9 p. (SAGE Benchmarks in Social Research Methods).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Pædagogisk ansvar og risikoen ved inkluderende undervisning

Qvortrup, A. & Albrechtsen, T. R. S., 2014, Den etiske efterspørgsel: i pædagogik og uddannelse. Qvortrup, A., Rüsselbæk Hansen, D. & Abrahamsen, M. (eds.). Klim, p. 61-82

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Scheduling Online Repartitioning in OLTP Systems

Chen, K., Zhou, Y. & Cao, Y., 2014, Proceedings of the Middleware Industry Track. Association for Computing Machinery, p. 4:1-4:6

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Sequence Pattern Matching over Time-Series Data with Temporal Uncertainty

Zhou, Y., Ma, C., Guo, Q., Shou, L. & Chen, G., 2014, Proceedings of the 17th International Conference on Extending Database Technology (EDBT), Athens, Greece, March 24-28, 2014.. EDBT, p. 205-216

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

The Role of History and Philosophy of in University Mathematics

Kjeldsen, T. H. & Carter, J. M. H. G., 2014, International Handbook of Research in History,Philosophy and Science Teaching. Springer, p. 837-871

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2013

Covering tree with stars

Baumbach, J., Guo, J-Y. & Ibragimov, R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (eds.). Springer, p. 373-384 12 p. (Lecture Notes in Computer Science, Vol. 7936).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Star
Covering
Edit Distance
NP-complete problem
Deletion

Derivative-free weak approximation methods for stochastic differential equations in finance

Debrabant, K. & Rößler, A., 2013, Recent Developments in Computational Finance: Foundations, Algorithms and Applications. Gerstner, T. & Kloeden, P. (eds.). World Scientific, p. 299-316 (Interdisciplinary Mathematical Sciences, Vol. 14).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

GEDEVO: An Evolutionary Graph Edit Distance Algorithm for Biological Network Alignment

Ibragimov, R., Malek, M., Guo, J. & Baumbach, J., 2013, German Conference on Bioinformatics 2013. Beißbarth, T., Kollmar, M., Leha, A., Morgenstern, B., Schultz, A-K., Waack, S. & Wingender, E. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 34. p. 68-79

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Hans Christian Ørsted: Electromagnetism and culture in the classroom

Michelsen, C., 2013, Enabling Scientific Understanding through Historical Instruments and Experiments in Formal and Non-Formal Learning Environments. Heering, P., Klassen, S. & Metz, D. (eds.). Flensburg: Flensburg University Press, p. 99-110 12 p. (Flensburg Studies on the History and Philosophy of Science in Science Education, Vol. 2).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Neighborhood-preserving mapping between trees

Baumbach, J., Ibragimov, R. & Guo, J-Y., 1. Jan 2013, Algorithms and Data Structures: 13th International Symposium, WADS 2013. Dehne, F., Solis-Oba, R. & Sack, J-R. (eds.). Springer, p. 427-438 12 p. (Lecture Notes in Computer Science, Vol. 8037).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Vertex of a graph
Graph Isomorphism
Isomorphism Problem
Dichotomy
Graph in graph theory

Semi-Lagrangian schemes for parabolic equations

Debrabant, K. & Jakobsen, E. R., 2013, Recent developments in computational finance: Foundations, Algorithms and Applications. Gerstner, T. & Kloeden, P. (eds.). World Scientific, p. 279-298 (Interdisciplinary Mathematical Sciences, Vol. 14).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Studerendes læring gennem formidling - om at gøre svært stof lettere forståeligt for andre

Ahrenkiel, L. & Albrechtsen, T. R. S., 2013, 17 ting du kan gøre i din undervisning. Troelsen, R. & Reinecker, L. (eds.). Dansk Universitetspædagogisk Netværk (DUN), 3 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

2012

Competitive routing in the half-theta_6-graph

Bose, P., Fagerberg, R., Renssen, A. V. & Verdonschot, S., 2012, Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms. p. 1319-1328

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Competitive Routing on a Bounded-Degree Plane Spanner

Bose, P., Fagerberg, R., Renssen, A. V. & Verdonschot, S., 2012, Proceedings of the 24th Canadian Conference on Computational Geometry. p. 285-290

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

De-amortizing Binary Search Trees

Bose, P., Collette, S., Fagerberg, R. & Langerman, S., 2012, Automata, Languages, and Programming. p. 121-132 (Lecture Notes in Computer Science, Vol. 7391).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Efficient algorithms for extracting biological key pathways with global constraints

Baumbach, J., Friedrich, T., Kötzing, T., Müller, J., Pauling, J. & Krohmer, A., 1. Jan 2012, GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation. p. 169-175 7 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Computational Biology
Cell Line
Datasets

Kan man lede uden at være leder? Teamkoordinatorer som budbringere af beslutninger i det nye gymnasium

Albrechtsen, T. R. S., 2012, Det styrer for vildt - Om paradokser i styring af pædagogik. Hjort, K., Qvortrup, A. & Raae, P. H. (eds.). Aarhus: Klim, p. 99-121

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review