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.

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.

The aim of this volume is to provide an introduction and selective overview of the rapidly emerging field of computational economics. Computational economics provides an important set of tools that an increasing number of economists will need to acquire in order to understand and do state-of-the-art research in virtually all areas of economics. Articles in the volume range from very applied, policy oriented applications of computational methods, to highly theoretical and mathematically complex analyses of algorithms and numerical methods. The book emphasizes the unique contributions of computational methods in economics, and focuses on problems for which well developed solutions are not already available from the literature in operations research, numerical methods, and computer science. As well as covering relatively mature areas in the field, a number of chapters are included which cover more speculative "frontier topics," in particular recently discovered computational innovations and research results. For more information on the Handbooks in Economics series, please see our homepage on http: //www.elsevier.nl/locate/hes

This book describes a cross-domain architecture and design tools for networked complex systems where application subsystems of different criticality coexist and interact on networked multi-core chips. The architecture leverages multi-core platforms for a hierarchical system perspective of mixed-criticality applications. This system perspective is realized by virtualization to establish security, safety and real-time performance. The impact further includes a reduction of time-to-market, decreased development, deployment and maintenance cost, and the exploitation of the economies of scale through cross-domain components and tools. Describes an end-to-end architecture for hypervisor-level, chip-level, and cluster level. Offers a solution for different types of resources including processors, on-chip communication, off-chip communication, and I/O. Provides a cross-domain approach with examples for wind-power, health-care, and avionics. Introduces hierarchical adaptation strategies for mixed-criticality systems Provides modular verification and certification methods for the seamless integration of mixed-criticality systems. Covers platform technologies, along with a methodology for the development process. Presents an experimental evaluation of technological results in cooperation with industrial partners. The information in this book will be extremely useful to industry leaders who design and manufacture products with distributed embedded systems in mixed-criticality use-cases. It will also benefit suppliers of embedded components or development tools used in this area. As an educational tool, this material can be used to teach students and working professionals in areas including embedded systems, computer networks, system architecture, dependability, real-time systems, and avionics, wind-power and health-care 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.

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.

Developing software for current and especially for future architectures will require knowledge about parallel programming techniques of applications and library p- grammers. Multi-core processors are already available today, and processors with a dozen and more cores are on the horizon. The major driving force in hardware development, the game industry, has - ready shown interest in using parallel programming paradigms, such as OpenMP for further developments. Therefore developers have to be supported in the even more complex task of programming for these new architectures. HLRS has a long-lasting tradition of providing its user community with the most up-to-date software tools. Additionally, important research and development projects are worked on at the center: among the software packages developed are the MPI correctness checker Marmot, the OpenMP validation suite and the M- implementations PACX-MPI and Open MPI. All of these software packages are - ing extended in the context of German and European community research projects, such as ParMA, the InterActive European Grid (I2G) project and the German C- laborative Research Center (Sonderforschungsbereich 716). Furthermore, ind- trial collaborations, i.e. with Intel and Microsoft allow HLRS to get its software production-grade ready. In April 2007, a European project on Parallel Programming for Multi-core - chitectures, in short ParMA was launched, with a major focus on providing and developing tools for parallel programming.

The virtual digital domain allows the capture, processing, transmission, storage, retrieval and display of text, images, audio and animation, without familiar materials such as paper, celluloid, magnetic tape and plastic. But moving from these media to the digital domain introduces all sorts of problems, such as the conversion of analogue archives, multimedia databases, content-based retrieval and the design of new content that exploits the benefits offered by digital systems. It is this issue of digital content creation that is addressed in this book.Different aspects of digital content creation are discussed in this volume, contributed by authors from around the world. Although each chapter addresses an individual aspect of the digital domain, there are common threads that unite them into an exciting vision of the future.

Intelligent Multimedia Multi-Agent Systems focuses on building intelligent successful systems. The book adopts a human-centered approach and considers various pragmatic issues and problems in areas like intelligent systems, software engineering, multimedia databases, electronic commerce, data mining, enterprise modeling and human-computer interaction for developing a human-centered virtual machine. The authors describe an ontology of the human-centered virtual machine which includes four components: activity-centered analysis component, problem solving adapter component, transformation agent component, and multimedia based interpretation component. These four components capture the external and internal planes of the system development spectrum. They integrate the physical, social and organizational reality on the external plane with stakeholder goals, tasks and incentives, and organization culture on the internal plane. The human-centered virtual machine and its four components are used for developing intelligent multimedia multi-agent systems in areas like medical decision support and health informatics, medical image retrieval, e-commerce, face detection and annotation, internet games and sales recruitment. The applications in these areas help to expound various aspects of the human-centered virtual machine including, human-centered domain modeling, distributed intelligence and communication, perceptual and cognitive task modeling, component based software development, and multimedia based data modeling. Further, the applications described in the book employ various intelligent technologies like neural networks, fuzzy logic and knowledge based systems, software engineering artifacts like agents and objects, internet technologies like XML and multimedia artifacts like image, audio, video and text.

This book contains extended and revised versions of the best papers that were presented during the fifteenth edition of the IFIP/IEEE WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 15th conference was held at the Georgia Institute of Technology, Atlanta, USA (October 15-17, 2007). Previous conferences have taken place in Edinburgh, Trondheim, Vancouver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt, Perth and Nice. The purpose of this conference, sponsored by IFIP TC 10 Working Group 10.5 and by the IEEE Council on Electronic Design Automation (CEDA), is to provide a forum to exchange ideas and show industrial and academic research results in the field of microelectronics design. The current trend toward increasing chip integration and technology process advancements brings about stimulating new challenges both at the physical and system-design levels, as well in the test of these systems. VLSI-SoC conferences aim to address these exciting new issues.

This is the first book to cover verification strategies and methodologies for SOC verification from system level verification to the design sign-off. All the verification aspects in this exciting new book are illustrated with a single reference design for Bluetooth application.

The book gives a thorough introduction into object orientated design and programming using C++. At the same time it can be used as a library of very useful programs chosen from the fields of finance, adminstration and statistics. These include programs for calculating loan periods, amortization, least squares fitting, a spelling checker, Gregorian calendar, data compression and encryption, searching and sorting. Basic C++ programming is introduced with simple introductory programs while object-oriented programming in C++ is explained as we develop useful classes. Finally we give an introduction into object orientated design and we demonstrate its power by developing a banking package.

Designing Secure IoT devices with the Arm Platform Security Architecture and Cortex-M33 explains how to design and deploy secure IoT devices based on the Cortex-M23/M33 processor. The book is split into three parts. First, it introduces the Cortex-M33 and its architectural design and major processor peripherals. Second, it shows how to design secure software and secure communications to minimize the threat of both hardware and software hacking. And finally, it examines common IoT cloud systems and how to design and deploy a fleet of IoT devices. Example projects are provided for the Keil MDK-ARM and NXP LPCXpresso tool chains. Since their inception, microcontrollers have been designed as functional devices with a CPU, memory and peripherals that can be programmed to accomplish a huge range of tasks. With the growth of internet connected devices and the Internet of Things (IoT), "plain old microcontrollers" are no longer suitable as they lack the features necessary to create both a secure and functional device. The recent development by ARM of the Cortex M23 and M33 architecture is intended for today's IoT world.