Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

  1. 2017
  2. Udgivet

    Conformal Phase Diagram of Complete Asymptotically Free Theories

    Pica, C., Ryttov, T. A. & Sannino, F. 2017 I : Physical Review D. 96, 7, 14 s., 074015

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  3. Udgivet

    Constraint Handling in Flight Planning

    Knudsen, A. N., Chiarandini, M. & Larsen, K. S. 2017 23rd International Conference on Principles and Practice of Constraint Programming. Christopher Beck, J. (red.). Springer, s. 354-369 (Lecture Notes in Computer Science, Bind 10416).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  4. Udgivet

    Consumption of seaweeds and the human brain

    Cornish, M. L., Critchley, A. T. & Mouritsen, O. G. 2017 I : Journal of Applied Phycology. 29, 5, s. 2377–2398

    Publikation: Bidrag til tidsskriftKonferenceartikel

  5. Udgivet
  6. Udgivet

    CytoMCS: A Multiple Maximum Common Subgraph Detection Tool for Cytoscape

    Larsen, S. & Baumbach, J. 2017 I : Journal of Integrative Bioinformatics. 14, 2, 8 s., 20170014

    Publikation: Bidrag til tidsskriftKonferenceartikel

  7. Udgivet
  8. Udgivet

    De novo pathway-based biomarker identification

    Alcaraz, N., List, M., Batra, R., Vandin, F., Ditzel, H. J. & Baumbach, J. 2017 I : Nucleic Acids Research. 45, 16, 11 s., e151

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  9. Udgivet

    Deciding Weak Weighted Bisimulation

    Miculan, M. & Peressotti, M. 2017 I : CEUR Workshop Proceedings. 1949, s. 126-137

    Publikation: Bidrag til tidsskriftKonferenceartikel

  10. Udgivet

    Decision Making on Fitness Landscapes

    Arthur, R. & Sibani, P. 2017 I : Physica A: Statistical Mechanics and its Applications. 471, s. 696–704

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  11. Udgivet
  12. Udgivet

    Dimensional testing for reverse k-nearest neighbor search

    Casanova, G., Englmeier, E., Houle, M. E., Kröger, P., Nett, M., Schubert, E. & Zimek, A. 2017 I : Proceedings of the VLDB Endowment. 10, 7, s. 769-780

    Publikation: Bidrag til tidsskriftKonferenceartikel

  13. Udgivet

    Disjoint paths in decomposable digraphs

    Bang-Jensen, J., Christiansen, T. M. & Maddaloni, A. 2017 I : Journal of Graph Theory. 85, 2

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  14. Udgivet

    DNA-Templated Synthesis Optimization

    Hansen, B. N., Larsen, K. S., Merkle, D. & Mihalchuk, A. 2017 23rd International Conference on DNA Computing and Molecular Programming. Springer, s. 17-32 (Lecture Notes in Computer Science, Bind 10467).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  15. Udgivet

    Double generalized linear compound poisson models to insurance claims data

    Andersen, D. A. & Bonat, W. H. 2017 I : Electronic Journal of Applied Statistical Analysis. 10, 2, s. 384-407

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  16. Udgivet

    Drug repurposing by integrated literature mining and drug–gene–disease triangulation

    Sun, P., Guo, J., Winnenburg, R. & Baumbach, J. 2017 I : Drug Discovery Today. 22, 4, s. 615-619

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  17. Udgivet

    Efficient Certified RAT Verification

    Cruz-Filipe, L., Heule, M., Hunt, Jr, W., Kaufmann, M. & Schneider-Kamp, P. 2017 Automated Deduction - CADE 26: Proceedings of the 26th International Conference on Automated Deduction. de Moura, L. (red.). Springer, s. 220-236 (Lecture Notes in Computer Science, Bind 10395).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  18. Udgivet

    Efficient Certified Resolution Proof Checking

    Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P. 2017 Tools and Algorithms for the Construction and Analysis of Systems: Proceedings of the 3rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017. Legay, A. & Margaria, T. (red.). Springer, Bind Part I, s. 118-135 (Lecture Notes in Computer Science, Bind 10205).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  19. Udgivet

    Efficient detection of differentially methylated regions using DiMmeR

    Almeida, D. M., Uhrenfeldt Skov, I., Silva, A., Vandin, F., Tan, Q., Röttger, R. & Baumbach, J. 2017 I : Bioinformatics. 33, 4, s. 549-551

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  20. Udgivet
  21. Udgivet

    Elastic parallel processing of data streams

    Madsen, K. G. S. 2017 Odense: Syddansk Universitet. Det Naturvidenskabelige Fakultet.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

  22. Udgivet

    Electrostatic Stabilization Plays a Central Role in Autoinhibitory Regulation of the Na+,K+-ATPase

    Jiang, Q., Garcia, A., Han, M., Cornelius, F., Apell, H. J., Khandelia, H. & Clarke, R. J. 2017 I : Biophysical Journal. 112, 2, s. 288-299

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  23. Udgivet
  24. Udgivet

    Encoding Asynchrony in Choreographies

    Cruz-Filipe, L. & Montesi, F. 2017 Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, s. 1175-1177

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  25. Udgivet

    Entropy in the Tangled Nature Model of evolution

    Roach, T. N. F., Nulton, J., Sibani, P., Rohwer, F. & Salamon, P. 2017 I : Entropy. 19, 5, 12 s., 192

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  26. Udgivet

    Error bounds on complex floating-point multiplication with an fma

    Jeannerod, C. P., Kornerup, P., Louvet, N. & Muller, J. M. 2017 I : Mathematics of Computation. 86, 304, s. 881-898

    Publikation: Bidrag til tidsskriftTidsskriftartikel