This volume first introduces the mathematical tools necessary for understanding and working with a broad class of applied stochastic models. The toolbox includes Gaussian processes, independently scattered measures such as Gaussian white noise and Poisson random measures, stochastic integrals, compound Poisson, infinitely divisible and stable...
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
Information technology is an increasingly large factor in legal proceedings. In cases large and small, from the U.S. Government's antitrust suit against Microsoft Corporation, to civil lawsuits filed over the failure of a network, to criminal cases in which the authenticity of electronic evidence is questioned, the testimony of a technical...
This is a timely and comparative assessment of initiatives to promote renewable electricity sources (RES) in eight European countries. Carried out by the ProSus research programme at the University of Oslo in cooperation with leading research institutions in each country, the study focuses on the promotional schemes used to foster RES in Austria,...
Regardless of the branch of science or engineering, theoreticians have always been enamored with the notion of expressing their results in the form of closed-form expressions. Quite often, the elegance of the closed-form solution is overshadowed by the complexity of its form and the difficulty in evaluating it numerically. In such instances, one...
An important aspect of multi agent systems are agent reasoning techniques for problem solving, either at the level of a single agent or at the level of distributed collaboration amongst multiple agents.
Constraint Satisfaction Problems (CSP) prove to be a generic framework which can be applied for modeling and solving a wide range...
Osteoarthritis (OA), the most common form of arthritis, is generally characterized by a slowly progressive degeneration of articular cartilage, particularly in the weight-bearing joints. It has a stronger prevalence in women, and its incidence increases with age. OA is a major and growing health concern in developed countries, owing to...
Spatio-temporal networks (STN)are spatial networks whose topology and/or attributes change with time. These are encountered in many critical areas of everyday life such as transportation networks, electric power distribution grids, and social networks of mobile users. STN modeling and computations raise significant challenges. The model must...
In this age of universal electronic connectivity, of viruses and hackers, of electronic eavesdropping
and electronic fraud, there is indeed no time at which security does not matter.Two
trends have come together to make the topic of this book of vital interest. First, the explosive
growth in computer systems and their interconnections...
Ready to take your IT skills to the healthcare industry? This concise book provides a candid assessment of the US healthcare system as it ramps up its use of electronic health records (EHRs) and other forms of IT to comply with the government’s Meaningful Use requirements. It’s a tremendous opportunity for tens of...
Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and...
Using a heterodox perspective, this book discusses the real possibilities of Argentina, Brazil and Mexico ever achieving economic development through industrialization. Through their discussion of the three most industrialized countries of Latin America, the contributors compare trajectories and critically analyze the...