This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007.

The 18 revised full papers, 5 revised poster papers, and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected for presentation. As a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, LPNMR encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems. Also contained in this volume are the results of this year's answer set programming competition.

This far-reaching resource gives you an in-depth look at the technological developments fueling the drive to the realization of ubiquitous IT services. Based on groundbreaking papers presented at the International Symposium on New Frontiers for Ubiquitous IT Services, the book describes a wide range of state-of-the-art engineering advances in photonics, sensing, electronics, micro-mechatronics, networks, and communication schemes, introduced by some of the leading pioneers in the field. You get details on cutting-edge design innovations in technologies like nanophotonics, femtosecond pulse processing, and optical coherence tomography together with a thorough look at emerging applications that run the gamut from biomedical sensors and intra-body networks to "smart" buildings and long haul communications.

You also get a solid read on the increasingly successful use of photonic crystal fibers, quasi-phasematched nonlinear optics, optical fiber sensors, and millimeter-wave photonic technologies in communications and sensing. A section on the standardization for optical communications and sensors, plus a look at the challenges in ubiquitous IT services yet to be tackled, round out this indispensable report on the advances that have brought us to the threshold of a new age in information technology.

About the Author

Shoichi Sudo is director of NTT Microsystem Integration Laboratories in Atsugi-shi, Japan, and was the organizer of the recent International Symposium on New Frontiers for Ubiquitous IT Services held in Japan. He is also the coauthor of Frequency Stabilization of Semiconductor Laser Diodes (Artech House, 1995).

Katsunari Okamoto is director of Okamoto Laboratory Ltd. in Mito, Japan.

This new book explores the rapidly expanding applications of spatial analysis, GIS and remote sensing in the health sciences, and medical geography. For the practitioner or researcher this book is full of useful techniques if your work applies to environmental and public health, biostatistics, epidemiology, health services, medical geography, medical entomology and much more. Professionals from many other fields will also find new applications for these powerful combined-technologies. This book in the Health Sciences is a springboard to extend existing uses - or create new ones - by highlighting practical applications without bogging you down in detailed technical data requirements and manipulations, software and hardware specifications, or the mathematics of geotechniques. It will help you understand the feasibility of developing the GIS/RS capabilities of your organisation.

Policy-Based Network Management (PBNM) systems enable business rules and procedures to be translated into policies that configure and control the network and its services. Those who manage network systems are aware that this approach can benefit both network management as well as the development of applications that use network services; however, the details surrounding these systems has been obscured by marketing hype, numerous acronyms, and theoretical complexities.

Policy-Based Network Management: Solutions for the Next Generation cuts through the hype surrounding PBNM and makes it approachable for those who really need to understand what it has to offer. The author, founder of the IETF Policy Framework working group, discusses system requirements, information models, and system components for Policy-Based Management. He also provide practitioners with a resource for developing and/or incorporating PBNM systems. As network systems become larger and more complex, creating policies for them has become a crucial step in the management of network systems, and this book is a welcome addition to this exciting approach.

* Presents a completely new approach to PBNM that unites the business, system, and implementation spheres.
* As the basis for examples and discussion, uses the DEN-ng information model, an easy-to-understand open standard tied closely to eTOM and NGOSS.
* Introduces the Ponder system, then examines Ponder extensions designed to enhance the structure of high-level policies and their application in a PBNM system.
* Filled with examples illustrating how policies are most effectively used in a PBNM system and what new directions PBNM is likely to take.

Learn Pascal in Three Days (3e.) is an update of one of the best-selling introductions to Pascal on the market for beginning programmers. The title is recognized as one of the best introductions to Pascal suitable for students or anyone wanting a solid foundation in structured programming. Pascal is considered an ideal programming language to begin programming because of its highly structured syntax.

About the Author

Sam Abolrous is a technical writer at Microsoft and a successful computer book author. He is the author of the highly successful Learn Pascal in Three Days, 2e. (1-55622-567-9) and the forthcoming Learn C++ In Three Days (1-55622-707-8) from Wordware Publishing, Inc. Abolrous is also the author of over 20 computer books in Egypt. He has a B.S. in electrical engineering from the University of Alexandria, Egypt. Abolrous lives and works in Redmond outside of Seattle, Washington. --This text refers to an out of print or unavailable edition of this title.

This book is intended to introduce space-time coding and multiantenna systems. The endeavor is to impart a working knowledge of the subject not just for students and researchers but for the entire wireless community.

The birth of multiantenna systems is the direct result of the long-standing struggle to achieve data rates without compromising the quality of the reception. Indeed this has been the case since the inception of wireless communications. A binding constraint in the evolution of high data rate systems is the stringent limitation imposed on the available spectrum. This, in turn, has given rise to more efficient signaling techniques. Recent study has shown that multiple antennas yield substantial increases in channel capacity. Toward this end, multiple-input multipleoutput (MIMO) systems have been constructed comprising multiple antenna arrays at both ends of the wireless link. Space-time coding, as the name suggests, involves coding across space and time and is aimed at approaching the capacity limits of MIMO channels. Today space-time coding and MIMO systems are widely regarded as the most likely candidates for futuristic high data rate systems and are already being designed by many companies for the high data rate market.

This book is intended for postgraduate students, practicing engineers, and researchers. It is assumed that the reader is familiar with basic digital communications, linear algebra, and probability theory.

In view of the fact that space-time coding theory has become such a widely discussed and researched topic in recent times, it is not possible to cover all aspects in any detail. Therefore, an effort has been made to impart to the reader a ‘‘flavor’’ of the subject just enough to whet his/her appetite, prompting further detailed study of areas of particular interest. Toward this end, the style of writing has been kept as simple as possible and technical cliche´s and jargon have been kept to a minimum. All effort has been made to explain the basics in a cogent and conversational manner.

About the Author

Mohinder Jankiraman is a Dallas, Texas-based technology consultant with more than 20 years of professional engineering experience in wireless communications. A senior member of the IEEE and former researcher at The Netherlands’ Delft University of Technology, he recently taught at the University of Aalborg in Denmark and was a senior engineer at Summitek Instruments, Inc. of Denver, Colorado. He holds a Ph.D. in wireless multimedia communications from the University of Aalborg, and an M.S. in technology design from Delft University of Technology.

"The book under review is a new contribution on the topic, with a focus on signal processing applications. … this is the first self-contained manuscript on this emerging research area, and hence it is a welcome and timely contribution to the technical literature. … use of illustrative numerical examples, accompanied by Matlab scripts, allows the inexperienced reader to grasp the essential ideas without having to understand all the mathematical subtelties. In particular, signal processing engineers should benefit a lot from reading the book … ." (Didier Henrion, Zentralblatt MATH, Vol. 1126 (3), 2008)

"Trigonometric polynomials that are positive on the unit circle play an essential role in a number of digital filtering problems. … The text would be quite suitable for use as the basis of lectures, for it has proofs written out, a survey of the literature and many exercises." (A. Bultheel, Mathematical Reviews, Issue 2007 m)

Positive and sum-of-squares polynomials have received a special interest in the latest decade, due to their connections with semidefinite programming. Thus, efficient optimization methods can be employed to solve diverse problems involving polynomials. This book gathers the main recent results on positive trigonometric polynomials within a unitary framework; the theoretical results are obtained partly from the general theory of real polynomials, partly from self-sustained developments. The optimization applications cover a field different from that of real polynomials, mainly in signal processing problems: design of 1-D and 2-D FIR or IIR filters, design of orthogonal filterbanks and wavelets, stability of multidimensional discrete-time systems.

Positive Trigonometric Polynomials and Signal Processing Applications has two parts: theory and applications. The theory of sum-of-squares trigonometric polynomials is presented unitarily based on the concept of Gram matrix (extended to Gram pair or Gram set). The presentation starts by giving the main results for univariate polynomials, which are later extended and generalized for multivariate polynomials. The applications part is organized as a collection of related problems that use systematically the theoretical results. All the problems are brought to a semidefinite programming form, ready to be solved with algorithms freely available, like those from the library SeDuMi.

Teach Yourself Visual Basic.NET in 24 Hours provides readers with 24 structured lessons with step-by-step guidance to real-world tasks. Each chapter also contains exercises that reinforce the lessons learned in each chapter. Tips, Notes, and Cautions provide additional advice from the authors on how to get up-to-speed and programming quickly with Visual Basic.NET.

About the Author

James Foxall is vice president of Tigerpaw Software, Inc. and is a Microsoft Certified Solution Provider (MCSP) specializing in commercial database applications. James is responsible for management of all Windows application development at Tigerpaw, and he is an authority on application interface and behavior standards of applications for the Microsoft Windows and Office environments. James, a MCSD, has written more than 100,000 lines of commercial production Visual Basic code in both single-programmer and multiple-programmer environments.

James is the author of several books on Visual Basic, including the a definitive work on standards, entitled Practical Standards for Microsoft Visual Basic (Microsoft Press), MCSD in a Nutshell: The Visual Basic Exams (O'Reilly), Discover Visual Basic, Access 97 Secrets (Hungry Minds), Access for Windows 95 Secrets (Hungry Minds), and the Access 97 Bible Gold Edition (Hungry Minds). He also contributes to Visual Basic Programmer's Journal and Access/Office/VBA Advisor magazine, and he is an international speaker on Visual Basic and Access. In addition to speaking and writing, James has taught Visual Basic at the college level and has been featured on numerous television news shows, in trade publications, and in newspaper articles for his technology expertise.

Windows XP Unleashed guides the advanced reader through nearly every Windows XP topic imaginable giving ideas and solutions practical to typical problems encountered by professionals. Examples of topics covered are:

* Installations, use, and maintenance;
* Performance tuning;
* Optimizing memory;
* Detailed registry info;
* Pushing hardware profiles to their limits;
* XP system tools;
* How to build network bridges between Dissimilar operating systems;
* Working with compatibility modes to enable older O/S to interact with XP;
* Device driver rollback;
* Automatic driver update;
* Ensuring perfect printing always;
* Maximizing XP for the internet, intranet, and security.

About the Author

Terry Ogletree is a consultant who has worked with Windows operating systems for many years now, as well as Unix, Linux, and OpenVMS. He is currently working through The Computer Merchant of Norwell, MA (http://www.tcml.com). He is the author of several recent books, including Scott Mueller's Upgrading and Repairing Networks, 3rd Edition, Practical Firewalls, and Windows NT 4.0 Networking. In addition, he has contributed chapters to many other computer books published by other authors, and is the co-author of The Complete Idiot's Guide to Creating Your Own CDs, 2nd Edition. You can email him at two@twoinc.com, or visit his Web site at http://www.twoinc.com. Your comments and suggestions for improving this book are welcome!

THE ADVANCED DIGITAL PHOTOGRAPHER'S WORKBOOK is packed full of real-world yet incredibly practical and effective solutions to move digital photographers to a new level of performance. Contributors include twelve world-class professional digital photographers who share their tips and tricks. The authors provide details to move you beyond the basics of capture, processing and output to more sophisticated workflow functions and techniques that will help you create world-class images. They cover rigorous yet easy-to-understand approaches to: capture a great image in black-and-white and color, correct color, calibrate and set up systems properly, creatively manipulate and enhance the image, and produce an excellent print or output of the image.

Contributors: Steve Anchell, Stephen Burns, Yvonne Butler, Eric Cheng, Joe Farace, Lou Jones, Rick Sammon, George Schaub, Jeremy Sutton, Tony Sweet, Taz Tally, Eddie Tapp

* "Big name recognition" and collective knowledge of experts in digital photography and imaging.
* Wide breadth of special digital subjects in one text.
* Depth of coverage and practical application of each subject for amateurs to professionals across all areas of photography and graphic arts.

About the Author

Yvonne Butler is a professional photographer, writer, consultant, and digital workshop trainer. Yvonne's passion for photography is closely followed by her ongoing sense of urgency to capture the beauty of people, objects, and special locations around the world. She has amassed a representative body of black-and-white and color images taken in over thirty countries, many of them so-called third world countries, while she works on specialty abstracts and close-ups as fine art form. Her work has appeared in several magazines, websites, brochures, and collateral materials of the digital workshop groups for whom she leads workshops or consults.

This book devotes a separate section to each of the iLife ’06 programs: iTunes and iPod for listening to music; iPhoto for photography; iMovie HD for video editing; iDVD for creating DVD-Video discs, GarageBand for making music, and iWeb for creating Web sites. Each section is a series of two-page spreads, and each spread is a self-contained reference that covers one topic.

The acclaimed IT strategic planning methodology now completely revised for the new millennium!

Bernard Boar, internationally recognized expert and IT consultant for Fortune 500 companies, overhauls his bestselling book on IT strategy to help IT professionals take on the new challenges of the hyper-competitive digital age. From assessing your business needs to setting objectives to putting your plan into gear, Boar takes you through the entire strategic planning process, showing you not only how to run your department more efficiently but also how to leverage IT resources to ensure a competitive advantage for your company.

With 50 percent new material in this edition, you’ll discover a wealth of proven tools and techniques for using IT as a competitive business asset, including:

• Analytical methods to help identify areas in need of strategic planning
• How to choose the best strategy framework for your company from five different frameworks
• Quality control checks that every IT manager must know
• How to take advantage of such technologies as e-commerce, data warehousing, architectures, and Java to help your business succeed
• How to administer the process from concept to implementation while involving all areas of the enterprise

About the Author

BERNARD BOAR is Vice President for Strategic Solutions at RCG Information Technology where he implements and teaches the strategy discussed in his books. A frequent speaker at conferences and lectures, he consults about his methodology all over the world. Boar is also the author of Constructing Blueprints for Enterprise IT Architectures, Strategic Thinking for Information Technology, and Practical Steps for Aligning Information Technology with Business Strategies (all from Wiley).