Springer, 0-387

Central database

Publisher

  1. Published

    Development of a GPU-accelerated MIKE 21 Solver for Water Wave Dynamics. / Aackermann, Peter Edward ; Pedersen, Peter Juhler Dinesen; Engsig-Karup, Allan Peter; Clausen, Thomas; Grooss, Jesper.

    Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing. Springer, 2013. p. 129-130 (Lecture Notes in Computer Science, Vol. 7686).

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

  2. Published

    Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. / Ahlbrecht, Tobias; Bender-Saebelkampf, Christian; Brito, Maiquel; Christensen, Nicolai Christian; Dix, Jürgen; Franco, Mariana Ramos; Heller, Hendrik; Hess, Andreas Viktor; Heßler, Axel; Hübner, Jomi Fred; Jensen, Andreas Schmidt; Johnsen, Jannick Boese; Köster, Michael; Li, Chengqian; Liu, Lu; Morato, Marcelo Menezes; Ørum, Philip Bratt; Schlesinger, Federico; Schmitz, TiagoLuiz; Sichman, Jaime Simão; Souza, Kaio Siqueira; Uez, Daniela Maria; Villadsen, Jørgen; Werner, Sebastian; Woller, Øyvind Grønland; Zatelli, Maicon Rafael.

    Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Springer, 2013. p. 366-390 (Lecture Notes in Computer Science, Vol. 8245).

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

  3. Published

    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. / Ajspur, Mai; Goranko, Valentin.

    Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Springer, 2013. p. 80-96 (Lecture Notes in Computer Science, Vol. 7750).

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

  4. Published

    An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers. / Albrecht, Martin Roland; Leander, Gregor.

    Selected Areas in Cryptography: 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers. Springer, 2013. p. 1-15 (Lecture Notes in Computer Science, Vol. 7707).

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

  5. Published

    Bisimulation for Single-Agent Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, H.; Jensen, Martin Holm.

    AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, 2013. p. 277-288 (Lecture Notes in Computer Science, Vol. 8272).

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

  6. Published

    Marine Gravity and Geoid from Satellite Altimetry. / Andersen, Ole Baltazar.

    Geoid Determination - Theory and Methods. ed. / Fernando Sansò; Michael G. Sideris. Springer, 2013. p. 401-451 (Lecture Notes in Earth Sciences, Vol. 110).

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

  7. Published

    Optical Coherence Tomography: Advanced Modeling. / Andersen, Peter E.; Thrane, Lars; Yura, Harold T.; Tycho, Andreas; Jørgensen, Thomas Martini.

    Handbook of Coherent-Domain Optical Methods: Biomedical Diagnostics, Environmental Monitoring, and Materials Science. ed. / Valery V. Tuchin. Springer, 2013. p. 743-798.

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

  8. Published

    Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Anker Jensen, Per; Lassen, Tine.

    Flexible Query Answering Systems: 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. ed. / Henrik Legind Larsen; Maria J. Martin-Bautista; María Amparo Vila; Troels Andreasen; Henning Christiansen. Springer, 2013. p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

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

  9. Published

    Parallelizable and Authenticated Online Ciphers. / Andreeva, Elena; Bogdanov, Andrey; Luykx, Atul; Mennink, Bart; Tischhauser, Elmar Wolfgang; Yasuda, Kan.

    Advances in Cryptology. 19th International Conference on the Theory and Application of Cryptology and Information Security. ed. / Kazue Sako; Palash Sarkar. Springer, 2013. p. 424-443 (Lecture Notes in Computer Science, Vol. 8269).

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

  10. Published

    Physicians’ Progress Notes : The Integrative Core of the Medical Record. / Bansler, Jørgen; Havn, Erling C.; Mønsted, Troels; Schmidt, Kjeld; Hastrup Svendsen, Jesper .

    Proceedings of the 13th European Conference on Computer Supported Cooperative Work (ECSCW 2013). ed. / O.W. Bertelsen. london : Springer, 2013. p. 123-142.

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

Previous 1 2 3 4 5 6 7 8 ...86 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word