Emotions in Humans and Artifacts
The MIT Press | 2003-01-31 | ISBN: 0262201429 | 408 pages | PDF | 2 MB
Emotions have been much studied and discussed in recent years. Most books, however, treat only one aspect of emotions, such as emotions and the brain, emotions and well-being, or emotions and computer agents. This interdisciplinary book presents recent work on emotions in neuroscience, cognitive science, philosophy, computer science, artificial intelligence, and software and game development.

849 pages | 2004 | PDF | 12.6 Mb

The Hacker’s Handbook The Strategy behind Breaking into and Defending Networks

Temporal Logic
Springer | 1995-09-30 | ISBN:0792335864 | 428 pages | PDF | 14,5 MB
Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language.

433 Pages / 44.2 MB / PDF

Discover the latest programming tips and techniques Start writing programs for Windows®, Linux®, Macintosh®, Palms, and PocketPCs Ready to take control of your computer by writing your own programs? Mixing concepts with humor, author Wallace Wang shows you how to begin programming as simply and quickly as possible. In no time, you’ll find out how to create and debug programs in Liberty BASIC, use algorithms, build interactive Web pages, and more! All this on the bonus CD-ROM Liberty BASIC and other compilers All the examples and code from the book IBM® Robocode V1.0.6 JBuilder 9 Personal, C# Builder Personal, and Kylix® Enterprise Trial See the "About the CD-ROM" appendix for details and complete system requirements. Discover how to: Choose the best programming language for your project Work with data structures Install and use Liberty BASIC Create interactive Web sites Program multiple platform devices

385 Pages / 14.57 MB / PDF

Adobe Premiere Elements offers amateur and home moviemakers the opportunity to work with editing tools as powerful as those packed into Adobe Premiere Pro, one of the top tools on the market. Adobe Premiere Elements For Dummies offers these same users not only a guide through all the how-to steps of using the software, but also a valuable reference on how to best apply the tools to a great video project. Author Keith Underdahl, also author of Adobe Premiere Pro For Dummies, is an experienced video editor who understands what new Premiere users need to know and how to best explain the topics. In this book, Keith describes: Best practices for shooting quality video Picking the clips you want to keep and getting them into your computer How to use Premiere Elements’ editing tools to add an opening credits page, transitions between clips, sound, music, and ending credits. Adding special effects using only computer trickery Putting your finished project on a DVD, videotape, or the Internet Covering more ground than the typical expanded users manuals you find in bookstores, Adobe Premiere Elements For Dummies is the book you need to get you through your first video-editing project as well as to return to whenever you hit rough spots and need instant help.

Rudiments of mu-calculus
North Holland | 2001-04-01 | ISBN:0444506209 | 296 pages | PDF | 11,1 MB
This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, which we also explain in an algebraic way.

The Myth of Pain
The MIT Press | 1999-11-19 | ISBN:0262082837 | 314 pages | PDF | 1,4 MB
Pain, although very common, is little understood. Worse still, according to Valerie Gray Hardcastle, both professional and lay definitions of pain are wrongheaded--with consequences for how pain and pain patients are treated, how psychological disorders are understood, and how clinicians define the mind/body relationship.

Quantifiers, Questions and Quantum Physics
Springer | 2005-02-24 | ISBN:1402032102 | 360 pages | PDF | 1,9 MB
Jaakko Hintikka is one of the most creative figures in contemporary philosophy. He has made significant contributions to virtually all areas of the discipline, from epistemology and the philosophy of logic to the history of philosophy and the philosophy of science. Part of the fruitfulness of Hintikkas work is due to its opening important new lines of investigation and new approaches to traditional philosophical problems.