Department of Mathematics and Computer Science (IMADA)

  • Campusvej 55

    5230 Odense M

Research Output 1990 2019

2019

A core model for choreographic programming

Cruz-Filipe, L. & Montesi, F., 8. Jun 2019, In : Theoretical Computer Science. 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Programming
Choreography
Canonical Model
Deadlock
Model
10 Downloads (Pure)

Age‐dependent DNA methylation patterns on the Y chromosome in elderly males

Lund, J. B., Li, S., Christensen, K., Mengel-From, J., Thinggaard, M. S., Marioni, R. E., Starr, J., Pattie, A., Deary, I. J., Baumbach, J. & Tan, Q., 2019, In : Aging Cell. 8 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
DNA Methylation
Epigenomics
Sex Characteristics

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

7 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
8 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., Aug 2019, In : Data Mining and Knowledge Discovery. 59 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

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
10 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
95 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

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

Colchero, F. & Kiyakoglu, B. Y., 1. Oct 2019, In : Biometrical Journal.

Research output: Contribution to journalJournal articleResearchpeer-review

Frailty Model
Bayesian Estimation
Mortality
Directly proportional
Life Table

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

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

Line Bundle
Torsional stress
Isomorphism
Determinant
Perturbation
57 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
31 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., 1. Jan 2019, (Accepted/In press) In : Experimental Mathematics.

Research output: Contribution to journalJournal articleResearchpeer-review

Thompson's Group
Amenability
Amenable Group
Spectral Distribution
Group Ring
29 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
12 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

Continuous deformations of harmonic maps and their unitons

Aleman, A., Martín, M. J., Persson, A. M. & Svensson, M., 28. Jan 2019, In : Monatshefte fur Mathematik. 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., 7. Sep 2019, In : Journal of Clinical Epidemiology.

Research output: Contribution to journalLetterResearchpeer-review

47 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

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., 31. May 2019, In : International Journal of Obesity. 9 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Monozygotic Twins
Body Mass Index
DNA Methylation
Epigenomics
Adiposity
49 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

37 Downloads (Pure)

Dynamical stabilisation of complex Langevin simulations of QCD

Attanasio, F. & Jäger, B., 1. 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
39 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
8 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

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

Dizygotic Twins
Genome-Wide Association Study
Sample Size
Siblings
Monozygotic Twins

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

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
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
12 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 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
3 Downloads (Pure)

Federated Platooning: Insider Threats and Mitigations

Callegati, F., Giallorenzo, S., Gabbrielli, M., Melis, A. & Prandini, M., 2019, Proceedings of the 52nd Hawaii International Conference on System Sciences. ScholarSpace / AIS Electronic Library (AISeL), p. 1-10 10 p.

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

Open Access
File

FLAG review 2019

Della Morte, M. & FLAG, 2019, (Submitted) In : European Physical Journal C..

Research output: Contribution to journalReviewResearchpeer-review

6 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
36 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
18 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

GBSO-RSS: GPU-based BSO for rules space summarization

Djenouri, Y., Lin, J. C. W., Djenouri, D., Belhadi, A. & Fournier-Viger, P., 2019, Big Data Analysis and Deep Learning Applications: Proceedings of the 1st International Conference on Big Data Analysis and Deep Learning, 2018. Zin, T. T. & Lin, J. C-W. (eds.). Singapore: Springer VS, p. 123-129 (Advances in Intelligent Systems and Computing, Vol. 744).

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

RSS
Association rules
Graphics processing unit
46 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

Graph Transformations, Semigroups, and Isotopic Labeling

Andersen, J. L., Merkle, D. & Rasmussen, P. S., 2019, Bioinformatics Research and Applications. ISBRA 2019. Cai, Z., Skums, P. & Li, M. (eds.). Springer, p. 196-207 (Lecture Notes in Computer Science, Vol. 11490).

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

Labeling
Chemical reactions
Atoms
Chemical compounds
Pyruvic Acid