This book grants the reader a comprehensive overview of the state-of-the-art in system-level memory management (data transfer and storage) related issues for complex data-dominated real-time signal and data processing applications. The authors introduce their own system-level data transfer and storage exploration methodology for data-dominated video applications. This methodology tackles the power and area reduction cost components in the architecture for this target domain, namely the system-level busses and the background memories. For the most critical tasks in the methodology, prototype tools have been developed to reduce the design time. The approach is also very heavily application-driven which is illustrated by several realistic demonstrators, partly used as red-thread examples in the book. The quite general applicability and effectiveness has been substantiated for several industrial data-dominated applications, including H.263 video conferencing decoding and medical computer tomography (CT) back projection. To the researcher the book will serve as an excellent reference source, both for the overall description of the methodology and for the detailed descriptions of the system-level methodologies and synthesis techniques and algorithms. To the design engineers and CAD managers it offers an invaluable insight into the anticipated evolution of commercially available design tools as well as allowing them to utilize the book's concepts in their own research and development.

Grid Resource Management: State of the Art and Future Trends presents an overview of the state of the field and describes both the real experiences and the current research available today. Grid computing is a rapidly developing and changing field, involving the shared and coordinated use of dynamic, multi-institutional resources. Grid resource management is the process of identifying requirements, matching resources to applications, allocating those resources, and scheduling and monitoring Grid resources over time in order to run Grid applications as efficiently as possible.
While Grids have become almost commonplace, the use of good Grid resource management tools is far from ubiquitous because of the many open issues of the field, including the multiple layers of schedulers, the lack of control over resources, the fact that resources are shared, and that users and administrators have conflicting performance goals. These are the issues addressed in this book, in addition to elucidating the overlap with related areas including discussions of work with peer-to-peer computing, economic approaches, and operations research.
Grid Resource Management: State of the Art and Future Trends is an invaluable resource for today's user, application developer, or resource owners when working with Grid resource management systems.

Numerical methods are playing an ever-increasing role in physics and engineering. This is especially true after the recent explosion of computing power on the desk-top. This book is aimed at helping the user to make intelligent use of this power tool. Each method is introduced through realistic examples and actual computer programs. The explanations provide the background for making a choice between similar approaches and the knowledge to explore the network for the appropriate existing codes. Tedious proofs and derivations, on the other hand, are delegated to references. Examples of uncoventional methods are also given to stimulate readers in exploring new ways of solving problems.

E-government research has flourished as a way of disseminating information and providing services to citizens ever since the popularization of the Internet. Although there have been tremendous advancements in the world of e-government, critical evaluations on the effectiveness of such methods have yet to be determined. Citizens and E-Government: Evaluating Policy and Management examines the role that citizens play in the development of electronic government or e-government, specifically focusing on the impact of e-government and citizens while exploring issues of policy and management. This book not only focuses on the adoption of e-government and its impact on citizens, but it also discusses the effectiveness of this technology as a way of improving citizen access and engagement with their government. Overall, this book is essential for those interested in the importance of citizens in information technology adoption and development of electronic government.

In March 2002, the Naval Research Laboratory brought together leading researchers and government sponsors for a three-day workshop in Washington, D.C. on Multi-Robot Systems. The workshop began with presentations by various government program managers describing application areas and programs with an interest in multi robot systems. Government representatives were on hand from the Office of Naval Research, the Air Force, the Army Research Lab, the National Aeronau tics and Space Administration, and the Defense Advanced Research Projects Agency. Top researchers then presented their current activities in the areas of multi robot systems and human-robot interaction. The first two days of the workshop of1ocalizatio . concentrated on multi-robot control issues, including the topics mapping, and navigation; distributed surveillance; manipulation; coordination and formations; and sensors and hardware. The third day was focused on hu man interactions with multi-robot teams. All presentations were given in a single-track workshop format. This proceedings documents the work presented by these researchers at the workshop. The invited presentations were followed by panel discussions, in which all participants interacted to highlight the challenges of this field and to develop possible solutions. In addition to the invited research talks, students were given an opportunity to present their work at poster sessions."

Short turnaround has become critical in the design of electronic systems. Software- programmable components such as microprocessors and digital signal processors have been used extensively in such systems since they allow rapid design revisions. However, the inherent performance limitations of software-programmable systems mean that they are inadequate for high-performance designs. Designers thus turned to gate arrays as a solution. User-programmable gate arrays (field-programmable gate arrays, FPGAs) have recently emerged and are changing the way electronic systems are designed and implemented. The growing complexity of the logic circuits that can be packed onto an FPGA chip means that it has become important to have automatic synthesis tools that implement logic functions on these architectures. Logic Synthesis for Field-Programmable Gate Arrays describes logic synthesis for both look-up table (LUT) and multiplexor-based architectures, with a balanced presentation of existing techniques together with algorithms and the system developed by the authors. Audience: A useful reference for VLSI designers, developers of computer-aided design tools, and anyone involved in or with FPGAs.

Text mining is an exciting application ?eld and an area of scienti?c - search that is currently under rapid development. It uses techniques from well-established scienti?c ?elds (e. g. data mining, machine learning, infor- tion retrieval, natural language processing, case-based reasoning, statistics and knowledge management) in an e?ort to help people gain insight, und- stand and interpret large quantities of (usually) semi-structured and unstr- tured data. Despite the advances made during the last few years, many issues remain unresolved. Proper co-ordination activities, dissemination of current trends and standardisation of the procedures have been identi?ed, as key needs. There are many questions still unanswered, especially to the potential users; what is the scope of Text Mining, who uses it and for what purpose, what constitutes the leading trends in the ?eld of Text Mining - especially in relation to IT - and whether there still remain areas to be covered. Knowledge Mining draws upon many of the key concepts of knowledge management, data mining and knowledge discovery, meta-analysis and data visualization. Within the context of scienti?c research, knowledge mining is principally concerned with the quantitative synthesis and visualization of - search results and ?ndings. The results of knowledge mining are increased scienti?c understanding along with improvements in research quality and value. Knowledge mining products can be used to highlight research opportunities, assist with the p- sentation of "best" scienti?c evidence, facilitate research portfolio mana- ment, as well as, facilitate policy setting and decision making.

Despite the fact that Maple V has become one of the most popular computer algebra systems on the market, surprisingly few users realize its potential in the field of scientific visualization. The purpose of this book is to equip the reader with a variety of graphics tools needed on the voyage of discovery into the complex and often beautiful world of curves and surfaces. A comprehensive treatment of Maple's graphics commands and structures is combined with an introduction to the main aspects of visual perception. Top priority is given to the use of light, color, perspective, and geometric transformations. Numerous examples, accompanied by pictures (many in color), cover all aspects of Maple graphics. The examples can be easily customized to suit the individual needs of the reader. The approach is context independent, and as such will appeal to students, educators, and researchers in a broad spectrum of scientific disciplines. For the general user at any level of experience, this book can serve as a comprehensive reference manual. For the beginner, it offers a user- friendly elementary introduction to the subject, with mathematical requirements kept to a minimum. For those interested in advanced mathematical visualization, it explains how to maximize Maple's graphical capabilities. In particular, this book shows how to turn Maple into an excellent modeling tool capable of generating elaborate surfaces that conventional modelers cannot produce. These surfaces can be exported to an external ray tracer (e.g. POV-ray) for sophisticated photo-realistic rendering. All of the Maple code segments which are presented in the book, as well as high-resolution pictures showing alternative renderingsof some of the book's color plates, are included on the accompanying DOS diskette.

In Finite Element Analysis of Electrical Machines the author covers two-dimensional analysis, emphasizing the use of finite elements to perform the most common calculations required of machine designers and analysts. The book explains what is inside a finite element program, and how the finite element method can be used to determine the behavior of electrical machines. The material is tutorial and includes several completely worked out examples. The main illustrative examples are synchronous and induction machines. The methods described have been used successfully in the design and analysis of most types of rotating and linear machines. Audience: A valuable reference source for academic researchers, practitioners and designers of electrical machinery.

Embedded computer systems are now everywhere: from alarm clocks to PDAs, from mobile phones to cars, almost all the devices we use are controlled by embedded computers. An important class of embedded computer systems is that of hard real-time systems, which have to fulfill strict timing requirements. As real-time systems become more complex, they are often implemented using distributed heterogeneous architectures. Analysis and Synthesis of Distributed Real-Time Embedded Systems addresses the design of real-time applications implemented using distributed heterogeneous architectures. The systems are heterogeneous not only in terms of hardware components, but also in terms of communication protocols and scheduling policies. Regarding this last aspect, time-driven and event-driven systems, as well as a combination of the two, are considered. Such systems are used in many application areas like automotive electronics, real-time multimedia, avionics, medical equipment, and factory systems. The proposed analysis and synthesis techniques derive optimized implementations that fulfill the imposed design constraints. An important part of the implementation process is the synthesis of the communication infrastructure, which has a significant impact on the overall system performance and cost. Analysis and Synthesis of Distributed Real-Time Embedded Systems considers the mapping and scheduling tasks within an incremental design process. To reduce the time-to-market of products, the design of real-time systems seldom starts from scratch. Typically, designers start from an already existing system, running certain applications, and the design problem is to implement new functionality on top of this system. Supporting such an incremental design process provides a high degree of flexibility, and can result in important reductions of design costs. Analysis and Synthesis of Distributed Real-Time Embedded Systems will be of interest to advanced undergraduates, graduate students, researchers and designers involved in the field of embedded systems.

This book is concerned with the prediction of thermodynamic and transport properties of gases and liquids. The prediction of such properties is essential for the solution of many problems encountered in chemical and process engineering as well as in other areas of science and technology. The book aims to present the best of those modern methods which are capable of practical application. It begins with basic scientific principles and formal results which are subsequently developed into practical methods of prediction. Numerous examples, supported by a suite of computer programmes, illustrate applications of the methods. The book is aimed primarily at the student market (for both undergraduate and taught postgraduate courses) but it will also be useful for those engaged in research and for chemical and process engineering professionals.

This book is concerned with the prediction of thermodynamic and transport properties of gases and liquids. The prediction of such properties is essential for the solution of many problems encountered in chemical and process engineering as well as in other areas of science and technology. The book aims to present the best of those modern methods which are capable of practical application. It begins with basic scientific principles and formal results which are subsequently developed into practical methods of prediction. Numerous examples, supported by a suite of computer programmes, illustrate applications of the methods. The book is aimed primarily at the student market (for both undergraduate and taught postgraduate courses) but it will also be useful for those engaged in research and for chemical and process engineering professionals.

Application Specific Processors is written for use by engineers who are developing specialized systems (application specific systems). Traditionally, most high performance signal processors have been realized with application specific processors. The explanation is that application specific processors can be tailored to exactly match the (usually very demanding) application requirements. The result is that no processing power' is wasted for unnecessary capabilities and maximum performance is achieved. A disadvantage is that such processors have been expensive to design since each is a unique design that is customized to the specific application. In the last decade, computer-aided design systems have been developed to facilitate the development of application specific integrated circuits. The success of such ASIC CAD systems suggests that it should be possible to streamline the process of application specific processor design. Application Specific Processors consists of eight chapters which provide a mixture of techniques and examples that relate to application specific processing. The inclusion of techniques is expected to suggest additional research and to assist those who are faced with the requirement to implement efficient application specific processors. The examples illustrate the application of the concepts and demonstrate the efficiency that can be achieved via application specific processors. The chapters were written by members and former members of the application specific processing group at the University of Texas at Austin. The first five chapters relate to specific arithmetic which often is the key to achieving high performance in application specific processors. The next two chapters focus on signal processing systems, and the final chapter examines the interconnection of possibly disparate elements to create systems.

Hardbound. Research in Philosophy and Technology: Volume 19 advances philosophical reflections on technology through a focus on metaphysical and epistemological issues. The contributors employ the resources of both the phenomenological and analytical traditions of contemporary philosophy in their work.Contributions include general proposals for the reform of the philosophy of technology; examinations of the work of major philosophers including Wittgenstein, Heidegger, Jonas, Ihde, and Merleau-Ponty; an extended argument for a more careful delineation of the difference between science and technology; a new analysis of the concept of efficiency; extended studies of the fate of skill in the information age and the place of the body in virtual reality.Themed review essays and general reviews complement the chapters.

Since its establishment in 1998, Microsoft Research Asia's trademark and long term commitment has been to foster innovative research and advanced education in the Asia-Pacific region. Through open collaboration and partnership with universities, government and other academic partners, MSRA has been consistently advancing the state-of-the-art in computer science. This book was compiled to record these outstanding collaborations, as Microsoft Research Asia celebrates its 10th Anniversary.

The selected papers are all authored or co-authored by faculty members or students through collaboration with MSRA lab researchers, or with the financial support of MSRA. Papers previously published in top-tier international conference proceedings and journals are compiled here into one accessible volume of outstanding research. Innovation Together highlights the outstanding work of Microsoft Research Asia as it celebrates ten years of achievement and looks forward to the next decade of success.

Examining the role and impact of technology on creative practice, and how technology evolution determines the forms and format of an artist's work, this book contextualizes technological revolutions with earlier encounters between craft and innovation, endorsing a notion of craft practice within computing that needs rescuing from tech industries.

The Dynamics of Control provides a carefully integrated development of the mathematical connections between nonlinear control, dynamical systems, and time-varying perturbed systems for scientists and engineers. The central theme is the notion of control flow with its global dynamics and linearization presented in detail.

The book's scope is comprehensive and includes global theory of dynamical systems under time-varying perturbations, global and local dynamics of control systems, connections between control systems and dynamical systems and the relevant numerical methods for global dynamics, linearization, and stability. Topics are developed with a diverse and extensive selection of applied problems from control and dynamical systems.

Topics and Features:

* complete coverage of unified theory of control flows

* wide array of motivating problems from control and dynamical systems to appeal to mathematicians, scientists, and engineers

* relevant motivation and a listing of important definitions and results at the beginning of each chapter

* a compilation of essential background information in four appendices: nonlinear geometric control, topological theory of dynamical systems, computations of reachable sets, and numerical solution of Hamiltona "Jacobia "Belman equations

* discussion of numerical methods

This new text and self-study reference guide is an excellent resource for the foundations and applications of control theory and nonlinear dynamics. All graduates, practitioners, and professionals in control theory, dynamical systems, perturbation theory, engineering, physics, and nonlinear dynamics will find the book a rich source of ideas, methods, andapplications.

This monograph presents novel approaches and new results in fundamentals and applications related to rough sets and granular computing. It includes the application of rough sets to real world problems, such as data mining, decision support and sensor fusion. The relationship of rough sets to other important methods of data analysis – Bayes theorem, neurocomputing and pattern recognition is thoroughly examined. Another issue is the rough set based data analysis, including the study of decision making in conflict situations. Recent engineering applications of rough set theory are given, including a processor architecture organization for fast implementation of basic rough set operations and results concerning advanced image processing for unmanned aerial vehicles. New emerging areas of study and applications are presented as well as a wide spectrum of on-going research, which makes the book valuable to all interested in the field of rough set theory and granular computing.

Asynchronous Circuit Design for VLSI Signal Processing is a collection of research papers on recent advances in the area of specification, design and analysis of asynchronous circuits and systems. This interest in designing digital computing systems without a global clock is prompted by the ever growing difficulty in adopting global synchronization as the only efficient means to system timing. Asynchronous circuits and systems have long held interest for circuit designers and researchers alike because of the inherent challenge involved in designing these circuits, as well as developing design techniques for them. The frontier research in this area can be traced back to Huffman's publications The Synthesis of Sequential Switching Circuits' in 1954 followed by Unger's book, Asynchronous Sequential Switching Circuits' in 1969 where a theoretical foundation for handling logic hazards was established. In the last few years a growing number of researchers have joined force in unveiling the mystery of designing correct asynchronous circuits, and better yet, have produced several alternatives in automatic synthesis and verification of such circuits. This collection of research papers represents a balanced view of current research efforts in the design, synthesis and verification of asynchronous systems.

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known. This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.

Up-to-date coverage of every topic on the CEH v11 exam This effective self-study guide covers 100% of the EC Council's Certified Ethical Hacker Version 11 exam objectives. The book discusses the latest ethical hacking tools, techniques, and exploits. Readers will find learning objectives at the beginning of each chapter, step-by-step exercises, exam tips, practice exam questions, and in-depth explanations. An integrated test preparation system based on proven pedagogy, CEH Certified Ethical Hacker All-in-One Exam Guide, Fifth Edition covers all five phases of ethical hacking: reconnaissance, gaining access, enumeration, maintaining access, and covering tracks. Readers will learn about malware, hacking Web applications and mobile platforms, cloud computing vulnerabilities, and more. Designed to help candidates pass the exam with ease, this authoritative resource also serves as an essential on-the-job reference. Complete coverage of all CEH v11 exam objectives Includes online access to the Total Tester customizable practice exam software containing 300 practice questions Written by an experienced educator with more than 20 years of experience in the field

Claus Pahl provides fundamental research on the common structures in LTS architectures and solutions for specific forms such as knowledge-based, distributed, or adaptive applications of e-learning.

1. MOTIVATION In many physical situations, a plant model is often provided with a qualitative or quantitative measure of associated model uncertainties. On the one hand, the validity of the model is guaranteed only inside a frequency band, so that nearly nothing can be said about the behavior of the real plant at high frequencies. On the other hand, if the model is derived on the basis of physical equations, it can be parameterized as a function of a few physical parameters, which are usually not perfectly known in practice. This is e.g. the case in aeronautical systems: as an example, the ae- dynamic model of an airplane is derived from the flight mechanics eq- tions. When synthesizing the aircraft control law, it is then necessary to take into account uncertainties in the values of the stability derivatives, which correspond to the physical coefficients of the aerodynamic model. Moreover, this airplane model does not perfectly represent the be- vior of the real aircraft. As a simple example, the flight control system or the autopilot are usually synthesized just using the aerodynamic model, thus without accounting for the flexible mechanicalstructure: the c- responding dynamics are indeed considered as high frequency neglected 1 dynamics, with respect to the dynamics of the rigid model .

As MOS devices are scaled to meet increasingly demanding circuit specifications, process variations have a greater effect on the reliability of circuit performance. For this reason, statistical techniques are required to design integrated circuits with maximum yield. Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits describes a statistical circuit simulation and optimization environment for VLSI circuit designers. The first step toward accomplishing statistical circuit design and optimization is the development of an accurate CAD tool capable of performing statistical simulation. This tool must be based on a statistical model which comprehends the effect of device and circuit characteristics, such as device size, bias, and circuit layout, which are under the control of the circuit designer on the variability of circuit performance. The distinctive feature of the CAD tool described in this book is its ability to accurately model and simulate the effect in both intra- and inter-die process variability on analog/digital circuits, accounting for the effects of the aforementioned device and circuit characteristics. Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits serves as an excellent reference for those working in the field, and may be used as the text for an advanced course on the subject.