Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.

Marine renewable energy is a significant resource for generating electricity, and if some conversion technologies have already reached a certain level of maturity, others are emerging. The originality of this multidisciplinary book is to offer a broad spectrum of knowledge from academic and industry experts of various origins.

This book describes the different principles and equipment used in medical imaging. The importance of medical imaging for diagnostics is rapidly increasing. A good working knowledge of all the different possible physical principles involved in medical imaging is now imperative.

Nearly all solids are compised of grains. However most studies treat materials as a continious solid. The book applies analysis used on loose granular materials to dense grainular materials.

This book addresses the topic of modeling and numerical simulation of electrochemical devices type batteries and supercapacitors through various theoretical approaches, each aiming a description of physico-chemical phenomena occurring at different temporal and spatial scales.