Department of Mathematics and Computer Science (IMADA)

  • Campusvej 55

    5230 Odense M

Research Output 1986 2020

2020

A core model for choreographic programming

Cruz-Filipe, L. & Montesi, F., 8. Jan 2020, In : Theoretical Computer Science. 802, p. 38-66 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Programming
Choreography
Canonical Model
Deadlock
Model

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., 13. Feb 2020, In : Anthropologischer Anzeiger; Bericht uber die biologisch-anthropologische Literatur. 77, 1, p. 13-25 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Ribes
Medieval
death
Northern Europe
socioeconomic development

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

Colchero, F. & Kiyakoglu, B. Y., Jan 2020, In : Biometrical Journal. 62, 1, p. 124-135

Research output: Contribution to journalJournal articleResearchpeer-review

Frailty Model
Bayesian Estimation
Mortality
Directly proportional
Life Table

Bounds on upper transversals in hypergraphs

Henning, M. A. & Yeo, A., 1. Jan 2020, In : Journal of Combinatorial Optimization. 39, 1, p. 77-89

Research output: Contribution to journalJournal articleResearchpeer-review

Transversals
Hypergraph
Uniform Hypergraph
Fano plane
Intersect

Combining Graph Transformations and Semigroups for Isotopic Labeling Design

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

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

Research output: Book/anthology/thesis/reportBookEducation

Open Access

Out-colourings of digraphs

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

Research output: Contribution to journalJournal articleResearchpeer-review

Digraph
Colouring
Tournament
Vertex Partition
Integer

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 p. 6

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Industry

The directed 2-linkage problem with length constraints

Bang-Jensen, J., Bellitto, T., Lochet, W. & Yeo, A., 1. Jan 2020, (Accepted/In press) In : Theoretical Computer Science.

Research output: Contribution to journalJournal articleResearchpeer-review

Linkage
Digraph
Polynomials
Polynomial Algorithm
Path
2019

Advice Complexity of Priority Algorithms

Borodin, A., Boyar, J., Larsen, K. S. & Pankratov, D., 13. Nov 2019, In : Theory of Computing Systems.

Research output: Contribution to journalJournal articleResearchpeer-review

Lower bound
Template
Model
Side Information
Discrete Optimization
41 Downloads (Pure)

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. (eds.). SCITEPRESS Digital Library, Vol. 3. p. 139-145 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Support vector machines
Neural networks
Information systems
XML
Learning systems

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. (eds.). Switzerland: Springer VS, Vol. 126. p. 379-387 (Lecture Notes in Computational Science and Engineering, Vol. 126).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

experiment

Analysis of multilevel Monte Carlo path simulation using the Milstein discretisation

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

Research output: Contribution to journalJournal articleResearchpeer-review

Operations research
Strong Convergence
Computational complexity
Euler-Maruyama Method
Discretization
58 Downloads (Pure)

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, In : International Journal of Advanced Computer Science and Applications. 10, 6, p. 305-324 20 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Testing
Security of data
Computer networks
Support vector machines
Classifiers
61 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, In : Mathematical Problems in Engineering. 2019, 11 p., 7951320.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Iris Recognition
Gabor filters
Fusion Rule
Gabor Filter
Iris

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, In : Data Mining and Knowledge Discovery. 33, 6, p. 1894-1952 59 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Clustering algorithms
Supervised learning
Acoustic waves
Big data
Adipogenesis
Stem Cell Factor
Osteogenesis
Color

A Visualization Course for Journalism Students

Jänicke, S., 20. Oct 2019. 5 p.

Research output: Contribution to conference without publisher/journalPosterResearchpeer-review

Open Access
journalism
visualization
journalist
online media
teaching content

Bee swarm optimization for solving the MAXSAT problem using prior knowledge

Djenouri, Y., Habbas, Z., Djenouri, D. & Fournier-Viger, P., May 2019, In : Soft Computing. 23, 9, p. 3095-3112

Research output: Contribution to journalJournal articleResearchpeer-review

Decomposition
Coloring
Experiments
19 Downloads (Pure)

Behavioural equivalences for timed systems

Brengos, T. & Peressotti, M., 28. Feb 2019, In : Logical Methods in Computer Science. 15, 1, p. 17:1-17:41 41 p., 17.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Semantics
161 Downloads (Pure)

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

Kokke, W., Montesi, F. & Peressotti, M., 1. Jan 2019, In : Proc. ACM Program. Lang.. 3, POPL, p. 24:1-24:29 29 p., 24.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Semantics
Derivatives
Chemical analysis

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

Goegebeur, Y., Qin, J. & Guillou, A., 15. Sep 2019, In : Extremes. 22, 3, p. 459-498 40 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Extreme Value Index
Random Censoring
Convergence in Probability
Right Censoring
Bias Correction

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Partition
Graph in graph theory
Digraph
Vertex of a graph
46 Downloads (Pure)

Canonical holomorphic sections of determinant line bundles

Kaad, J. & Nest, R., 2019, In : Journal für die reine und angewandte Mathematik. 746, p. 67-116 50 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Line Bundle
Torsional stress
Isomorphism
Determinant
Perturbation
119 Downloads (Pure)

Chemical transformation motifs: modelling pathways as integer hyperflows

Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 1. Mar 2019, In : IEEE/ACM Transactions on Computational Biology and Bioinformatics. 16, 2, p. 510-523

Research output: Contribution to journalJournal articleResearchpeer-review

File
Glycolysis
Metabolic Networks and Pathways
Pathway
Integer
Electric network analysis

Complete and Efficient DRAT Proof Checking

Rebola-Pardo, A. & Cruz-Filipe, L., 7. Jan 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE, p. 197-205

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Specifications
79 Downloads (Pure)

Comprehensive Genomic Profiling of Androgen-Receptor-Negative Canine Prostate Cancer

Laufer-Amorim, R., Fonseca-Alves, C., Villacis, R. A. R., Linde, S. A. D., Carvalho, M., Larsen, S. J., Marchi, F. A. & Rogatto, S. R., 28. Mar 2019, In : International Journal of Molecular Sciences . 20, 7, 14 p., 1555.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Androgen Receptors
Prostatic Neoplasms
Genes
cancer
atrophy

Computational Explorations of the Thompson Group T for the Amenability Problem of F

Haagerup, S., Haagerup, U. & Ramirez-Solano, M., 30. Aug 2019, In : Experimental Mathematics.

Research output: Contribution to journalJournal articleResearchpeer-review

Thompson's Group
Amenability
Amenable Group
Spectral Distribution
Group Ring
81 Downloads (Pure)

Concise Review: Patency of Small-Diameter Tissue-Engineered Vascular Grafts: A Meta-Analysis of Preclinical Trials

Skovrind, I., Harvald, E. B., Juul Belling, H., Jørgensen, C. D., Lindholt, J. S. & Andersen, D. C., Jul 2019, In : Stem Cells Translational Medicine. 8, 7, p. 671-680

Research output: Contribution to journalReviewResearchpeer-review

Open Access
File
Meta-Analysis
Logistic Models
Guidelines
Rabbits
38 Downloads (Pure)

Constraint Programming for Flexible Service Function Chaining Deployment

Liu, T., Callegati, F., Cerroni, W., Contoli, C., Gabbrielli, M. & Giallorenzo, S., 8. Jan 2019, Proceedings of the 52nd Hawaii International Conference on System Sciences. ScholarSpace / AIS Electronic Library (AISeL), p. 2004-2013

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Hardware
High level languages
Network architecture
Artificial intelligence
Momentum

Continuous deformations of harmonic maps and their unitons

Aleman, A., Martín, M. J., Persson, A. M. & Svensson, M., 1. Dec 2019, In : Monatshefte fur Mathematik. 190, 4, p. 599-614 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Harmonic Maps
Bruhat Decomposition
Real Analytic Functions
Riemann Surface
Invariant

Database choice can be informed by both large scale and in-depth analyses

Frandsen, T. F., Eriksen, M. B., Hammer, D. M. G. & Christensen, J. B., Dec 2019, In : Journal of Clinical Epidemiology. 116, p. 134-135 2 p.

Research output: Contribution to journalComment/debateResearchpeer-review

111 Downloads (Pure)

Data gaps and opportunities for comparative and conservation biology

Conde, D. A., Staerk, J., Colchero, F., da Silva, R., Schöley, J., Baden, H. M., Jouvet, L., Fa, J. E., Syed, H., Jongejans, E., Meiri, S., Gaillard, J-M., Chamberlain, S., Wilcken, J., Jones, O. R., Dahlgren, J. P., Steiner, U. K., Bland, L. M., Gomez-Mestre, I., Lebreton, J-D. & 13 others, González Vargas, J., Flesness, N., Canudas-Romo, V., Salguero-Gómez, R., Byers, O., Berg, T. B., Scheuerlein, A., Devillard, S., Schigel, D. S., Ryder, O. A., Possingham, H. P., Baudisch, A. & Vaupel, J. W., 7. May 2019, In : Proceedings of the National Academy of Sciences of the United States of America. 116, 19, p. 9658–9664

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Clutch Size
Population
Litter Size
Reptiles
Biodiversity

Degree-constrained 2-partitions of graphs

Bang-Jensen, J. & Bessy, S., 12. Jul 2019, In : Theoretical Computer Science. 776, p. 64-74 11 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Computational complexity
Partition
Polynomials
Minimum Degree
Graph in graph theory

Designing inquiry-based teaching at scale: Central factors for implementation

Larsen, D. M., Hjelmborg, M. D., Lindhardt, B. K., Dreyøe, J., Michelsen, C. & Misfeldt, M., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education . Jankvist, U. T., van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Freudenthal Group & Freudenthal Institute, Utrecht University, Netherlands and ERME , p. 4421 4428 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

22 Downloads (Pure)

DNA methylome profiling in identical twin pairs discordant for body mass index

Li, W., Zhang, D., Wang, W., Wu, Y., Mohammadnejad, A., Lund, J., Baumbach, J., Christiansen, L. & Tan, Q., Dec 2019, In : International Journal of Obesity. 43, 12, p. 2491-2499

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Monozygotic Twins
Body Mass Index
DNA Methylation
Epigenomics
Adiposity
107 Downloads (Pure)

DNA methylome profiling of all-cause mortality in comparison with age-associated methylation patterns

Lund, J., Li, S., Baumbach, J., Svane, A. M., Hjelmborg, J. V. B., Christiansen, L., Christensen, K., Redmond, P., Marioni, R. E., Deary, I. J. & Tan, Q., 8. Feb 2019, In : Clinical Epigenetics. 11, 8 p., 23.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
DNA Methylation
Genome-Wide Association Study
Survival Analysis
Proportional Hazards Models
Epigenomics

Does teaching about artificial reefs trigger students’ situational interest in marine biology?

Seidelin, L., Albrechtsen, T. S. R., Schöps, K., Holmer, M. & Wahlberg, M., 15. Oct 2019, In : Journal of Biological Education.

Research output: Contribution to journalJournal articleResearchpeer-review

Marine Biology
artificial reefs
biology
students
Biological Sciences
80 Downloads (Pure)

Dynamical stabilisation of complex Langevin simulations of QCD

Attanasio, F. & Jäger, B., Jan 2019, In : European Physical Journal C. 79, 1, 11 p., 16.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Chemical potential
Stabilization
stabilization
quantum chromodynamics
baryons
76 Downloads (Pure)

E. coli gene regulatory networks are inconsistent with gene expression data

Larsen, S. J., Röttger, R., Schmidt, H. H. H. W. & Baumbach, J., 10. Jan 2019, In : Nucleic acids research. 47, 1, p. 85-92

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Systems Biology
Cell Biology
72 Downloads (Pure)

Efficient algorithms to discover alterations with complementary functional association in cancer

Basso, R. S., Hochbaum, D. S. & Vandin, F., 1. May 2019, In : PloS Computational Biology. 15, 5, 24 p., e1006802.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
cancer
Cancer
Efficient Algorithms
Genes
neoplasms

ELKI: A large open-source library for data analysis: ELKI Release 0.7.5 "Heidelberg"

Schubert, E. & Zimek, A., 10. Feb 2019, In : arxiv.org. 134 p., abs/1902.03616.

Research output: Contribution to journalJournal articleResearch

Open Access
Data mining
Cluster analysis
Benchmarking
Scalability
Students
40 Downloads (Pure)

Enriched power of disease-concordant twin-case-only design in detecting interactions in genome-wide association studies

Li, W., Baumbach, J., Mohammadnejad, A., Brasch-Andersen, C., Vandin, F., Korbel, J. O. & Tan, Q., 1. Apr 2019, In : European Journal of Human Genetics. 27, 4, p. 631-636

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Dizygotic Twins
Genome-Wide Association Study
Sample Size
Siblings
Monozygotic Twins
37 Downloads (Pure)

Ephemeral data handling in microservices

Giallorenzo, S., Montesi, F., Safina, L. & Zingaro, S. P., 2019, Proceedings of the 2019 IEEE International Conference on Services Computing, SCC 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Damiani, E., Goul, M. & Oyama, K. (eds.). IEEE, p. 234-236 (IEEE International Conference on Services Computing (SCC), Vol. 2019).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Data handling
Query languages
Internet of things

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

22 Downloads (Pure)

Establishing a many-cytokine signature via multivariate anomaly detection

Dingle, K., Zimek, A., Azizieh, F. & Ansari, A. R., 1. Dec 2019, In : Scientific Reports. 9, 1, 13 p., 9684.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Pregnancy Complications
Allergy and Immunology
Reference Values
Datasets

Evaluation and experimental design in data mining and machine learning: Motivation and summary of EDML 2019

Ntoutsi, E., Schubert, E., Zimek, A. & Zimmermann, A., 2019, In : CEUR Workshop Proceedings. 2436

Research output: Contribution to journalEditorialResearch

Exploiting GPU and cluster parallelism in single scan frequent itemset mining

Djenouri, Y., Djenouri, D., Belhadi, A. & Cano, A., Sep 2019, In : Information Sciences. 496, p. 363-377 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Frequent Itemsets
Graphics Processing Unit
Parallelism
Mining
High Performance