Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. 2016
  2. Published

    Acid–Base Chemistry and Proton Conductivity. / Li, Qingfeng; Aili, David; Savinell, Robert F.; Jensen, Jens Oluf.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 37-57.

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

  3. Published

    Bioinformatics Tools for the Discovery of New Nonribosomal Peptides. / Leclère, Valérie; Weber, Tilmann; Jacques, Philippe; Pupin, Maude.

    Nonribosomal Peptide and Polyketide Biosynthesis: Methods and Protocols. Vol. 1401 Springer, 2016. p. 209-232 (Methods in Molecular Biology).

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

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

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

  6. Published

    Durability Issues and Status of PBI-Based Fuel Cells. / Jakobsen, Mark Tonny Dalsgaard; Jensen, Jens Oluf; Cleemann, Lars Nilausen; Li, Qingfeng.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 487-509.

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

  7. Published

    Electrokinetic Soil Remediation : An Overview. / Hansen, H.K.; Ottosen, Lisbeth M.; Ribeiro, A.B.

    Electrokinetics Across Disciplines and Continents: New Strategies for Sustainable Development. Springer, 2016. p. 3-18.

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

  8. Published

    General Momentum Theory for Horizontal Axis Wind Turbines. / Sørensen, Jens Nørkær.

    Springer, 2016. 194 p. (Research Topics in Wind Energy, Vol. 4).

    Publication: ResearchDoctoral thesis – Annual report year: 2015

  9. Published

    Incorporation of Different Fly Ashes from MSWI as Substitute for Cement in Mortar : An Overview of the Suitability of Electrodialytic Pre-treatment. / Magro, Cátia C.; Guedes, Paula R.; Kirkelund, Gunvor Marie; Jensen, Pernille Erland; Ottosen, Lisbeth M.; Ribeiro, Alexandra B.

    Electrokinetics Across Disciplines and Continents: New Strategies for Sustainable Development. Springer, 2016. p. 225-247.

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

  10. Published

    Introduction. / Jensen, Jens Oluf; Hjuler, Hans Aage; Aili, David; Li, Qingfeng.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 1-4.

    Publication: ResearchBook chapter – Annual report year: 2016

  11. Published

    Polybenzimidazole Membranes by Post Acid Doping. / Aili, David; Jensen, Jens Oluf; Li, Qingfeng.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 195-215.

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

  12. Published

    Synthesis of Polybenzimidazoles. / Yang, Jingshuai; He, Ronghuan; Aili, David.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 151-167.

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

  13. Published

    Techniques for PBI Membrane Characterization. / Henkensmeier, Dirk; Aili, David.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 127-150.

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

  14. 2015
  15. Published

    4-D PET-MR with Volumetric Navigators and Compressed Sensing. / Pedemonte, Stefano ; Catana, Ciprian; Van Leemput, Koen.

    Computational Methods for Molecular Imaging. ed. / Fei Gao; Kuangyu Shi; Shuo Li. Springer, 2015. p. 93-101 (Lecture Notes in Computational Vision and Biomechanics, Vol. 22).

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

  16. Published

    Access, Rank, and Select in Grammar-compressed Strings. / Belazzougui, Djamal ; Cording, Patrick Hagge; Puglisi, Simon J. ; Tabei, Yasuo .

    Proceedings of the 23rd Annual European Symposium on Algorithms – ESA 2015. ed. / Nikhil Bansal; Irene Finocchi. Springer, 2015. p. 142-154 (Lecture Notes in Computer Science, Vol. 9294).

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

  17. Published

    A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 101-116 (Lecture Notes in Computer Science, Vol. 9037).

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

  18. Published

    A Framework for Sustainable Design of Algal Biorefineries: Economic Aspects and Life Cycle Analysis. / Cheali, Peam; Loureiro da Costa Lira Gargalo, Carina; Gernaey, Krist; Sin, Gürkan.

    Algal Biorefineries: Volume 2: Products and Refinery Design. ed. / Aleš Prokop ; Rakesh K. Bajpai; Mark E. Zappi. Vol. 2 Springer, 2015. p. 511-535.

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

  19. Published

    Alice and Bob: Reconciling Formal Models and Implementation. / Almousa, Omar; Mödersheim, Sebastian Alexander; Viganò, Luca.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Springer, 2015. p. 66-85 (Lecture Notes in Computer Science, Vol. 9465).

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

  20. Published

    A Matheuristic for the Liner Shipping Network Design Problem with Transit Time Restrictions. / Brouer, Berit Dangaard; Desaulniers, Guy; Karsten, Christian Vad; Pisinger, David.

    Computational Logistics: Proceedings of the 6th International Conference, ICCL 2015. Springer, 2015. p. 195-208 (Lecture Notes in Computer Science, Vol. 9335).

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

  21. Published

    Analyzing Permutations for AES-like Ciphers: Understanding ShiftRows. / Beierle, Christof ; Jovanovic, Philipp ; Lauridsen, Martin Mehl; Leander, Gregor; Rechberger, Christian.

    Topics in Cryptology – CT-RSA 2015: Proceedings of the Cryptographers’ Track at the RSA Conference 2015. ed. / Kaisa Nyberg. Springer, 2015. p. 37-58 (Lecture Notes in Computer Science, Vol. 9048).

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

  22. Published

    An Ensemble of 2D Convolutional Neural Networks for Tumor Segmentation. / Lyksborg, Mark; Puonti, Oula; Agn, Mikael; Larsen, Rasmus.

    Proceedings of the 19th Scandinavian Conference on Image Analysis, SCIA 2015. Springer, 2015. p. 201-211 (Lecture Notes in Computer Science, Vol. 9127).

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

  23. Published

    An institution for object-z with inheritance and polymorphism. / Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M'hamed.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 134-154 (Lecture Notes in Computer Science, Vol. 8950).

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

  24. Published

    APE: Authenticated Permutation-Based Encryption for Lightweight Cryptography. / Andreeva, Elena; Bilgin, Begül; Bogdanov, Andrey; Luykx, Atul; Mennink, Bart; Mouha, Nicky; Yasuda, Kan.

    Revised Selected Papers of the 21st International Workshop Fast Software Encryption (FSE 2014). ed. / Carlos Cid; Christian Rechberger. Springer, 2015. p. 168-186 (Lecture Notes in Computer Science, Vol. 8540).

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

  25. Published

    A Probabilistic Analysis Framework for Malicious Insider Threats. / Chen, Taolue ; Kammuller, Florian; Nemli, Ibrahim ; Probst, Christian W.

    Proceedings of the third International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2015). ed. / Theo Tryfonas; Ioannis Askoxylakis. Springer, 2015. p. 178-189 (Lecture Notes in Computer Science, Vol. 9190).

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

  26. Published

    A Random Riemannian Metric for Probabilistic Shortest-Path Tractography. / Hauberg, Søren; Schober, Michael; Liptrot, Matthew George; Hennig, Philipp; Feragen, Aasa .

    Proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015: Part 1. ed. / Nassir Navab; Joachim Hornegger; William M. Wells; Alejandro F. Frangi. Springer, 2015. p. 597-604 (Lecture Notes in Computer Science, Vol. 9349).

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

  27. Published

    A Suffix Tree Or Not a Suffix Tree?. / Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Revised Selected Papers of the 25th International Workshop on Combinatorial Algorithms, IWOCA 2014. ed. / Jan Kratochvíl; Mirka Miller; Dalibor Froncek. Springer, 2015. p. 338-350 (Lecture Notes in Computer Science, Vol. 8986).

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

  28. Published

    A Survey on the Ship Loading Problem. / Iris, Cagatay; Pacino, Dario.

    Computational Logistics. Proceedings of 6th International Conference, ICCL 2015. Springer, 2015. p. 238-251 (Lecture Notes in Computer Science, Vol. 9335).

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

  29. Published

    A System for Conceptual Pathway Finding and Deductive Querying. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Jensen, Per Anker.

    Proceedings of the 11th International Conference on Flexible Query Answering Systems (FQAS 2015). Springer, 2015. p. 461-472 (Advances in Intelligent Systems and Computing, Vol. 400).

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

  30. Published

    Attack Tree Generation by Policy Invalidation. / Ivanova, Marieta Georgieva; Probst, Christian W.; Hansen, Rene Rydhof; Kammuller, Florian.

    Proceedings of the 9th IFIP WG 11.2 International Conference on Information Security Theory and Practice, WISTP 2015. ed. / Raja Naeem Akram; Sushil Jajodia. Springer, 2015. p. 249-259 (Lecture Notes in Computer Science, Vol. 9311).

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

  31. Published

    Attributes Enhanced Role-Based Access Control Model. / Mahmood Rajpoot, Qasim; Jensen, Christian D.; Krishnan, Ram .

    Proceedings of the 12th International Conference on Trust, Privacy and Security in Digital Business (TrustBus’15). ed. / Simone Fischer-Huebner; Costas Lambrinoudakis. Springer, 2015. p. 3-17 (Lecture Notes in Computer Science, Vol. 9264).

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

  32. Published

    A white box perspective on behavioural adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

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

  33. Published

    Basic Microfluidics Theory. / Svendsen, Winnie Edith.

    Lab-on-a-Chip Devices and Micro-Total Analysis Systems. Springer, 2015. p. 17-26.

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

  34. Published

    Bunker Purchasing in Liner Shipping. / Plum, Christian Edinger Munk; Pisinger, David; Neergaard Jensen, Peter.

    Handbook of Ocean Container Transport Logistics: Making Global Supply Chains Effective. ed. / Chung-Yee Lee; Qiang Meng. Springer, 2015. p. 251-278 (International Series in Operations Research and Management Science, Vol. 220).

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

  35. Published

    Capacity Analysis of Freight Transport with Application to the Danish and Southern Swedish Railway. / Reinhardt, Line Blander; Nordholm, Susanne; Pisinger, David.

    Computational Logistics. Proceedings of 6th International Conference, ICCL 2015. ed. / Francesco Corman; Stefan Voss; Rudy R. Negenborn. Springer, 2015. p. 627-647 (Lecture Notes in Computer Science, Vol. 9335).

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

  36. Published

    Carbon Nanotube-Based Separation Columns for Microchip Electrochromatography. / Mogensen, Klaus Bo; Delacourt, B.; Kutter, Jörg Peter.

    Microchip Capillary Electrophoresis Protocols . Springer, 2015. p. 149-159 (Methods in Molecular Biology, Vol. 1274).

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

  37. Published

    Characterizing Digital Light Processing (DLP) 3D Printed Primitives. / Tyge, Emil; Pallisgaard, Jens J. ; Lillethorup, Morten; Hjaltalin, Nanna G. ; Thompson, Mary Kathryn; Clemmensen, Line Katrine Harder.

    Proceedings of the 19th Scandinavian Conference on Image Analysis, SCIA 2015. Springer, 2015. p. 302-313 (Lecture Notes in Computer Science, Vol. 9127).

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

  38. Published

    Ciphers for MPC and FHE. / R. Albrecht, Martin; Rechberger, Christian; Schneider, Thomas; Tiessen, Tyge; Zohner, Michael.

    Advances in Cryptology – EUROCRYPT 2015: Proceedings of the 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Part 1. ed. / Elisabeth Oswald; Marc Fischlin. Springer, 2015. p. 430-454 (Lecture Notes in Computer Science, Vol. 9056).

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

  39. Published

    Circulating Extracellular microRNA in Systemic Autoimmunity. / Heegaard, Niels H. H.; Carlsen, Anting Liu; Skovgaard, Kerstin; Heegaard, Peter M. H.

    Circulating microRNAs in Disease Diagnostics and their Potential Biological Relevance. Vol. 106 Springer, 2015. p. 171-195.

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

  40. Published

    Comb to Pipeline: Fast Software Encryption Revisited. / Bogdanov, Andrey; Lauridsen, Martin Mehl; Tischhauser, Elmar Wolfgang.

    Revised Selected Papers of the 22nd International Workshop on Fast Software Encryption (FSE 2015). ed. / Gregor Leander. Springer, 2015. p. 150-171 (Lecture Notes in Computer Science, Vol. 9054).

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

  41. Published

    Communication Technologies for Vehicles : Proceedings of the 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015. / Kassab, Mohamed (Editor); Berbineau, Marion (Editor); Vinel, Alexey; Jonsson, Magnus (Editor); Garcia, Fabien (Editor); Soler, José (Editor).

    Springer, 2015. 241 p. (Computer Communication Networks and Telecommunications, Vol. 9066).

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

  42. Published

    Compressed Data Structures for Range Searching. / Bille, Philip; Gørtz, Inge Li; Vind, Søren Juhl.

    Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015). ed. / Adrian-Horia Dediu; Enrico Formenti; Carlos Martín-Vide; Bianca Truthe. Springer, 2015. p. 577-586 (Lecture Notes in Computer Science, Vol. 8977).

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

  43. Published

    Conceptual Design. Interpretations, Mindset and Models. / Andreasen, Mogens Myrup; Hansen, Claus Thorp; Cash, Philip.

    Springer, 2015. 394 p.

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

  44. Published

    Contact mechanics, friction and adhesion with application to quasicrystals. / Persson, Bo; Carbone, Giuseppe; Samoilov, Vladimir N.; Sivebæk, Ion Marius; Tartaglino, Ugo; Volokitin, Aleksandr I.; Yang, Chunyan.

    Contact Mechanics, Friction and Adhesion with Application to Quasicrystals. Vol. 31 Springer, 2015. p. 249-287 (NanoScience and Technology).

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

  45. Published

    Continuous Context-Aware Device Comfort Evaluation Method. / Guo, Jingjing; Jensen, Christian D.; Ma, Jianfeng.

    Proceedings of the 9th IFIP WG 11.11 International Conference on Trust Management IX (IFIPTM 2015). ed. / Christian Damsgaard Jensen; Stephen Marsh; Theo Dimitrakos; Yuko Murayama. Springer, 2015. p. 203-211 (IFIP AICT - Advances in Information and Communication technology; No. 454).

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

  46. Published

    Crisp Clustering Algorithm for 3D Geospatial Vector Data Quantization. / Azri, Suhaibah; Anton, François; Ujang, Uznir; Mioc, Darka; Rahman, Alias A.

    3D Geoinformation Science: The Selected Papers of the 3D GeoInfo 2014. ed. / Martin Breunig ; Mulhim Al-Doori ; Edgar Butwilowski; Paul V. Kuper; Joachim Benner ; Karl Heinz Haefele. Springer, 2015. p. 71-85 (Lecture notes in geoinformation and Cartography).

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

  47. Damage Detection in CFRP Components Using DIC. / Antin, Kim-Niklas ; Harhanen, Lauri Oskari; Bossuyt, Sven .

    Advancement of Optical Methods in Experimental Mechanics: Proceedings of the 2015 Annual Conference on Experimental and Applied Mechanics. Springer, 2015. p. 57-62 (:Conference Proceedings of the Society for Experimental Mechanics Series, Vol. 3).

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

  48. Published

    Diagnosis and Fault-tolerant Control, 3rd Edition. / Blanke, Mogens; Kinnaert, Michel; Lunze, Jan; Staroswiecki, Marcel.

    3. edition ed. Springer, 2015. 672 p.

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

  49. Published

    Discretionary Information Flow Control for Interaction-Oriented Specifications. / Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Springer, 2015. p. 427-450 (Lecture Notes in Computer Science, Vol. 9200).

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

  50. Published

    Economic Impacts of Future Changes in the Energy System - Global Perspectives. / Glynn, James; Fortes, Patrícia; Krook-Riekkola, Anna; Labriet, Maryse; Vielle, Marc; Kypreos, Socrates; Lehtilä, Antti; Mischke, Peggy; Dai, Hancheng; Gargiulo, Maurizio; Helgesen, Per Ivar; Kober, Tom; Summerton, Phil; Merven, Bruno; Selosse, Sandrine; Karlsson, Kenneth; Strachan, Neil; Gallachóir, Brian.

    Informing Energy and Climate Policies Using Energy Systems Models: Insights from Scenario Analysis Increasing the Evidence Base. Springer, 2015. p. 333-358 (Lecture Notes in Energy, Vol. 30).

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

  51. Published

    Economic Impacts of Future Changes in the Energy System - National Perspectives. / Glynn, James; Fortes, Patrícia; Krook-Riekkola, Anna; Labriet, Maryse; Vielle, Marc; Kypreos, Socrates; Lehtilä, Antti; Mischke, Peggy; Dai, Hancheng; Gargiulo, Maurizio; Helgesen, Per Ivar; Kober, Tom; Summerton, Phil; Merven, Bruno; Selosse, Sandrine; Karlsson, Kenneth; Strachan, Neil; Gallachóir, Brian.

    Informing Energy and Climate Policies Using Energy Systems Models: Insights from Scenario Analysis Increasing the Evidence Base. Springer, 2015. p. 359-387 (Lecture Notes in Energy, Vol. 30).

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

  52. Published

    Effective and efficient model clone detection. / Störrle, Harald.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 440-457 (Lecture Notes in Computer Science, Vol. 8950).

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

  53. Published

    ¿El Caballo Viejo? Latin Genre Recognition with Deep Learning and Spectral Periodicity. / Sturm, Bob L.; Kereliuk, Corey Mose; Larsen, Jan.

    Proceedings of the 5th International Conference Mathematics and Computation in Music, MCM 2015. ed. / Tom Collins; David Meredith; Anja Volk. Springer, 2015. p. 335-346 (Lecture Notes in Computer Science, Vol. 9110).

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

  54. Published

    Energy-Efficient Optical Signal Processing Using Optical Time Lenses : Data Communication and Storage Applications. / Oxenløwe, Leif Katsuo; Galili, Michael; Mulvad, Hans Christian Hansen; Hu, Hao; Guan, Pengyu; Palushani, Evarist; Lillieholm, Mads; Clausen, Anders.

    All-Optical Signal Processing. ed. / Stefan Wabnitz; Benjamin J. Eggleton. Vol. 194 Springer, 2015. p. 261-289 (Springer Series in Optical Sciences).

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

  55. Published

    Factorization of Behavioral Integrity. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015: Part 2. ed. / Günther Pernul; Peter Y A Ryan; Edgar Weippl. Springer, 2015. p. 500-519 (Lecture Notes in Computer Science, Vol. 9327).

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

  56. Published

    Fault Detection in WSNs - An Energy Efficiency Perspective Towards Human-Centric WSNs. / Orfanidis, Charalampos; Zhang, Yue; Dragoni, Nicola.

    Proceedings of the 9th KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2015). ed. / Gordan Jezic; Robert J. Howlett; Lakhmi C. Jain. Springer, 2015. p. 285-300 (Smart Innovation, Systems and Technologies, Vol. 38).

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

  57. Published

    Fault diagnosis based on controller modification. / Niemann, Hans Henrik.

    Advanced and Intelligent Computations in Diagnosis and Control. Springer, 2015. p. 3-18 (Advances in Intelligent Systems and Computing, Vol. 386).

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

  58. Published

    Fault-Tolerant Digital Microfluidic Biochips: Compilation and Synthesis. / Pop, Paul (Editor); Alistar, Mirela (Editor); Stuart, Elena (Editor); Madsen, Jan (Editor).

    Springer, 2015. 234 p.

    Publication: ResearchBook – Annual report year: 2015

  59. Published

    Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. / Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan.

    Proceedings of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014). ed. / Cyrille Artho; Peter Csaba Ölveczky. Springer, 2015. p. 223-238 (Communications in Computer and Information Science, Vol. 476).

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

  60. Published

    Hoare Logic for Disjunctive Information Flow. / Nielson, Hanne Riis; Nielson, Flemming; Li, Ximeng.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. ed. / Chiara Bodei; Gian-Luigi Ferrari; Corrado Priami. Springer, 2015. p. 47-65 (Lecture Notes in Computer Science, Vol. 9465).

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

  61. Published

    How Not to Combine RC4 States. / Banik, Subhadeep; Jha, Sonu.

    Proceedings of the 5th International Conference on Security, Privacy, and Applied Cryptography Engineering (SPACE 2015). ed. / Rajat Subhra Chakraborty; Peter Schwabe; Jon Solworth. Springer, 2015. p. 95-112 (Lecture Notes in Computer Science, Vol. 9354).

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

  62. Published

    How to Trust the Re-use of Data. / Karafili, Erisa; Nielson, Hanne Riis; Nielson, Flemming.

    Proceedings of the 11th International Workshop on Security and Trust Management (STM 2015). ed. / Sara Foresti. Springer, 2015. p. 72-88 (Lecture Notes in Computer Science, Vol. 9331).

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

  63. Hybrid and Nano-composite Carbon Sensing Platforms. / Beliatis, Michail; Rozanski, Lynn J.; Jayawardena, K. D. G. Imalka; Rhodes, Rhys; Anguita, J.V.; Mills, Christopher A.; Silva, S. Ravi P.

    Carbon for Sensing Devices. ed. / Danilo Demarchi; Alberto Tagliaferro. Springer, 2015. p. 105-132.

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

  64. Published

    Hydrogen Production by Homogeneous Catalysis: Alcohol Acceptorless Dehydrogenation. / Nielsen, Martin.

    Hydrogen Production and Remediation of Carbon and Pollutants. ed. / Eric Lichtfouse; Jan Schwarzbauer; Didier Robert. Vol. 6 Switzerland : Springer, 2015. p. 1-60 (Environmental Chemistry for a Sustainable World).

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

  65. Published

    Image Analysis. : Proceedings. 19th Scandinavian Conference, SCIA 2015Copenhagen, Denmark, June 15–17, 2015. / Paulsen, Rasmus Reinhold (Editor); Pedersen, Kim Steenstrup (Editor).

    Springer, 2015. 544 p. (Lecture Notes in Computer Science, Vol. 9127).

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

  66. Published

    Improved Linear Cryptanalysis of Reduced-Round SIMON-32 and SIMON-48. / Abdelraheem, Mohamed Ahmed; Alizadeh, Javad; Alkhzaimi, Hoda A.; Aref, Mohammad Reza; Bagheri, Nasour; Gauravaram, Praveen.

    Progress in Cryptology – INDOCRYPT 2015: Proceedings of the 16th International Conference on Cryptology in India. ed. / Alex Biryukov; Vipul Goyal. Springer, 2015. p. 153-179 (Lecture Notes in Computer Science, Vol. 9462).

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

  67. Published

    Integrating Attributes into Role-Based Access Control. / Mahmood Rajpoot, Qasim; Jensen, Christian D.; Krishnan, Ram .

    Proceedings of the 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (2015). ed. / Pierangela Samarati. Springer, 2015. p. 242-249 (Lecture Notes in Computer Science, Vol. 9149).

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

  68. Published

    Introduction. / Pop, Paul; Alistar, Mirela; Stuart, Elena; Madsen, Jan.

    Fault-Tolerant Digital Microfluidic Biochips: Compilation and Synthesis. ed. / Paul Pop; Mirela Alistar; Elena Stuart; Jan Madsen. Springer, 2015. p. 1-10.

    Publication: ResearchBook chapter – Annual report year: 2015

  69. Published

    Klaim-DB: A Modeling Language for Distributed Database Applications. / Wu, Xi; Li, Ximeng; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 197-212 (Lecture Notes in Computer Science, Vol. 9037).

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

  70. Published

    Lab-on-a-chip devices and micro-total analysis systems : a practical guide. / Castillo, Jaime (Editor); Svendsen, Winnie Edith (Editor).

    Springer, 2015.

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

  71. Published

    Life Cycle Assessment in the Cereal and Derived Products Sector. / Renzulli, Pietro A. ; Bacenetti, Jacopo ; Benedetto, Graziella ; Fusi, Alessandra ; Ioppolo, Giuseppe ; Niero, Monia; Proto, Maria ; Salomone, Roberta ; Sica, Daniela; Supino, Stefania .

    Life Cycle Assessment in the Agri-food Sector: Case Studies, Methodological Issues and Best Practices. ed. / Bruno Notarnicola; Pietro A. Renzulli; Roberta Salomone; Rocco Roma; Luigia Petti; Alessandro K. Cerutti. Springer, 2015. p. 185-250.

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

  72. Published

    Linear Distinguishers in the Key-less Setting: Application to PRESENT. / Lauridsen, Martin Mehl; Rechberger, Christian.

    Revised Selected Papers of the 22nd International Workshop on Fast Software Encryption (FSE 2015). ed. / Gregor Leander. Springer, 2015. p. 217-240 (Lecture Notes in Computer Science, Vol. 9054).

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

  73. Published

    Links among impossible differential, integral and zero correlation linear cryptanalysis. / Sun, Bing; Liu, Zhiqiang; Rijmen, Vincent; Li, Ruilin; Cheng, Lei; Wang, Qingju; Alkhzaimi, Hoda A.; Li, Chao.

    CRYPTO 2015: Proceedings of the 35th Annual Cryptology Conference. Vol. 9215 Springer, 2015. p. 95-115 (Optical Network Design and Modeling).

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

  74. Published

    Longest Common Extensions in Trees. / Bille, Philip; Gawrychowski, Pawel; Gørtz, Inge Li; Landau, Gad M.; Weimann, Oren.

    Proceedings of the 26th Annual Symposium on Combinatorial Pattern Matching, CPM 2015. ed. / Ferdinando Cicalese; Ely Porat; Ugo Vaccaro. Springer, 2015. p. 52-64 (Lecture Notes in Computer Science, Vol. 9133).

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

  75. Published

    Magnetic Field. / Olsen, Nils.

    Encyclopedia of Remote Sensing. ed. / Eni G. Njoku. Springer, 2015. p. 358-362 (Encyclopedia of Earth Sciences Series).

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

  76. Published

    Magnetocaloric Energy Conversion : From Theory to Applications. / Kitanovski, Andrej; Tusek, Jaka; Tomc, Urban ; Plaznik, Uros ; Ozbolt, Marko ; Poredos, Alojz.

    Springer, 2015. 471 p. (Green Energy and Technology).

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

  77. Published

    Microfluidics and Lab-on-a-Chip Devices : History and Challenges. / Castillo, Jaime.

    Lab-on-a-Chip Devices and Micro-Total Analysis Systems. Springer, 2015. p. 1-15.

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

  78. Published

    Modal Inclusion Logic: Being Lax is Simpler than Being Strict. / Hella, Lauri; Kuusisto, Antti Johannes; Meier, Arne; Vollmer, Heribert.

    Proceedings of the 40th International Symposium Mathematical Foundations of Computer Science (MFCS 2015): Part 1. ed. / Giuseppe F. Italiano; Giovanni Pighizzini; Donald T. Sannella. Springer, 2015. p. 281-292 (Lecture Notes in Computer Science, Vol. 9234).

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

  79. Published

    Model Checking and Model-based Testing in the Railway Domain. / Haxthausen, Anne Elisabeth; Peleska, Jan.

    Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems. ed. / Rolf Drechsle; Ulrich Kühne. Springer, 2015. p. 82-121.

    Publication: ResearchBook chapter – Annual report year: 2015

  80. Published

    Modeling light-tissue interaction in optical coherence tomography systems. / Andersen, Peter E.; Jørgensen, Thomas Martini; Thrane, Lars; Tycho, Andreas; Yura, H. T.

    Optical coherence tomography: technology and applications. ed. / W. Drexler; J.G. Fujimoto. 2nd edition. ed. Springer, 2015. p. 95-140.

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

  81. Published

    Modeling light–tissue interaction in optical coherence tomography systems. / Andersen, Peter E.; Jørgensen, Thomas Martini; Thrane, Lars; Tycho, Andreas; Yura, Harold T.

    Optical Coherence Tomography. Springer, 2015. p. 95-140 (Optical Coherence Tomography: Technology and Applications, Second Edition).

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

  82. Published

    No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL. / Fränzle, Martin; Hansen, Michael Reichhardt; Ody, Heinrich .

    Correct System Design: Proceedings of the Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. ed. / Roland Meyer; Heike Wehrheim; André Platzer. Springer, 2015. p. 152-171 (Lecture Notes in Computer Science, Vol. 9360).

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

  83. Published

    Observations on the SIMON Block Cipher Family. / Kölbl, Stefan; Leander, Gregor; Tiessen, Tyge.

    Advances in Cryptology – CRYPTO 2015: Proceedings of the 35th Annual Cryptology Conference, Part 1. ed. / Rosario Gennaro; Matthew Robshaw. Springer, 2015. p. 161-185 (Lecture Notes in Computer Science, Vol. 9215).

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

  84. Published

    On Devising Boussinesq-type Equations with Bounded Eigenspectra: Two Horizontal Dimensions. / Eskilsson, Claes; Engsig-Karup, Allan Peter.

    Proceedings of the 18th European Conference on Mathematics for Industry (ECMI 2014). Springer, 2015.

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

  85. Published

    Online Open Neuroimaging Mass Meta-Analysis with a Wiki. / Nielsen, Finn Arup; Kempton, Matthew J.; Williams, Steven C. R.

    The Semantic Web: ESWC 2012 Satellite Events: Revised Selected Papers. ed. / Elena Simperl; Barry Norton; Dunja Mladenic; Emanuele Della Valle; Irini Fundulaki; Alexandre Passant; Raphaël Troncy. Springer, 2015. p. 259-271 (Lecture Notes in Computer Science, Vol. 7540).

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

  86. Published

    On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. / Vester, Steen.

    Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015. ed. / Bernd Finkbeiner; Geguang Pu; Lijun Zhang. Springer, 2015. p. 361-377 (Lecture Notes in Computer Science, Vol. 9364).

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

  87. Published

    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: Proceedings of the 3rd International Conference 2013. 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

  88. Published

    Pareto Efficient Solutions of Attack-Defence Trees. / Aslanyan, Zaruhi; Nielson, Flemming.

    Principles of Security and Trust: Proceedings of the 4th International Conference, POST 2015. ed. / Riccardo Focardi; Andrew Myers. Springer, 2015. p. 95-114 (Lecture Notes in Computer Science, Vol. 9036).

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

  89. Published

    Part E: Evolutionary Computation. / Neumann, Frank (Editor); Witt, Carsten (Editor); Merz, Peter (Editor); Coello Coello, Carlos A. (Editor); Bartz-Beielstein, Thomas (Editor); Schütze, Oliver (Editor); Mehnen, Jörn (Editor); Raidl, Günther (Editor).

    Springer Handbook of Computational Intelligence. ed. / Janusz Kacprzyk; Witold Pedrycz. Springer, 2015. p. 823-1288.

    Publication: ResearchBook chapter – Annual report year: 2015

  90. Published

    Polymer Based Biosensors for Medical Applications. / Cherré, Solène; Rozlosnik, Noemi.

    Advanced Polymers in Medicine. Springer, 2015. p. 513-537.

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

  91. Published

    Power and thermal efficient numerical processing. / Liu, Wei; Nannarelli, Alberto.

    Handbook on Data Centers: Part 1. ed. / Samee U. Khan; Albert Y. Zomaya. Springer, 2015. p. 263-286.

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

  92. Published

    Practical Attacks on AES-like Cryptographic Hash Functions. / Kölbl, Stefan; Rechberger, Christian.

    Progress in Cryptology - LATINCRYPT 2014. Vol. 8895 Springer, 2015. p. 259-273 (Lecture Notes in Computer Science).

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

  93. Published

    Prediction of Antibody Epitopes. / Nielsen, Morten; Marcatili, Paolo.

    Peptide Antibodies. Vol. 1348 Springer, 2015. p. 23-32 (Methods in Molecular Biology).

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

  94. Published

    Proteomics in Cell Culture: From Genomics to Combined ‘Omics for Cell Line Engineering and Bioprocess Development. / Heffner, Kelley; Kaas, Christian Schrøder; Kumar, Amit; Baycin-Hizal, Deniz; Betenbaugh, Michael.

    Animal Cell Culture. Vol. 9 Springer, 2015. p. 591-614 (Cell Engineering).

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

  95. Quantification of the Dynamics of DNA Repair to Ionizing Radiation via Colocalization of 53BP1 and γH2AX. / Groesser, Torsten; Fontenay, Gerald V.; Han, Ju; Chang, Hang; Pluth, Janice; Parvin, Bahram.

    Video Bioinformatics: From Live Imaging to Knowledge. ed. / Bir Bhanu; Prue Talbot. Springer, 2015. (Computational Biology, Vol. 22).

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

  96. Published

    Quantifying the Impact of Subgrid Scale Models in Actuator-Line Based LES of Wind Turbine Wakes in Laminar and Turbulent Inflow. / Chivaee, Hamid Sarlak; Meneveau, C.; Sørensen, Jens Nørkær; Mikkelsen, Robert.

    Direct and Large-Eddy Simulation IX. ed. / Jochen Frölich; Hans Kuerten; Bernard J. Geurts; Vincenzo Armenio. Springer, 2015. p. 169-175 (ERCOFTAC Series; No. 20).

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

  97. Published

    Quantitative Mapping of Mechanisms for Photoinitiated Coating Degradation. / Kiil, Søren.

    Service Life Prediction of Exterior Plastics: Vision for the Future. ed. / Christopher C. White; Jon Martin; J. Thomas Chapin. Springer, 2015. p. 185-198.

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

  98. Published

    Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Hölzl, Matthias; Lluch Lafuente, Alberto; Vandin, Andrea; Wirsing, Martin.

    Software Engineering for Collective Autonomic Systems: The ASCENS Approach. ed. / Martin Wirsing; Matthias Hölzl; Nora Koch; Philip Mayer. Springer, 2015. p. 163-184 (Lecture Notes in Computer Science, Vol. 8998).

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

  99. Published

    Replica-Based High-Performance Tuple Space Computing. / Andric, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 3-18 (Lecture Notes in Computer Science, Vol. 9037).

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

  100. Published

    Scanning Conductive Torsion Mode. / Sun, Ling; Bonaccurso, Elmar.

    Surface Science Tools for Nanomaterials Characterization. ed. / Challa S.S.R. Kumar. Springer, 2015. p. 199-225.

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

  101. Published

    SDN-based QoS Aware Network Service Provisioning. / Caba, Cosmin Marius; Soler, José.

    Mobile, Secure, and Programmable Networking. ed. / Selma Boumerdassi; Samia Bouzefrane; Éric Renault. Springer, 2015. p. 119-133 (Lecture Notes in Computer Science, Vol. 9395).

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

  102. Published

    Security of the AES with a Secret S-Box. / Tiessen, Tyge; Knudsen, Lars Ramkilde; Kölbl, Stefan; Lauridsen, Martin Mehl.

    Revised Selected Papers of the 22nd International Workshop on Fast Software Encryption (FSE 2015). ed. / Gregor Leander. Springer, 2015. p. 175-189.

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

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