Department of Mathematics and Computer Science (IMADA)

  • Campusvej 55

    5230 Odense M

Research Output

Filter
Journal article

Applications of Følner's condition to quantum groups

Kyed, D. & Thom, A., 2013, In : Journal of Noncommutative Geometry. 2, 7, p. 547-561

Research output: Contribution to journalJournal articleResearchpeer-review

A pseudo-cocycle for the comultiplication on the quantum SU(2) group

Szymanski, W. & Hong, J. H., 1. Jan 2008, In : Letters in Mathematical Physics. 83, 1, p. 1-11 11 p.

Research output: Contribution to journalJournal articleResearchpeer-review

A purely infinite AH-algebra and an application to AF-embeddability.

Rørdam, M., 2004, In : Israel Journal of Mathematics. 141, p. 61-82

Research output: Contribution to journalJournal articleResearchpeer-review

A quasi-stationary approach to particle concentration and distribution in gear oil for wear mode estimation

Henneberg, M., Eriksen, R. L., Jørgensen, B. & Fich, J., 1. Feb 2015, In : Wear. 324-325, February, p. 140-146 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
378 Downloads (Pure)

A quenched study of m_b in HQET beyond the leading order

Morte, M. D., Garron, N., Sommer, R. & Papinutto, M., 29. Sep 2005, In : PoS LAT.

Research output: Contribution to journalJournal articleResearchpeer-review

A random matrix approach to the lack projections in C*_red(F_2)

Haagerup, U., Schultz, H. & Thorbjørnsen, S., 2006, In : Shuxue Jinzhan. 204, p. 1-83 83 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Arc-disjoint directed and undirected cycles in digraphs

Bang-Jensen, J., Kriesell, M., Maddaloni, A. & Simonsen, S., 2016, In : Journal of Graph Theory. 83, 4, p. 406-420

Research output: Contribution to journalJournal articleResearchpeer-review

Arc-Disjoint In- and Out-Branchings With the Same Root in Locally Semicomplete Digraphs

Bang-Jensen, J. & Huang, J., 2014, In : Journal of Graph Theory. 77, 4, p. 278-298

Research output: Contribution to journalJournal articleResearchpeer-review

Arc-disjoint paths and trees in 2-regular digraphs

Bang-Jensen, J. & Simonsen, S., 2013, In : Discrete Applied Mathematics. 161 , 16-17, p. 2724-2730 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Arc-disjoint paths in decomposable digraphs

Bang-Jensen, J. & Maddaloni, A., 2014, In : Journal of Graph Theory. 77, 2, p. 89-110 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Arc-disjoint spanning sub(di)graphs in digraph

Bang-Jensen, J. & Yeo, A., 2012, In : Theoretical Computer Science. 438, p. 48-54 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

A re-evaluation of stature estimation from skeletal length in the grave

Petersen, H. C., 2011, In : American Journal of Physical Anthropology. 144, 2, p. 327-330 4 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Arguing from Nature: The role of 'nature' in students' argumentations on a socio-scientific issue

Nielsen, J. A., 2012, In : International Journal of Science Education. 34, 5, p. 723-744 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

A scale invariant distribution of the prime numbers

Kendal, W. S. & Jorgensen, B., 2015, In : Computation. 3, 4, p. 528-540

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

A simple C*-algebra with a finite and an infinite projection

Rørdam, M., 2003, In : Acta Mathematica. 191, p. 109-42

Research output: Contribution to journalJournal articleResearch

A speeded item response model with gradual process change

Goegebeur, Y., De Boeck, P., Wollack, J. A. & Cohen, A. S., 2008, In : Psychometrika. 73, p. 65-87

Research output: Contribution to journalJournal articleResearchpeer-review

A step towards a complexity theory for analog systems

Gori, M. & Meer, K., 2002, In : Mathematical Logic Quarterly. 48, suppl, 1, p. 45-58

Research output: Contribution to journalJournal articleResearch

A strategy for the computation of m_b including 1/m terms

Morte, M. D., Garron, N., Sommer, R. & Papinutto, M., 22. Sep 2005, In : PoS LAT.

Research output: Contribution to journalJournal articleResearchpeer-review

A Survey on Visualizations for Musical Data

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Asymptotically unbiased estimation of the coefficient of tail dependence

Goegebeur, Y. & Guillou, A., 2013, In : Scandinavian Journal of Statistics. 40, p. 174-189

Research output: Contribution to journalJournal articleResearchpeer-review

Asymptotically unbiased estimation of the second order tail parameter

Goegebeur, Y., de Wet, T. & Reimert Munch, M., 2011, In : Statistics & Probability Letters. 82, 3, p. 565-573

Research output: Contribution to journalJournal articleResearchpeer-review

Asymptotic expansions of Berezin transforms

Arazy, J. & Ørsted, B., 2000, In : Indiana Univ. Math. Journ.. 49, p. 7-3

Research output: Contribution to journalJournal articleResearch

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

A Technique for Exact Computation of Precoloring Extension on Interval Graphs

Ehmsen, M. R. & Larsen, K. S., 2013, In : International Journal of Foundations of Computer Science. 24, 1, p. 109-122 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

A Theoretical Comparison of LRU and LRU-K

Boyar, J., Ehmsen, M. R., Kohrt, J. S. & Larsen, K. S., 2010, In : Acta Informatica. 47, 7-8, p. 359-374 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Augmenting hypergraphs by edges of size two

Bang-Jensen, J. & Jackson, B., 1999, In : Mathematical Programming Series B. 84, p. 467-481

Research output: Contribution to journalJournal articleResearch

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

Automated Termination Analysis for Logic Programs with Cut

Schneider-Kamp, P., Giesl, J., Ströder, T., Serebrenik, A. & Thiemann, R., 2010, In : Theory and Practice of Logic Programming. 10, 4-6, p. 365 381 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Automated Termination Proofs for Haskell by Term Rewriting

Giesl, J., Raffelsieper, M., Schneider-Kamp, P., Swiderski, S. & Thiemann, R., 2011, In : A C M Transactions on Programming Languages and Systems. 33, 2, p. Article 7 39 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Automated Termination Proofs for Logic Programs by Term Rewriting

Schneider-Kamp, P., Giesl, J., Serebrenik, A. & Thiemann, R., 2009, In : ACM Transactions on Computational Logic. 11, 1, p. Article 2 52 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J., Schneider-Kamp, P. & Aschermann, C., 2017, In : Journal of Automated Reasoning. 58, 1, p. 33-65

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
134 Downloads (Pure)

Automatic mesh refinement in limit analysis

Christiansen, E. & Pedersen, O. S., 2001, In : International Journal for Numerical Methods in Engineering. 50, p. 1331-46

Research output: Contribution to journalJournal articleResearch

Average case and distributional analysis of dual-pivot Quicksort

Wild, S., Nebel, M. E. & Neininger, R., 2015, In : ACM Transactions on Algorithms. 11, 3, 22.

Research output: Contribution to journalJournal articleResearchpeer-review

AVL Trees with Relaxed Balance

Larsen, K. S., 2000, In : Journal of Computer and System Sciences. 61, 3, p. 508-522 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

A weighted mean excess function approach to the estimation of Weibull-type tails

Goegebeur, Y. & Guillou, A., 2011, In : Test. 20, p. 138-162 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

A winning strategy for 3 x n Cylindrical Hex

Huneke, S. C., Hayward, R. & Toft, B., 2014, In : Discrete Mathematics. 331, p. 93-97

Research output: Contribution to journalJournal articleResearchpeer-review

BacillusRegNet: a transcriptional regulation database and analysis platform for Bacillus species

Misirli, G., Hallinan, J., Röttger, R., Baumbach, J. & Wipat, A., 2014, In : Journal of Integrative Bioinformatics. 11, 2, p. 244

Research output: Contribution to journalJournal articleResearchpeer-review

Balanced branchings in digraphs

Bang-Jensen, J. & Yeo, A., 2015, In : Theoretical Computer Science. 595, August, p. 107-119

Research output: Contribution to journalJournal articleResearchpeer-review

Balancing two spanning trees

Kriesell, M., 2011, In : Networks. 57, p. 351-353

Research output: Contribution to journalJournal articleResearchpeer-review

Banach embedding properties of non-commutative Lp spaces.

Haagerup, U., Rosenthal, H. P. & Sukochev, F. A., 2003, In : Memoirs of the American Mathematical Society.

Research output: Contribution to journalJournal articleResearch

Baryon spectrum with Nƒ=2+1+1 twisted mass fermions

Alexandrou, C., Drach, V., Jansen, K., Kallidonis, C. & Koutsou, G., 2014, In : Physical Review D. 90, 7, 29 p., 074501.

Research output: Contribution to journalJournal articleResearchpeer-review

Basin Hopping Graph: A computational framework to characterize RNA folding landscapes

Kucharik, M., Hofacker, I., Stadler, P. & Qin, J., 15. Mar 2014, In : Bioinformatics. 30, 14, p. 2009-2017

Research output: Contribution to journalJournal articleResearchpeer-review

BaSTA: an R package for Bayesian estimation of age-specific survival from incomplete mark-recapture/recovery data with covariates

Colchero, F., Jones, O. & Rebke, M., 2012, In : Methods in Ecology and Evolution. 3, 3, p. 466-470

Research output: Contribution to journalJournal articleResearchpeer-review

Batch Coloring of Graphs

Boyar, J., Epstein, L., Favrholdt, L. M., Larsen, K. S. & Levin, A., 2018, In : Algorithmica. 80, 11, p. 3293-3315

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
39 Downloads (Pure)

Bayesian estimates of male and female African lion mortality for future use in population management

Barthold, J. A., Loveridge, A., Macdonald, D., Packer, C. & Colchero, F., 2016, In : Journal of Applied Ecology. 53, 2, p. 295–304

Research output: Contribution to journalJournal articleResearchpeer-review

Bayesian inference on the effect of density dependence and weather on a guanaco population from Chile

Zubillaga, M., Skewes, O., Soto, N., Rabinovich, J. & Colchero, F., 2014, In : PLOS ONE. e115307.

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

Beta Function and Anomalous Dimensions

Pica, C. & Sannino, F., 2011, In : Physical Review D. 83, 11, 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
195 Downloads (Pure)

Bethe stopping theory for a harmonic oscillator and Bohrs oscillator model of atomic stopping

Sigmund, P. & Haagerup, U., 1. Jan 1986, In : Physical Review A. 34, 2, p. 892-910

Research output: Contribution to journalJournal articleResearchpeer-review