Springer, 0-387

Central database

Publisher

  1. 2014
  2. Published

    A System for Computing Conceptual Pathways in Bio-medical Text Models. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Jensen, Per Anker.

    Foundations of Intelligent Systems. ed. / Troels Andreasen; Henning Christiansen; Juan-Carlos Cubero; Zbigniew W. Ras. Springer, 2014. p. 264-273 (Lecture Notes in Computer Science, Vol. 8502).

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

  3. 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. Springer, 2014. p. 371-374 (Lecture Notes in Computer Science, Vol. 8473).

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

  4. 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

  5. Published

    Barriers and Solutions for a Green Transition. / Meyer, Niels I.

    Im Hürdenlauf zur Energiewende: Von Transformationen, Reformen und Innovationen. ed. / Achim Brunnengräber; Maria Rosaria Di Nucci. Springer, 2014. p. 107-118.

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

  6. Published

    Boundary-Layer and Air Quality Study at “Station Nord” in Greenland. / Batchvarova, Ekaterina; Gryning, Sven-Erik; Skov, Henrik; Sørensen, Lise Lotte; Kirova, H.; Münkel, Christoph.

    Air Pollution Modeling and its Application XXIII. ed. / Douw Steyn; Rohit Mathur. Springer, 2014. p. 525-529 (Springer Proceedings in Complexity).

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

  7. Published

    Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?. / Arrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto.

    Revised Selected Papers of the 10th International Workshop on Rewriting Logic and Its Applications, WRLA 2014. ed. / Santiago Escobar. Springer, 2014. p. 21-41 (Lecture Notes in Computer Science, Vol. 8663).

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

  8. Published

    Colored Range Searching in Linear Space. / Grossi, Roberto; Vind, Søren Juhl.

    Algorithm Theory – SWAT 2014: Proceedings of the 14th Scandinavian Symposium and Workshops on Algorithm Theory. ed. / R. Ravi; Inge Li Gørtz. Springer, 2014. p. 229-240 (Lecture Notes in Computer Science, Vol. 8503).

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

  9. 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

  10. Published

    Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. / Braunstein, Cécile; Haxthausen, Anne Elisabeth; Huang, Wen-ling; Hübner, Felix; Peleska, Jan; Schulze, Uwe; Vu, Linh Hong.

    Formal Methods and Software Engineering: Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014. Springer, 2014. p. 380-395 (Lecture Notes in Computer Science, Vol. 8829).

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

  11. Published

    Compressed Subsequence Matching and Packed Tree Coloring. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    Combinatorial Pattern Matching: Proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014 . ed. / Alexander S. Kulikov; Sergei O. Kuznetsov; Pavel Pevzner. Springer, 2014. p. 40-49 (Lecture Notes in Computer Science, Vol. 8486).

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

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