Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

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

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

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

  5. Udgivet

    An agent-based model of sex ratio at birth distortions

    Kashyap, R. & Villavicencio, F. 2017 Agent-based modelling in population studies: Concepts, methods and applications. Grow, A. & Van Bavel, J. (red.). Cham: Springer, Kap. 12, s. 343–367 (Springer Series on Demographic Methods and Population Analysis, Vol. 41).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

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

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

  8. 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 reviewBidrag til bog/antologi

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

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

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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

  12. 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, Kap. 10, s. 187-202 (Cultural Studies of Science Education , Vol. 13).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

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

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

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

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

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

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

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

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

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

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

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

  25. Udgivet

    A Simulated Annealing Algorithm for Maximum Common Edge Subgraph Detection in Biological Networks

    Larsen, S., Alkærsig, F. G., Ditzel, H., Jurisica, I., Alcaraz, N. & Baumbach, J. 2016 Proceedings of the Genetic and Evolutionary Computation Conference 2016. Association for Computing Machinery, s. 341-348

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  26. Udgivet

    A Software Package for Chemically Inspired Graph Transformation

    Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F. 2016 Graph Transformation: Proceedings of the 9th International Conference on Graph Transformation. Echahed, R. & Minas, M. (red.). Springer, s. 73-88 (Lecture Notes in Computer Science, Vol. 9761).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  27. Udgivet

    Active Integrity Constraints for Multi-context Systems

    Cruz-Filipe, L., Gaspar, G., Nunes, I. & Schneider-Kamp, P. 2016 Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. Blomqvist, E., Ciancarini, P., Poggi, F. & Vitali, F. (red.). Springer, s. 98-112 (Lecture Notes in Computer Science, Vol. 10024).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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