This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The cont…
This volume is a comprehensive collection of extended contributions from the fourth international symposium on Modeling and Implementing Complex Systems (MICS’2106) organized into four main topics: Networking and Cloud Computing, Software Engineering and Formal Methods, Intelligent and Information Systems, and Algorithms and Complexity. This book presents recent advances related to theory and…
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…
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…
Maximizing reader insights into the roles of intelligent agents in networks, air traffic and emergency departments, this volume focuses on congestion in systems where safety and security are at stake, devoting special attention to applying game theoretic analysis of congestion to: protocols in wired and wireless networks; power generation, air transportation and emergency department overcrowd…
This book examines how biotechnology can improve livestock breeding and farming, and thereby also animal products. In the first chapters the reader will discover which techniques and approaches are currently used to improve animal breeding, animal health and the value of animal products. Particular attention is given to reproduction techniques, animal nutrition and livestock vaccines that not o…
Microorganisms play an important role in the maintenance of the ecosystem structure and function. Bacteria constitute the major part of the microorganisms and possess tremendous potential in many important applications from environmental clean up to the drug discovery. Much advancement has been taken place in the field of research on bacterial systems. This book summarizes the experimental setu…
Questo libro trae la sua origine dagli appunti preparati per le lezioni di Metodi Matematici della Fisica tenute al Dipartimento di Fisica dell'Università di Pisa, e via via sistemati, raffinati e aggiornati nel corso di molti anni di insegnamento. L'intento generale è di fornire una presentazione per quanto possibile semplice e diretta dei metodi matematici basilari e rilevanti per la Fisica…
The book serves as a comprehensive resource for scientists and clinicians studying the role of non-coding RNAs in inflammation (viral infections, wound inflammation), human inflammatory diseases (i.e. rheumatoid arthritis, Crohn’s disease, diabetes) and innate immunity. It provides a universal reference work comprising both basic and specialized information. Given that ncRNAs represent new th…