This volume constitutes the refereed proceedings of the 7th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCI 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 48…
The interdisciplinary research and development work carried out in the last ten years which is presented in this book aimed at replacing the conventional airport control tower by a new “remote tower operation” work environment (RTO) which should enhance work efficiency and safety and reduce costs. This revolutionary human–system interface allows for remote aerodrome traffic control withou…
Virtual reality (VR) is a multidisciplinary area of research aimed at interactive human–computer-mediated simulations of artificial environments. An important aspect of VR-based systems is the stimulation of the human senses – usually sight, sound, and touch – in such a way that a user feels a sense of presence in the virtual environment. Sometimes it is important to combine real and virt…
This book takes a quantitative look at ICT-generated event data to highlight current trends and issues in Nigeria at the local, state and national levels. Without emphasizing a specific policy or agenda, it provides context and perspective on the relative spatial-temporal distribution of conflict factors in Nigeria. The analysis of violence at state and local levels reveals a fractal pattern of…
The advances of live cell video imaging and high-throughput technologies for functional and chemical genomics provide unprecedented opportunities to understand how biological processes work in subcellular and multicellular systems. The interdisciplinary research field of Video Bioinformatics is defined by Bir Bhanu as the automated processing, analysis, understanding, data mining, visualizati…
This work provides an overview of a posteriori error assessment techniques for Finite Element (FE) based numerical models. These tools aim at estimating and controlling the discretization error in scientific computational models, being the basis for the numerical verification of the FE solutions. The text discusses the capabilities and limitations of classical methods to build error estimates w…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
This book presents vehicular ad-hoc networks (VANETs) from the their onset, gradually going into technical details, providing a clear understanding of both theoretical foundations and more practical investigation. The editors gathered top-ranking authors to provide comprehensiveness and timely content; the invited authors were carefully selected from a list of who’s who in the respective fiel…
This edited book aims at presenting current research activities in the field of robust variable-structure systems. The scope equally comprises highlighting novel methodological aspects as well as presenting the use of variable-structure techniques in industrial applications including their efficient implementation on hardware for real-time control. The target audience primarily comprises resear…
Value Chain Marketing (VCM) is a promising strategy to overcome immediate customers’ innovation resistance. By pursuing VCM, material suppliers enlarge their target group beyond their immediate customers and address their downstream customers as well. Treading on relatively unexplored grounds, this book explores the relevance of VCM and comprehends its process; identifies the critical fact…