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 …
This book presents lessons learnt from Japan’s past, in relation to coastal waters, industrial pollutants and concentrated urban populations. It examines ecosystem damage and pollution in coastal sea areas and addresses the question: What is the present status of Japanese estuaries from the view point of eutrophication and oligotrophication? The authors describe three typical situations, name…
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…
The work addresses the following questions in the context of interglacial climate dynamics: (i) What are the amplitudes of natural climate variations on timescales of several years to millennia? (ii) Do abrupt changes in the large-scale circulation of the Atlantic Ocean occur in interglacials? (iii) Which biogeochemical feedback mechanisms control the natural limits of atmospheric concentration…
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 book summarizes results of longstanding research and scientific contributions from many projects and relevant working groups. It collects and evaluates wind and wave climate projections under changing climate having design needs and marine safety in focus. Potential impact of projected climate change in met-ocean conditions on ships and offshore structures is discussed and illustrated by a…