In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software des
The book presents a basic introduction to epidemiology from the perspective of economics, using economic modeling to better understand and describe how infectious disease spreads. Three main elements
This book covers the latest advances in the rapid growing field of inter-cooperative collective intelligence aiming the integration and cooperation of various computational resources, networks and int
?Sustainability advanced to an omnipresent topic among academics and business leaders, while at the same time, a growing share of a firm’s total expenditure accounts for purchased products and materia
The essays collected in this book discuss the contemporary practice of corporate responsibility by applying the Christian principles of the unity of knowledge and pursuit of truth to the traditional p
Whilst scientific research can be crucial in guiding innovation and development throughout the world, it can be too detached from real world applications, particularly in developing and emerging count
This book examines borrowing and risk taking behavior of rural people, which might help to design financial products and delivery of services in the rural market. It also investigates the effectivenes
These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 20
These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 20
These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 20
Traditionally a subject of number theory, continued fractions appear in dynamical systems, algebraic geometry, topology, and even celestial mechanics. The rise of computational geometry has resulted i
This book deals with condition as a main aspect in the understanding of the performance—regarding both stability and complexity—of numerical algorithms. It offers partial solutions for Smale's 17th p
This book offers an essential bridge between college-level introductions and advanced graduate-level books on special relativity. It begins at an elementary level, presenting and discussing the basic
This book analyzes the productivity and effectiveness of a variety of time investments in education. It explores the methods used in education to optimize the time that students are exposed to learnin
Dynamic secrets are constantly generated and updated from messages exchanged between two communication users. When dynamic secrets are used as a complement to existing secure communication systems, a
This brief considers the various stakeholders in today's mobile device ecosystem, and analyzes why widely-deployed hardware security primitives on mobile device platforms are inaccessible to applicati
By outlining a new design or the Kuroshio power plant, new approaches to turbine design, anchorage system planning, deep sea marine engineering and power plant operations and maintenance are explored
This book approaches the field of positive psychology from a post-modern perspective. It explores the consequences of combining current trends and models with supplementary participatory and transform
This book presents an analysis and a critical discussion on performance management systems. It seeks to advance the current state of knowledge in the subject by introducing a holistic performance mana
Not only are European industries shrinking and experiencing diminishment of their capability to add value, but Europe has lost more than a third of its GDP, which had been primarily based on manufactu
?Methods for making inferences from data about one or more probabilities and proportions are a fundamental part of a statistician’s toolbox and statistics courses. Unfortunately many of the quick, app
When a child has difficulties eating or sleeping, or throws frequent tantrums, many parents cross their fingers and hope it's a phase to be outgrown soon. But when they persist, challenging behaviors
Think tanks and their researchers provide much needed explanation of foreign policy. Many US Presidents have consulted think tanks for policy advise and for ideological coherence. Indeed, the American
Becoming a caregiver is increasingly an inevitable experience for many people and, therefore, a likely life transition. Drawing on research and personal experiences of working with family caregivers,
The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd Annual International Cryptology Conference, CRYPTO 2013, held in Santa Barbara, CA, USA, in August 2013. T
Filling a significant gap in the literature, A Mathematical Introduction to Compressive Sensing is the first work entirely devoted to the thriving field of compressive sensing. The book clearly and co
"The book is great! It's clear and easy to read, with loads of examples that showed my students what to do." -- Larry Snyder, Emeritus Professor, University of Washington, Department of Com
Simon Wolf describes how the growing awareness for the economic consequences of climate change and the economic opportunities of climate protection has led to changes in the rationality of governing c
The primary purpose of this book is to show that a multilayer neural network can be considered as a multistage system, and then that the learning of this class of neural networks can be treated as a s
With the Lapps in the High Mountains is an entrancing true account, a classic of travel literature, and a work that deserves wider recognition as an early contribution to ethnographic writing. Publi
Light emitting diodes (LEDs) are already used in traffic signals, signage lighting, and automotive applications. However, its ultimate goal is to replace traditional illumination through LED lamps sin
This volume consists of twenty peer-reviewed papers from the special session on pseudodifferential operators and the special session on generalized functions and asymptotics at the Eighth Congress of
A former newspaper editor and publisher and author of the acclaimed memoir Soldiering for Freedom offers a never-before-seen portrait of the late Supreme Court justice as he recounts his personal obse
In cryptography, ciphers is the technical term for encryption and decryption algorithms. They are an important sub-family that features high speed and easy implementation and are an essential part of
Hepatitis A virus (HAV) is responsible for around half of the total number of hepatitis infections diagnosed worldwide. HAV infection is mainly propagated via the fecal-oral route, and as a consequenc
This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held
Greg Wrenn's debut collection opens with a long poem in which a man undergoes surgery to become a centaur. Other poems speak in voices as varied as those of Robert Mapplethorpe, Hercules, and a Wise M
This volume constitutes the refereed proceedings of the 11th International Conference on Applied Parallel and Scientific Computing, PARA 2012, held in Helsinki, Finland, in June 2012. The 35 revised f
? Technology is the key driver of business. May it be airport, ICT , smart governance, manufacturing or plantations. Technology management opens up opportunities for the business and help achieve lea