Springer, 0-387

Central database

Publisher

  1. 2014
  2. Published

    Availability by Design. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 277-278 (Lecture Notes in Computer Science; No. 8788).

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

  3. Published

    Uniform Protection for Multi-exposed Targets. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Formal Techniques for Distributed Objects, Components, and Systems. Proceedings. ed. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. p. 182-198 (Lecture Notes in Computer Science, Vol. 8461).

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

  4. Published

    Experimental Grey Box Model Identification of an Active Gas Bearing. / Theisen, Lukas Roy Svane; Pierart Vásquez, Fabián Gonzalo; Niemann, Hans Henrik; Santos, Ilmar; Blanke, Mogens.

    Vibration Engineering and Technology of Machinery: Proceedings of VETOMAC X 2014. ed. / Jyoti K. Sinha. Springer, 2014. p. 963-976 (Mechanisms and Machine Science, Vol. 23).

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

  5. Published

    Probabilistic shortest path tractography in DTI using Gaussian Process ODE solvers. / Schober, Michael; Kasenburg, Niklas; Feragen, Aasa ; Hennig, Philipp; Hauberg, Søren.

    Proceedings of the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2014), Part III. ed. / Polina Golland; Nobuhiko Hata; Christian Barillot; Joachim Hornegger; Robert Howe. Springer, 2014. p. 265-272 (Lecture Notes in Computer Science; No. 8675).

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

  6. Published

    Combining Formal Logic and Machine Learning for Sentiment Analysis. / Petersen, Niklas Christoffer ; Villadsen, Jørgen.

    Foundations of Intelligent Systems. ed. / T. Andreasen; H. Christiansen; J.-C. Cubero; Z.W. Ras. Springer, 2014. p. 375-384 (Lecture Notes in Computer Science, Vol. 8502).

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

  7. Published

    Automatic electricity markets data extraction for realistic multi-agent simulations. / Pereira, Ivo F.; Sousa, Tiago M.; Praca, Isabel; Freitas, Ana; Pinto, Tiago; Vale, Zita; Morais, Hugo.

    Advances in Practical Applications of Heterogeneous Multi-Agent Systems. Vol. 8473 Springer, 2014. p. 371-374 (Lecture Notes in Computer Science).

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

  8. Accepted

    Model-Based Motion Tracking of Infants. / Olsen, Mikkel Damgaard.

    Proceedings of the 2nd Workshop on Assistive Computer Vision and Robotics (ACVR 2014). Springer, 2014.

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

  9. Published

    Towards Constraining Glacial Isostatic Adjustment in Greenland Using ICESat and GPS Observations. / Nielsen, Karina; Sørensen, Louise Sandberg; Khan, Shfaqat Abbas; Spada, Giorgio; Simonsen, Sebastian Bjerregaard; Forsberg, René.

    Earth on the Edge: Science for a Sustainable Planet. ed. / C. Rizos; P. Willis. Springer, 2014. p. 325-331 (International Association of Geodesy Symposia, Vol. 139).

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

  10. Published

    History Matching with Geostatistical Prior: A Smooth Formulation. / Melnikova, Yulia; Lange, Katrine; Zunino, Andrea; Cordua, Knud Skou; Mosegaard, Klaus.

    Mathematics of Planet Earth. Springer, 2014. p. 703-707 (Lecture Notes in Earth Sciences).

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

  11. Published

    Symmetry Reduction in Infinite Games with Finite Branching. / Markey, Nicolas; Vester, Steen.

    Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014). ed. / Franck Cassez; Jean-François Raskin. Springer, 2014. p. 281-296 (Lecture Notes in Computer Science; No. 8837).

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

Previous 1 2 3 4 5 6 7 8 ...92 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