Page 11
Page 11
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity
A Platform-Centric Approach to System-on-Chip (SOC) Design
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan for its implementation. The proposed plan allows component vendors, system integrators and product developers to collaborate effectively and efficiently to create complex products within budget and schedule constraints.
Mastering Calculations in Linear and Nonlinear Mechanics
Mastering Calculations in Linear and Nonlinear Mechanics is concerned with the management of calculations in linear and nonlinear mechanics. In the last twenty years The accent is on the concept of error in constitutive relation. An important part of this work is also devoted to the utilization of the error estimators involved in a calculation.
Bridge Management 5 : Inspection, maintenance, assessment and repair ; Proceedings of the 5th International Conference on Bridge Management, organized by the University of Surrey, 11–13 April 2005
The last five years have seen the art of bridge management develop into a mature subject. Bridge owners and engineers recognise the importance of implementing fully operational bridge management strategies to ensure that all road and rail bridges remain functional for as long as possible.Bridge structures form a major part of the vast financial investment in infrastructure and consequently their careful management involving structural appraisal, repair and strengthening is of paramount importance.
An Introduction to Computational Micromechanics
This book presents a comprehensive introduction to computational micromechanics, including basic homogenization theory, microstructural optimization and multifield analysis of heterogeneous materials. "An Introduction to Computational Micromechanics".
A Modern Course in Aeroelasticity
In this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has been added describing recent results on the research frontiers dealing with nonlinear aeroelasticity as well as major advances in the modelling of unsteady aerodynamic flows using the methods of computational fluid dynamics and reduced order modeling techniques.
Mathematical Formulas for Economists
This collection of formulas constitutes a compendium of mathematics for eco nomics and business. It contains the most important formulas, statements and algorithms in this significant subfield of modern mathematics and addresses primarily students of economics or business at universities, colleges and trade schools. But people dealing with practical or applied problems will also find this collection to be an efiicient and easy-to-use work of reference. First the book treats mathematical symbols and constants, sets and state ments, number systems and their arithmetic as well as fundamentals of com binatorics. The chapter on sequences and series is followed by mathematics of finance, the representation of functions of one and several independent vari ables, their differential and integral calculus and by differential and difference equations. In each case special emphasis is placed on applications and models in economics. The chapter on linear algebra deals with matrices, vectors, determinants and systems of linear equations. This is followed by the representation of struc tures and algorithms of linear programming. Finally, the reader finds formu las on descriptive statistics (data analysis, ratios, inventory and time series analysis), on probability theory (events, probabilities, random variables and distributions) and on inductive statistics (point and interval estimates, tests). Some important tables complete the work.
Managing product life cycle in a supply Chain Context : A prescription based on empirical research
The aim of this book is to provide a better understanding with as to how to coordinate and improve decisions about product life cycle, process and supply chain design to improve new product development.
Managing Closed-Loop Supply Chains
Introduction Closing supply chains refers to taking care of items once they are no longer desired or can no longer be used by their user. Smart management of closed-loop supply chains means profitable recovery of value from these items (products, functional components, materials or packaging). The company closing the supply chain may be the original equipment manuf- turer (OEM), a distribution partner or a third party not involved in the f- ward distribution. In recent years, the management of closed-loop supply chains has gained importance because of increased legislation on producer respon- bility, requiring companies to take back products from customers and to organize for proper recovery and disposal. This legislation is partially due to increased awareness of environmental issues. However, smart com- nies have also understood that returned products often contain lots of value to be recovered. They manage closed-loop supply chains simply because it is a profitable business proposition.
Managing Business Interfaces : Marketing and Engineering Issues in the Supply Chain and Internet Domains
Within companies and organizations there is an increased emphasis on making different functional areas work together seamlessly. These developments have led to an increased emphasis on research and practice in business that integrate the functional areas within and between business entities. The research community has recognized the importance of addressing these different, and often conflicting, business perspectives. This has led to research streams that address issues characterizing the domain of business interfaces. These include the benefits of coordination, new product development, product portfolio management, supply chain coordination, and partnerships and collaboration in the Internet space.
Making European Merger Policy More Predictable
Making European Merger Policy More Predictable analyses European Merger Control with regard to its capacity to generate predictability among the concerned parties. Starting from the premise that predictability is of overwhelming importance for the functioning of market economies, Voigt and Schmidt ask to what degree European Merger Control has been predictable over the last couple of years. The authors show both theoretically and empirically that there have been serious shortcomings with regard to the predictability of competition policy. They identify the insufficient recognition of the consequences of globalization on the competitive processes as well as an often inconsistent application of economic theory as the root causes for the lack of predictability. The inconsistent application of economic theory is particularly relevant with regard to potential competition and the evaluation of collective dominance. The authors generate a substantial number of proposals that could help to improve predictability. On this basis, Voigt and Schmidt critically assess the recent reforms of European Merger Control.
Logistics Systems Analysis
It has two new sections, a new appendix, and more than half a dozen new figures. A few references have also been added, Much of the new material is based on work , The financial support of the National Science Foundation and the Volvo Foundations Center of Excellence for the Future of Urban Transportation at U. C. Berkeley is also acknowledged. The new appendix presents the logic behind the traveling salesman and vehicle routing results used in Sec. 4. 2 to describe the transportation ope- tion; Chapter 4 is more self-contained as a result. New section 5. 6 int- duces and evaluates a general method that automatically translates the c- tinuum approximation recipes of Chapters 4 and 5 into discrete system designs. This closes a gap in previous editions. Other additions include an explanation of how to develop system designs that can efficiently acc- modate real-time control strategies to manage uncertainty (new section 4. 6. 3), and extensions of the many-to-many design ideas of Chap. 6
Logistics Systems : Design and Optimization
In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and Optimization falls within this perspective and presents twelve chapters that well illustrate the variety and the complexity of logistics activities. Each chapter is written by recognized researchers who have been commissioned to survey a specific topic or emerging area of logistics. The first chapter, by Riopel, Langevin, and Campbell, develops a framework for the entire book. It classifies logistics decisions and highlights the relevant linkages to logistics decisions. The intricacy of these linkages demonstrates how thoroughly the decisions are interrelated and underscores the complexity of managing logistics activities. Each of the following chapters focus on quantitative methods for the design and optimization of logistics systems.
Location Theory : A Unified Approach
Although modern location theory is now more than 90 years old, the focus of researchers in this area has been mainly problem oriented. However, a common theory, which keeps the essential characteristics of classical location models, is still missing. This monograph addresses this issue. A flexible location problem called the Ordered Median Problem (OMP) is introduced. For all three main subareas of location theory (continuous, network and discrete location) structural properties of the OMP are presented and solution approaches provided. Numerous illustrations and examples help the reader to become familiar with this new location model.
Local Heroes in the Global Village : Globalization and the New Entrepreneurship Policies
The book contributes to the debate what role public policies play in stimulating national and regional economic growth. With a better understanding of the complexity and variety of existent entrepreneurship policies in the U.S. and Germany the reader of this volume will be able to formulate best practice, hands-on strategies which aim to promote nations as well as regions in an "entrepreneurial economy".This volume brings together conference contributions of leading academics and policy advisors from the United States and Europe,The volume has the virtue of both providing solid empirical analysis and theoretical underpinning from leading economists,social scientists as well as a fresh perspective on the myths and realities concerning the operation of the U.S
Leveraging Mobile Media : Cross-Media Strategy and Innovation Policy for Mobile Media Communication
Mobile communications and next generation wireless networks emerge as new distribution channels for the media. This development offers exciting new opportunities for media companies: the mobile communication system creates new usage contexts for media content and services; the social use of mobile communications suggests that identity representation in social networks, impulsive access to trusted media brands, and micro-coordination emerge as new sources of value creation in the media industries. In the light of this background, this book takes two different viewpoints on the development of mobile media: from a competitive strategy point of view it analyzes the extension of cross-media strategies and the emergence of cross-network strategies; from a public policy point of view it develops demands and requirements for an innovation policy that fosters innovation in mobile media markets.
Lead Markets for Environmental Innovations
Often, the leadership in technological development is accompanied by a leadership in environmental policy. The book provides an analysis of lead markets for innovations such as fuel cells, photovoltaics, and others. Contributions of innovation economics, policy analysis and environmental economics are assessed regarding their potential to explain the leadership of single countries. The book depicts the policy frameworks that are favourable to the creation of such lead markets on the basis of theoretical considerations and case studies. Finally, recommendations for R and D policies, environmental and industrial policies are derived.
Knowledge Management and Management Learning : Extending the Horizons of Knowledge-Based Management
The book begins with an extended introduction and theoretical framework. Contributing authors have written chapters that add to both the framework and the practical consequences of knowledge management. These chapters suggest many lessons learned that will find considerable use in practice. Some of these chapters include an investigation of the "do’s and don’ts" virtual learning based on real-life cases, the use of design teams for group learning, the role of language and the creation of common ground between company and client, culture as a dynamic and non-linear constructed concept, innovation and knowledge management and more. The book offers an exceptional range of contributions within a developing paradigm. Within this context, the book illustrates why and how of knowledge management is important for companies.
Knowledge Management : Organizational and Technological Dimensions
Presents a unique blend of articles which combines both conceptual and practical concerns related to devising and implementing sustainable Knowledge Management systems and solutions in contemporary global organizations. The book's contributors are among the leading thinkers and practitioners in this growing field. The seamless synthesis of the human, organizational, and technological dimensions of Knowledge Management makes this book a definitive guide for academics and practising managers alike.
Kanban-Controlled Manufacturing Systems
Kanban control systems bear a great potential to significantly improve operations. A company may reap the full benefits of kanban control only after determining an optimal or near-optimal system configuration. To do that, methods are needed to evaluate the performance and operating costs of individual system configurations. We propose an innovative construction-kit approach that enables us to build stochastic analytical models of a large class of single- and multi-product kanban systems. The presented construction-kit approach may be extended and augmented in various directions
