Institut for Matematik og Datalogi

  • Campusvej 55

    5230 Odense M

Publikationer

Filtrer
Kapitel i bog
2020

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, Bind 51. s. 261-278 (Studies in Big Data).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

2019

Er modellering vejen frem?

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskning

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. (red.). Springer VS, s. 118-138 (Lecture Notes in Computer Science, Bind 11760).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). SFI Press

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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, s. 129-139 (Trends in Mathematics).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

2018

Basic terminology, notation and results

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 93-106 (Springer Optimization and Its Applications, Bind 139).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Humana Press, s. 51-62 (Methods in Molecular Biology, Bind 1807).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 3-14

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Locally semicomplete digraphs and generalizations

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). New York: Humana Press, Bind 1807. s. 21-35 (Methods in Molecular Biology, Bind 1807).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 53-63

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). 1. udg. Springer VS, s. 216-230 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11011 LNCS).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Åben adgang
Fil
87 Downloads (Pure)

Semicomplete multipartite digraphs

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Tournaments and Semicomplete Digraphs

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

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. (red.). Cham: Springer, s. 343–367 (Springer Series on Demographic Methods and Population Analysis, Bind 41).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer International Publishing Switzerland: Springer, s. 187-202 (Cultural Studies of Science Education , Bind 13).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Åben adgang
Fil
121 Downloads (Pure)

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. (red.). Oxford University Press

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 217-225

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 195-216

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Fil
164 Downloads (Pure)
2016

Cache-Oblivious B-Tree

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskning

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. (red.). Springer, s. 114-123 (Lecture Notes in Computer Science, Bind 9688).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Den matematiske og naturvidenskabelige dannelse

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogUndervisning

Didaktisk rekonstruktion og samarbejde i naturfag

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. s. 234 1 s.

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 194-210 (Lecture Notes in Computer Science, Bind 9660).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskning

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. (red.). Aarhus Universitet, Bind 4. s. 221-232 (Cursiv; Nr. 19, Bind 4).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

2015

Brooks's Theorem

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Academic Press, s. 347-362

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskning

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. (red.). Springer, s. 199-214 (Communications in Computer and Information Science, Bind 454).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Wiley, s. 313-16

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Spilmageren

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogFormidling

Unsolved Graph Colouring Problems

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 162-171 10 s. (Lecture Notes in Computer Science, Bind 8486).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 154-165 12 s. (Lecture Notes in Computer Science, Bind 8591).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). De Gruyter, s. 515-529

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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, s. 100-106

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Åben adgang

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, s. 37-48 12 s.

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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, Bind 6. s. 153-176

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). SAGE Publications, Bind 1. s. 19-28 9 s. (SAGE Benchmarks in Social Research Methods).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Klim, s. 61-82

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

Scheduling Online Repartitioning in OLTP Systems

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

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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, s. 205-216

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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, s. 837-871

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 373-384 12 s. (Lecture Notes in Computer Science, Bind 7936).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

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. (red.). World Scientific, s. 299-316 (Interdisciplinary Mathematical Sciences, Bind 14).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 34. s. 68-79

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Flensburg: Flensburg University Press, s. 99-110 12 s. (Flensburg Studies on the History and Philosophy of Science in Science Education, Bind 2).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer 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. (red.). Springer, s. 427-438 12 s. (Lecture Notes in Computer Science, Bind 8037).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

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. (red.). World Scientific, s. 279-298 (Interdisciplinary Mathematical Sciences, Bind 14).

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review