Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique
This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
Lee mas
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Lee mas
Variational Analysis and Applications
This book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...
Lee mas
Variational Analysis and Generalized Differentiation I
This monograph in two volumes contains a comprehensive and state-of-the art study of the basic concepts and principles of ...
Lee mas
Variational Methods : Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems
The book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...
Lee mas
Variational Methods in Shape Optimization Problems
The study of shape optimization problems encompasses a wide spectrum of academic research with numerous applications to the ...
Lee mas
Variational, Geometric, and Level Set Methods in Computer Vision
Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...
Lee mas
Variétés différentielles et analytiques : Fascicule de résultats = Differential and analytical varieties: Results leaflet
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
Lee mas
Vector Analysis for Computer Graphics
Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...
Lee mas
Vector Analysis for Computer Graphics
The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...
Lee mas
Vector Optimization
Vector optimization model has found many important applications in decision making problems such as those in economics theory, ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lee mas
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. ...
Lee mas
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, ...
Lee mas
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
Lee mas
Virtual Reality and Augmented Reality : 17th EuroVR International Conference, EuroVR 2020, Valencia, Spain, November 25–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...
Lee mas
Vision with Direction
Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...
Lee mas
Visual Content Processing and Representation
This book is a post-conference publication and contains a selection of papers presented at the VLBV workshop in 2005, Fifty-?ve ...
Lee mas
Visual Securitization Humanitarian Representations and Migration Governance
This book offers an innovative account of how relief organizations’ visual depiction of Syrian displacement contributes ...
Lee mas
Visualization for Computer Security : 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings
This book has focused on helping human analysts to detect anomalies and patterns, particularly in computer network defense.
Lee mas
