Department of Mathematics and Computer Science (IMADA)

  • Campusvej 55

    5230 Odense M

Research Output 1986 2020

Filter
Journal article
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

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

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

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

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
54 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
57 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

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
155 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
117 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
78 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

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
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
15 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
103 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
76 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
73 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
37 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
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

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

Exploiting GPU parallelism in improving bees swarm optimization for mining big transactional databases

Djenouri, Y., Djenouri, D., Belhadi, A., Fournier-Viger, P., Chun-Wei Lin, J. & Bendjoudi, A., 1. Sep 2019, In : Information Sciences. 496, p. 326-342 17 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Graphics Processing Unit
Swarm
Parallelism
Mining
Optimization
55 Downloads (Pure)

Exploring Plant Sesquiterpene Diversity by Generating Chemical Networks

Silva, W. M. C. D., Andersen, J. L., Holanda, M. T., Walter, M. E. M. T., Brigido, M. M., Stadler, P. F. & Flamm, C., 2019, In : Processes. 7, 4, 18 p., 240.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Sesquiterpenes
Biosynthesis
Cyclization
Software packages

Exploring the diversity and conservation status of tree species with TreeeX

Jänicke, S., Beech, E. & Rivers, M., Nov 2019, In : Environmental Earth Sciences. 78, 21, 10 p., 627.

Research output: Contribution to journalJournal articleResearchpeer-review

conservation status
Conservation
Biodiversity
Color
support systems

Exploring the fruitfulness of diagrams in mathematics

Carter, J. M. H. G., Oct 2019, In : Synthese. 196, 10, p. 4011-4032 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

mathematics
manipulation
semiotics
technical language
metaphor
55 Downloads (Pure)

FMnet: Iris segmentation and recognition by using fully and multi-scale CNN for biometric security

Tobji, R., Di, W. & Ayoub, N., 1. May 2019, In : Applied Sciences (Switzerland). 9, 10, 17 p., 2042.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
biometrics
Biometrics
Neural networks
Feature extraction
pattern recognition

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., Oct 2019, In : Journal of Automated Reasoning. 63, 3, p. 695-722 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Coloring
Acoustic waves
Color
98 Downloads (Pure)

Fragmented publishing: a large-scale study of health science

Frandsen, T. F., Eriksen, M. B., Hammer, D. M. G. & Buck Christensen, J., 2019, In : Scientometrics. 119, 3, p. 1729–1743

Research output: Contribution to journalJournal articleResearchpeer-review

File
health science
Health
time
literature
64 Downloads (Pure)

From single drug targets to synergistic network pharmacology in ischemic stroke

Casas, A. I., Hassan, A. A., Larsen, S. J., Gomez-Rangel, V., Elbatreek, M., Kleikers, P. W. M., Guney, E., Egea, J., López, M. G., Baumbach, J. & Schmidt, H. H. H. W., 2. Apr 2019, In : Proceedings of the National Academy of Sciences of the United States of America. 116, 14, p. 7129-7136

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
NADPH Oxidase
Pharmaceutical Preparations
Gene Ontology
Semantics
Nitric Oxide Synthase
104 Downloads (Pure)

Genomic profiling in ovarian cancer retreated with platinum based chemotherapy presented homologous recombination deficiency and copy number imbalances of CCNE1 and RB1 genes

da Costa, A. A. B. A., do Canto, L. M., Larsen, S. J., Ribeiro, A. R. G., Stecca, C. E., Petersen, A. H., Aagaard, M. M., de Brot, L., Baumbach, J., Baiocchi, G., Achatz, M. I. & Rogatto, S. R., 6. May 2019, In : BMC Cancer. 19, 1, 10 p., 422.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Platinum
Ovarian Neoplasms
Neoplasms
Mutation
Disease-Free Survival

GPU-based swarm intelligence for Association Rule Mining in big databases

Djenouri, Y., Fournier-Viger, P., Lin, J. C. W., Djenouri, D. & Belhadi, A., 1. Jan 2019, In : Intelligent Data Analysis. 23, 1, p. 57-76

Research output: Contribution to journalJournal articleResearchpeer-review

Association rules
Swarm intelligence
Graphics processing unit
Parallel algorithms
Data mining

Graph Edge Coloring: A Survey

Cao, Y., Chen, G., Jing, G., Stiebitz, M. & Toft, B., Jan 2019, In : Graphs and Combinatorics. 35, 1, p. 33-66

Research output: Contribution to journalJournal articleResearchpeer-review

Edge Coloring
Graph Coloring
52 Downloads (Pure)

Handling preferences in student-project allocation

Chiarandini, M., Fagerberg, R. & Gualandi, S., Apr 2019, In : Annals of Operations Research. 275, 1, p. 39-78

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Assignment
Empirical evidence
Envy
Mixed integer linear programming
Denmark

Hiding sensitive itemsets with multiple objective optimization

Lin, J. C. W., Zhang, Y., Zhang, B., Fournier-Viger, P. & Djenouri, Y., 1. Dec 2019, In : Soft Computing. 23, 23, p. 12779-12797 19 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Evolutionary algorithms
Data mining
Sorting
Costs
Decision making
65 Downloads (Pure)

Hyperons in thermal QCD: A lattice view

Aarts, G., Allton, C., De Boni, D. & Jäger, B., 1. Apr 2019, In : Physical Review D. 99, 7, 9 p., 074503.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
hyperons
parity
quantum chromodynamics
gases
ground state
75 Downloads (Pure)

Increased levels of genomic instability and mutations in homologous recombination genes in locally advanced rectal carcinomas

Do Canto, L. M., Larsen, S. J., Kupper, B. E. C., De Souza Begnami, M. D. F., Scapulatempo-Neto, C., Petersen, A. H., Aagaard, M. M., Baumbach, J., Aguiar, S. & Rogatto, S. R., 14. May 2019, In : Frontiers in Oncology. 9, 9 p., 00395.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Rectal Neoplasms
Mutation
Platinum
Neoplasms
DNA Mismatch Repair

Isovector axial form factors of the nucleon in two-flavor lattice QCD

Stefano, C., Della Morte, M., Djukanovic, D., von Hippel, G., Hua, J., Jager, B., Junnarkar, Meyer, H., Rae, T. & Wittig, H., 2019, In : International Journal of Modern Physics A (IJMPA). 34, 2, 27 p., 1950009.

Research output: Contribution to journalJournal articleResearchpeer-review

form factors
quantum chromodynamics
extrapolation
vector mesons
stems

Local Robust Estimation of Pareto-Type Tails with Random Right Censoring

Dierckx, G., Goegebeur, Y. & Guillou, A., 4. Jun 2019, In : Sankhya A. 39 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Random Censoring
Right Censoring
Robust Estimators
Robust Estimation
Pareto

Manifold interpolation and model reduction

Zimmermann, R., 11. Feb 2019, In : arxiv.org. 37 p.

Research output: Contribution to journalJournal articleResearch

Open Access
Model Reduction
Interpolate
Model Order Reduction
Orthogonal Basis
Geometric Structure