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

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

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

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

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

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

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

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

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

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

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

  18. Udgivet

    Parallel SPARQL Query Optimization

    Wu, B., Zhou, Y., Jin, H. & Deshpande, A. 2017 Proceedings of the 33rd IEEE International Conference on Data Engineering (ICDE). IEEE Press, s. 547-558

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  19. Udgivet

    Progressive Recovery of Correlated Failures in Distributed Stream Processing Engines

    Su, L. & Zhou, Y. 2017 Advances in Database Technology: Proceedings of the 20th International Conference on Extending Database Technology. Markl, V., Orlando, S., Mitschang, B., Andritsos, P., Sattler, K-U. & Breß, S. (red.). OpenProceedings, s. 518-521 (Advances in Database Technology, Vol. 2017).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  20. Udgivet

    Redundancies in Data and their Effect on the Evaluation of Recommendation Systems: A Case Study on the Amazon Reviews Datasets

    Basaran, D., Ntoutsi, E. & Zimek, A. 2017 Proceedings of the 2017 SIAM International Conference on Data Mining. Society for Industrial and Applied Mathematics, Vol. 17, s. 390-398 (SIAM Data Mining).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  21. Udgivet

    Relaxing the Irrevocability Requirement for Online Graph Algorithms

    Boyar, J., Favrholdt, L. M., Kotrbcik, M. & Larsen, K. S. 2017 Algorithms and Data Structures - 15th International Symposium, WADS 2017. Ellen, F., Kolokolova, A. & Sack, J-R. (red.). Springer, Vol. 10389, s. 217-228 (Lecture Notes in Computer Science, Vol. 10389).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  22. Udgivet

    Sextet Model with Wilson Fermions

    Hansen, M. & Pica, C. 2017 Proceedings of the 34th Annual International Symposium on Lattice Field Theory. Proceedings of Science, 7 s. (P o S - Proceedings of Science).

    Publikation: ForskningKonferencebidrag i proceedings

  23. Udgivet

    The Paths to Choreography Extraction

    Cruz-Filipe, L., Larsen, K. S. & Montesi, F. 2017 Foundations of Software Science and Computation Structures: Proceedings of the 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Esparza, J. & Murawski, A. S. (red.). Springer, s. 424-440 (Lecture Notes in Computer Science, Vol. 10203).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  24. 2016
  25. Udgivet

    A new look at C-simplicity and the unique trace property of a group

    Haagerup, U. 2016 Operator Algebras and Applications: The Abel Symposium 2015. Carlsen, T. M., Larsen, N. S., Neshveyev, S. & Skau, C. (red.). Springer, s. 161-170 (Abel Symposia, Vol. 12).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  26. Udgivet

    A Practical Method for the Minimum Genus of a Graph: Models and Experiments

    Beyer, S., Chimani, M., Hedtke, I. & Kotrbcik, M. 2016 Experimental Algorithms: Proceedings of the 15th International Symposium on Experimental Algorithms. Goldberg, A. V. & Kulikov, A. S. (red.). Springer, s. 75-88 (Lecture Notes in Computer Science, Vol. 9685).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  27. Udgivet

    A simple method to optimize HMC performance

    Bussone, A., Della Morte, M., Drach, V., Hansen, M. R. L., Hietanen, A., Rantaharju, J. M. O. & Pica, C. 2016 Proceedings of the 34th Annual International Symposium on Lattice Field Theory. 7 s. 260. (P o S - Proceedings of Science).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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