This volume consists of a number of selected papers that were presented at the 9th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2014) in Limassol, Cyprus, after they were substantially revised and extended. The 26 regular papers and 19 short papers included in this proceedings cover all aspects of knowledge management, knowledge engineering, intellige…
This volume presents recent research on Methodologies and Intelligent Systems for Technology Enhanced Learning. It contains the contributions of MIS4TEL 2015, which took place in Salamanca, Spain,. On June 3rd to 5th 2015. Like the previous edition, this proceedings and the conference is an open forum for discussing intelligent systems for Technology Enhanced Learning and empirical methodolo…
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…