One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum physical, probabilistic, and even biological phenomena, and guaranteeing high reliability is much more difficult than ever before. Scaling devices down to the level of single electron operation will bring forth new challenges due to probabilistic effects and uncertainty in guaranteeing 'zero-one' based computing. Minuscule devices imply billions of devices on a single chip, which may help mitigate the challenge of uncertainty by replication and redundancy. However, such device densities will create a design and validation nightmare with the shear scale.
The questions that confront computer engineers regarding the current status of nanocomputing material and the reliability of systems built from such miniscule devices, are difficult to articulate and answer. We have found a lack of resources in the confines of a single volume that at least partially attempts to answer these questions.
We believe that this volume contains a large amount of research material as well as new ideas that will be very useful for some one starting research in the arena of nanocomputing, not at the device level, but the problems one would face at system level design and validation when nanoscopic physicality will be present at the device level.

Efficient assembly line design is a problem of considerable industrial importance. Assembly Line Design will be bought by technical personnel working in design, planning and production departments in industry as well as managers in industry who want to learn more about concurrent engineering. This book will also be purchased by researchers and postgraduate students in mechanical, manufacturing or micro-engineering.

Design is a fundamental creative human activity. This certainly applies to the design of artefacts, the realisation of which has to meet many constraints and ever raising criteria. The world in which we live today, is enormously influenced by the human race. Over the last century, these artefacts have dramatically changed the living conditions of humans. The present wealth in very large parts of the world, depends on it. All the ideas for better and new artefacts brought forward by humans have gone through the minds of designers, who have turned them into feasible concepts and subsequently transformed them into realistic product models. The designers have been, still are, and will remain the leading 'change agents' in the physical world. Manufacturability of artefacts has always played a significant role in design. In pre industrial manufacturing, the blacksmith held the many design and realisation aspects of a product in one hand. The synthesis of the design and manufacturing aspects took, almost implicitly, place in the head of the man. All the knowledge and the skills were stored in one person. Education and training took place along the line of many years of apprenticeship. When the production volumes increased, -'assembling to measure' was no longer tolerated and production efficiency became essential - design, process planning, production planning and fabrication became separated concerns. The designers created their own world, separated from the production world. They argued that restrictions in the freedom of designing would badly influence their creativity in design."

The chapters of this book summarize the lectures delivered du ring the NATO Advanced Study Institute (ASI) on Computational Methods in Mechanisms, that took place in the Sts. Constantin and Elena Resort, near Varna, on the Bulgarian Coast of the Black Sea, June 16-28, 1997. The purpose of the ASI was to bring together leading researchers in the area of mechanical systems at large, with special emphasis in the computational issues around their analysis, synthesis, and optimization, during two weeks of lectures and discussion. A total of 89 participants from 23 count ries played an active role during the lectures and sessions of contributed papers. Many of the latter are being currently reviewed for publication in specialized journals. The subject of the book is mechanical systems, Le., systems composed of rigid and flexible bodies, coupled by mechanical means so as to constrain their various bodies in a goal-oriented manner, usually driven under computer con trol. Applications of the discipline are thus of the most varied nature, ranging from transportation systems to biomedical devices. U nder normal operation conditions, the constitutive bodies of a mechanical system can be consid ered to be rigid, the rigidity property then easing dramatically the analysis of the kinematics and dynamics of the system at hand. Examples of these systems are the suspension of a terrestrial vehicle negotiating a curve at speeds within the allowed or recommended limits and the links of multiaxis industrial robots performing conventional pick-and-place operations."

Computational Surface and Roundness Metrology provides an extraordinarily practical and hands-on approach towards understanding the diverse array of mathematical methods used in surface texture and roundness analysis. The book, in combination with a mathematical package or programming language interface, provides an invaluable tool for experimenting, learning, and discovering the many flavors of mathematics that are so routinely taken for granted in metrology. Whether the objective is to understand the origin of that ubiquitous transmission characteristics curve of a filter we see so often yet do not quite comprehend, or to delve into the intricate depths of a deceptively simple problem of fitting a line or a plane to a set of points, this book describes it all (in exhaustive detail). From the graduate student of metrology to the practicing engineer on the shop floor, this book is a must-have reference for all involved in metrology, instrumentation/optics, manufacturing, and electronics."

This volume reflects the theme of the INFORMS 2004 Meeting in Denver: Back to OR Roots. Emerging as a quantitative approach to problem-solving in World War II, our founders were physicists, mathematicians, and engineers who quickly found peace-time uses. It is fair to say that Operations Research (OR) was born in the same incubator as computer science, and it has spawned many new disciplines, such as systems engineering, health care management, and transportation science. Although people from many disciplines routinely use OR methods, many scientific researchers, engineers, and others do not understand basic OR tools and how they can help them. Disciplines ranging from finance to bioengineering are the beneficiaries of what we do - we take an interdisciplinary approach to problem-solving. Our strengths are modeling, analysis, and algorithm design. We provide a quanti- tive foundation for a broad spectrum of problems, from economics to medicine, from environmental control to sports, from e-commerce to computational - ometry. We are both producers and consumers because the mainstream of OR is in the interfaces. As part of this effort to recognize and extend OR roots in future probl- solving, we organized a set of tutorials designed for people who heard of the topic and want to decide whether to learn it. The 90 minutes was spent addre- ing the questions: What is this about, in a nutshell? Why is it important? Where can I learn more? In total, we had 14 tutorials, and eight of them are published here.

For the past decade or so, Computational Intelligence (CI) has been an - tremely "hot" topic amongst researchers working in the ?elds of biomedicine and bioinformatics. There are many successful applications of CI in such areas ascomputationalgenomics, predictionofgeneexpression, proteinstructure, and protein-protein interactions, modeling of evolution, or neuronal systems mod- ing and analysis. However, there still are many problems in biomedicine and bioinformatics that are in desperate need of advanced and e?cient compu- tional methodologies to deal with tremendous amounts of data so prevalent in those kinds of researchpursuits. Unfortunately, scientists in both these ?elds are very often unaware of the abundance of computational techniques that could be put to use to help them analyze and understand the data underlying their research inquiries. On the other hand, computational intelligence practitioners are often unfamiliar with the particular problems that their algorithms could be successfully applied for. The separation between the two worlds is partially caused by the use of di?erent languages in these two spheres of science, but also by a relatively small number of publications devoted solely to the purpose of facilitating the exchange of new computational algorithms and methodologies on one hand, and the needs of the realms of biomedicine and bioinformatics on the other. Inordertohelp?llthegapbetweenthescientistsonbothsidesofthisspectrum, wehavesolicitedcontributionsfromresearchersactivelyapplyingcomputational intelligencetechniquestoimportantproblemsinbiomedicineandbioinformatics. The purpose of this book is to provide an overview of powerful state-of-the-art methodologiesthatarecurrentlyutilizedforbiomedicine-and/orbioinformati- orientedapplications, sothatresearchersworkinginthose?eldscouldlearnofnew methodstohelpthemtackletheirproblems. Ontheotherhand, wealsohopethat the CI community will ?nd this book useful by discovering a new and intriguing area of applications.

IMPROVE stands for "Information Technology Support for Collaborative and Distributed Design Processes in Chemical Engineering" and is a large joint project of research institutions at RWTH Aachen University. This volume summarizes the results after 9 years of cooperative research work.

The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical engineering. In particular, IMPROVE focuses on conceptual design and basic engineering, where the fundamental decisions concerning the design or redesign of a chemical plant are undertaken. Design processes are analyzed and evaluated in collaboration with industrial partners.

This book constitutes the refereed proceedings of the 4th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2007, held in Shanghai, China, September 16-20, 2007.

The papers presented were carefully reviewed and selected from numerous submissions. The papers cover all current issues in cooperative design, visualization, and engineering, ranging from theoretical and methodological topics to various systems and frameworks to applications in a variety of fields.

This book constitutes the refereed proceedings of the Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, held in Regensburg, Germany, September 3 - 5, 2007.

The 39 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on theoretical and methodological issues, algorithms and technologies, implementation and validation aspects, applications, and supply chain management.

This book discusses the radical technological changes occurring due to Industry 4.0, with a focus on offering a better understanding of the Fourth Industrial Revolution. It also presents a detailed analysis of interdisciplinary knowledge, numerical modeling and simulation, and the application of cyber-physical systems, where information technology and physical devices create synergic systems leading to unprecedented efficiency. The book focuses on industrial applications of automation and robotics. It covers recent developments and trends occurring in both computer-aided manufacturing techniques, as well as computer-aided assembly techniques. Robots using embedded systems and artificial intelligence applications are also covered. Industrial Automation and Robotics: Techniques and Applications offers theoretical results, practical solutions, and guidelines that are valuable for both researchers and those working in the area of engineering.

PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems. PAAMS is an international yearly tribune to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their experience in the development of Agents and Multi-Agent Systems.

This volume presents the papers that have been accepted for the 2009 edition. These articles capture the most innovative results and this year's trends: Assisted Cognition, E-Commerce, Grid Computing, Human Modelling, Information Systems, Knowledge Management, Agent-Based Simulation, Software Development, Transports, Trust and Security. Each paper has been reviewed by three different reviewers, from an international committee composed of 64 members from 20 different countries. From the 92 submissions received, 35 were selected for full presentation at the conference, and 26 were accepted as posters.

The Second International Conference on Fuzzy Information and Engineering (ICFIE2007), built on the success of previous conferences, the ICIKE2002 (Dalian China), is a major symposium for scientists, engineers and practitioners in China as well as the world to present their latest results, ideas, developments and applications in all areas of fuzzy information and knowledge engineering. It aims to strengthen relations between industry research laboratories and universities, and to create a primary symposium for world scientists in fuzzy fields such as Fuzzy Information, Fuzzy Sets and Systems, Soft Computing, Fuzzy Engineering, Fuzzy Operation Research and Management, Artificial Intelligence, Rough Sets and Its Application, Application in Fuzzy Mathematics and Systems, etc.

This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2006, held in Nanjing, China in May 2006.

The 76 revised full papers presented were carefully reviewed and selected from about 600 submissions during two rounds of reviewing and improvement. They contain expanded versions of the papers presented at the conference and are organized in topical sections on CSCW techniques and methods, collaborative design, collaborative manufacturing and enterprise collaboration, design methods and tools, agents and multi-agent systems, Web services, semantic Web, and grid computing, knowledge management, security and privacy in CSCW systems, workflow management, and e-learning.

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

This book is the essential guide to the pedagogical and industry-inspired considerations that must shape how BIM is taught and learned. It will help academics and professional educators to develop programmes that meet the competences required by professional bodies and prepare both graduates and existing practitioners to advance the industry towards higher efficiency and quality. To date, systematic efforts to integrate pedagogical considerations into the way BIM is learned and taught remain non-existent. This book lays the foundation for forming a benchmark around which such an effort is made. It offers principles, best practices, and expected outcomes necessary to BIM curriculum and teaching development for construction-related programs across universities and professional training programmes. The aim of the book is to: Highlight BIM skill requirements, threshold concepts, and dimensions for practice; Showcase and introduce tried-and-tested practices and lessons learned in developing BIM-related curricula from leading educators; Recognise and introduce the baseline requirements for BIM education from a pedagogical perspective; Explore the challenges, as well as remedial solutions, pertaining to BIM education at tertiary education; Form a comprehensive point of reference, covering the essential concepts of BIM, for students; Promote and integrate pedagogical consideration into BIM education. This book is essential reading for anyone involved in BIM education, digital construction, architecture, and engineering, and for professionals looking for guidance on what the industry expects when it comes to BIM competency.

Designed for introductory AutoCAD users, Discovering AutoCAD 2020 presents a hands-on, activity-based approach to the use of AutoCAD 2020 as a drafting tool-complete with techniques, tips, shortcuts, and insights that improve efficiency. Topics and tasks are carefully grouped to lead students logically through the AutoCAD command set, with the level of difficulty increasing steadily as skills are acquired through experience and practice. Straightforward explanations focus on what is relevant to actual drawing procedures, and illustrations show exactly what to expect on the computer screen. This edition features updates for the latest release of AutoCAD 2020, projects, and test questions for each chapter. Lessons are broken down into tasks listed at the beginning of each section, introducing students to the AutoCAD commands using a structured, intuitive approach and helping students anticipate what information will be needed at each new phase of the learning process. General Procedure boxes appear as new commands are introduced, providing a simple overview of basic command sequences in a step-by-step format. Detailed graphics appear throughout the text, demonstrating what students should expect to see on their screens and encouraging self-paced study. Drawing problems appear at the end of each chapter, helping students apply newly learned techniques immediately to realistic drawing situations. This includes drawing suggestions, timesaving tips, and explanations of how to use techniques in actual situations. Working drawings accompany the end-of-chapter drawing problems, appearing in a large, clearly dimensioned format on each right-hand page, with drawing suggestions on the accompanying left-hand page. This includes mechanical, architectural, civil, and electrical drawings. End-of-chapter review questions to test the student's knowledge. Discovering AutoCAD 2020 will be a valuable resource for any student wanting to learn drafting skills.

Mastering and effective exploration of the web environment needs new ideas, adaptation of known methods as well as application of sophisticated and robust technical implementations. Among new research directions present in relation to Web applications, a remarkable place is occupied by intelligent methods defining the topic of soft computing. This edited book includes reports from the front of diverse fields of the Web: application of artificial intelligence, design, information retrieval and interpretation, user profiling, security, engineering, etc. The material has been presented at the 5th Atlantic Web Intelligence Conference a " AWICa (TM)2007 held in Fontainbleau (France) and organized by Esigetel, Technical University of Lodz, and Polish Academy of Sciences.

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.

The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial and non-commercial engineering tools such as CAD tools, modeling, simulation and optimization software, engineering databases, and knowledge-based systems. Individuals or individual groups of multidisciplinary design teams usually work in parallel and separately with various engineering tools, which are located on different sites, often for quite a long time. At any moment, individual members may be working on different versions of a design or viewing the design from various perspectives, at different levels of detail. In order to meet these requirements, it is necessary to have effective and efficient collaborative design environments. These environments should not only automate individual tasks, in the manner of traditional computer-aided engineering tools, but also enable individual members to share information, collaborate and coordinate their activities within the context of a design project. CSCW (computer-supported cooperative work) in design is concerned with the development of such environments.

This book brings together diverse voices from across the field of sustainable human computer interaction (SHCI) to discuss what it means for digital technology to support sustainability and how humans and technology can work together optimally for a more sustainable future. Contemporary digital technologies are hailed by tech companies, governments and academics as leading-edge solutions to the challenges of environmental sustainability; smarter homes, more persuasive technologies, and a robust Internet of Things hold the promise for creating a greener world. Yet, deployments of interactive technologies for such purposes often lead to a paradox: they algorithmically "optimize" heating and lighting of houses without regard to the dynamics of daily life in the home; they can collect and display data that allow us to reflect on energy and emissions, yet the same information can cause us to raise our expectations for comfort and convenience; they might allow us to share best practice for sustainable living through social networking and online communities, yet these same systems further our participation in consumerism and contribute to an ever-greater volume of electronic waste.By acknowledging these paradoxes, this book represents a significant critical inquiry into digital technology's longer-term impact on ideals of sustainability. Written by an interdisciplinary team of contributors this book will be of great interest to students and scholars of human computer interaction and environmental studies.

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005, held in Coventry, UK, in May 2005.

The 65 revised full papers presented were carefully reviewed and selected from numerous submissions during at least two rounds of reviewing and improvement. They contain expanded versions of the papers presented at the conference and are organized in topical sections on CSCW techniques and methods, Grids and Web services, agents and multi-agent systems, ontology and knowledge management, collaborative design and manufacturing, enterprise collaboration, workflows, and other related approaches and applications.

These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized r- soning to all aspects of computer-aided system design, including speci?cation, veri?cation, synthesis, and testing. FMCAD's heritagedates back20 yearsto someof the earliestconferenceson the subjectofformalreasoningandcomputer-aideddesign.Since 1996, FMCAD has assumedits presentform, heldbiennially inNorthAmerica, alternatingwith its sister conference CHARME in Europe. We are delighted to report that our researchcommunitycontinuesto?ourish: wereceived69papersubmissions, with many more high-quality papers than we had room to accept. After a rigorous review process, in which each paper received at least three, and typically four or more, independent reviews, we accepted 29 papers for the conference and inclusion in this volume. The conference also included invited talks from Greg Spirakis of Intel Corporation and Wayne Wolf of Princeton University. A conference of this size requires the contributions of numerous people. On the technical side, we are grateful to the program committee and the additional reviewers for their countless hours reviewing submissions and ensuring the int- lectual quality of the conference. We would also like to thank the steering c- mittee for their wisdom and guidance. On the logistical side, we thank Christa Mace for designing our website and attending to countless organizational tasks. And we thank our corporate sponsors - AMD, IBM, Intel, and Synopsys - for ?nancial support that helped make this conference possible.

Building Information Modelling, BIM, stellt eine neue Arbeitsweise in der Kooperation, der Steuerung und dem Management von Bauprojekten dar. Multimodelle erhoehen die Qualitat des koordinierten Zusammenarbeitens durch die Vernetzung der Informationen um eine weitere Groessenordnung. Das Buch zeigt anhand von zwei realen Projekten, wie diese Methoden eingesetzt werden koennen und welche Werkzeuge hierzu noetig sind. Band 2 geht zunachst auf die Anwendung von BIM und Multimodellen in der Baustelleneinrichtungsplanung ein und zeigt auf, wie diese neue Arbeitsmethode neue Perspektiven auch fur die Montage- und Logistiksimulation bietet und wie aus den verlinkten Informationen mit wenigen Schritten Simulationsmodelle generiert werden koennen. Es wird aufgezeigt, wie die digitale Vernetzung von Geometriedaten, Bauelementen, Kosten, Zeit und Vorgangsdaten Zusammenhange erschliesst und neue Transparenz bei Ausschreibung, Kosten- und Terminkalkulation, Disposition und Projektfortschrittsuberwachung schafft. Risikomanagement, eine weitere Anwendung, bekommt eine ganz neue Perspektive. Die Erfassung, Klassifikation und Verfolgung von Risiken kann wesentlich genauer und detaillierter erfolgen. Die Transparenz wird durch die neuen Visualisierungsmoeglichkeiten erheblich gesteigert.

It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31- November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industry and brought forward various hot research activities in both Europe and USA. In comparison, easternAsia has been quiet in the forum.With more and more IC design houses moving from SiliconValley to easternAsia, we believe this is a good time to start cultivating related research activities in the region. TheemphasisoftheATVAworkshopseriesisonvariousmechanicalandinformative techniques, which can give engineers valuable feedback to fast converge their designs according to the speci?cations. The scope of interest contains the following research - eas: model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated veri?cation, parametric analysis, optimization, formal perf- mance analysis, real-time systems, embedded systems, in?nite-state systems, Petri nets, UML, synthesis, tools, and practice in industry.