Raspberry pi based vehicle starters on face detection and voice commands : “Smart Vehicle” / Ghina Nehlawi ; Ahmad Muhamad ; Diaa Al Kabbani ; Haya Al Saadi ; Mukhtar AlKassar
As the number of thefts and identity fraud has become a serious issue and with the increase of accidents rate, and the need ...
Lire la suite
Selected Works of S.L. Sobolev
S.L. Sobolev (1908–1989) was a great mathematician of the twentieth century. His selected works included in this volume ...
Lire la suite
Self-Dual Codes and Invariant Theory
One of the most remarkable and beautiful theorems in coding theory is Gleason's 1970 theorem about the weight enumerators ...
Lire la suite
Set-Theoretic Methods in Control
This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...
Lire la suite
Stability of Nonautonomous Differential Equations
Main theme of this volume is the stability of nonautonomous differential equations, with emphasis on the Lyapunov stability ...
Lire la suite
Standard Monomial Theory : Invariant Theoretic Approach
This book is mainly a detailed account of a particularly interesting instance of their occurrence: namely, in relation to ...
Lire la suite
The Heat Kernel and Theta Inversion on SL2(C)
The present monograph develops the fundamental ideas and results surrounding heat kernels, spectral theory, and regularized ...
Lire la suite
The Novikov Conjecture
These lecture notes contain a guided tour to the Novikov Conjecture and related conjectures due to Baum-Connes, Borel and ...
Lire la suite
Topological and Bivariant K-theory
Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
Lire la suite
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lire la suite
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Lire la suite
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Lire la suite
