You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.
There is arguably no field in greater need of a comprehensive handbook than computer engineering. The unparalleled rate of technological advancement, the explosion of computer applications, and the now-in-progress migration to a wireless world have made it difficult for engineers to keep up with all the developments in specialties outside their own
Propaganda Postcards of the Luftwaffe focuses on the efforts of the powerful Nazi propaganda machine to promote the technical achievements and might of the then newly created German airforce. The Luftwaffe had been announced to the world in March 1935, despite the restrictions contained in the Versailles Treaty signed after the First World War denying Germany the right to develop military aircraft. All major aircraft types used by the Luftwaffe together with many lesser known, obscure and secondary types are represented in this book. There is a section covering the main figures of the Luftwaffe and the leading aces who flew the aircraft. The German Air and Propaganda ministries worked together and, using professional photographers produced quality images, which were then made available to the general public in an attempt to inspire the nation and create strong moral.
The book introduces the fundamentals of optical measurement mechanics, and discusses different types of interferometry, including (Digital) Holographic Interferometry, (Digital) Speckle Interferometry, Moiré Interferometry, Digital Image Correlation and Particle Image Velocimetry. It is an essential reference for graduate students, scientists and practitioners from both universities and research laboratories.
This 1996 book is an expanded edition of one of the best known introductions to optical holography.
A comprehensive mathematical and computational modeling of CO2 Geosequestration and Compressed Air Energy StorageEnergy and environment are two interrelated issues of great concern to modern civilization. As the world population will soon reach eight billion, the demand for energy will dramatically increase, intensifying the use of fossil fuels. Ut
This book presents a select group of papers that provide a comprehensive view of the models and applications of chaos theory in medicine, biology, ecology, economy, electronics, mechanical, and the human sciences. Covering both the experimental and theoretical aspects of the subject, it examines a range of current topics of interest. It consid
This volume outlines developments in practical and theoretical research into speechreading lipreading.
1 Introductory Material.- 2 The Direct and Indirect B.I.E.M. for Bilateral Problems.- 3 Boundary Integral Formulations for Some Special Elastostatic B.V.Ps.- 4 On the Numerical Implementation of Boundary Element Equations.- 5 Extension to Dynamic Problems.- 6 Dynamic Interaction Problems.- 7 B.I. Formulations for the Signorini-Fichera Inequality Problem.- 8 Mathematical Study of the B.I. Formulations of the Signorini-Fichera B.V.P..- 9 Boundary Integral Formulation of the Frictional Unilateral Contact B.V.P..- 10 Boundary Integral Formulations for the Monotone Multivalued Boundary Conditions.- 11 Elastodynamic Unilateral Problems. A B.I.E. Approach.- 12 Nonconvex Unilateral Contact Problems.- 13 Miscellanea.- References.