Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline researchers in the field, and will no doubt be the standard reference work in logic and theoretical computer science for years to come.

Kernel smoothing refers to a general methodology for recovery of underlying structure in data sets. The basic principle is that local averaging or smoothing is performed with respect to a kernel function.This book provides uninitiated readers with a feeling for the principles, applications, and analysis of kernel smoothers. This is facilitated by the authors' focus on the simplest settings, namely density estimation and nonparametric regression. They pay particular attention to the problem of choosing the smoothing parameter of a kernel smoother, and also treat the multivariate case in detail. Kernal Smoothing is self-contained and assumes only a basic knowledge of statistics, calculus, and matrix algebra. It is an invaluable introduction to the main ideas of kernel estimation for students and researchers from other discipline and provides a comprehensive reference for those familiar with the topic.

Increasing interest in set theory, particularly the possibility of a set of all sets ("universal set"), has been stimulated by its relevance to computer science. This new edition, drawing heavily on Quine's theories as introduced in New Foundations, provides an accessible introduction of universal set theory to mathematicians, logicians, and philosophers.

This book builds theoretical statistics from the first principles of probability theory. Starting from the basics of probability, the authors develop the theory of statistical inference using techniques, definitions, and concepts that are statistical and are natural extensions and consequences of previous concepts. Intended for first-year graduate students, this book can be used for students majoring in statistics who have a solid mathematics background. It can also be used in a way that stresses the more practical uses of statistical theory, being more concerned with understanding basic statistical concepts and deriving reasonable statistical procedures for a variety of situations, and less concerned with formal optimality investigations.

The book covers XSLT and Xpath (as a part of XSLT), as these topics have everything to do with processing XML. It will also cover XML from an XSLT processing and design point of view. Other XML technologies will not be discussed as superset of XSLT, most notably XSL. XSL Formatting Objects alone is enough material for an entire book. Apart from that, XSLT and Xpath form the processing/programming section of the entire XSL specification. This book presents an overview of XSLT and guides readers through transforming their first XML data.

This book provides a comprehensive introduction to stochastic control problems in discrete and continuous time. The material is presented logically, beginning with the discrete-time case using few mathematical tools before proceeding to the stochastic continuous-time models requiring more advanced mathematics. Topics covered include stochastic maximum principles for discrete time, continuous time, and for problems with terminal conditions. A nonstandard treatment of piecewise deterministic problems, related to some control problems, is also presented. Numerous illustrative examples and exercises are included to enhance the understanding of the reader. By interlinking many fields in stochastic control, the material gives the student the opportunity to see the connections between different fields and the underlying ideas that unify them.

This volume is produced from digital images from the Cornell University Library Historical Mathematics Monographs collection.

Privacy-Preserving Data Mining: Models and Algorithms proposes a number of techniques to perform the data mining tasks in a privacy-preserving way. These techniques generally fall into the following categories: data modification techniques, cryptographic methods and protocols for data sharing, statistical techniques for disclosure and inference control, query auditing methods, randomization and perturbation-based techniques.

The e-Learning Handbook provides a critical reflection on the current state of e-learning with contributions from the world’s foremost e-learning experts and best-selling authors from academe and industry, including Margaret Driscoll; Brent Wilson Lee Christopher; William Horton, L. Wayne Precht, Harvey Singh, Jim Everidge, and Jane Bozarth; Pat Brogan; Patrick Parrish; Marc J. Rosenberg and Steve Forman; Pat McGee; Philip C. Abrami, Gretchen Lowerison, Roger Cote, and Marie-Claude Lavoie; Thomas C. Reeves, Jan Herrington, and Ron Oliver; and Patrick Lambe. The book offers a comprehensive and up-to-date assessment of the technological, design, economic, evaluation, research, economic, and philosophical issues underlying e-learning. Each chapter includes a chart that summarizes the key take-away points, contains questions that are useful for guiding discussions, and offers suggestions of related links, books, papers, reports, and articles.

Using client-proven methods, and over 15 years of programming experience, expert author Davis Chapman empowers developers to create powerful, secure applications. Developing Secure Applications with Visual Basic first provides you with an understanding of encryption, and then guides you through adding security features to your own applications using the Microsoft CryptoAPI, and the new security features of Windows 2000. Developers who have been confused by the high-end, academic style of other encryption books and cryptography theory will delight with Chapman's understandable style and hands-on methods. This book covers security topics developers want and need to know including File Encryption, Encrypted Communications, Working with Certificates, Digital Signatures, SChannel Communications (SSL), Secure E-Mail, and much more.

Sams Teach Yourself Java in 21 Days continues to be one of the most popular, best-selling Java tutorials on the market. Written by two expert technical writers, it has been acclaimed for its clear and personable writing, for its extensive use of examples, and for its logical and complete organization. This new edition of the book maintains and improves upon all these qualities, while updating, revising, and reorganizing the material to cover the latest developments in Java and to expand the book's coverage of core Java programming topics.

A successful restaurant is a dream business. It offers guests a fabulous experience, while the restaurateur gets an exciting workplace, creative license, and potentially nice profit margins. Of course, restaurant success does not arrive on a silver platter. It takes know-how, the right planning, and access to quality information. A one-stop guide to the business, The Restaurant: From Concept to Operation, Fifth Edition gives readers the knowledge they need to conceive, open, and run any type of restaurant, from fast-food franchise to upscale dining room.

This monograph deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output relations. It will be of special interest to researchers, engineers and graduate students who have specialized in filtering theory and system theory. From noisy or noiseless data, reduction will be made. A new method which reduces noise or models information will be proposed. Using this method will allow model description to be treated as noise reduction or model reduction.

In our world of ever-increasing Internet connectivity, there is an on-going threat of intrusion, denial of service attacks, or countless other abuses of computer and network resources. In particular, these threats continue to persist due to the flaws of current commercial intrusion detection systems (IDSs).

This book is intended to be a reference material mainly for aeronautical engineering senior students, graduate-level students and practitioners in the aerospace industry with the essential background of college-level physics and integral calculus.