Description: "Anyone who has ever pondered using a sophisticated computer algebra system in a course involving nontrivial mathematics should peruse this book...Those with an applied mathematics orientation should find this work particularly interesting."

Description: This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.

The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents.

Description: This book is concerned with the relations between graphs, error-correcting codes and designs, in particular how techniques of graph theory and coding theory can give information about designs. A major revision and expansion of a previous volume in this series, this account includes many examples and new results as well as improved treatments of older material. So that non-specialists will find the treatment accessible the authors have included short introductions to the three main topics. This book will be welcomed by graduate students and research mathematicians and be valuable for advanced courses in finite combinatorics.

Description: Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic.

This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic.

Description: Understand the structure, behavior, and limitations of logic machines with this thoroughly updated third edition. Many new topics are included, such as CMOS gates, logic synthesis, logic design for emerging nanotechnologies, digital system testing, and asynchronous circuit design, to bring students up-to-speed with modern developments. The intuitive examples and minimal formalism of the previous edition are retained, giving students a text that is logical and easy to follow, yet rigorous. Kohavi and Jha begin with the basics, and then cover combinational logic design and testing, before moving on to more advanced topics in finite-state machine design and testing. Theory is made easier to understand with 200 illustrative examples, and students can test their understanding with over 350 end-of-chapter review questions.

Description: Although C, C++, Java, and Fortran are well-established programming languages, the relatively new C# is much easier to use for solving complex scientific and engineering problems. Numerical Methods, Algorithms and Tools in C# presents a broad collection of practical, ready-to-use mathematical routines employing the exciting, easy-to-learn C# programming language from Microsoft.

Description: Graph algorithms are easy to visualize and indeed there already exists a variety of packages and programs to animate the dynamics when solving problems from graph theory. Still, and somewhat surprisingly, it can be difficult to understand the ideas behind the algorithm from the dynamic display alone.

Description: The method of wavelet transforms is one key tool in signal processing and control. Modern wavelet theory defines outlines for construction of wavelets and transformations using them. It gives rules that one has to obey to get a wavelet basis with desired properties, meaning that everyone can create a wavelet adequate for the given task. This book helps to understanding this rules.

In seven chapters, the book gives a concise understanding of the theory of wavelets, explains how to compute them in practise and finally presents typical applications of wavelets and how they work. The book is written for graduate students and practising Engineers of electrical communications, signal processing and control.

Description: The book contains ten chapters as follows, Prepare Knowledge, Regression and Self-regression Models with Fuzzy Coefficients; Regression and Self-regression Models with Fuzzy Variables, Fuzzy Input/output Model, Fuzzy Cluster Analysis and Fuzzy Recognition, Fuzzy Linear Programming, Fuzzy Geometric Programming, Fuzzy Relative Equation and Its Optimizing, Interval and Fuzzy Differential Equations and Interval and Fuzzy Functional and Their Variation.

It can not only be used as teaching materials or reference books for under-graduates in higher education, master graduates and doctor graduates in the courses of applied mathematics, computer science, artificial intelligence, fuzzy information process and automation, operations research, system science and engineering, and the like, but also serves as a reference book for researchers in these fields, particularly, for researchers in soft science.

Description: This research book contains a sample of most recent research in the area of intelligent autonomous systems. The contributions include:

General aspects of intelligent autonomous systems
Design of intelligent autonomous robots
Biped robots
Robot for stair-case navigation