Complexity Theory
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...
اقرأ المزيد
Complexity Theory and Cryptology
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
اقرأ المزيد
Computer Music Modeling and Retrieval (vol. # 3902)
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
اقرأ المزيدControl of Interactive Robotic Interfaces
This monograph deals with energy based control of interactive robotic interfaces and the port-Hamiltonian framework is exploited ...
اقرأ المزيدCosmeceuticals as Game Changers in the Cosmetic Industry / Mariana Azar ; Batoul El-Halabi ; Massa Salahi
Objectives of this work is to compare conventional cosmetics to biotechnology derived cosmeceuticals in terms of skin anti-aging, ...
اقرأ المزيدCosmetic dermatology : products and procedures / Draelos, Zoe Kececioglu
Pprovides a highly-illustrated, clinical guide to the full range of cosmetic skin treatments. Bringing together experts from ...
اقرأ المزيد
Current Trends in Database Technology - EDBT 2006
This book constitutes the thoroughly refereed joint post-proceedings of nine workshops held as part of the 10th International ...
اقرأ المزيد
Decision Making for Complex Socio-Technical Systems
The long-term governance of radioactive waste continues to be a major complex and contentious socio-technical issue worldwide. ...
اقرأ المزيد
Dental Image Analysis for Disease Diagnosis
This book provides an overview of computational approaches to medical image examination and analysis in oral radiology utilizing ...
اقرأ المزيد
Dependable Computing - EDCC 2005
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...
اقرأ المزيد
Designing Accessible Technology
This book was stimulated by the third CWUAAT workshop, held in Cambridge, England in April 2006; the contributors representing ...
اقرأ المزيد
Diffuse Matter from Star Forming Regions to Active Galaxies
In this volume dedicated to him, introductory reviews to a number of the key processes and to the sources themselves are ...
اقرأ المزيدEarthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident
This book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase ...
اقرأ المزيدElectroactive Polymers for Robotic Application
Electroactive polymers (EAPs) respond to electrical stimulation with large deformations. They are dynamic actuators which ...
اقرأ المزيد
Emerging Drugs in Sport / Olivier Rabin, Ornella Corazza
Offers a timely analysis of the new challenges posed by this phenomenon in the anti-doping community. The authors present ...
اقرأ المزيد
Enabling a Simulation Capability in the Organisation
Enabling a Simulation Capability in the Organisation addresses the application of simulation modelling techniques in order ...
اقرأ المزيد
Enhancing Cognitive Assistance Systems with Inertial Measurement Units
The primary goal of this book is the specification, design and testing of an inertially stabilized camera platform for assistance ...
اقرأ المزيد
