Dynamic logic (DL) recently had a highest impact on the development in several areas of modeling and algorithm design. The book discusses classical algorithms used for 30 to 50 years (where improvemen
This book contains selected papers from the Colloquium in Honor of Alain Lecomte, held in Pauillac, France, in November 2007. The event was part of the ANR project "Prelude" (Towards Theoretical Pragm
Are you new to the Macintosh experience and iLife? Or are you someone who wants to know the ins and outs of Apple’s powerful media creation tools? Either way, you have come to right place. iLife '11 M
The proposed book explores the theme of identity, specifically as applied to its role and development in virtual worlds. Following the introduction, it is divided into four sections: identities, avata
This book constitutes the refereed proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, held in Nancy, France, in June 2011. The 11 revised
This book constitutes the proceedings of the International Conference on Research and Education in Robotics, EUROBOT 2011, held in Prague, Czech Republic, in June 2011.The 28 revised full papers prese
This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2011, held in Venice, Italyin June 2011.The
Focus on issues and principles in context awareness, sensor processing and software design (rather than sensor networks or HCI or particular commercial systems).Designed as a textbook, with readings a
The finite element method is often used for numerical computation in the applied sciences. It makes a major contribution to the range of numerical methods used in the simulation of systems and irregul
Decision tree is a widely used form of representing algorithms and knowledge. Compact data models and fast algorithms require optimization of tree complexity. This book is a research monograph on aver
The book consists of 31 chapters in which the authors deal with multiple aspects of modeling, utilization and implementation of semantic methods for knowledge management and communication in the conte
This book constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsburgh, PA, USA in June 2011.The 23 revised full papers p
This book constitutes the reviewed post-proceedings of the 5th International ICST Conference on Access Networks, AccessNets 2010, and of the satellite event , the First International ICST Workshop on
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in
The two-volume set LNCS 6753/6754 constitutes the refereed proceedings of the 8th International Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011. The 84 revised f
This book constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2011, held in Moscow, Russia in June/July 2011. The 65 revised
This book constitutes the refereed proceedings of the InternationalConference on Advances in Computing Communications and Control, ICAC32011, held in Mumbai, India, in January 2011.The 84 revised full
The increasing costs of creating and maintaining infrastructures for delivering services to consumers have led to the emergence of cloud based third party service providers renting networks, computati
Emotion pervades human life in general, and human communication in particular, and this sets information technology a challenge. Traditionally, IT has focused on allowing people to accomplish practica
In presented book the Intelligent Open Learning Systems (IOLS) are proposed, described, discussed, and evaluated. The IOLS is a system in which traditional methods of online teaching are enhanced thro
"Real-Time Graphics Rendering Engine" reveals the software architecture of the modern real-time 3D graphics rendering engine and the relevant technologies based on the authors’ experience developing t
This book constitutes the refereed proceedings of the 9th International Conference on Smart Homes and Health Telematics, ICOST 2011, held in Montreal, Canada, in June 2011. The 25 revised full papers
The complexity of human uterine function and regulation is one of the great wonders of nature and represents a daunting challenge to unravel. This book is dedicated to the biomechanical modeling of th
Expert PL/SQL Practices is a book of collected wisdom on PL/SQL programming from some of the best and the brightest in the field. Each chapter is a deep-dive into a specific problem, technology, or fe
This book starts with the basic concepts of fuzzy sets and progresses through?a normative view on possibility distributions and OWA operators in multiple criteria decisions. ?Five applications ?(that
R is a powerful and free software system for data analysis and graphics, with over 1,200 add-on packages available. This book introduces R using SAS and SPSS terms with which you are already familiar.
This book constitutes the proceedings of the 13th Asia-Pacific Conference APWeb 2011 held in conjunction with the APWeb 2011 Workshops XMLDM and USD, in Beijing, China, in April 2011. The 26 full pape
This book constitutes the refereed proceedings of the International ECML/PKDD Workshop on Privacy and Security Issues in Data Mining and Machine Learning, PSDML 2010, held in Barcelona, Spain, in Sept
The two-volume set (LNCS 6728 and 6729) constitutes the refereed proceedings of the International Conference on Swarm Intelligence, ICSI 2011, held in Chongqing, China, in June 2011.The 143 revised fu
Most textbooks on modern heuristics provide the reader with detailed descriptions of the functionality of single examples like genetic algorithms, genetic programming, tabu search, simulated annealing
Presents an introduction to the basic principles of the federal deficit, discussing such topics as the history of public debts, the rationale for deficit spending in a recession, and arguments for and
The monograph offers a view on Rough Mereology, a tool for reasoning under uncertainty, which goes back to Mereology, formulated in terms of parts by Lesniewski, and borrows from Fuzzy Set Theory and
SharePoint 2010 offers developers, designers, and users a sophisticated intranet, web application, and Internet site platform. But until now, SharePoint users have had to painfully edit code or seek d
This book presents the state of the art in the areas of ontology evolution and knowledge-driven multimedia information extraction, placing an emphasis on how the two can be combined to bridge the sema
This book constitutes the proceedings of the 6th International ICST Conference, TridentCom 2010, held in Berlin, Germany, in May 2010. Out of more than 100 submitted contributions the Program Committe
This book constitutes the refereed proceedings of the 7th International Conference on Information Security Practice and Experience, ISPEC 2011, held in Guangzhou, China, in May/June 2011. The 26 paper
This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2010, held in Washington, DC, USA, in October 2010 - collocated with t
