3ds Max is a popular 3D animation-and-effects software used in movies, visual effects, games, cartoons, short films, commercials, and other animation. However, it also presents a number of challenges to newcomers. This introduction to the latest version breaks down the...

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

As we began to plan this book, we worried that it would become lost in the hundreds—no, thousands—of volumes that have been written on “Web design,” HTML, Java, XML, or any of the myriad technologies that must be understood to build successful Web-based systems and applications (WebApps). To our surprise, we...

MooTools is a JavaScript framework that abstracts the JavaScript language. JavaScript itself, complex in syntax, provides the tools to write a layer of content interaction for each different browser. MooTools abstracts those individual, browser-specific layers to allow cross-browser scripting in an easy-to-read and easy-to-remember...

Internet Protocol version 6 (IPv6) is the next version of the protocol that is used for communications on the Internet. IPv6 is a protocol that has been in existence for many years, but it has not yet replaced IPv4. IPv4 has some limitations that were not anticipated when it was first created. Because IPv6 overcomes many of these...

The original goal of the AI field was the construction of “thinking machines” – that is, computer systems with human-like general intelligence. Due to the difficulty of this task, for the last few decades the majority of AI researchers have focused on what has been called “narrow AI” – the production...

In order to meet the miniaturization requirements of portable communication equipment, researchers have given much attention recently to compact microstrip antennas. Many related compact designs with broadband dual-frequency operation, dualpolarized radiation, circularly polarized radiation, and enhanced antenna gain have been reported. Many...

The financial services industry has a unique opportunity. Despite all of the intricacies of our business processes and transaction types, our industry has the opportunity to identify and promote interoperable business processes that contain risk, reduce cost and deliver effective products and solutions. How can we achieve this? Through...

InDesign CS5 opens the door to a new world: with the addition of exciting animation tools and deeper multimedia support. It's now a viable interactive authoring tool. Designers want to create engaging interactive content, but may resist making the transition from page layout to timeline-based thinking. But now it's much easier:...

Written by an experienced Apple developer and trainer, this full-color reference serves as an ideal jumping point for creating applications for Apple’s iOS 4 that runs on the iPhone, iPod Touch, and iPad. In addition to in-depth coverage of the iOS SDK, the book...

The original idea of How to Do Everything with Your iMac was a simple one. The iMac is a complete computer with a wonderful bundle of applications that enable you to do just about anything you need a computer to do. So, I wanted my book on the iMac to be as comprehensive as possible, teaching the reader how to be productive while enjoying...