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: Proceedings of the 10th International Conference on Graph Transformation. de Lara, J. & Plump, D. (red.). Cham: Springer, s. 54-69 (Lecture Notes in Computer Science, Vol. 10373).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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

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

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

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

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

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

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

  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

    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

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

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

  20. Udgivet

    Outlier Detection

    Zimek, A. & Schubert, E. 2017 Encyclopedia of Database Systems. Liu, L. & Öszu, T. (red.). Springer, 5 s.

    Publikation: Forskning - peer reviewEncyclopædiartikel

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

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

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

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

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

  26. Udgivet

    Texture Classification From Single Uncalibrated Images: Random Matrix Theory Approach

    S. Nadimi, E., Herp, J., Buijs, M. M. & Blanes-Vidal, V. 2017 2017 IEEE Machine Learning for Signal Processing Workshop. IEEE Press

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

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