Knowledge Representation for Health Care: AIME 2015 International Joint Works…

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…

Methodologies and Intelligent Systems for Technology Enhanced Learning

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…

Knowledge Discovery, Knowledge Engineering and Knowledge Management: 5th Inte…

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 …

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015

Edition

-

ISBN/ISSN

978-3-319-24573-7

Collation

-

Series Title

-

Call Number

-

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015:18t…

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…

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015:18t…

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…

Automation, Communication and Cybernetics in Science and Engineering 2015/201

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

Automated Technology for Verification and Analysis : 13th International Sympo…

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…

Automated Reasoning with Analytic Tableaux and Related Methods : 24th Interna…

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…

Transactions on Engineering Technologies

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…