Department of Mathematics and Computer Science (IMADA)

  • Postal address

    Campusvej 55

    5230 Odense M

Filter
Book chapter

Search results

  • 2021

    Domination and Total Domination in Hypergraphs

    Henning, M. A. & Yeo, A., 2021, Structures of Domination in Graphs. Henning, M. A. & Yeo, A. (eds.). Springer, p. 311-339 (Developments in Mathematics, Vol. 66).

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

  • Improvisatoriske videns-performances

    Svabo, C., 2021, Improvisasjon : byliv mellom plan og planløshet. Pløger, J., Førde, A. & Sand, A-L. (eds.). Norge: Scandinavian Academic Press, p. 237-258

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

    Open Access
    File
    6 Downloads (Pure)
  • Manifold interpolation

    Zimmermann, R., Oct 2021, Model Order Reduction: Volume 1 System- and Datat Driven Methods and Algorithms. Benner, P. (ed.). De Gruyter, p. 229-274

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

    Open Access
    File
    1 Downloads (Pure)
  • Network Medicine-Based Unbiased Disease Modules for Drug and Diagnostic Target Identification in ROSopathies

    Nogales, C., Grønning, A. G. B., Sadegh, S., Baumbach, J. & Schmidt, H. H. H. W., 2021, Reactive Oxygen Species: Network Pharmacology and Therapeutic Applications. Schmidt, H. H. H. W., Ghezzi, P. & Cuadrado, A. (eds.). Springer, p. 49-68 (Handbook of Experimental Pharmacology, Vol. 264).

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

  • ParentSTEM Activities

    Michelsen, C., Kristensen, M. L. A., Seidelin, L., Svabo, C. & Hjort, M. F., 13. Jul 2021, Early Childhood STEM Activities with Parent Involment. Bilican, K. & Cetin, S. (eds.). Boyut Tanıtım Matbaa Bas. Yay. San ve Tic. Ltd. Şti., p. 173-198 25 p.

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

  • Promoting Transfer Between Mathematics and Biology by Expanding the Domain

    Michelsen, C., 11. Apr 2021, Transfer of Learning: Progressive Perspectives for Mathematics Education and Related Fields. Hohensee, C. & Lobato, J. (eds.). Springer, p. 203-220 18 p. (Research in Mathematics Education).

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

  • 2020

    A Formal Approach to Microservice Architecture Deployment

    Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2020, Microservices: Science and Engineering. Bucchiarone, A., Dragoni, N., Dustdar, S., Lago, P., Mazzara, M., Rivera, V. & Sadovykh, A. (eds.). Cham: Springer Publishing Company, p. 183-208

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

  • Hvad er et videnskabeligt produkt?

    Svabo, C., Pedersen, R. R., Arnfred, A. J., Bønnelycke, J. & Tosca, S., 2020, Humaniora? En spørgende videnskabsteori. Eskildsen, K. R. (ed.). Samfundslitteratur, p. 105-126

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

  • Indledning: Digitale liv: Brugere, platforme og selvfremstillinger

    Andreassen, R., Svabo, C. & Pedersen, R. R., 2020, Digitale liv: Brugere, platforme og selvfremstillinger. Andreassen, R., Svabo, C. & Pedersen, R. R. (eds.). Roskilde Universitetsforlag, p. 9-28

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

  • Interaktive arkitekturer: Oplevelsen af teknologisk mediering i hverdagens rum

    Svabo, C. & Littrup, S. L., 2020, Digitale liv : Brugere, platforme og selvfremstillinger. Andreasen, R., Rex Pedersen, R. & Svabo, C. (eds.). København: Roskilde Universitetsforlag, p. 31-48

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

  • Logic of Relations and Diagrammatic Reasoning: Structuralist Elements in the Work of Charles Sanders Peirce

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

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

    Open Access
    File
    13 Downloads (Pure)
  • Metaheuristics for Frequent and High-Utility Itemset Mining

    Djenouri, Y., Fournier-Viger, P., Belhadi, A. & Lin, J. C. W., 2020, High-Utility Pattern Mining. Springer, Vol. 51. p. 261-278 (Studies in Big Data).

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

  • STEM Education is More Than Just Doing Activities in Science, Math, Technology or Engineering

    Michelsen, C. & Seidelin, L., Sep 2020, Key Points for STEM in Early Childhood and Involving Parents: A Guidebook for Early Childhood Educators. Centin, S., Bilican, K. & Ücgül, M. (eds.). Kuloğlu Press, p. 14-17

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

  • 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

  • Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

    Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer VS, p. 118-138 (Lecture Notes in Computer Science, Vol. 11760).

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

  • 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

  • On the quantum flag manifold SUq(3)/T2

    Brzeziński, T. & Szymański, W., 2019, Geometric Methods in Physics XXXVII: Workshop and Summer School, Białowieża, Poland, 2018. Springer, p. 129-139 (Trends in Mathematics).

    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

  • 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

  • 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

  • Empowering the Engines of Knowing and Creativity: Learning From Experiments

    Euler, M., 2018, The Role of Laboratory Work in Improving Physics Teaching and Learning. Sokołowska, D. & Michelini, M. (eds.). Springer, p. 3-14

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

  • 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

  • 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

  • Prospective Teachers’ Approach to Reasoning and Proof: Affective and Cognitive Issues

    Larsen, D. M., Østergaard, C. H. & Skott, J., 2018, Students' and Teachers' Values, Attitudes, Feelings and Beliefs in Mathematics Classrooms: Selected Papers from the 22nd MAVI Conference. Palmér, H. & Skott, J. (eds.). Springer, p. 53-63

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

  • 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
    56 Downloads (Pure)
  • Semicomplete multipartite digraphs

    Yeo, A., 19. Jun 2018, Classes of Directed Graphs. Bang-Jensen, J. & Gutin, G. (eds.). Springer, p. 297-340 (Springer Monographs in Mathematics).

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

  • 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

  • 2017

    Adaptive Sampling for Nonlinear Dimensionality Reduction Based on Manifold Learning

    Franz, T., Zimmermann, R. & Goertz, S., 2017, Model Reduction of Parametrized Systems. Rozza, G., Patera, A., Ohlberger, M., Urban, K. & Benner, P. (eds.). Springer, p. 255-269 (Modeling, Simulation & Applications, Vol. 17).

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

    Open Access
    File
    374 Downloads (Pure)
  • 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

  • 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
    116 Downloads (Pure)
  • 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

  • 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
    319 Downloads (Pure)
  • 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

  • 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

  • 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