Department of Mathematics and Computer Science (IMADA)

  • Campusvej 55

    5230 Odense M

Research Output 1990 2019

Filter
Working paper
2018

Better Late Than Never: A Fully Abstract Semantics for Classical Processes

Kokke, W., Montesi, F. & Peressotti, M., 6. Nov 2018.

Research output: Working paperResearch

Open Access
Semantics
Derivatives
Chemical analysis

Measure equivalence for non-unimodular groups

Koivisto, J., Kyed, D. & Raum, S., 23. May 2018, arXiv.

Research output: Working paperResearch

Uniquness questions for C*-norms on group rings

Alekseev, V. & Kyed, D., 28. Jun 2018, arXiv.

Research output: Working paperResearch

2017

Behavioural equivalences for timed systems

Brengos, T. & Peressotti, M., 28. Nov 2017, 41 p.

Research output: Working paperResearch

Semantics

Loose Graph Simulations

Mansutti, A., Miculan, M. & Peressotti, M., 23. May 2017.

Research output: Working paperResearch

Graph in graph theory
Regular Languages
Pattern Matching
Simulation
Subgraph

On the trade-off between labels and weights in quantitative bisimulation

Peressotti, M., 18. May 2017, 15 p.

Research output: Working paperResearch

Labels
Information systems
2015

A unified framework of demographic time

Riffe, T., Schöley, J. & Villavicencio, F., 2015, Max-Planck-Institut fuer Demografische Forschung, (MPIDR Working Papers ; No. 008, Vol. 2015).

Research output: Working paperResearch

2014

Complete minimal submanifolds of compact Lie groups

Gudmundsson, S., Svensson, M. & Ville, M., 2014, 14 p.

Research output: Working paperResearchpeer-review

2013

Uniform asymptotic properties of a nonparametric regression estimator of conditional tails

Goegebeur, Y., Guillou, A. & Stupfler, G., 2013, 29 p.

Research output: Working paperResearchpeer-review

2012

Local robust and asymptotically unbiased estimation of conditional Pareto-type tails

Dierckx, G., Goegebeur, Y. & Guillou, A., 2012, Springer, p. 330-355.

Research output: Working paperResearchpeer-review

Nonparametric regression estimation of conditional tails - the random covariate case

Goegebeur, Y., Guillou, A. & Schorgen, A., 2012, 27 p.

Research output: Working paperResearchpeer-review

Fremtidens Naturfaglige Lærere II

Michelsen, C., 2011, 9 ed., Odense: NAMADI, Syddansk Universitet, p. 1-68, 68 p.

Research output: Working paperCommissioned

Fremtidens Naturvidenskabelige Uddannelser: Elevernes Stemme

Michelsen, C., Ahrenkiel, L. & Petersen, M. R., 2011, Odense: NAMADI, Syddansk Universitet, 73 p.

Research output: Working paperCommissioned

Learning Graphical Models for Parameter Tuning

Birattari, M., Chiarandini, M., Saerens, M. & Stützle, T., 2011, Brussels, Belgium.

Research output: Working paperResearch

Fremtidens Naturfaglige Lærere: 5 refleksioner over praksis

Michelsen, C. & Petersen, M. R., 2010, Odense: Syddansk Universitet. Institut for Matematik og Datalogi, 62 p.

Research output: Working paperCommissioned

55 Downloads (Pure)

UV and IR Zeros of Gauge Theories at The Four Loop Order and Beyond

Pica, C. & Sannino, F., 2010.

Research output: Working paperResearchpeer-review

File
gauge theory
phase diagrams
fermions
2009

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

Goegebeur, Y. & Guillou, A., 2009, 23 p.

Research output: Working paperResearch

Goodness-of-fit testing for Weibull-type behavior

Goegebeur, Y. & Guillou, A., 2009, 32 p.

Research output: Working paperResearch

Mixed models for the analysis of optimization algorithms

Chiarandini, M. & Goegebeur, Y., 2009, DMF-2009-07-001 ed., The Danish Mathematical Society: The Danish Mathematical Society, p. 1-39.

Research output: Working paperResearch

Design of experiments
Experiments
Statistical Models
2008

Klonen: Et undervisningsmateriale til almen studieforberedelse

Michelsen, C., Albrechtsen, T. R. S., Bangsgaard, K., Hansen, S. H., Nielsen, J. A. & Petersen, M. R., 2008, Odense: Syddansk Universitet. Center for Naturvidenskabernes og Matematikkens Didaktik, 66 p.

Research output: Working paperCommissioned

A hierarchical Bayesian approach to robust parameter design

Goegebeur, Y., Goos, P. & Vandebroek, M., 2007, Leuven, 22 p.

Research output: Working paperResearch

Experiments on metaheuristics: Methodological overview and open issues

Chiarandini, M., Paquete, L., Preuss, M. & Ridge, E., 2007.

Research output: Working paperResearch

23 Downloads (Pure)

Two flavor QCD and confinement - II

Cossu, G., D'Elia, M., Di Giacomo, A. & Pica, C., 1. Jul 2007.

Research output: Working paperResearch

File
systematic errors
quantum chromodynamics