Please enter a valid search term.

Currently Displaying Results
1167876-1167900 of 1545940

View book details for Design, User Experience, and Usability: Interactive Experience Design

4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III
Aaron Marcus
The three-volume set LNCS 9186, 9187, and 9188 constitutes the proceedings of the 4th International Conference on Design, User Experience, and Usability, DUXU 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, …
Gianfranco Donelli
The Series will provide microbiologists, hygienists, epidemiologists and infectious diseases specialists with well-chosen contributed volumes containing updated information in the areas of basic and applied microbiology involving relevant issues for public health, including bacterial, fungal and parasitic infections, zoonosis and …

View book details for Information Processing in Medical Imaging

24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings
Sebastien Ourselin, Daniel C. Alexander, Carl-Fredrik Westin, M. Jorge Cardoso
This book constitutes the proceedings of the 24th International Conference on Information Processing in Medical Imaging, IPMI 2015, held at the Sabhal Mor Ostaig College on the Isle of Skye, Scotland, UK, in June/July 2015.The 22 full papers and 41 …

View book details for Dysphagia

Diagnosis and Treatment
Olle Ekberg
The second edition of this well-received book provides a comprehensive and up-to-date description of the diagnosis and management of dysphagia, including oral, pharyngeal, and esophageal dysfunction. All aspects of dysphagia are covered, with detailed consideration of anatomy, physiology, and pathology. …

View book details for NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Clark Barrett, Misty Davies, Temesghen Kahsai
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected …

View book details for Database Systems for Advanced Applications

DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers
An Liu, Yoshiharu Ishikawa, Tieyun Qian, Sarana Nutanong, Muhammad Aamir Cheema
DASFAA is an annual international database conference, located in the Asia-Pacific region,which show cases state-of-the-art R & D activities in databases-terms and their applications. It provides a forum for technical presentations and discussions among database researchers, developers and users from …

View book details for Knowledge Representation for Health Care

HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers
David Riaño, Richard Lenz, Manfred Reichert
This book constitutes the refereed proceedings of two workshops held at the International Conference on Health Exploring Complexity and Medical Informatics Europe, HEC 2016, held in Munich, Germany, in September 2016: the 8th International Workshop on Knowledge Representation for Health …

View book details for Information Security Theory and Practice

9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings
Raja Naeem Akram, Sushil Jajodia
This volume constitutes the refereed proceedings of the 9th IFIP WG 11.2 International Conference(formerly Workshop) on Information Security Theory and Practices, WISTP 2015, held in Heraklion, Crete, Greece, in August 2015. The 14 revised full papers and 4 short papers …

View book details for Distributed, Ambient and Pervasive Interactions

4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings
Norbert Streitz, Panos Markopoulos
This book constitutes the refereed proceedings of the 4th International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 …

View book details for Rule Technologies. Research, Tools, and Applications

10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, …

View book details for Topics in Cryptology CT-RSA 2017

The Cryptographers Track at the RSA Conference 2017, San Francisco, CA, USA, February 1417, 2017, Proceedings
Helena Handschuh
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2017, CT-RSA 2017, held in San Francisco, CA, USA, in February 2017.The 25 papers presented in this volume were carefully reviewed and selected from 77 submissions.CT-RSA …

View book details for Software Technologies: Applications and Foundations

STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Paolo Milazzo, Dániel Varró, Manuel Wimmer
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in …

View book details for Intelligent Data Engineering and Automated Learning IDEAL 2015

16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings
Konrad Jackowski, Robert Burduk, Krzysztof Walkowiak, Michal Wozniak, Hujun Yin
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2015, held in Wroclaw, Poland, in October 2015. The 64 revised full papers presented were carefully reviewed and selected from 127 …

View book details for Logic, Language, and Computation

10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke
This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The …

View book details for NASA Formal Methods

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Sanjai Rayadurgam, Oksana Tkachuk
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected …

View book details for Graph-Based Representations in Pattern Recognition

11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 1618, 2017, Proceedings
Pasquale Foggia, Cheng-Lin Liu, Mario Vento
This book constitutes the refereed proceedings of the 11th IAPR-TC-15 International Workshop on Graph-Based Representation in Pattern Recognition, GbRPR 2017, held in Anacapri, Italy, in May 2017. The 25 full papers and 2 abstracts of invited papers presented in this …

View book details for Algorithms for Sensor Systems

11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers
Prosenjit Bose, Leszek Antoni Gąsieniec, Kay Römer, Roger Wattenhofer
This book constitutes revised selected papers from the 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, held in Patras, Greece, in September 2015.The 16 full papers presented in this volume were carefully reviewed and selected …

View book details for Search-Based Software Engineering

7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Márcio Barros, Yvan Labiche
This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015. The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers …

View book details for Fungal Biofilms and related infections

Advances in Microbiology, Infectious Diseases and Public Health Volume 3
Christine Imbert
This book covers the latest data available to understand the mechanisms causing the formation of single species fungal biofilms or polymicrobial biofilms involving fungal species; specific chapters present hot topics such as resistance mechanisms and composition and role of the …

View book details for Advances in Bioinformatics and Computational Biology

9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo Horizonte, Brazil, October 28-30, 2014, Proceedings
Sérgio Campos
This book constitutes the refereed proceedings of the 9th Brazilian Symposium on Bioinformatics, BSB 2014, held in Belo Horizonte, Brazil, in October 2014. The 18 revised full papers presented were carefully reviewed and selected from 32 submissions. The papers cover …

View book details for Advanced Intelligent Computing Theories and Applications

11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
De-Shuang Huang, Kyungsook Han
This book - in conjunction with the double volume LNCS 9225-9226 - constitutes the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. The total of 191 full and 42 …

View book details for Intelligent Information and Database Systems

7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Ngoc Thanh Nguyen, Bogdan Trawiński, Raymond Kosala
The two-volume proceedings of the ACIIDS 2015 conference, LNAI 9011 + 9012, constitutes the refereed proceedings of the 7th Asian Conference on Intelligent Information and Database Systems, held in Bali, Indonesia, in March 2015. The total of 117 full papers …
Houssem Haddar, Ralf Hiptmair, Peter Monk, Rodolfo Rodríguez, Alfredo Bermúdez de Castro, Alberto Valli
Presenting topics that have not previously been contained in a single volume, this book offers an up-to-date review of computational methods in electromagnetism, with a focus on recent results in the numerical simulation of real-life electromagnetic problems and on theoretical …

View book details for Extended Abstracts Fall 2013

Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
Maria del Mar González, Paul C. Yang, Nicola Gambino, Joachim Kock
The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven abstracts), …

View book details for Algebraic Informatics

6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Andreas Maletti
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015.The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics …
Currently Displaying Results
1167876-1167900 of 1545940