الصفحة 6
الصفحة 6
Virtual Systems and Multimedia ; 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers
Virtual Heritage, Applied Technologies and Virtual Environments. With a truly international flavor, these sub-themes covered the diverse areas of heritage site and artifact reconstruction and analysis, Australian Aboriginal cultural heritage, training, notions of spirituality, human – computer interaction in virtual environments, 3D modelling, remote collaboration and virtual agents. This made for rich, varied and lively conference session debates. Ninety-seven papers were submitted. Of these, 56 were accepted for inclusion in the general conference proceedings.
Virtual Storytelling : Using Virtual Reality Technologies for Storytelling ; 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Virtual Storytelling, ICVS 2007, held in Saint-Malo, France, in December 2007. The 12 revised full papers presented together with 3 invited papers and 7 poster and demo papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on authoring tools and story models, behavior modeling, user interactivity, an invited session: related EU projects, as well as the poster and demo session.
Virtual Reality ; 2nd International Conference, ICVR 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following major topics: • 3D Rendering and Visualization • Interacting and Navigating in Virtual and Augmented Environments • Industrial Applications of Virtual Reality • Health, Cultural, Educational and Entertainment Applications
Virtual Organizations : Systems and Practices
This book represents a contribution to the consolidation of the already vast amount of empirical knowledge and practical experience. A synthesis of results collected from the analysis of numerous projects and industry case studies is presented, with focus on: Principles and models, ICT infrastructures and tools, Implementation issues, and Case studies.
Views on Microstructures in Granular Materials
This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring state-of-the-art theoretical, experimental, and applied trends in the study of granular matter in various states, readers will be motivated to learn about the current challenges and potential avenues of exploration in this active area of research. Including a variety of perspectives, this volume will be a valuable reference for audiences in a number of fields.
Vibrations and Stability : Advanced Theory, Analysis, and Tools
Ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended for advanced students, university teachers, and researchers in mechanical/structural engineering dynamics, and professional engineers aiming at strengthening their theoretical foundation. Assuming background knowledge in elementary vibrations, it provides a set of useful tools for understanding and analyzing the more complex dynamical phenomena that can be met in engineering and scientific practice. Summarizing first basic linear vibration theory, it progresses over various types of nonlinearity and nonlinear interaction to bifurcation analysis, chaotic vibrations, and special high-frequency effects. It trains the student to analyze simple models, recognize nonlinear phenomena, and work with advanced tools such as perturbation analysis and bifurcation analysis
Vibration Testing and Applications in System Identification of Civil Engineering Structures
Covers vibration testing and identification of dynamic structural systems. It starts from the fundamentals of structural dynamics, and covers the methods of modal analysis and model identification, vibration tests and the related experimental setup. Theory is presented and derived step-by-step, with a detailed measurement system developed for vibration tests.
VI Hotine-Marussi Symposium on Theoretical and Computational Geodesy ; IAG Symposium Wuhan, China 29 May - 2 June, 2006
Cover almost every topic of geodesy, with particular emphasis on satellite gravity modelling, geodynamics, GPS data processing and applications, statistical estimation and prediction theory, and geodetic inverse problem theory and geodetic boundary value problems.
Vessel Health and Preservation : The Right Approach for Vascular Access
Presents a model and a new way of thinking applied to vascular access and administration of intravenous treatment, and shows how establishing and maintaining a route of access to the bloodstream is essential for patients in acute care today. Until now, little thought has been given to an intentional process to guide selection, insertion and management of vascular access devices (VADs) and by default actions are based on crisis management when a quickly selected VAD fails. The book details how VHP establishes a framework or pathway model for each step of the patient experience, intentionally guiding, improving and eliminating risk when possible. The evidence points to the fact that reducing fragmentation, establishing a pathway, and teaching the process to all stakeholders reduces complications with intravenous therapy, improves efficiency and diminishes cost. As such this book appeals to bedside nurses, physicians and other health professionals.
Vertical Scar Mammaplasty
Over the past decade vertical scar mammaplasty has gained wide popularity amongst surgeons and patients because it stands for minimal scars and long-lasting aesthetic results. The refinements and modifications of the technique achieved during the past decade and now collected in this book will facilitate the use of the technique and give each plastic surgeon the opportunity to adopt his or her own technique to obtain an optimal outcome. The step-by-step instructions and their high-quality illustrations will help improve results, lessen the number of complications and successfully manage any complications that do arise.
Vermin, Victims and Disease : British Debates over Bovine Tuberculosis and Badgers
This book provides the first critical history of the controversy over whether to cull wild badgers to control the spread of bovine tuberculosis (bTB) in British cattle. This question has plagued several professional generations of politicians, policymakers, experts and campaigners since the early 1970s. Questions of what is known, who knows, who cares, who to trust and what to do about this complex problem have been the source of scientific, policy, and increasingly vociferous public debate ever since. This book integrates contemporary history, science and technology studies, human-animal relations, and policy research to conduct a cross-cutting analysis. It explores the worldviews of those involved with animal health, disease ecology and badger protection
Verified Software: Theories, Tools, Experiments ; 2nd International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
Verified Software: Theories, Tools, Experiments ; 1st IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.
Verification, Model Checking, and Abstract Interpretation ; Vol. 3855 ; 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, and Abstract Interpretation,held January 8-10, 2006, at Charleston, South Carolina, USA.VMCAI provides a forum for researchers from the communities of verifica-tion, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.The program was selected from 58 submitted papers.
Verification, model checking, and abstract interpretation ; Vol. 3385 ; 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
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 techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods.
Verification, Model Checking, and Abstract Interpretation ; 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January 14–16, 2007 in Nice. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization,and dvancement of hybrid methods that combine the three areas.
Verification, Model Checking, and Abstract Interpretation ; 3rd International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, Model Checking, and AbstractInterpretation, Venice (Italy), January 21-22, 2002.The main goal of the workshop was to give an overview of the main directionsdecisive for the growth and cross-fertilization of major research activities inprogram analysis and verification. The program committee selected 22 papers out of 41 submissions on the basisof at least 3 reviews. The resulting volume offers the reader an interesting perspectiveof the current research trends in the area. In particular, the papers contributeto the following topics: Security and Protocols, Timed Systems and Games,Static Analysis, Optimizations, Types and Verification, and Temporal Logicsand Systems.
Verification of Object-Oriented Software : The KeY Approach
Features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di?erent c- trol ?ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction ; COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers
This book is organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition.
