Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages.

This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.

Neuromorphic Systems Engineering: Neural Networks in Silicon emphasizes three important aspects of this exciting new research field. The term neuromorphic expresses relations to computational models found in biological neural systems, which are used as inspiration for building large electronic systems in silicon. By adequate engineering, these silicon systems are made useful to mankind. Neuromorphic Systems Engineering: Neural Networks in Silicon provides the reader with a snapshot of neuromorphic engineering today. It is organized into five parts viewing state-of-the-art developments within neuromorphic engineering from different perspectives. Neuromorphic Systems Engineering: Neural Networks in Silicon provides the first collection of neuromorphic systems descriptions with firm foundations in silicon. Topics presented include: large scale analog systems in silicon neuromorphic silicon auditory (ear) and vision (eye) systems in silicon learning and adaptation in silicon merging biology and technology micropower analog circuit design analog memory analog interchipcommunication on digital buses GBP/LISTGBP Neuromorphic Systems Engineering: Neural Networks in Silicon serves as an excellent resource for scientists, researchers and engineers in this emerging field, and may also be used as a text for advanced courses on the subject.

This book constitutes the refereed proceedings of the 2008 IFIP Conference on Wireless Sensors and Actor Networks held in Ottawa, Canada on July 14-15, 2008.

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

Jerome McGann has been at the forefront of the digital revolution in the humanities. His pioneering critical projects on the World Wide Web have redefined traditional notions about interpreting literature. In this trailblazing book, McGann explores the profound implications digital media have for the core critical tasks of the humanities.Drawing on his work as editor of the acclaimed hypertext project The Rossetti Archive, he sets the foundation for a new critical practice for the digital age. Digital media, he demonstrates, can do much more than organize access to great works of literature and art. Beyond their acknowledged editorial and archival capabilities, digital media are also critical tools of unprecedented power. In McGann’s practical vision, digital tools give scholars a flexible, dynamic means for interpreting expressive works—especially those that combine text and image. Radiant Textuality demonstrates eloquently how new technologies can deepen our understanding of complex, multi-layered works of the human imagination in ways never before thought possible.

Learning on Silicon combines models of adaptive information processing in the brain with advances in microelectronics technology and circuit design. The premise is to construct integrated systems not only loaded with sufficient computational power to handle demanding signal processing tasks in sensory perception and pattern recognition, but also capable of operating autonomously and robustly in unpredictable environments through mechanisms of adaptation and learning. This edited volume covers the spectrum of Learning on Silicon in five parts: adaptive sensory systems, neuromorphic learning, learning architectures, learning dynamics, and learning systems. The 18 chapters are documented with examples of fabricated systems, experimental results from silicon, and integrated applications ranging from adaptive optics to biomedical instrumentation. As the first comprehensive treatment on the subject, Learning on Silicon serves as a reference for beginners and experienced researchers alike. It provides excellent material for an advanced course, and a source of inspiration for continued research towards building intelligent adaptive machines.

Virtual learning plays an important role in providing academicians, educators and students alike, with advanced learning experiences. At the forefront of these current technologies are knowledge-based systems that assess the environment in which such learning will occur and are adaptive by nature to the individual needs of the user. This monograph provides a wide range of innovative approaches of virtual education with a special emphasis on inter-disciplinary approaches. The book covers a multitude of important issues on the subject of "Innovations in Knowledge-Based Virtual Education," aiming at researchers and practitioners from academia, industry, and government. The carefully selected contributions report on research, development and real-world experiences of virtual education such as intelligent virtual teaching, web-based adaptive learning systems, intelligent agents or using multiagent intelligence.

How do you design personalized user experiences that delight and provide value to the customers of an eCommerce site? Personalization does not guarantee high quality user experience: a personalized user experience has the best chance of success if it is developed using a set of best practices in HCI. In this book 35 experts from academia, industry and government focus on issues in the design of personalized web sites. The topics range from the design and evaluation of user interfaces and tools to information architecture and computer programming related to commercial web sites. The book covers four main areas:
-Theoretical, Conceptual, and Architectural Frameworks of Personalization,
-Research on the Design and Evaluation of Personalized User Experiences in Different Domains,
-Approaches to personalization Through Recommender Systems,
-Lessons Learned and Future Research Questions. This book will be a valuable tool in helping the reader to understand the range of factors to take into consideration in designing and building a personalized user experience. The authors of each of the chapters identify possibilities and alert the reader to issues that can be addressed in the beginning of a project by taking a 'big picture' view of designing personalized user interfaces. For anyone working or studying in the field of HCI, information architecture or eCommerce, this book will provide a solid foundation of knowledge and prepare for the challenges ahead.

Practical quantum computing still seems more than a decade away, and researchers have not even identified what the best physical implementation of a quantum bit will be. There is a real need in the scientific literature for a dialogue on the topic of lessons learned and looming roadblocks. This reprint from Quantum Information Processing is dedicated to the experimental aspects of quantum computing and includes articles that 1) highlight the lessons learned over the last 10 years, and 2) outline the challenges over the next 10 years. The special issue includes a series of invited articles that discuss the most promising physical implementations of quantum computing. The invited articles were to draw grand conclusions about the past and speculate about the future, not just report results from the present.

As is true of most technological fields, the software industry is constantly advancing and becoming more accessible to a wider range of people. The advancement and accessibility of these systems creates a need for understanding and research into their development. Optimizing Contemporary Application and Processes in Open Source Software is a critical scholarly resource that examines the prevalence of open source software systems as well as the advancement and development of these systems. Featuring coverage on a wide range of topics such as machine learning, empirical software engineering and management, and open source, this book is geared toward academicians, practitioners, and researchers seeking current and relevant research on the advancement and prevalence of open source software systems.

The market for consumer electronics is characterized by rapidly growing complexities of applications and decreasing market window opportunities. A key concept for coping with such requirements is the reuse of system components. Embedding programmable processors into VLSI systems facilitates reuse and offers a high degree of flexibility. The use of embedded processors, however, poses challenges for software compilers, because real-time constraints and limited silicon area for program memories demand extremely efficient machine code. Additionally there is a need for flexible, retargetable compilers which explore the mutual dependence between processor architectures and program execution speed. Current compiler technology does not meet these demands, particularly the area of DSP where application-specific processors are predominant. As a consequence, the largest part of DSP software is still developed manually at assembly language level. Recent research efforts, located at the intersection of software and hardware design, aim at eliminating this bottleneck. Retargetable Code Generation for Digital Signal Processors outlines the new role of compilers in hardware/software codesign of embedded systems, and it describes the state-of-the-art in the area of retargetable code generation and optimization for embedded DSPs. It presents novel concepts and algorithmic solutions, which achieve both retargetability and high code quality. In contrast to approaches taken in classical compiler construction, emphasis is put on effective code optimization instead of high compilation speed. The usefulness of the proposed techniques is demonstrated for real-life architectures. Retargetable Code Generation forDigital Signal Processors, with a foreword by Peter Marwedel, is the first contribution to this area, that presents an integrated solution for retargetable DSP compilers. It covers the whole compilation process, including target processor modelling, intermediate code generation, code selection, register allocation, scheduling and optimization for parallelism. It will be of interest to researchers, senior design engineers and CAD managers both in academia and industry.

Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany. MOSEL facilitates the performance and reliability modeling of a computer, communication, manufacturing or workflow management system in a very intuitive and simple way. The core of MOSEL consists of constructs to specify the possible states and state transitions of the system under consideration. This specification is very compact and easy to understand. With additional constructs, the interesting performance or reliability measures and graphical representations can be specified. With some experience, it is possible to write down the MOSEL description of a system immediately only by knowing the behavior of the system under study. There are no restrictions, unlike models using, for example, queueing networks, Petri nets or fault trees. MOSEL fulfills all the requirements for a universal modeling language. It is high level, system-oriented, and usable. It is open and can be integrated with many tools. By providing compilers, which translate descriptions specified in MOSEL into the tool-specific languages, all previously implemented tools with their different methods and algorithms (including simulation) can be used. Practical Performance Modeling: Application of the MOSEL Language provides an easy to understand but nevertheless complete introduction to system modeling using MOSEL and illustrates how easily MOSEL can be used for modeling real-life examples from the fields of computer, communication, and manufacturing systems. Practical Performance Modeling: Application of the MOSEL Language will be of interest to professionals and students in the fields of performance and reliability modeling in computer science, communication, and manufacturing. It is also well suited as a textbook for university courses covering performance and reliability modeling with practical applications.

In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally test' an evolving design against a model of a specification. Such high-level models may deal with areas such as performance, reliability, availability, maintainability, and system safety. Abstract models also allow exploration of the hardware versus software design space in an incremental fashion as a fuller, detailed design unfolds, leaving behind the old practice of hardware-software binding too early in the design process. Such models may also allow the inclusion of non-functional aspects of design (e.g. space, power, heat) in a simulatable information model dealing with the system's operation. This book addresses Model Generation and Application specifically in the following domains: Specification modeling (linking object/data modeling, behavior modeling, and activity modeling). Operational specification modeling (modeling the way the system is supposed to operate - from a user's viewpoint). Linking non-functional parameters with specification models. Hybrid modeling (linking performance and functional elements). Application of high-level modeling to hardware/software approaches. Mathematical analysis techniques related to the modeling approaches. Reliability modeling. Applications of High Level Modeling. Reducing High Level Modeling to Practice. High-Level System Modeling: Specification and Design Methodologies describes the latest research and practice in the modeling of electronic systems and as such is an important update for all researchers, design engineers and technical managers working in design automation and circuit design.

Computers have revolutionized the analysis of sequencing data. It is unlikely that any sequencing projects have been performed in the last few years without the aid of computers. Recently their role has taken a further major step forward. Computers have become smaller and more powerful and the software has become simpler to use as it has grown in sophistication. This book reflects that change since the majority of packages described here are designed to be used on desktop computers. Computer software is now available that can run gels, collect data, and assess its accuracy. It can assemble, align, or compare multiple fragments, perform restriction analyses, identify coding regions and specific motifs, and even design the primers needed to extend the sequencing. Much of this soft ware may now be used on relatively inexpensive computers. It is now possible to progress from isolate d DNA to database submission without writing a single base down. To reflect this progression, the chapters in our Sequence Data Analysis Guidebook are arranged, not by software package, but by fimction. The early chapters deal with examining the data produced by modem automated sequenc ers, assessing its quality, and removing extraneous data. The following chap ters describe the process of aligning multiple sequences in order to assemble overlapping fragments into sequence contigs to compare similar sequences from different sources. Subsequent chapters describe procedures for compar ing the newly derived sequence to the massive amounts of information in the sequence databases."

Addressed to the management of financial institutions and computer and communications technologists, this book aims to prvide information on the four generations of on-line financial networks which have evolved over the past twenty years in Japan.;The background to the book is electronic banking, and the forward- looking financial industries and the benefits they have achieved.;The author has also recently written "Membership Of The Board Of Directors".

Transformation of Knowledge, Information and Data: Theory and Applications considers transformations within the context of computing science and information science, as they are are essential in changing organizations.

The purpose of this annual series, Applied and Computational Control, Signals, and Circuits, is to keep abreast of the fast-paced developments in computational mathematics and scientific computing and their increasing use by researchers and engineers in control, signals, and circuits. The series is dedicated to fostering effective communication between mathematicians, computer scientists, computational scientists, software engineers, theorists, and practicing engineers. This interdisciplinary scope is meant to blend areas of mathematics (such as linear algebra, operator theory, and certain branches of analysis) and computational mathematics (numerical linear algebra, numerical differential equations, large scale and parallel matrix computations, numerical optimization) with control and systems theory, signal and image processing, and circuit analysis and design. The disciplines mentioned above have long enjoyed a natural synergy. There are distinguished journals in the fields of control and systems the ory, as well as signal processing and circuit theory, which publish high quality papers on mathematical and engineering aspects of these areas; however, articles on their computational and applications aspects appear only sporadically. At the same time, there has been tremendous recent growth and development of computational mathematics, scientific comput ing, and mathematical software, and the resulting sophisticated techniques are being gradually adapted by engineers, software designers, and other scientists to the needs of those applied disciplines."

References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Tenninology . . . . . . . . . . . . . . . . . 87 9. 3 Minimization Technique . . . . . . . . . . . . . . . . . . 88 9. 4 An Example . . . . . . . . . . . . . . . . . . . . . . . . 92 9. 5 Accelerated Energy Minimization. . . . . . . . . . . . . 94 9. 5. 1 Transitive Oosure . . . . . . . . . . . . . . . . . 94 9. 5. 2 Additional Pairwise Relationships 96 9. 5. 3 Path Sensitization . . . . . . . . . . . . . . . . . 97 9. 6 Experimental Results 98 9. 7 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . 100 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100 10 TRANSITIVE CLOSURE AND TESTING 103 10. 1 Background . . . . . . . . . . . . . . . . . . . . . . . . 104 10. 2 Transitive Oosure Definition 105 10. 3 Implication Graphs 106 10. 4 A Test Generation Algorithm 107 10. 5 Identifying Necessary Assignments 112 10. 5. 1 Implicit Implication and Justification 113 10. 5. 2 Transitive Oosure Does More Than Implication and Justification 115 10. 5. 3 Implicit Sensitization of Dominators 116 10. 5. 4 Redundancy Identification 117 10. 6 Summary 119 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 11 POLYNOMIAL-TIME TESTABILITY 123 11. 1 Background 124 11. 1. 1 Fujiwara's Result 125 11. 1. 2 Contribution of the Present Work . . . . . . . . . 126 11. 2 Notation and Tenninology 127 11. 3 A Polynomial TlDle Algorithm 128 11. 3. 1 Primary Output Fault 129 11. 3. 2 Arbitrary Single Fault 135 11. 3. 3 Multiple Faults. . . . . . . . . . . . . . . . . . . 137 11. 4 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . 139 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139 ix 12 SPECIAL CASES OF HARD PROBLEMS 141 12. 1 Problem Statement 142 12. 2 Logic Simulation 143 12. 3 Logic Circuit Modeling . 146 12. 3. 1 Modelfor a Boolean Gate . . . . . . . . . . . . . 147 12. 3. 2 Circuit Modeling 148 12.

The Matching Method for Asymptotic Solutions in Chemical Physics Problems by A. M. Il'in, L. A. Kalyakin, and S. I. Maslennikov
Singularly Perturbed Problems with Boundary and Interior Layers: Theory and Application by V. F. Butuzov and A. B. Vasilieva
Numerical Methods for Singularly Perturbed Boundary Value Problems Modeling Diffusion Processes by V. L. Kolmogorov and G. I. Shishkin
An important addition to the Advances in Chemical Physics series, this volume makes available for the first time in English the work of leading Russian researchers in singular perturbation theory and its application. Since boundary layers were first introduced by Prandtl early in this century, rapid advances have been made in the analytic and numerical investigation of these phenomena, and nowhere have these advances been more notable than in the Russian school of singular perturbation theory. The three chapters in this volume treat various aspects of singular perturbations and their numerical solution, and represent some of the best work done in this area:
* The first chapter, "The Matching Method for Asymptotic Solutions in Chemical Physics Problems," is concerned with the analysis of some singular perturbation problems that arise in chemical kinetics. In this chapter the matching method is applied to find asymptotic solutions to some dynamical systems of ordinary differential equations whose solutions have multiscale time dependence.
* The second chapter, "Singularly Perturbed Problems with Boundary and Interior Layers: Theory and Application," offers a comprehensive overview of the theory and application of asymptotic approximations for many different kinds of problems in chemical physics governed by either ordinary or partial differential equations with boundary and interior layers.
* The third chapter, "Numerical Methods for Singularly Perturbed Boundary Value Problems Modeling Diffusion Processes," discusses the numerical difficulties that arise in solving the problems described in the first two chapters, and proposes rigorous criteria for determining whether or not a numerical method is satisfactory for such problems. Methods satisfying these criteria are then constructed and applied to obtain numerical solutions to a range of sample problems.

Timely, authoritative, and invaluable to researchers in all areas of chemical physics, Singular Perturbation Problems in Chemical Physics is an essential resource.

The essays collected in this volume address the full range of pedagogical and programmatic issues specifically facing technical communication teachers and programme directors in the computer age. The authors locate computers and computing activities within the richly-textured cultural contexts of a technological society, focusing on the technical communication instructional issues that remain most important as old versions of hardware and software are endlessly replaced by new ones. Part One, "Broadening Notions of Computer Literacy", complicates mechanistic approaches to computer-related instruction by locating the design and use of hardware and software within social, cultural, political, ethical and legal contexts. Part Two examines how teachers and programme directors can encourage critical literacies in their classrooms and programmes. At the same time, it considers how computer technologies such as the World Wide Web, hypertext, electronic mail, Internet discussion groups and real-time conferencing environments might challenge traditional notions of technical communication pedagogical practice. Building on the first two sections, Part Three, "Examining Computer-Supported Communication Facilities from Pedagogical Perspectives", explores a wide range of instructional and political challenges in designing and supporting the robust computing needs of technical communication programmes. Part Four, "Planning for Technological Changes in Technical Communication Programmes", outlines some long-term ways of thinking about computers and technical communications that are instructionally and institutionally productive for students, teachers and programme directors.

The unconventional computing is a niche for interdisciplinary science, cross-bred of computer science, physics, mathematics, chemistry, electronic engineering, biology, material science and nanotechnology. The aims of this book are to uncover and exploit principles and mechanisms of information processing in and functional properties of physical, chemical and living systems to develop efficient algorithms, design optimal architectures and manufacture working prototypes of future and emergent computing devices. This first volume presents theoretical foundations of the future and emergent computing paradigms and architectures. The topics covered are computability, (non-)universality and complexity of computation; physics of computation, analog and quantum computing; reversible and asynchronous devices; cellular automata and other mathematical machines; P-systems and cellular computing; infinity and spatial computation; chemical and reservoir computing. The book is the encyclopedia, the first ever complete authoritative account, of the theoretical and experimental findings in the unconventional computing written by the world leaders in the field. All chapters are self-contains, no specialist background is required to appreciate ideas, findings, constructs and designs presented. This treatise in unconventional computing appeals to readers from all walks of life, from high-school pupils to university professors, from mathematicians, computers scientists and engineers to chemists and biologists.

This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing processes such as a nuclear reactor. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial. This has led to the introduction of formal verification techniques, which give both users and designers of software and hardware systems greater confidence that the systems they build meet the desired specifications. Framework The approach promoted in this book is based on the use of temporal logic for specifying properties of reactive systems, and develops an extensive verification methodology for proving that a system meets its temporal specification. Reactive programs must be specified in terms of their ongoing behavior, and temporal logic provides an expressive and natural language for specifying this behavior. Our framework for specifying and verifying temporal properties of reactive systems is based on the following four components: 1. A computational model to describe the behavior of reactive systems. The model adopted in this book is that of a Fair Transition System (FTS)."

We describe in this book, new methods for intelligent manufacturing using soft computing techniques and fractal theory. Soft Computing (SC) consists of several computing paradigms, including fuzzy logic, neural networks, and genetic algorithms, which can be used to produce powerful hybrid intelligent systems. Fractal theory provides us with the mathematical tools to understand the geometrical complexity of natural objects and can be used for identification and modeling purposes. Combining SC techniques with fractal theory, we can take advantage of the "intelligence" provided by the computer methods and also take advantage of the descriptive power of the fractal mathematical tools. Industrial manufacturing systems can be considered as non-linear dynamical systems, and as a consequence can have highly complex dynamic behaviors. For this reason, the need for computational intelligence in these manufacturing systems has now been well recognized. We consider in this book the concept of "intelligent manufacturing" as the application of soft computing techniques and fractal theory for achieving the goals of manufacturing, which are production planning and control, monitoring and diagnosis of faults, and automated quality control. As a prelude, we provide a brief overview of the existing methodologies in Soft Computing. We then describe our own approach in dealing with the problems in achieving intelligent manufacturing. Our particular point of view is that to really achieve intelligent manufacturing in real-world applications we need to use SC techniques and fractal theory.

Python Programming and Numerical Methods: A Guide for Engineers and Scientists introduces programming tools and numerical methods to engineering and science students, with the goal of helping the students to develop good computational problem-solving techniques through the use of numerical methods and the Python programming language. Part One introduces fundamental programming concepts, using simple examples to put new concepts quickly into practice. Part Two covers the fundamentals of algorithms and numerical analysis at a level that allows students to quickly apply results in practical settings.

The vigorous development of the internet and other information technologies have significantly expanded the amount and variety of sources of information available on decision making. This book presents the current trends of soft computing applications to the fields of measurements and information acquisition. Main topics are the production and presentation of information including multimedia, virtual environment, and computer animation as well as the improvement of decisions made on the basis of this information in various applications ranging from engineering to business. In order to make high-quality decisions, one has to fuse information of different kinds from a variety of sources with differing degrees of reliability and uncertainty. The necessity to use intelligent methodologies in the analysis of such systems is demonstrated as well as the inspiring relation of computational intelligence to its natural counterpart. This book includes several contributions demonstrating a further movement towards the interdisciplinary collaboration of the biological and computer sciences with examples from biology and robotics.

This book is a result of the Seventh International Conference on Information Sys tems Development-Methods and Tools, Theory and Practice held in Bled, Slovenia, Sep tember 21-23, 1998. The purpose of the conference was to address issues facing academia and industry when specifying, developing, managing, and improving information comput erized systems. During the past few years, many new concepts and approaches emerged in the Information Systems Development (ISD) field. The various theories, methods, and tools available to system developers also bring problems such as choosing the most effec tive approach for a specific task. This conference provides a meeting place for IS re searchers and practitioners from Eastern and Western Europe as well as from other parts of the world. An objective of the conference is not only to share scientific knowledge and in terests but to establish strong professional ties among the participants. The Seventh International Conference on Information Systems Develop ment-ISD'98 continues the concepts of the first Polish-Scandinavian Seminar on Current Trends in Information Systems Development Methodologies held in Gdansk, Poland in 1988. Through the years, the Seminar developed into the International Conference on In formation Systems Development. ISD'99 will be held in Boise, Idaho. The selection of papers was carried out by the International Program Committee. All papers were reviewed in advance by three people. Papers were judged according to their originality, relevance, and presentation quality. All papers were judged only on their own merits, independent of other submissions."