Institut for Matematik og Datalogi

  • Campusvej 55

    5230 Odense M

Publikationer

2020

A core model for choreographic programming

Cruz-Filipe, L. & Montesi, F., 8. jan. 2020, I : Theoretical Computer Science. 802, s. 38-66 29 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Advice Complexity of Priority Algorithms

Borodin, A., Boyar, J., Larsen, K. S. & Pankratov, D., 1. maj 2020, I : Theory of Computing Systems. 64, 4, s. 593-625

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Generic Framework for Engineering Graph Canonization Algorithms

Andersen, J. L. & Merkle, D., apr. 2020, I : A C M Journal of Experimental Algorithmics. 25, 1, 1.2.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A graph-based tool to embed the π-calculus into a computational DPO framework

Andersen, J. L., Hellmuth, M., Merkle, D., Nøjgaard, N. & Peressotti, M., 8. mar. 2020, I : CEUR Workshop Proceedings. 2568, s. 121-132

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

A millennium of population change in pre-modern Danish Ribe

Dangvard Pedersen, D., Tarp, P., Søvsø, M., Petersen, H. C., Milner, G. R. & Boldsen, J. L., 2020, I : Anthropologischer Anzeiger; Bericht uber die biologisch-anthropologische Literatur. 77, 1, s. 13-25 13 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Are Network Attacks Outliers? A Study of Space Representations and Unsupervised Algorithms

Iglesias, F., Hartl, A., Zseby, T. & Zimek, A., 2020, Machine Learning and Knowledge Discovery in Databases - International Workshops of ECML PKDD 2019, Proceedings. Cellier, P. & Driessens, K. (red.). Springer, s. 159-175 17 s. (Communications in Computer and Information Science, Bind 1168 CCIS).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

A Survey on Visualizations for Musical Data

Khulusi, R., Kusnick, J., Meinecke, C., Gillmann, C., Focht, J. & Jänicke, S., 1. jan. 2020, (Accepteret/In press) I : Computer Graphics Forum.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

A timeline metaphor for analyzing the relationships between musical instruments and musical pieces

Kusnick, J., Khulusi, R., Focht, J. & Jänicke, S., 2020, Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Volume 1: GRAPP. Kerren, A., Hurter, C. & Braz, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 240-251 12 s. (IVAPP).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
8 Downloads (Pure)

Beyond the proportional frailty model: Bayesian estimation of individual heterogeneity on mortality parameters

Colchero, F. & Kiyakoglu, B. Y., jan. 2020, I : Biometrical Journal. 62, 1, s. 124-135

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Bounds on upper transversals in hypergraphs

Henning, M. A. & Yeo, A., 2020, I : Journal of Combinatorial Optimization. 39, s. 77-89

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Combining Graph Transformations and Semigroups for Isotopic Labeling Design

Andersen, J. L., Merkle, D. & Rasmussen, P. S., feb. 2020, I : Journal of Computational Biology. 27, 2, s. 269-287 19 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

FLAG review 2019: Flavour Lattice Averaging Group (FLAG)

Della Morte, M. & FLAG, 1. feb. 2020, I : European Physical Journal C.. 80, 2, 268 s., 113.

Publikation: Bidrag til tidsskriftReviewForskningpeer review

Åben adgang

H.C. Ørsted i børnehøjde for voksne

Michelsen, C., 2020, Odense: Laboratorium for Sammenhængende Undervisnings og Læring. 41 s. (Science i børnehøjde, Bind 2).

Publikation: Bog/antologi/afhandling/rapportBogUndervisning

Åben adgang

Hajós and ore constructions for digraphs

Bang-Jensen, J., Bellitto, T., Schweser, T. & Stiebitz, M., 20. mar. 2020, I : Electronic Journal of Combinatorics. 27, 1, 22 s., P1.63.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
10 Downloads (Pure)

Improving semantic similarity of words by retrofitting word vectors in sense level

Zhang, R., Schneider-Kamp, P. & Zimek, A., 2020, Proceedings of the 12th International Conference on Agents and Artificial Intelligence. Rocha, A., Steels, L. & van den Herik, J. (red.). SCITEPRESS Digital Library, s. 108-119 12 s. (ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence, Bind 2).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

INDUCTIVE LIMITS of C∗-ALGEBRAS and COMPACT QUANTUM METRIC SPACES

Aguilar, K., 27. mar. 2020, I : Journal of the Australian Mathematical Society.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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: Bidrag til bog/antologi/rapport/konference-proceedingBidrag til bog/antologiForskningpeer review

Modeling How Humans Judge Dot-Label Relations in Point Cloud Visualizations

Reckziegel, M., Pfeiffer, L., Heine, C. & Jänicke, S., 1. jun. 2020, I : IEEE Transactions on Visualization and Computer Graphics. 26, 6, s. 2144-2155

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Molecular networks in Network Medicine: Development and applications

Silverman, E. K., Schmidt, H. H. H. W., Anastasiadou, E., Altucci, L., Angelini, M., Badimon, L., Balligand, J. L., Benincasa, G., Capasso, G., Conte, F., Di Costanzo, A., Farina, L., Fiscon, G., Gatto, L., Gentili, M., Loscalzo, J., Marchese, C., Napoli, C., Paci, P., Petti, M. & 6 flere, Quackenbush, J., Tieri, P., Viggiano, D., Vilahur, G., Glass, K. & Baumbach, J., 19. apr. 2020, I : Wiley Interdisciplinary Reviews: Systems Biology and Medicine.

Publikation: Bidrag til tidsskriftReviewForskningpeer review

MusiXplora: Visual analysis of a musicological encyclopedia

Khulusi, R., Kusnick, J., Focht, J. & Jänicke, S., 2020, Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications . Kerren, A., Hurter, C. & Braz, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 76-87 12 s. (IVAPP).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Naturfagscurriculum med fokus på modeller og modellering

Michelsen, C., 28. feb. 2020, I : MONA - Matematik- og Naturfagsdidaktik. 1, 2020, s. 87-91 5 s.

Publikation: Bidrag til tidsskriftKommentar/debatFormidling

Optimal Path Planning for Drone Inspections of Linear Infrastructures

Mehrooz, G. & Schneider-Kamp, P., 9. maj 2020. 11 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPaperForskningpeer review

Out-colourings of digraphs

Alon, N., Bang-Jensen, J. & Bessy, S., 2020, I : Journal of Graph Theory. 93, 1, s. 88-112 25 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Randomized distributed online algorithms against adaptive offline adversaries

Boyar, J., Ellen, F. & Larsen, K. S., 7. maj 2020, (Accepteret/In press) I : Information Processing letters. 4 s., 105973.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Renormalisation group approach to pandemics: The COVID-19 case

Della Morte, M., Orlando, D. & Sannino, F., apr. 2020, I : Frontiers in Physics. 8, 9 s., 144.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
10 Downloads (Pure)

Robust nonparametric estimation of the conditional tail dependence coefficient

Goegebeur, Y., Guillou, A., Ho, N. K. L. & Qin, J., jul. 2020, I : Journal of Multivariate Analysis. 178, 20 s., 104607.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Sex differences in adult lifespan and aging rates of mortality across wild mammals

Lemaître, J-F., Ronget, V., Tidière, M., Allainé, D., Berger, V., Cohas, A., Colchero, F., Conde, D. A., Garratt, M., Liker, A., Marais, G. A. B., Scheuerlein, A., Székely, T. & Gaillard, J-M., 14. apr. 2020, I : Proceedings of the National Academy of Sciences of the United States of America. 117, 15, s. 8546-8553

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

SMT-based variability analyses in FeatureIDE

Sprey, J., Sunderman, C., Krieter, S., Nieke, M., Mauro, J., Thum, T. & Schaefer, I., feb. 2020, VAMOS '20: Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Association for Computing Machinery, 9 s. 6

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Structure of bicentralizer algebras and inclusions of type III factors

Ando, H., Haagerup, U., Houdayer, C. & Marrakchi, A., 2020, I : Mathematische Annalen. 376, 3-4, s. 1145–1194

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Teaching on the intersection of visualization and digital humanities

Jänicke, S., 2020, Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Kerren, A., Hurter, C. & Braz, J. (red.). SCITEPRESS Digital Library, s. 100-109 (IVAPP, Bind 3).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
14 Downloads (Pure)

The directed 2-linkage problem with length constraints

Bang-Jensen, J., Bellitto, T., Lochet, W. & Yeo, A., 24. apr. 2020, I : Theoretical Computer Science. 814, s. 69-73

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Towards a formal model for composable container systems

Burco, F., Miculan, M. & Peressotti, M., 30. mar. 2020, 35th Annual ACM Symposium on Applied Computing, SAC 2020. Association for Computing Machinery, s. 173-175

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
2019

A, B, C - aktører på matematikkens scene

Schou, M. H., 2019, Odense: Syddansk Universitet. Det Naturvidenskabelige Fakultet.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Absolute Cluster Validity

Iglesias Vazquez, F., Zseby, T. & Zimek, A., 23. apr. 2019, IEEE Transactions on Pattern Analysis and Machine Intelligence. Dickinson, S. (red.). IEEE, (I E E E Transactions on Pattern Analysis and Machine Intelligence).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Algorithmic and structural problems in digraphs

Christiansen, T. M., 2019, Odense: Syddansk Universitet. Det Naturvidenskabelige Fakultet.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

A mixed neural network and support vector machine model for tender creation in the European union TED database

Kayte, S. & Schneider-Kamp, P., 2019, Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2019)). Bernardino, J., Salgado, A. & Filipe, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 139-145 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
66 Downloads (Pure)

An adaptive E-scheme for conservation laws

Abdi, E. A., Hansen, C. V. & Schroll, H. J., 1. jan. 2019, Numerical Mathematics and Advanced Applications ENUMATH 2017. Radu, F. A., Kumar, K., Berre, I., Nordbotten, J. M. & Pop, I. S. (red.). Switzerland: Springer VS, Bind 126. s. 379-387 (Lecture Notes in Computational Science and Engineering, Bind 126).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Analysis of multilevel Monte Carlo path simulation using the Milstein discretisation

Giles, M., Debrabant, K. & Rößler, A., 2019, I : Discrete and Continuous Dynamical Systems. Series B. 24, 8, s. 3881-3903

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A novel network user behaviors and profile testing based on anomaly detection techniques

Tahir, M., Li, M., Zheng, X., Carie, A., Jin, X., Azhar, M., Ayoub, N., Wagan, A., Aamir, M., Jamali, L. A., Imran, M. A. & Hulio, Z. H., 2019, I : International Journal of Advanced Computer Science and Applications. 10, 6, s. 305-324 20 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
92 Downloads (Pure)

A Synthetic Fusion Rule Based on FLDA and PCA for Iris Recognition Using 1D Log-Gabor Filter

Tobji, R., Di, W. & Ayoub, N., 21. aug. 2019, I : Mathematical Problems in Engineering. 2019, 11 s., 7951320.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
83 Downloads (Pure)

A unified view of density-based methods for semi-supervised clustering and classification

Castro Gertrudes, J., Zimek, A., Sander, J. & Campello, R. J. G. B., nov. 2019, I : Data Mining and Knowledge Discovery. 33, 6, s. 1894-1952 59 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Visualization Course for Journalism Students

Jänicke, S., 20. okt. 2019. 5 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterForskningpeer review

Åben adgang

Bee swarm optimization for solving the MAXSAT problem using prior knowledge

Djenouri, Y., Habbas, Z., Djenouri, D. & Fournier-Viger, P., maj 2019, I : Soft Computing. 23, 9, s. 3095-3112

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Behavioural equivalences for timed systems

Brengos, T. & Peressotti, M., 28. feb. 2019, I : Logical Methods in Computer Science. 15, 1, s. 17:1-17:41 41 s., 17.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
24 Downloads (Pure)

Better Late Than Never: A Fully-abstract Semantics for Classical Processes

Kokke, W., Montesi, F. & Peressotti, M., 1. jan. 2019, I : Proceedings of the ACM on Programming Languages. 3, POPL, s. 24:1-24:29 29 s., 24.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
210 Downloads (Pure)

Bias-corrected estimation for conditional Pareto-type distributions with random right censoring

Goegebeur, Y., Qin, J. & Guillou, A., 15. sep. 2019, I : Extremes. 22, 3, s. 459-498 40 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Bipartite spanning sub(di)graphs induced by 2-partitions

Bang-Jensen, J., Bessy, S., Havet, F. & Yeo, A., okt. 2019, I : Journal of Graph Theory. 92, 2, s. 130-151 22 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review