Springer, 0-387

Central database

Publisher

  1. 2015
  2. In press

    Optimal Sceduling of Stochastic Production Processes Through Model Checking. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Modelling and Management of Engineering Processes. ed. / Michael Schabacker; Kilian Gericke; Nikoletta Szélig; Sándor Vajna. Springer, 2015. p. 187-202.

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

  3. 2014
  4. Published

    Algorithm Theory - SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings.. / Ravi, R. (Editor); Gørtz, Inge Li (Editor).

    Springer, 2014. 391 p. (Lecture Notes in Computer Science, Vol. 8503).

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

  5. E-pub ahead of print

    Analyzing Social Interactions: Promises and Challenges of Cross Recurrence Quantification Analysis. / Fusaroli, Riccardo; Konvalinka, Ivana; Wallot, Sebastian.

    Translational Recurrences: From Mathematical Theory to Real-World Applications. ed. / N. Marwan; M. Riley; A. Giuliani; C. L. Webber Jr.Springer, 2014. (Springer Proceedings in Mathematics & Statistics, Vol. 103).

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

  6. Published

    An Institution for Imperative RSL Specifications. / Haxthausen, Anne Elisabeth.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 441-464 (Lecture Notes in Computer Science, Vol. 8373).

    Publication: Research - peer-reviewBook chapter – 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. 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

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

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

  11. Accepted

    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.

    Proceedings of the ICFEM 2014. Springer, 2014. (Lecture Notes in Computer Science, Vol. 8829).

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

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

  13. Published

    Condition Monitoring Benefit for Operation Support of Offshore Wind Turbines. / Thöns, Sebastian; McMillan, D.

    Reliability Modeling and Analysis of Smart Power Systems. Springer, 2014. p. 169-182.

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

  14. Published

    Data Extraction Tool to Analyse, Transform and Store Real Data from Electricity Markets. / Pereira, Ivo F.; Sousa, Tiago; Praca, Isabel; Freitas, Ana R.; Pinto, Tiago; Vale, Zita; Morais, Hugo.

    Distributed Computing and Artificial Intelligence. ed. / S. Omatu. Springer, 2014. p. 387-395 (Advances in Intelligent Systems and Computing, Vol. 290).

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

  15. Published

    Denial-of-Service Security Attack in the Continuous-Time World. / Wang, Shuling ; Nielson, Flemming; Nielson, Hanne Riis.

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

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

  16. Published

    Differential Geometry Applied to Rings and Möbius Nanostructures. / Lassen, Benny; Willatzen, Morten; Gravesen, Jens.

    Physics of Quantum Rings. ed. / Vladimir M. Fomin. Vol. Part III Springer, 2014. p. 409-435 (NanoScience and Technology).

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

  17. Published

    Domain Theory, Its Models and Concepts. / Andreasen, Mogens Myrup; Howard, Thomas J.; Bruun, Hans Peter Lomholt.

    An Anthology of Theories and Models of Design: Philosophy, Approaches and Empirical Explorations. ed. / A. Chakrabarti; L.T.M. Blessing. Springer, 2014. p. 173-195.

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

  18. Published

    Eels in culture, fisheries and science in Denmark. / Rindom, Suzanne; Tomkiewicz, Jonna; Munk, Peter; Aarestrup, Kim; Als, Thomas Damm; Pedersen, Michael Ingemann; Graver, Christian; Anderberg, Carina.

    Eels and humans. ed. / Katsumi Tsukamoto; Mari Kuroki. Tokyo : Springer, 2014. p. 41-61 (Humanity and the Sea).

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

  19. Published

    EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. / Dung, Phan Anh; Hansen, Michael Reichhardt; Madsen, Jan.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 520-540 (Lecture Notes in Computer Science, Vol. 8373).

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

  20. Published

    Elspot: Nord Pool Spot Integration in MASCEM Electricity Market Simulator. / Fernandes, Ricardo ; Santos, Gabriel; Praca, Isabel; Pinto, Tiago; Morais, Hugo; Pereira, Ivo F.; Vale, Zita.

    Highlights of Practical Applications of Heterogeneous Multi-Agent Systems.: The PAAMS Collection. ed. / J.M. Corchado. Springer, 2014. p. 262-272 (Communications in Computer and Information Science, Vol. 430).

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

  21. Evaluation of Mesoscale Model Profiles Against Consecutive Radiosounding Data During the Sofia 2003 Experiment. / Kirova, H.; Batchvarova, Ekaterina; Nikolov, Valeri .

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

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

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

  23. Force Spectroscopy of DNA and RNA: Structure and Kinetics from Single-Molecule Experiments. / Ettlinger, Rebecca Bolt; Sørensen, Michael Askvad; Oddershede, Lene Broeng.

    Nucleic Acid Nanotechnology: Part I. ed. / Jørgen Kjems; Elena Ferapontova; Kurt V. Gothelf. Springer, 2014. p. 23-52 (Nucleic Acids and Molecular Biology, Vol. 29).

    Publication: ResearchBook chapter – Annual report year: 2014

  24. Published

    Formal Security Analysis of the MaCAN Protocol.. / Bruni, Alessandro; Sojka, Michal; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014. ed. / Elvira Albert; Emil Sekerinski. Springer, 2014. p. 241-255 (Lecture Notes in Computer Science, Vol. 8739).

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

  25. Published

    Four Data Visualization Heuristics to Facilitate Reflection in Personal Informatics. / Cuttone, Andrea; Petersen, Michael Kai; Larsen, Jakob Eg.

    Proceedings of the 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014: Design for All and Accessibility Practice. ed. / Constantine Stephanidis; Margherita Antona . Springer, 2014. p. 541-552 (Lecture Notes in Computer Science; No. 8516).

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

  26. Published

    Geoid of Nepal from airborne gravity survey. / Forsberg, René; Olesen, Arne Vestergaard; Einarsson, Indriði; Manandhar, Niraj; Shreshta, Kalyan.

    Earth on the Edge: Science for a Sustainable Planet: Earth on the Edge: Science for a Sustainable Planet Earth on the Edge: Science for a Sustainable Planet Proceedings of the IAG General Assembly, Melbourne, Australia, June 28 - July 2, 2011. ed. / C. Rizos; P. Willis. Melbourne, Australia : Springer, 2014. (International Association of Geodesy Symposia, Vol. 139).

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

  27. Published

    Geoinformation for Informed Decisions. / Rahman, A. Abdul (Editor); Boguslawski, P. (Editor); Anton, François (Editor); Said, M. N. (Editor); Omar, K. M. (Editor).

    Springer, 2014. 261 p. (Lecture notes in geoinformation and Cartography).

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

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

  29. Published

    ICT-powered Health Care Processes. / Carbone, Marco; Christensen, Anders Skovbo; Nielson, Flemming; Nielson, Hanne Riis; Hildebrandt, Thomas; Sølvkjær, Martin.

    Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Springer, 2014. p. 59-68 (Lecture Notes in Computer Science, Vol. 8315).

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

  30. Published

    Indium Tin Oxide-Free Polymer Solar Cells: Toward Commercial Reality. / Angmo, Dechan; Espinosa Martinez, Nieves; Krebs, Frederik C.

    Low-cost Nanomaterials : Toward Greener and More Efficient Energy Applications. ed. / Z. Lin; J. Wang. Springer, 2014. p. 189-225 (Green Energy and Technology).

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

  31. Published

    Integrating Renewables in Electricity Markets : Operational Problems. / Morales González, Juan Miguel; Conejo, Antonio J.; Madsen, Henrik; Pinson, Pierre; Zugno, Marco.

    Springer, 2014. 429 p. (International Series in Operations Research and Management Science, Vol. 205).

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

  32. Published

    Measurements and modeling of the wind profile up to 600 meters at a flat coastal site. / Batchvarova, Ekaterina; Gryning, Sven-Erik; Floors, Rogier Ralph; Vincent, Claire Louise; Peña, Alfredo; Mikkelsen, Torben.

    Air Pollution Modeling and its Application XXII. ed. / Douw G. Steyn; Peter J.H. Builtjes; Renske M.A. Timmermans. Springer, 2014. p. 565-569.

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

  33. Published

    Methods for dynamic investigations of surface-attached in vitro bacterial and fungal biofilms.. / Sternberg, Claus; Bjarnsholt, Thomas; Shirtliff, Mark.

    Microbial Biofi lms: Methods and Protocols. ed. / Donelli Gianfranco. Vol. 1147 Springer, 2014. p. 3-22 (Methods in Molecular Biology, Vol. 1147).

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

  34. Methods for service life prediction in refractory materials. / Cannio, M.; Boccaccini, Dino; Boccaccini, A.R.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3008-3018.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  35. Published

    Methods for studying biofilm formation: flow cells and confocal laser scanning microscopy.. / Tolker-Nielsen, Tim; Sternberg, Claus.

    Pseudomonas Methods and Protocols. ed. / Alain Filloux; Juan-Luis Ramos. Vol. 1149 Springer, 2014. p. 615-629 (Methods in Molecular Biology, Vol. 1149).

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

  36. Microstructural tailoring of thermal shock resistance in refractory materials. / Cannio, M.; Boccaccini, Dino; Leonelli, C.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3042-3056.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  37. New Methods for the Assessment of Thermal Shock Resistance in Refractory Materials. / Cannio, M.; Boccaccini, Dino; Romagnoli, M.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3293-3307.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  38. Published

    On the (In)Equivalence of Impossible Differential and Zero-Correlation Distinguishers for Feistel- and Skipjack-Type Ciphers. / Blondeau, Celine; Bogdanov, Andrey; Wang, Meiqin.

    Applied Cryptography and Network Security. Springer, 2014. (Lecture Notes in Computer Science, Vol. 8479).

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

  39. Published

    Optical Coherence Tomography. / Mogensen, Mette; Themstrup, Lotte; Banzhaf, Christina; Marschall, Sebastian; Andersen, Peter E.; Jemec, Gregor B. E. J.

    Skin Cancer: A Practical Approach. ed. / Alfonso Baldi; Paola Pasquali; Enrico P. Spugnini. Springer, 2014. p. 257-266 (Current Clinical Pathology).

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

  40. Published

    Parallel Processing and Applied Mathematics. 10th International Conference, PPAM 2013. Revised Selected Papers. / Wyrzykowski, Roman (Editor); Dongarra, Jack (Editor); Karczewski, Konrad (Editor); Wasniewski, Jerzy (Editor).

    Springer, 2014. 817 p. (Lecture Notes in Computer Science, Vol. 8384).

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

  41. Published

    Particle Swarm Optimization of Electricity Market Negotiating Players Portfolio. / Pinto, Tiago; Vale, Zita; Sousa, Tiago; Morais, Hugo; Praca, Isabel.

    Highlights of Practical Applications of Heterogeneous Multi-Agent Systems.: The PAAMS Collection. ed. / J.M. Corchado. Springer, 2014. p. 273-84 (Communications in Computer and Information Science, Vol. 430).

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

  42. Published

    Patient-Specific Simulation of Implant Placement and Function for Cochlear Implantation Surgery Planning. / Ceresa, Mario; Mangado Lopez, Nerea; Dejea Velardo, Hector; Herrezuelo, Noemi Carranza ; Mistrik, Pavel; Kjer, Hans Martin; Vera, Sergio; Paulsen, Rasmus Reinhold; González Ballester, Miguel Angel.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014: Proceedings of the 17th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), Part II. ed. / Polina Golland; Nobuhiko Hata; Christian Barillot; joachim Hornegger; Robert Howe. Springer, 2014. p. 49-56 (Lecture Notes in Computer Science, Vol. 8674).

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

  43. Published

    Perceiving design as modelling: A cybernetic systems perspective. / Maier, Anja; Wynn, David C.; Howard, Thomas J.; Andreasen, Mogens Myrup.

    An Anthology of Theories and Models of Design: Philosophy, Approaches and Empirical Explorations. ed. / A. Chakrabarti; L.T.M. Blessing. Springer, 2014. p. 133-148.

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

  44. Published

    Planar Parametrization in Isogeometric Analysis. / Gravesen, Jens; Evgrafov, Anton ; Nguyen, Dang-Manh; Nørtoft, Peter.

    Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 – July 3, 2012, Revised Selected Papers. Springer, 2014. (Lecture Notes in Computer Science, Vol. 8177).

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

  45. Published

    Polymers for Fuel Cells. / Aili, David; Jensen, Jens Oluf; Li, Qingfeng.

    Encyclopedia of Polymeric Nanomaterials. Springer, 2014.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  46. Published

    Reinforcement Learning Based on the Bayesian Theorem for Electricity Markets Decision Support. / Sousa, Tiago; Pinto, Tiago; Praca, Isabel; Vale, Zita; Morais, Hugo.

    Distributed Computing and Artificial Intelligence. Springer, 2014. p. 141-48 (Advances in Intelligent Systems and Computing, Vol. 290).

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

  47. Published

    Reservoir Modeling Combining Geostatistics with Markov Chain Monte Carlo Inversion. / Zunino, Andrea; Lange, Katrine; Melnikova, Yulia; Hansen, Thomas Mejer; Mosegaard, Klaus.

    Mathematics of Planet Earth Lecture : Proceedings of the 15th Annual Conference of the International Association for Mathematical Geosciences. Springer, 2014. p. 683-687 (Lecture Notes in Earth Science).

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

  48. Published

    Security and Privacy in Video Surveillance: Requirements and Challenges. / Mahmood Rajpoot, Qasim; Jensen, Christian D.

    ICT Systems Security and Privacy Protection: Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC) 2014. ed. / Nora Cuppens-Boulahia; Sushil Jajodia; Anas Abou El Kalam; Thierry Sans. Springer, 2014. p. 169-184 (IFIP AICT - Advances in Information and Communication technology, Vol. 428).

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

  49. Published

    Security and Trust Management : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings. / Mauw, Sjouke (Editor); Jensen, Christian D. (Editor).

    Springer, 2014. 208 p. (Lecture Notes in Computer Science, Vol. 8743).

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

  50. Published

    Smart Rotor Modeling: Aero-Servo-Elastic Modeling of a Smart Rotor with Adaptive Trailing Edge Flaps. / Bergami, Leonardo.

    Springer, 2014. 156 p. (Research Topics in Wind Energy, Vol. 3).

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

  51. Published

    Strategic Bidding for Electri city Markets Negotiation Using Support Vector Machines. / Pereira, Rafael; Sousa, Tiago; Pinto, Tiago; Praca, Isabel; Morais, Hugo.

    Trends in Practical Applications of Heterogeneous Multi-Agent Systems.: The PAAMS Collection. ed. / J.M. Corchado. Springer, 2014. p. 9-17 (Advances in Intelligent Systems and Computing, Vol. 293).

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

  52. Published

    Sublinear Space Algorithms for the Longest Common Substring Problem. / Kociumaka, Tomasz; Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Algorithms - ESA 2014: Proceedings of the 22th Annual European Symposium 2014. ed. / Andreas S. Schulz; Dorothea Wagner. Springer, 2014. p. 605-617 (Lecture Notes in Computer Science, Vol. 8737).

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

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