This book is about guaranteed numerical methods based on interval analysis for approximating sets, and about the application of these methods to vast classes of engineering problems. Guaranteed means here that inner and outer approximations of the sets of interest are obtained, which can be made as precise as desired, at the cost of...

On behalf of the Program Committee, it is our pleasure to present to you the proceedings of the 8th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2011). Each year DIMVA brings together international experts from academia, industry and government to present and discuss novel security research....

Different kinds of objects containing data are found on the Internet, including structured (e.g., relational) databases, collections of documents, and search engines. On the one hand, creating, storing, manipulating, and retrieving Internet documents can benefit from techniques known from the databases and data modeling...

The technology of voice over IP provides for making telephone calls over data networks such as the Internet and it has now reached critical mass. I know this because as a technology instructor I spend more and more time teaching Voice over IP or “VoIP.” I wrote this book because I couldn’t find any material suitable...

Every year ESWC brings together researchers and practitioners dealing with different aspects of semantic technologies. Following a successful re-launch in 2010 as a multi-track conference, the 8th Extended Semantic Web Conference built on the success of the ESWC conference series initiated in 2004. Through its extended concept this...

Designed for courses in Creativity and Three-Dimensional Design, Launching the Imagination offers a comprehensive framework on which students, teachers, and administrators can build. The approach in this third edition is refined, distilled, and updated, using over 375 examples drawn from traditional and contemporary sources. Interviews...