Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

  1. 2017
  2. Udgivet
  3. Udgivet

    A Core Model for Choreographic Programming

    Cruz-Filipe, L. & Montesi, F. 2017 Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Kouchnarenko, O. & Ramtin, K. (red.). Springer, s. 17-35 (Lecture Notes in Computer Science, Vol. 10231).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  4. Udgivet

    A lattice calculation of the hadronic vacuum polarization contribution to (g-2)μ

    Della Morte, M., Wittig, H., Francis, A., Gerardin, A., Gulpers, V., Gregorio, H., von Hippel, G., Hanno, H., Jager, B., Meyer, H. & Nyffeler, A. 2017 I : E P J Web of Conferences.

    Publikation: Forskning - peer reviewKonferenceartikel

  5. Udgivet
  6. Udgivet

    Active Integrity Constraints: from Theory to Implementation

    Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I. & Schneider-Kamp, P. 2017 Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. Fred, A., Dietz, J. L. G., Aveiro, D., Liu, K. & Filipe, J. (red.). Springer, s. 399-420 (Communications in Computer and Information Science, Vol. 631).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  7. Udgivet

    Adaptive sampling for nonlinear dimensionality reduction based on manifold learning

    Franz, T., Zimmermann, R. & Goertz, S. 2017 Model Reduction of Parametrized Systems III: The special volume in MS&A series, edited by Springer.. Springer, s. 1-15 15 s. 22

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  8. Udgivet

    Batch Coloring of Graphs

    Boyar, J., Epstein, L., Favrholdt, L. M., Larsen, K. S. & Levin, A. 2017 Approximation and Online Algorithms: 14th International Workshop on Approximation and Online Algorithms, WAOA 2016. Jansen, K. & Mastrolilli, M. (red.). Springer, s. 52-64 (Lecture Notes in Computer Science, Vol. 10138).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  9. Udgivet

    CBP: A New Parallelization Paradigm for Massively Distributed Stream Processing

    Guo, Q. & Zhou, Y. 2017 Database Systems for Advanced Applications: Proceedings of the 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30. Selcuk, C., Lei, C., Pedersen, T. B., Lijun, C. & Wen, H. (red.). Springer, Vol. Part II, s. 304-320 (Lecture Notes in Computer Science, Vol. 10178).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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

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

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

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

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

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

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

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

  18. Udgivet
  19. Udgivet
  20. 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. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 14:1-14:14 (OpenAccess Series in Informatics, Vol. 59).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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

  22. 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, Vol. 10609).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  23. 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, Vol. 10499).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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

  25. Udgivet
  26. Udgivet

    On the Power and Limits of Sequence Similarity Based Clustering of Proteins Into Families

    Wiwie, C. & Röttger, R. 2017 Biocomputing 2017: Proceedings of the Pacific Symposium. Altman, R. B., Dunker, A. K., Hunter, L., Ritchie, M., Murray, T. & Klein, T. (red.). World Scientific Publishing Co Pte Ltd, s. 39-50

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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