Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

  1. 2017
  2. Udgivet

    Estimating the two-particle $K$-matrix for multiple partial waves and decay channels from finite-volume energies

    Morningstar, C., Bulava, J., Singha, B., Brett, R., Fallica, J., Hanlon, A. & Hörz, B. 2017 I : Nuclear Physics B. 924, s. 477-507

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  3. Udgivet

    Exel's crossed product and crossed products by completely positive maps

    Kwaśniewski, B. K. 2017 I : Houston Journal of Mathematics. 43, 2, s. 509-567

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  4. Udgivet

    Extending Chiral Perturbation Theory with an Isosinglet Scalar

    Hansen, M., Langaeble, K. & Sannino, F. 2017 I : Physical Review D. 95, 3, 11 s., 036005

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  5. Udgivet

    Fault Tolerance in Distributed Stream Processing Systems

    Su, L. 2017 Odense: Syddansk Universitet. Det Naturvidenskabelige Fakultet.

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

  6. 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: Bidrag til tidsskriftTidsskriftartikel

  7. Udgivet

    Flight Planning in Free Route Airspaces

    Kehlet Jensen, C., 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: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  8. Udgivet

    Forbidden time travel: Characterization of time-consistent tree reconciliation maps

    Nøjgaard, N., Geiß, M., Merkle, D., Stadler, P. F., Wieseke, N. & Hellmuth, M. 2017 17th International Workshop on Algorithms in Bioinformatics, WABI 2017. Schwartz, R. & Reinert, K. (red.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, Bind 88).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  9. Udgivet

    Formally Proving Size Optimality of Sorting Networks

    Cruz-Filipe, L., Larsen, K. S. & Schneider-Kamp, P. 2017 I : Journal of Automated Reasoning. 59, 4, s. 425-454

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  10. 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: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  11. Udgivet
  12. Udgivet

    Framework for an asymptotically safe standard model via dynamical breaking

    Abel, S. & Sannino, F. 2017 I : Physical Review D. 96, 5, 10 s., 055021

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  13. 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: Bidrag til tidsskriftTidsskriftartikel

  14. 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: Bidrag til tidsskriftTidsskriftartikel

  15. Udgivet
  16. 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: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  17. Udgivet

    Graphical coprime walk algorithm for structural controllability of discrete-time rank-one bilinear systems

    Ghosh, S., Ruths, J. & Yeo, A. 2017 I : Automatica. 86, s. 166-173

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  18. Udgivet

    Hans Christian Ørsted, narratives, oeuvres and physics education

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

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  19. Udgivet
  20. Udgivet

    Higher-Order Scheme-Independent Series Expansions of $γ_{\barψψ,IR}$ and $β'_{IR}$ in Conformal Field Theories

    Ryttov, T. A. & Shrock, R. 2017 I : Physical Review D. 95, 10, 37 s., 105004

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  21. 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: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  22. 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: Bidrag til tidsskriftTidsskriftartikel

  23. Udgivet
  24. 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: Bidrag til tidsskriftTidsskriftartikel

  25. Udgivet

    Infrared Fixed Point Physics in ${\rm SO}(N_c)$ and ${\rm Sp}(N_c)$ Gauge Theories

    Ryttov, T. A. & Shrock, R. 2017 I : Physical Review D. 96, 10, 17 s., 105015

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  26. 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: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

Forrige 1...3 4 5 6 7 8 9 10 ...71 Næste