Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

  1. 2017
  2. Udgivet

    A micro-macro acceleration method for the Monte Carlo simulation of stochastic differential equations

    Debrabant, K., Samaey, G. & Zieliński, P. 2017 I : S I A M Journal on Numerical Analysis. 55, 6, s. 2745-2786

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  3. Udgivet

    A note on fractional disjoint transversals in hypergraphs

    Henning, M. A. & Yeo, A. 2017 I : Discrete Mathematics. 340, 10, s. 2349-2354

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  4. Udgivet
  5. 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: Bidrag til tidsskriftTidsskriftartikel

  6. Udgivet

    A quantum-mechanical perspective on linear response theory within polarizable embedding

    List, N. H., Norman, P., Kongsted, J. & Jensen, H. J. A. 2017 I : Journal of Chemical Physics. 146, 23, 15 s., 234101

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  7. Udgivet

    About simulations of the Zika virus, and membrane bending by electrostatic potentials (flexo-electricity)

    Khandelia, H., Bruhn, D. S. & Pezeshkian, W. 2017

    Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konference

  8. 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, Bind 631).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  9. Udgivet

    Acyclicity in edge-colored graphs

    Gutin, G., Jones, M., Sheng, B., Wahlström, M. & Yeo, A. 2017 I : Discrete Mathematics. 340, 2, 8 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  10. Udgivet

    Adaptive Sampling for Nonlinear Dimensionality Reduction Based on Manifold Learning

    Franz, T., Zimmermann, R. & Goertz, S. 2017 Model Reduction of Parametrized Systems. Brenner, P., Ohlberger, M., Patera, A., Rozza, G. & Urban, K. (red.). Springer, s. 225-269 (Modeling, Simulation & Applications, Bind 17).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  11. 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, s. 343–367 (Springer Series on Demographic Methods and Population Analysis, Bind 41).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologi

  12. 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: Bidrag til tidsskriftTidsskriftartikel

  13. Udgivet

    An integrative in-silico approach for therapeutic target identification in the human pathogen Corynebacterium diphtheriae

    Jamal, S. B., Hassan, S. S., Tiwari, S., Viana, M. V., De Jesus Benevides, L., Ullah, A., Turjanski, A. G., Barh, D., Ghosh, P., Costa, D. A., Silva, A., Röttger, R., Baumbach, J. & Azevedo, V. A. C. 2017 I : PLoS ONE. 12, 10, 25 s., e0186401

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  14. Udgivet
  15. Udgivet

    Analyzing Program Termination and Complexity Automatically with AProVE

    Giesl, J., Aschermann, C., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Hensel, J., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S. & Thiemann, R. 2017 I : Journal of Automated Reasoning. 58, 1, s. 3-31

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  16. 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: Bidrag til tidsskriftTidsskriftartikel

  17. Udgivet

    Ascorbic acid may not be involved in cryptochrome-based magnetoreception

    Nielsen, C., Kattnig, D. R., Sjulstok, E., Hore, P. J. & Solov'yov, I. A. 2017 I : Journal of the Royal Society. Interface. 14, 137, 10 s., 20170657

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  18. 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: Bidrag til tidsskriftTidsskriftartikel

  19. Udgivet

    Asymptotically safe and free chiral theories with and without scalars

    Mølgaard, E. & Sannino, F. 2017 I : Physical Review D. 96, 5, 15 s., 056004

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  20. Udgivet

    Asymptotically Safe Standard Model via Vectorlike Fermions

    Mann, R. B., Meffe, J. R., Sannino, F., Steele, T. G., Wang, Z. W. & Zhang, C. 2017 I : Physical Review Letters. 119, 26, 5 s., 261802

    Publikation: Bidrag til tidsskriftLetter

  21. Udgivet
  22. Udgivet

    Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

    Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J., Schneider-Kamp, P. & Aschermann, C. 2017 I : Journal of Automated Reasoning. 58, 1, s. 33-65

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  23. 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, Bind 10138).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  24. Udgivet
  25. Udgivet

    Bias-corrected and robust estimation of the bivariate stable tail dependence function

    Escobar-Bach, M., Goegebeur, Y., Guillou, A. & You, A. 2017 I : Test. 26, 2, s. 284-307

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  26. Udgivet

    Cartan subalgebras and the UCT problem

    Barlak, S. & Li, X. 2017 I : Advances in Mathematics. 316, s. 748–769

    Publikation: Bidrag til tidsskriftTidsskriftartikel

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