Springer, 0-387
Central database
Publisher
- 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.
In: 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-review › Article in proceedings – Annual report year: 2013
- Published
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. / Ajspur, Mai; Goranko, Valentin.
In: 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-review › Article in proceedings – Annual report year: 2013
- Published
An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers. / Albrecht, Martin Roland; Leander, Gregor.
In: 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-review › Article in proceedings – Annual report year: 2013
- Published
Optical Coherence Tomography: Advanced Modeling. / Andersen, Peter E.; Thrane, Lars; Yura, Harold T.; Tycho, Andreas; Jørgensen, Thomas Martini.
In: 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-review › Book chapter – Annual report year: 2013
- Published
The Quest for Minimal Quotients for Probabilistic Automata. / Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun.
In: Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, 2013. p. 16-31 (Lecture Notes in Computer Science, Vol. 7795).Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
- 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.
In: 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-review › Article in proceedings – Annual report year: 2013
- Published
Differences in Radiotherapy Delivery and Outcome Due to Contouring Variation. / Hollensen, Christian; Persson, Gitte; Højgaard, Liselotte; Specht, Lena; Larsen, Rasmus.
In: Clinical Image-Based Procedures. From Planning to Intervention: International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2013. p. 122-129 (Lecture Notes in Computer Science, Vol. 7761).Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
- Published
Human - wildlife conflicts in Europe : Fisheries and fish-eating vertebrates as a model case. / Klenke, R.A. (Editor); Ring, I. (Editor); Kranz, A. (Editor); Jepsen, Niels (Editor); Rauschmayer, F. (Editor); Henle, K. (Editor).
Springer, 2013. 347 p. (Environmental Science and Engineering).Publication: Research - peer-review › Book – Annual report year: 2013
- Published
Applying mechanistic models in bioprocess development.. / Lencastre Fernandes, Rita; Bodla, Vijaya Krishna; Carlquist, Magnus; Heins, Anna-Lena; Eliasson Lantz, Anna; Sin, Gürkan; Gernaey, Krist V.
In: Advances in Biochemical Engineering/Biotechnology . Springer, 2013. p. 137–166 (Advances in Biochemical Engineering. Biotechnology, Vol. 132).Publication: Research - peer-review › Book chapter – Annual report year: 2013
- Published
Application for Wind Turbine Blades. / McGugan, Malcolm.
In: New Trends in Structural Health Monitoring. ed. / Wieslaw Ostachowicz; Alfredo Güemes . Springer, 2013. p. 373-427 (International Centre for Mechanical Sciences. Courses and Lectures, Vol. 542).Publication: Research - peer-review › Book chapter – Annual report year: 2013