Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

  1. 2017
  2. Udgivet

    Composite Higgs Dynamics on the Lattice

    Pica, C., Drach, V., Hansen, M. R. L. & Sannino, F. 2017 I : E P J Web of Conferences. 137, 10005

    Publikation: Forskning - peer reviewKonferenceartikel

  3. Udgivet

    Computational approach to evaluation of optical properties of membrane probes

    Nåbo, L. J., List, N. H., Svendsen, C. S. & Kongsted, J. 2017 I : Journal of Chemical Theory and Computation. 13, 2, s. 719–726

    Publikation: Forskning - peer reviewTidsskriftartikel

  4. Udgivet

    Consumption of seaweeds and the human brain

    Cornish, M. L., Critchley, A. T. & Mouritsen, O. G. 2017 I : Journal of Applied Phycology.

    Publikation: Forskning - peer reviewKonferenceartikel

  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: Forskning - peer reviewKonferenceartikel

  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: Forskning - peer reviewTidsskriftartikel

  9. Udgivet

    Decision Making on Fitness Landscapes

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

    Publikation: Forskning - peer reviewTidsskriftartikel

  10. 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: Forskning - peer reviewKonferenceartikel

  11. Udgivet

    Disease-Concordant Twins Empower Genetic Association Studies

    Tan, Q., Li, W. & Vandin, F. jan. 2017 I : Annals of Human Genetics. 81, 1, s. 20-26

    Publikation: Forskning - peer reviewTidsskriftartikel

  12. Udgivet

    Disjoint paths in decomposable digraphs

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

    Publikation: Forskning - peer reviewTidsskriftartikel

  13. 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, Vol. Part I, s. 118-135 (Lecture Notes in Computer Science, Vol. 10205).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  14. Udgivet

    Efficient detection of differentially methylated regions using DiMmeR

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

    Publikation: Forskning - peer reviewTidsskriftartikel

  15. Udgivet
  16. Udgivet
  17. 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: Forskning - peer reviewTidsskriftartikel

  18. Udgivet
  19. Udgivet
  20. 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: Forskning - peer reviewTidsskriftartikel

  21. Udgivet
  22. Udgivet
  23. Udgivet

    Flavour anomalies after the RK∗ measurement

    D’Amico, G., Nardecchia, M., Panci, P., Sannino, F., Strumia, A., Torre, R. & Urbano, A. 2017 I : Journal of High Energy Physics. 2017, 9, 32 s., 10

    Publikation: Forskning - peer reviewTidsskriftartikel

  24. Udgivet

    Formally Proving the Boolean Triples Conjecture

    Cruz-Filipe, L. & Schneider-Kamp, P. 2017 Proceedings of LPAR-21: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Eiter, T. & Sands, D. (red.). EasyChair Publications, s. 509-522 (EPiC Series in Computing, Vol. 46).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  25. Udgivet
  26. Udgivet

    From description-logic programs to multi-context systems

    Cruz-Filipe, L., Gaspar, G. & Nunes, I. 2017 I : The Journal of Logic and Algebraic Programming. 88, s. 26-44

    Publikation: Forskning - peer reviewTidsskriftartikel

Forrige 1 2 3 4 5 6 7 8 ...65 Næste