This book provides a brief introduction to the theory of finite dimensional differential inclusions, and deals in depth with control of three kinds of differential inclusion systems. The authors introduce the algebraic decomposition of convex processes, the stabilization of polytopic systems, and observations of Luré systems. They also introduce the elemental theory of finite dimensional diffe…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
This book provides case studies accompanied by questions and commentaries for the specialist registrar in diabetes and endocrinology, to assist with problem-based learning during their training. The case studies range from the everyday to the rare and complicated, presenting a strong foundation for the specialist trainee to prepare them for their qualifying exams and, more importantly, for thei…
In prosthetic devices, electrodes are the interfaces between the implant system and the body. Electrodes may be used for neural stimulation or neural signal recording according to the application. The signals to be recorded are typically small, i.e. some tens of microvolts for single pulse activity to a maximum amplitude of around 80 mV for intracellular potentials measured for example by f…
This work is a detailed study of both the theoretical and phenomenological consequences of a massive graviton, within the ghost-free theory of massive gravity, the de Rham-Gabadadze-Tolley (dRGT) theory. Its aim is to test the physical viability of the theory. It begins by putting constraints on the parameters of the theory in the decoupling limit based on purely theoretical grounds, like class…
This book provides detailed information on the emerging applications of nanomaterials and nanoparticles within endodontics, highlighting the exciting potential clinical impact of nanotechnology in the field. The range of applications covered is diverse, encompassing drug and gene delivery, tissue engineering, antibacterial strategies, dentin tissue stabilization, dentin pulp regeneration and us…
What do stories in games have in common with political narratives?This book identifies narrative strategies as mechanisms for meaning and manipulation in games and real life. It shows that the narrative mechanics so clearly identifiable in games are increasingly used (and abused) in politics and social life. They have »many faces«, displays and interfaces. They occur as texts, recipes, storie…
The book describes the basic principles of transforming nano-technology into nano-engineering with a particular focus on chemical engineering fundamentals. This book provides vital information about differences between descriptive technology and quantitative engineering for students as well as working professionals in various fields of nanotechnology. Besides chemical engineering principles, th…
This encyclopedia provides a snapshot of our current geological knowledge on solid-surface Solar System bodies. Each entry contains information about the features’ morphology, its interpretation, proposed formation models, distribution and occurrence, planetary or terrestrial analogs, and research history. The entries are fully referenced. All image captions include original image IDs. More …
Knowledge in the field of parasitology must be kept at a high level and up to date in order to fight a parasitosis as quickly and effectively as possible. This work, one of Springer's renowned and authoritative Major Reference Works, contributes to these goals in several ways. First, it comprises a number of entries, consisting of both in-depth essays and definitions. Secondly, the content has …