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 ...

Lee mas
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 ...

Lee mas
Runtime Verification

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

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
SAT-Based Scalable Formal Verification Solutions

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

Lee mas
NoIMG
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 ...

Lee mas
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, ...

Lee mas
Samii's Essentials in Neurosurgery

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

Lee mas
Scalable Hardware Verification with Symbolic Simulation

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

Lee mas
Scalable Optimization via Probabilistic Modeling

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

Lee mas
Scalable Uncertainty Management

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

Lee mas
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 ...

Lee mas
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 ...

Lee mas
Scattering from Model Nonspherical Particles

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

Lee mas
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, ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
Scientific Computing in Electrical Engineering

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

Lee mas
Total Books: 2181 - 2200 /2772