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

    A novel role for methyl cysteinate, a cysteine derivative, in cesium accumulation in Arabidopsis thaliana

    Adams, E., Miyazaki, T., Hayaishi-Satoh, A., Han, M., Kusano, M., Khandelia, H., Saito, K. & Shin, R. 2017 I : Scientific Reports. 7, 43170

    Publikation: Forskning - peer reviewTidsskriftartikel

  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

    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

  8. Udgivet

    An averaged polarizable potential for multiscale modeling in phospholipid membranes

    Witzke, S., List, N. H., Olsen, J. M. H., Steinmann, C., Petersen, M., Beerepoot, M. T. P. & Kongsted, J. 2017 I : Journal of Computational Chemistry. 38, 9, s. 601-611

    Publikation: Forskning - peer reviewTidsskriftartikel

  9. Udgivet

    Antistrong Digraphs

    Bang-Jensen, J., Bessy, S., Jackson, B. & Kriesell, M. 2017 I : Journal of Combinatorial Theory. Series B. 122, s. 68-90

    Publikation: Forskning - peer reviewTidsskriftartikel

  10. Udgivet

    Assessing frequency-dependent site polarisabilities in linear response polarisable embedding

    Nørby, M. S., Vahtras, O., Norman, P. & Kongsted, J. 2017 I : Molecular Physics. 115, 1-2, s. 39-47

    Publikation: Forskning - peer reviewTidsskriftartikel

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

  13. Udgivet

    Bayesian state prediction of wind turbine bearing failure

    Herp, J., Ramezani, M. H., Bach-Andersen, M., Pedersen, N. L. & Nadimi, E. S. 2017 I : Renewable Energy.

    Publikation: Forskning - peer reviewTidsskriftartikel

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

  16. Udgivet
  17. Udgivet

    Cheap arbitrary high order methods for single integrand SDEs

    Debrabant, K. & Kværnø, A. 2017 I : Bit (Lisse). 57, 1, s. 153-168

    Publikation: Forskning - peer reviewTidsskriftartikel

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

  19. Udgivet

    Computational approach to evaluation of optical properties of membrane probes

    Nåbo, L. J., List, N. H., Svendsen, C. S. & Kongsted, J. 2017 I : Journal of Chemical Theory and Computation. 13, 2, s. 719–726

    Publikation: Forskning - peer reviewTidsskriftartikel

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

  21. Udgivet
  22. Udgivet

    Decision Making on Fitness Landscapes

    Arthur, R. & Sibani, P. 2017 I : Physica A: Statistical Mechanics and its Applications. 471, s. 696–704

    Publikation: Forskning - peer reviewTidsskriftartikel

  23. Udgivet

    Efficient detection of differentially methylated regions using DiMmeR

    Almeida, D. M., Skov, I., Silva, A., Vandin, F., Tan, Q., Röttger, R. & Baumbach, J. 2017 I : Bioinformatics. 33, 4, s. 549-551

    Publikation: Forskning - peer reviewTidsskriftartikel

  24. Udgivet

    Electrostatic Stabilization Plays a Central Role in Autoinhibitory Regulation of the Na+,K+-ATPase

    Jiang, Q., Garcia, A., Han, M., Cornelius, F., Apell, H. J., Khandelia, H. & Clarke, R. J. 2017 I : Biophysical Journal. 112, 2, s. 288-299

    Publikation: Forskning - peer reviewTidsskriftartikel

  25. Udgivet
  26. Udgivet

    Feedback mechanisms in the postponement of fertility in Spain

    Ciganda, D. & Villavicencio, F. 2017 Agent-based modelling in population studies: Concepts, methods and applications. Grow, A. & Van Bavel, J. (red.). Springer, Kap. 14, s. 405–435 (Springer Series on Demographic Methods and Population Analysis, Vol. 41).

    Publikation: Forskning - peer reviewBidrag til bog/antologi

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