Springer

Central database

Publisher

  1. 2013
  2. Published

    Tree compression with top trees. / Bille, Philip; Gørtz, Inge Li; Landau, Gad M.; Weimann, Oren.

    Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Springer, 2013. p. 160-171 (Lecture Notes in Computer Science, Vol. 7965).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  3. Upper Ontology for Multi-Agent Energy Systems’ Applications. / Santos, Gabriel; Pinto, Tiago; Vale, Zita; Morais, Hugo; Praca, Isabel.

    Distributed Computing and Artificial Intelligence: Advances in Intelligent Systems and Computing. ed. / Sigeru Omatu; Jose Neves. Vol. 217 Springer, 2013. p. 617-624.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  4. Published

    What Genes Tell about Iris Appearance. / Harder, Stine; Christoffersen, Susanne R.; Johansen, Peter; Børsting, Claus; Morling, Niels; Andersen, Jeppe D.; Dahl, Anders Lindbjerg; Paulsen, Rasmus Reinhold.

    Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2013. p. 244-253 (Lecture Notes in Computer Science, Vol. 7766).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  5. Published

    XACML 3.0 in Answer Set Programming. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer, 2013. p. 89-105 (Lecture Notes in Computer Science, Vol. 7844).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  6. 2012
  7. Published

    A branch-and-price algorithm for the long-term home care scheduling problem. / Gamst, Mette; Jensen, Thomas Sejr.

    Operations Research Proceedings 2011: Selected Papers of the International Conference on Operations Research. ed. / Diethard Klatte; Hans-Jakob Lüthi; Karl Schmedders. Springer, 2012. p. 483-488 (Operations Research Proceedings).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  8. Published

    Absorption Kinetics of Insulin Mixtures after Subcutaneous Administration. / Rasmussen, Christian H.; Søeborg, Tue; Mosekilde, Erik; Colding-Jorgensen, Morten.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 329-359.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2012

  9. Published

    A generative model for probabilistic label fusion of multimodal data. / Iglesias, Juan Eugenio; Sabuncu, Mert Rory; Van Leemput, Koen.

    Multimodal Brain Image Analysis: Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings. Springer, 2012. p. 115–133 (Lecture Notes in Computer Science, Vol. 7509).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  10. Published

    A look back: 57 years of scientific computing. / Wasniewski, Jerzy.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski ; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 1-9 (Lecture Notes in Computer Science, Vol. 7203).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  11. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  12. Published

    Auto-tuning Dense Vector and Matrix-vector Operations for Fermi GPUs. / Sørensen, Hans Henrik Brandenborg.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 619-629 (Lecture Notes in Computer Science, Vol. 7203).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

Download list: To download, please limit the number of search results to 1,000 or less.