Google SketchUp, the most popular architectural software package, is used by millions of architects and visualizers throughout the world. But what you may not know is that it's also the most powerful 3D design software on the market. With this book in hand and patented technology such as the PhotoMatch, Push-Pull, and Face-me components...

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

For disciplines concerned with human well-being, such as medicine, psychology, and law, statistics must be used in accordance with standards for ethical practice. A Statistical Guide for the Ethically Perplexed illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical...

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system.The logic of information flow has applications in...

Event-based distributed systems are playing an ever increasing role in areas such as enterprise management, information dissemination, finance, environmental monitoring and geo-spatial systems. Event-based processing originated with the introduction of Event-Condition-Action (ECA) rules to database systems in the 1980s. Since then,...

Intelligent decision support relies on techniques from a variety of disciplines, including artificial intelligence and database management systems. Most of the existing literature neglects the relationship between these disciplines. By integrating AI and DBMS, Computational Intelligence for Decision Support produces what other texts...

The Essential Patient Handbook was written for the millions of Americans who are dissatisfied with their medical care, and are looking for a practical no-nonsense way to get the help they need from their doctors. It contains lessons learned by two doctors (husband and wife) who endured immense challenges on the patient side of the...

The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and the ways in which they can be modeled, in particular formalized – a question of prime importance and utmost relevance to such diverse disciplines as philosophy, linguistics, computer science...

In 1862, the gardener James Bateman sent several specimens of the Christmas orchid to Charles Darwin. This orchid was first planted in Britain in 1855 and it did not blossom until 1857. It had been discovered several decades before by the French botanist Louis-Marie Aubert du Petit-Thouars in Madagascar in 1822. The most significant...

...

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered...