This book covered methodology and seven additional tracks on ad-hoc, natural language processing, heterogeneous collection, ...
Continue reading
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...
Continue reading
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
Continue reading
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Continue reading
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Continue reading
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue reading
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
Continue readingThis monograph deals with energy based control of interactive robotic interfaces and the port-Hamiltonian framework is exploited ...
Continue readingObjectives of this work is to compare conventional cosmetics to biotechnology derived cosmeceuticals in terms of skin anti-aging, ...
Continue readingPprovides a highly-illustrated, clinical guide to the full range of cosmetic skin treatments. Bringing together experts from ...
Continue reading
This book constitutes the thoroughly refereed joint post-proceedings of nine workshops held as part of the 10th International ...
Continue reading
The long-term governance of radioactive waste continues to be a major complex and contentious socio-technical issue worldwide. ...
Continue reading
This book provides an overview of computational approaches to medical image examination and analysis in oral radiology utilizing ...
Continue reading
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...
Continue reading
This book was stimulated by the third CWUAAT workshop, held in Cambridge, England in April 2006; the contributors representing ...
Continue readingJuniorCoders is an innovative educational platform designed to introduce programming and robotics concepts to kids and beginners. ...
Continue reading
In this volume dedicated to him, introductory reviews to a number of the key processes and to the sources themselves are ...
Continue readingThis book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase ...
Continue readingElectroactive polymers (EAPs) respond to electrical stimulation with large deformations. They are dynamic actuators which ...
Continue reading
Offers a timely analysis of the new challenges posed by this phenomenon in the anti-doping community. The authors present ...
Continue reading