Book Description
This volume contains the proceedings of the Eighth Austrian ArtificialIntelligence Conference, held in Linz, Austria, in June 1993. The focus ofthe conference was on "Fuzzy Logic in Artificial Intelligence". The volumecontains abstracts of two invited talks and full versions of17 carefully selected papers. The invited talks were: "The role of fuzzylogic and soft computing in the conception and design of intelligentsystems" by Lotfi A. Zadeh, and "A contextual approach for AI systems development" by Irina V. Ezhkova. The contributed papers are grouped into sections on theoretical issues, machine learning, expertsystems, robotics and control, applications to medicine,and applications to car driving. Additionally, the volume containsdescriptions of the four workshops that took place during the conference. ... Read more

Book Description
The intense drive for signal integrity has been at the forefront of rapid and new developments in CAD algorithms. With increasing demands for high signal speeds coupled with a decrease in feature size, interconnect effects such as signal delay, distortion and crosstalk become the dominant factor limiting overall performance of VLSI systems. Although SPICE is used on a daily basis by many engineers for analog simulation and general circuit analysis, current versions of SPICE do not handle adequately the new emerging challenges of interconnect effects. Moment-matching techniques, such as asymptotic waveform evaluation, have recently proven useful in the analysis of large interconnect structures containing elements such as lossy coupled transmission lines with linear or nonlinear terminations. At a CPU cost of a little more than one DC analysis, these techniques are 2--3 orders of magnitude faster than full simulation techniques such as FFT. Asymptotic Waveform Evaluation presents an overview of the diverse algorithms and applications of moment matching techniques. The material is presented systematically and is supported by many examples. Issues such as sensitivity analysis and three-dimensional analysis are also covered. Asymptotic Waveform Evaluation will be of interest to engineers, students and researchers involved in the development and study of circuit simulation as well as interconnect analysis. It will also interest design engineers who are involved in dealing with high-speed issues, and graduate students who are active in the development of CAD tools for electronic systems. ... Read more

Book Description
This volume contains a selection of papers presented at the third EuropeanComputer Aided Systems Theory workshop, EUROCAST '93, held in Spain inFebruary 1993. The workshop emphasizes interdisciplinarity with the specificgoal of creating a synergy between fields such as systems theory, computer science, systems engineering and related areas.The contributions in this volume are strongly related tocurrent problems in CAST research. They emphasize an engineering pointof view concerning systems theory. Since the computer is an essential instrument in CAST research, there are close relations to specific topics incomputer science. The papers are grouped into parts on systems theory and systems technology, specific methods, and applications. ... Read more

Book Description
This book develops, for the first time, a qualitative model for the representation of spatial knowledge based only on locative relations between the objects involved.
The core of this book is devoted to the study of qualitative inference methods that take into account the rich structure of space. These methods can be applied to quite a number of areas characterized by uncertain or incomplete knowledge, as for example geographic information systems, robot control, computer-aided architectural design, and natural language information systems. ... Read more

Book Description
Computer-aided design (CAD) of very large scale integrated (VLSI) circuits is concerned with the development of computer programs for the automated design and manufacture of ICs. Automated VLSI design is referred to as VLSI synthesis. Synthesis of VLSI circuits involves transforming a specification of circuit behavior into a mask-level layout which can be fabricated using VLSI manufacturing processes. Optimization strategies are vital in VLSI synthesis in order to meet desired specifications. However, the optimization problems encountered in VLSI synthesis are typically nondeterministic polynomial-time (NP)-complete or NP-hard. Therefore, solutions to the optimization problems incorporate heuristic strategies, the development of which requires a thorough understanding of the problem at hand. Thus, optimization-based VLSI synthesis has evolved into a rich and exciting area of research. Automata theory forms a cornerstone of digital VLSI system design. Sequential Logic Synthesis deals exclusively with finite automata theory and practice. The extensive use of finite state automata, finite state machines (FSMs) or simple sequential logic in VLSI circuits and the recent proliferation of CAD research in the area of FSM synthesis has prompted the writing of this book. ... Read more

Book Description
This book presents the refereed proceedings of the Second International Workshop on Applied Parallel Computing in Physics, Chemistry and Engineering Science, PARA'95, held in Lyngby, Denmark, in August 1995.
The 60 revised full papers included have been contributed by physicists, chemists, and engineers, as well as by computer scientists and mathematicians, and document the successful cooperation of different scientific communities in the booming area of computational science and high performance computing. Many widely-used numerical algorithms and their applications on parallel computers are treated in detail. ... Read more

Customer Reviews (1)

Myreview
The book is an excellent one for beginners and advanced researchers and provides good fundamentals for mixed mode simulation. ... Read more

Book Description

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Numerical Methods and Applications, NMA 2006, held in Borovets, Bulgaria, in August 2006.

Book Description
This volume contains a selection of papers presented at the MIT-JSME Workshop on Cooperative Product Development held at the Massachusetts Institute of Technology, Cambridge, MA, USA, November 20/21, 1989. The 28 selected papers are organized into the following six categories: - Frameworks, dealing with problem-solving architectures, - Organizational issues, investigating strategies for organizing engineering activities for effective utilization of computer-aided tools, - Negotiation techniques, dealing with conflict detection and resolution between various agents, - Transaction management issues, dealing with interaction issues between the agents and the central communication medium, - Design methods, dealing with techniques utilized by individual agents, - Visualization techniques, including user Interfaces and physical modeling techniques. Sponsorship and financial support for the workshop was provided by the Japanese Society of Mechanical Engineers (JSME), the Intelligent Engineering Systems Laboratory at MIT, and Bell Atlantic Knowledge Systems, Inc. ... Read more

Book Description
Leaf Cell and Hierarchical Compaction Techniques presentsnovel algorithms developed for the compaction of large layouts. Thesealgorithms have been implemented as part of a system that has beenused on many industrial designs.
The focus of Leaf Cell and Hierarchical Compaction Techniques isthree-fold. First, new ideas for compaction of leaf cells arepresented. These cells can range from small transistor-level layoutsto very large layouts generated by automatic Place and Route tools.Second, new approaches for hierarchical pitchmatching compaction aredescribed and the concept of a Minimum Design is introduced. Thesystem for hierarchical compaction is built on top of the leaf cellcompaction engine and uses the algorithms implemented for leaf cellcompaction in a modular fashion. Third, a new representation fordesigns called Virtual Interface, which allows for efficienttopological specification and representation of hierarchical layouts,is outlined. The Virtual Interface representation binds all of thealgorithms and their implementations for leaf and hierarchicalcompaction into an intuitive and easy-to-use system.
From the Foreword:
`...In this book, the authors provide a comprehensive approach tocompaction based on carefully conceived abstractions. They describethe design of algorithms that provide true hierarchical compactionbased on linear programming, but cut down the complexity of thecomputations through introduction of innovative representations thatcapture the provably minimum amount of required information needed forcorrect compaction. In most compaction algorithms, the complexity goesup with the number of design objects, but in this approach, complexityis due to the irregularity of the design, and hence is often tractablefor most designs which incorporate substantial regularity.
Here the reader will find an elegant treatment of the many challengesof compaction, and a clear conceptual focus that provides a unifiedapproach to all aspects of the compaction task...'
Jonathan Allen, Massachusetts Institute of Technology ... Read more

Book Description

This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2005, held in Palma de Mallorca, Spain, in September 2005.

Book Description

This book constitutes the refereed proceedings of the 13th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2003, held in Torino, Italy in September 2003.

Book Description
This book presents a modern and attractive approach to computer integrated manufacturing (CIM) by stressing the crucial role of information management aspects. The 31 contributions contained constitute the final report on the EC Project TEMPUS No. 2609 aimed at establishing a new curriculum and regular education in the new field of information management in CIM at European universities.
Much attention was paid to the style of writing and coverage of the important issues. Thus the book is particularly suited as a text for students and young scientists approaching CIM from different directions; at the same time, it is a comprehensive guide for industrial engineers in machine engineering, computer science, control engineering, artificial intelligence, production management, etc. ... Read more