Springer

Central database

Publisher

  1. 2016
  2. Published

    Brain Tumor Segmentation Using a Generative Model with an RBM Prior on Tumor Shape. / Agn, Mikael; Puonti, Oula; Rosenschöld, Per Munck af; Law, Ian; Van Leemput, Koen.

    1st International Workshop on Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries (Brainles 2015): Revised Selected Papers. Springer, 2016. p. 168-180 (Lecture Notes in Computer Science, Vol. 9556).

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

  3. Published

    Climate Change Risks – Methodological Framework and Case Study of Damages from Extreme Events in Cambodia. / Halsnæs, Kirsten; Kaspersen, Per Skougaard; Trærup, Sara Lærke Meltofte.

    Sustainable Development and Disaster Risk Reduction. ed. / Juha I. Uitto; Rajib Shaw. Springer, 2016. p. 71-85.

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

  4. Published

    Clone Detection for Graph-Based Model Transformation Languages. / Strüber, Daniel; Plöger, Jennifer; Acretoaie, Vlad.

    Theory and Practice of Model Transformations: Proceedings of 9th International Conference, ICMT 2016. ed. / Pieter Van Gorp; Gregor Engels. Springer, 2016. p. 191-206 (Lecture Notes in Computer Science, Vol. 9765).

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

  5. Published

    Codon optimizing for increased membrane protein production : a minimalist approach. / Mirzadeh, K.; Toddo, S.; Nørholm, Morten; Daley, Daniel O.

    Heterologous Expression of Membrane Proteins: Methods and Protocols. ed. / Isabelle Mus-Veteau. Vol. 1432 Springer, 2016. p. 53-61 (Methods in Molecular Biology).

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

  6. Published

    Comparing formal verification approaches of interlocking systems. / Haxthausen, Anne Elisabeth; Nguyen, Hoang Nga; Roggenbach, Markus.

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016 Paris, France, June 28–30, 2016 Proceedings. Vol. 9707 Springer, 2016. p. 160-177 (Lecture Notes in Computer Science).

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

  7. Published

    Complex-Valued ABCD Matrices and Speckle Metrology. / Hanson, Steen Grüner; Jakobsen, Michael Linde; Yura, Harold T.

    Linear Canonical Transforms: Theory and Applications. ed. / J. J. Healey; M. A. Kutay; J. T. Sheridan. Springer, 2016. p. 397-428 (Springer Series in Optical Sciences, Vol. 198).

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

  8. Published

    Compositional Verification of Multi-Station Interlocking Systems. / Macedo, Hugo Daniel dos Santos; Fantechi, Alessandro; Haxthausen, Anne Elisabeth.

    Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016): Discussion, Dissemination, Applications - Part II. Springer, 2016. p. 279-293 (Lecture Notes in Computer Science, Vol. 9953).

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

  9. Published

    Controlled Atmosphere Transmission Electron Microscopy : Principles and Practice. / Hansen, Thomas Willum (Editor); Wagner, Jakob Birkedal (Editor).

    Springer, 2016. 329 p.

    Publication: Research - peer-reviewBook – Annual report year: 2016

  10. Published

    Cryptanalysis of the full Spritz stream cipher. / Banik, Subhadeep; Isobe, Takanori.

    Revised Selected Papers of the 23rd International Conference on Fast Software Encryption (FSE 2016). Springer, 2016. p. 63-77 (Lecture Notes in Computer Science, Vol. 9783).

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

  11. Published

    Current Solid Mechanics Research. / Tvergaard, Viggo.

    IUTAM - A Short History. ed. / Peter Eberhard ; Stephen Juhasz . Springer, 2016.

    Publication: CommunicationBook chapter – Annual report year: 2017

Previous 1...3 4 5 6 7 8 9 10 ...133 Next
Download list: To download, please limit the number of search results to 1,000 or less.