The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main
This book constitutes the refereed conference proceedings of the 19th Australasian Conference on Information Security and Privacy, ACISP 2014, held in Wollongong, NSW, Australia, in July 2014. The 26
This book constitutes the refereed proceedings of the 9th International Conference on Persuasive Technology, PERSUASIVE 2014, held in Padua, Italy, in May 2014. The 27 revised full papers and 12 revis
This volume constitutes the refereed proceedings of the 8th IFIP WG 11.2 International Workshop on Information Security Theory and Practices, WISTP 2014, held in Heraklion, Crete, Greece, in June/July
This book constitutes the refereed proceedings of the 7th International Conference on Trust and Trustworthy Computing, TRUST 2014, held in Heraklion, Crete, Greece in June/July 2014. The 10 full paper
This book constitutes the refereed proceedings of the 5th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management 2014, held as part of th
This book constitutes the refereed proceedings of the Second International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2014, held as part of the 16th International Conference
The two-volume set LNCS 8547 and 8548 constitutes the refereed proceedings of the 14th International Conference on Computers Helping People with Special Needs, ICCHP 2014, held in Paris, France, in Ju
The four-volume set LNCS 8513-8516 constitutes the refereed proceedings of the 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014, held as part of the 16th Inte
This book constitutes the refereed proceedings of the 12th International Conference on Applied Cryptography and Network Security, ACNS 2014, held in Lausanne, Switzerland, in June 2014. The 33 revised
Field-coupled nanocomputing (FCN) paradigms offer fundamentally new approaches to digital information processing that do not utilize transistors or require charge transport. Information transfer and c
One of the grand challenges in our digital world are the large, complex and often weakly structured data sets, and massive amounts of unstructured information. This “big data” challenge is most eviden
This book constitutes the refereed proceedings of the 14th International Symposium on Privacy Enhancing Technologies, PETS 2014, held in Amsterdam, The Netherlands, in July 2014. The 16 full papers pr
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark
This book constitutes the thoroughly refereed proceedings of the 9th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2013. The workshops were co-l
This book constitutes the proceedings of the Second International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS 2014, held as part of HCI International 2014 which took p
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Tutoring Systems, ITS 2014, held in Honolulu, HI, USA, in June 2014. The 31 revised full papers, 45 s
This book constitutes the refereed proceedings of the 13th International Conference on Ad-hoc, Mobile and Wireless Networks, ADHOC-NOW 2014, held in Benidorm, Spain, in June 2014. The 33 revised full
This book constitutes the refereed proceedings of the 12th International Conference on Formal Concept Analysis, ICFCA 2014, held in Cluj-Napoca, Romania, in June 2014. The 16 regular papers presented
The two-volume set LNCS 8525-8526 constitutes the refereed proceedings of the 6th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2014, held as part of the 16th International Co
The two volume set LNAI 8481 and 8482 constitutes the refereed conference proceedings of the 27th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Syst
This book constitutes the refereed proceedings of the 7th International Conference, FUN 2014, held in July 2014 in Lipari Island, Sicily, Italy.The 29 revised full papers were carefully reviewed and s
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Energy Efficient Data Centers, E2DC 2013, held in Berkeley, CA, USA, in May 2013; co-l
This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the NESS
This book constitutes the revised selected papers of the workshops of the 10th and 11th International Conference of Web-based Learning, ICWL 2011, held in Hong Kong, in December 2011 and ICWL 2012, he
The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computa
This book constitutes the proceedings of the 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2014, held in Copenhagen, Denmark, in May 2014.
This book constitutes the refereed proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014, held in Moscow, Russia, in June 2014. The 28 revised full papers presented toge
This book constitutes the revised selected papers of the workshops of the 11th International Conference on Service-Oriented Computing (ICSOC 2013), held in Berlin, Germany, in December 2013. The confe
The two-volume set LNAI 8443 + LNAI 8444 constitutes the refereed proceedings of the 18th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2014, held in Tainan, Taiwan, in May 201
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2014, held in Miami, FL, USA in
This book constitutes the refereed conference proceedings of the 13th International Symposium, W2GIS 2014, held in Seoul, South Korea, in May 2014. The 12 revised full papers presented were carefully
The research domains of information retrieval and databases have traditionally adopted different approaches to information management. However, in recent years, there has been an increasing cross-fert
This book contains selected contributions from some of the most renowned researchers in the field of small-scale robotics, based in large part on invited presentations from the workshop “The Different
This book constitutes the refereed proceedings of the Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2014, held in Tainan, Taiwan, in May 2014 in conjunction with PAKDD 2014, th
This book constitutes the refereed proceedings of the Second Annual Privacy Forum, APF 2014, held in Athens, Greece, in May 2014. The 12 revised papers presented in this volume were carefully reviewed
This book covers fundamental principles and computational approaches relevant to visual saliency computation. As an interdisciplinary problem, visual saliency computation is introduced in this book fr
This book constitutes revised selected papers from the International Workshop on Clinical Image-Based Procedures, CLIP 2013, held in conjunction with MICCAI 2012 in Nagoya, Japan, in September 2013. T