Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

  1. 2017
  2. 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

  3. Udgivet

    Flight Planning in Free Route Airspaces

    Jensen, C. K., Chiarandini, M. & Larsen, K. S. 2017 17th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems. D'Angelo, G. & Dollevoet, T. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 14:1-14:14 (OpenAccess Series in Informatics, Bind 59).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  4. 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, Bind 46).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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

  7. Udgivet

    Fundamental composite electroweak dynamics: Status at the LHC

    Arbey, A., Cacciapaglia, G., Cai, H., Deandrea, A., Le Corre, S. & Sannino, F. 2017 I : Physical Review D. 95, 1, 015028

    Publikation: Forskning - peer reviewTidsskriftartikel

  8. Udgivet
  9. Udgivet

    Good and Bad Neighborhood Approximations for Outlier Detection Ensembles

    Kirner, E., Schubert, E. & Zimek, A. 2017 Proceedings of the 10th International Conference on Similarity Search and Applications. Beecks, C., Borutta, F., Kröger, P. & Seidl, T. (red.). Cham: Springer, s. 173-187 (Lecture Notes in Computer Science, Bind 10609).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  10. Udgivet

    Hans Christian Ørsted, narratives, oeuvres and physics education

    Michelsen, C. 2017 I : Physics Education. 52, 3, 6 s., 035004

    Publikation: Forskning - peer reviewTidsskriftartikel

  11. Udgivet
  12. Udgivet
  13. Udgivet

    How to Get More Out of Your Oracles

    Cruz-Filipe, L., Larsen, K. S. & Schneider-Kamp, P. 2017 Proceedings of the 8th International Conference on Interactive Theorem Proving. Ayala-Rincón, M. & Muñoz, C. A. (red.). Springer, s. 164-170 (Lecture Notes in Computer Science, Bind 10499).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  14. Udgivet

    Ideal walking dynamics via a gauged NJL model

    Rantaharju, J., Pica, C. & Sannino, F. 2017 I : Physical Review D. 96, 1, 9 s., 014512

    Publikation: Forskning - peer reviewTidsskriftartikel

  15. Udgivet

    Inflation and pseudo-Goldstone Higgs boson

    Alanne, T., Sannino, F., Tenkanen, T. & Tuominen, K. 2017 I : Physical Review D. 95, 3, 6 s., 035004

    Publikation: Forskning - peer reviewTidsskriftartikel

  16. Udgivet
  17. Udgivet

    Integrative Dynamic Reconfiguration in a Parallel Stream Processing Engine

    Madsen, K. G. S., Zhou, Y. & Cao, J. 2017 Proceedings of the 33rd International Conference on Data Engineering (ICDE). IEEE Press, s. 227-230

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  18. Udgivet

    Interactive microbial distribution analysis using BioAtlas

    Lund, J., List, M. & Baumbach, J. 2017 I : Nucleic Acids Research. 45, W1, s. W509–W513

    Publikation: Forskning - peer reviewTidsskriftartikel

  19. Udgivet

    Interest and Emotions in Science Education

    Petersen, M. R. & Dohn, N. B. 2017 Exploring Emotions, Aesthetics and Wellbeing in Science Education Research. Bellocchi, A., Quigley, C. & Otrel-Cass, K. (red.). Springer International Publishing Switzerland: Springer, s. 187-202 (Cultural Studies of Science Education , Bind 13).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  20. Udgivet

    L^2-Betti numbers of rigid C*-tensor categories and discrete quantum groups

    Kyed, D., Raum, S., Vaes, S. & Valvekens, M. 2017 I : Analysis and PDE. 10, 7, s. 1757-1791

    Publikation: Forskning - peer reviewTidsskriftartikel

  21. Udgivet
  22. Udgivet

    Membrane Protein-Lipid Match and Mismatch

    Mouritsen, O. G. 2017 Reference Module in Life Sciences. Elsevier Masson, s. 1-17 17 s. 08084

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  23. Udgivet
  24. Udgivet

    Modeling Electronic Circular Dichroism within the Polarizable Embedding Approach

    Nørby, M. S., Olsen, J. M. H., Steinmann, C. & Kongsted, J. 2017 I : Journal of Chemical Theory and Computation. 13, 9, s. 4442–4451

    Publikation: Forskning - peer reviewTidsskriftartikel

  25. Udgivet

    Multiscale Modeling of Complex Molecular Structure and Dynamics with MBN Explorer

    Solov'yov, I. A., Korol, A. V. & Solov'yov, A. V. 2017 Springer International Publishing: Springer. 451 s.

    Publikation: Forskning - peer reviewBog

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