Learn IT - Books tags dependence

Principles of Model Checking

MIT Press, 2008

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...

A Guide to Forensic Testimony: The Art and Practice of Presenting Testimony As An Expert Technical Witness

Addison Wesley, 2002

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...

Promoting Sustainable Electricity in Europe: Challenging the Path Dependence of Dominant Energy Systems

Edward Elgar Publishing, 2008

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,...

Digital Communication over Fading Channels: A Unified Approach to Performance Analysis

John Wiley & Sons, 2000

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...

Constraint Satisfaction Techniques for Agent-Based Reasoning

Birkhauser, 2005

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...

1: Cartilage and Osteoarthritis (Methods in Molecular Medicine)

Humana Press, 2004

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: Modeling and Algorithms (SpringerBriefs in Computer Science)

Springer, 2012

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...

Network Security Essentials: Applications and Standards (4th Edition)

Prentice Hall, 2010

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...

Hacking Healthcare: A Guide to Standards, Workflows, and Meaningful Use

O'Reilly, 2011

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...

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Morgan and Claypool Publishers, 2013

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...

The Manufacturing Sector in Argentina, Brazil, and Mexico: Transformations and Challenges in the Industrial Core of Latin America (Palgrave Studies in Latin American Heterodox Economics)

Palgrave Macmillan, 2019

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...

Schizophrenia: A New Guide for Clinicians (Medical Psychiatry Series)

CRC Press, 2002

Contains guidelines and recommendations-in tabular form for quick reference-on patient evaluation and optimal treatment for long-term care!

Based on evidence from recent systematic clinical research studies, this comprehensive reference provides the latest information on the assessment, diagnosis, and treatment of...

Result Page: 7 6 5 4 3 2 1