The book feature current research from the communities of verification, program certification, model checking, debugging ...
اقرأ المزيدThe book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
اقرأ المزيدThis book provides the first critical history of the controversy over whether to cull wild badgers to control the spread ...
اقرأ المزيدTies together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended ...
اقرأ المزيدVirtual colonoscopy, or CT colonography, is a novel and rapidly evolving technique for the detection of tumoral lesions in ...
اقرأ المزيدThis book represents a contribution to the consolidation of the already vast amount of empirical knowledge and practical ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...
اقرأ المزيدVirtual Heritage, Applied Technologies and Virtual Environments. With a truly international flavor, these sub-themes covered ...
اقرأ المزيدImage analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...
اقرأ المزيدThis book is a post-conference publication and contains a selection of papers presented at the VLBV workshop in 2005, Fifty-?ve ...
اقرأ المزيدThis book offers an innovative account of how relief organizations’ visual depiction of Syrian displacement contributes ...
اقرأ المزيدThis book has focused on helping human analysts to detect anomalies and patterns, particularly in computer network defense.
اقرأ المزيدThe amount of digitized information available on the Internet, in digital libraries, and other forms of information systems ...
اقرأ المزيدThe book contains papers discussing some of the latest data processing and visualization techniques and systems for e?ective ...
اقرأ المزيدThis book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...
اقرأ المزيدThis book visualizes mortality dynamics in the Lexis diagram. While the standard approach of plotting death rates is also ...
اقرأ المزيدVargas-Quesada and Moya-Anegón propose a methodology for visualizing large scientific domains. They create science maps, ...
اقرأ المزيدThe book describes practical methods that can be used for voltage security assessment and offers a variety of examples. This ...
اقرأ المزيدAddressed to both graduate students and researchers this monograph provides in-depth analyses of vortex dominated flows via ...
اقرأ المزيدThis book provides an up-to-date approach to the diagnosis and management of endocarditis based on a critical analysis of ...
اقرأ المزيد