The 89 revised full papers and 70 revised short papers presented together with the extended abstracts of 4 invited speeches were carefully reviewed and selected from 689...

The brain is not just a collection of neurons grouped together at some part of the animal’s body,...

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints...

Essentials of Computational Chemistry provides a balanced introduction to this dynamic subject.  Suitable for both experimentalists and theorists, a wide range of samples and applications are included drawn from all key areas.  The book carefully leads the reader thorough the necessary equations providing information explanations...

This is a textbook for a one-semester graduate course in measure-theoretic probability theory, but with ample material to cover an ordinary year-long course at a more leisurely pace. Khoshnevisan's approach is to develop the ideas that are absolutely central to modern probability theory, and to showcase them by presenting their various...

Smart Thinking: Skills for Critical Understanding and Writing 2E is a practical step-by-step guide to improving skills in analysis, critical thinking, and the effective communication of arguments and explanations. The book combines an accessible and straightforward style, with a strong foundation of knowledge. The text treats...