Electronic Books

Total Books: 2181 - 2200 /2772

Rule Extraction from Support Vector Machines

This book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...

Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Russia's Turn to the East

This book explores if and how Russian policies towards the Far East region of the country – and East Asia more broadly ...

Russian Contributions to Game Theory and Equilibrium Theory

The research of Soviet scientists within the field of game theory has resulted in many high-level publications. This book ...

Régression : Théorie et applications = Regression : Theory and Applications

This book explains in detail, with supporting examples, one of the most common statistical methods: regression. The first ...

SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...

SDGs, Transformation, and Quality Growth : Insights from International Cooperation

The primary objective of this book is to seek out insights into the concept of high-quality growth (HQG). It explores the ...

Safety and Security in Hotels and Home Sharing

This brief comparatively reviews the security and safety features of hotels and home sharing services. It reviews crime data, ...

Samii's Essentials in Neurosurgery

Samii's Essentials in Neurosurgery' contains selected papers written by internationally recognized contributors who were ...

Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...

Scalable Optimization via Probabilistic Modeling

The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...

Scalable Uncertainty Management

This book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, ...

Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Scale Space and PDE Methods in Computer Vision

Welcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision. The scale-space ...

Scattering from Model Nonspherical Particles

The scattering of electromagnetic radiation by nonspherical particles has become an increasingly important research topic ...

Sceptical Doubt and Disbelief in Modern European Thought

This collection continues along a rich, fruitful path opened by Richard H. Popkin and pursued by many important scholars, ...

Science and Art of Porcelain Laminate Veneers / Galip Gurel

Details the expanding field of porcelain laminate veneers in aesthetic dentistry. It guides the aesthetic dentist in understanding ...

Science for Agriculture and Rural Development in Low-income Countries

special emphasis was given to lessons for future thinking about the contribution of agriculture to: 1) poverty alleviation ...

Scientific Computing in Electrical Engineering

This book is composed of papers presented at the Conference on Scientific Computing in Electrical Engineering, which was ...

Total Books: 2181 - 2200 /2772