Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

  1. 2017
  2. Udgivet
  3. Udgivet

    Cheap arbitrary high order methods for single integrand SDEs

    Debrabant, K. & Kværnø, A. 2017 I : Bit (Lisse). 57, 1, s. 153-168

    Publikation: Forskning - peer reviewTidsskriftartikel

  4. Udgivet

    Chemical Graph Transformation with Stereo-Information

    Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F. 2017 Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings. de Lara, J. & Plump, D. (red.). Cham: Springer International Publishing AG, s. 54-69 16 s.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  5. Udgivet

    Chinese Postman Problem on edge-colored multigraphs

    Gutin, G., Jones, M., Sheng, B., Wahlström, M. & Yeo, A. 30 jan. 2017 I : Discrete Applied Mathematics. 217, s. 196-202 7 s.

    Publikation: Forskning - peer reviewTidsskriftartikel

  6. 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

  7. 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

  8. Udgivet
  9. 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. Springer, s. 354-369 (Lecture Notes in Computer Science, Vol. 10416).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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

  11. Udgivet
  12. 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

  13. Udgivet
  14. 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

  15. 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

  16. Udgivet
  17. 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

  18. 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

  19. 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

  20. 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, Vol. 10467).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  21. 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

  22. 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

  23. Udgivet
  24. Udgivet
  25. Udgivet
  26. 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

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