This book constitutes the thoroughly refereed post-workshop proceedings of two workshops held at the International Conference on Artificial Intelligence in Medicine, AIME 2015, held in Pavia, Italy, in June 2015: the 7th International Workshop on Knowledge Representation for Health Care, KR4HC 2015, and the 8th International Workshop on Process-oriented Information Systems in Healthcare, ProHea…
The 6th International Conference in Methodologies and intelligent Systems for Technology Enhanced Learning held in Seville (Spain) is host by the University of Seville from 1st to 3rd June, 2016. The 6th edition of this conference expands the topics of the evidence-based TEL workshops series in order to provide an open forum for discussing intelligent systems for TEL, their roots in novel learn…
This book constitutes the thoroughly refereed proceedings of the 5th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2013, held in Vilamoura, Portugal, in September 2013. The 27 full papers presented together with two invited papers were carefully reviewed and selected from 239 submissions. The papers are organized in topical sections …
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
Interdisciplinary research related to meachnical engineering and humanities Cybernetic methods used in various application fields Innovation method, demographic change, engineering education best practices Production engineering, robotics, autonomous systems
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated a…
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequ…
This volume presents selected peer-reviewed, revised and extended research articles written by prominent researchers who participated in the World Congress on Engineering 2015, held in London, UK, 1-3 July, 2015. This large international conference covered advances in engineering technologies and the physical sciences, with contributions on subjects including mechanical engineering, bioengineer…