CompTIA Security+: Get Certified Get Ahead: SY0-301 Study Guide is an update to the top-selling SY0-201 guide, which helped thousands of readers pass the exam the first time they took it. The SY0-301 version covers every aspect of the SY0-301 exam, and includes the same elements readers raved about in the previous version.
Voronoi graphs and their hierarchical extensions have become a widely used tool for deriving abstract spatial representations from environmental data. They are currently being studied and applied in several subfields of computer science such as AI and robotics, computational geometry, and geoinformatics.
Bayesian networks have received a lot of attention over the last few decades from both scientists and engineers, and across a number of fields, including artificial intelligence (AI), statistics, cognitive science, and philosophy.
Perhaps the largest impact that Bayesian networks have had is on the field of AI, where they were...
Reason in Action collects John Finnis' work on the theory of practical reason and moral philosophy. The essays in the volume range from foundational issues of meta-ethics to the practical application of natural law theory to ethical problems such as nuclear deterrence, obscenity and free speech, and abortion and cloning. ...
This book constitutes the refereed proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011, held in Belfast, UK, in June/July 2011. The 60 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 108 submissions. The papers are...
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply “There is no royal road to mathematics.” Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there...
The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues.
This book presents revised and extended versions of 11...
Semantic Web services promise to automate tasks such as discovery, mediation, selection, composition, and invocation of services, enabling fully flexible automated e-business. Their usage, however, still requires a significant amount of human intervention due to the lack of support for a machine-processable description.
Concurrent Programs are notoriously difficult to get right. This book provides a systematic and practical approach to designing, analyzing and implementing concurrent programs. Concurrency concepts and techniques are introduced and illustrated using both state models and Java programs. The design models enable concurrent behavior to be...
Since the first part of the twentieth century, cybernetics and systems research have been developed as
scientific disciplines. Investigations, launched in the area of cybernetics, previously dealt with control
and information processing. In a more narrow sense, they consisted in the consideration of analogies
of the control and the...
This book concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). The main objective of the book is to show that inference-based NLU has the potential for practical large scale applications. First, an introduction to research areas relevant for NLU is given. We review approaches to linguistic...
Database and information systems technologies have been rapidly evolving in several directions over the past years. New types and kinds of data, new types of applications and information systems to support them raise diverse challenges to be addressed. The so-called big data challenge, streaming data management and processing, social networks...
