Download or read book Research on Transport Economics 1998 written by European Conference of Ministers of Transport and published by OECD Publishing. This book was released on 1998-11-03 with total page 446 pages. Available in PDF, EPUB and Kindle. Book excerpt: This annual information bulletin presents a survey of research in hand on the social and economic aspects of transport in over 400 specialised agencies which are mainly European (West and East) but in some cases American, Canadian or Australian.
Download or read book Keeping Score written by Mark Graham Brown and published by Amacom. This book was released on 1996 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Every quality-conscious organization needs to measure critical data, but many businesses waste time tracking and reviewing non-essentials. This innovative book shows how to concentrate on the few key measures that indicate a firm's true performance. It focuses on the areas considered vital in the Baldrige Quality Award criteria, the premiere model for evaluating overall quality. Readers will learn to select and use the right metrics for measuring financial, operational, and quality efforts, as well as longer-term measures such as customer and employee satisfaction, supplier performance, product/service quality, and environmental compliance. This guide will help them: * evaluate their current approaches to measurement * select the right metrics * collect and report data more efficiently and usefully * use the information to promote teamwork and strategy"
Download or read book Government Reports Announcements Index written by and published by . This book was released on 1994 with total page 694 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Intergovernmental Council of the International Programme for the Development of Communication written by International Programme for the Development of Communication. Intergovernmental Council and published by . This book was released on 1992 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Government Reports Annual Index written by and published by . This book was released on 1994 with total page 1108 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control written by International Atomic Energy Agency and published by . This book was released on 1999 with total page 144 pages. Available in PDF, EPUB and Kindle. Book excerpt: This report provides practical guidance on the methods available for verification of the software and validation of computer based systems in nuclear power plants, and on how and when these methods can be effectively applied. It will be of particular interest to all those involved in the development, implementation, maintenance and use of software and computer based instrumentation and control systems in nuclear power plants.
Download or read book World Guide to Libraries written by Helga Lengenfelder and published by . This book was released on 1987 with total page 1279 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Motivation in Public Management written by James L. Perry and published by Oxford University Press, USA. This book was released on 2008-05-15 with total page 346 pages. Available in PDF, EPUB and Kindle. Book excerpt: Are public servants self-interested, or motivated by a sense of duty and commitment far above what we would expect given their often modest compensation and frequent public criticism? This book looks at research on this and related questions in assessing the current state of our scientific knowledge.
Download or read book The Coding Manual for Qualitative Researchers written by Johnny Saldana and published by SAGE. This book was released on 2009-02-19 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Coding Manual for Qualitative Researchers is unique in providing, in one volume, an in-depth guide to each of the multiple approaches available for coding qualitative data. In total, 29 different approaches to coding are covered, ranging in complexity from beginner to advanced level and covering the full range of types of qualitative data from interview transcripts to field notes. For each approach profiled, Johnny Saldaña discusses the method’s origins in the professional literature, a description of the method, recommendations for practical applications, and a clearly illustrated example.
Download or read book Advances in Safety Reliability and Risk Management written by Christophe Berenguer and published by CRC Press. This book was released on 2011-08-31 with total page 538 pages. Available in PDF, EPUB and Kindle. Book excerpt: Covering a wide range of topics on safety, reliability and risk management, the present publication will be of interest to academics and professionals working in a wide range of scientific, industrial and governmental sectors, including: Aeronautics and Aerospace; Chemical and Process Industry; Civil Engineering; Critical Infrastructures; Energy; Information Technology and Telecommunications; Land Transportation; Manufacturing; Maritime Transportation; Mechanical Engineering; Natural Hazards; Nuclear Industry; Offshore Industry; Policy Making and Public Planning.
Download or read book Certified Programming with Dependent Types written by Adam Chlipala and published by MIT Press. This book was released on 2013-12-06 with total page 437 pages. Available in PDF, EPUB and Kindle. Book excerpt: A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time. Two topics, rarely discussed elsewhere, are covered in detail: effective dependently typed programming (making productive use of a feature at the heart of the Coq system) and construction of domain-specific proof tactics. Almost every subject covered is also relevant to interactive computer theorem proving in general, not just program verification, demonstrated through examples of verified programs applied in many different sorts of formalizations. The book develops a unique automated proof style and applies it throughout; even experienced Coq users may benefit from reading about basic Coq concepts from this novel perspective. The book also offers a library of tactics, or programs that find proofs, designed for use with examples in the book. Readers will acquire the necessary skills to reimplement these tactics in other settings by the end of the book. All of the code appearing in the book is freely available online.
Download or read book Guidelines for Social Life Cycle Assessment of Products written by United Nations Environment Programme and published by UNEP/Earthprint. This book was released on 2009 with total page 104 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Guidelines for Social Life Cycle Assessment of Products provides a map, a skeleton and a flash light for stakeholders engaging in the assessment of social and socio-economic impacts of products life cycle. The map describes the context, the key concepts, the broader field in which tools and techniques are getting developed and their scope of application. The skeleton presents key elements to consider and provide guidance for the goal and scope, inventory, impact assessment and interpretation phases of a social life cycle assessment. The flash light highlights areas where further research is needed. Social Life Cycle Assessment is a technique available to account for stories and inform systematically on impacts that otherwise would be lost in the vast and fast moving sea of our modern world. May it help stakeholders to effectively and efficiently engage to improve social and socio-economic conditions of production and consumption
Download or read book Microlog Canadian Research Index written by and published by . This book was released on 1993 with total page 1550 pages. Available in PDF, EPUB and Kindle. Book excerpt: An indexing, abstracting and document delivery service that covers current Canadian report literature of reference value from government and institutional sources.
Download or read book Standard Setting written by Gregory J. Cizek and published by SAGE Publications, Incorporated. This book was released on 2007 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt: Publisher description
Download or read book Model based System and Architecture Engineering with the Arcadia Method written by Jean-Luc Voirin and published by Elsevier. This book was released on 2017-11-22 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: Arcadia is a system engineering method based on the use of models, with a focus on the collaborative definition, evaluation and exploitation of its architecture. This book describes the fundamentals of the method and its contribution to engineering issues such as requirements management, product line, system supervision, and integration, verification and validation (IVV). It provides a reference for the modeling language defined by Arcadia. The author discusses the range of applications, from the assessment of different architectures and their suitability, to the collaboration between system engineering, specialties such as safety or security, subsystems engineering teams, software and hardware. This is illustrated by several examples of representative models which constitute a common thread. - Offers a comprehensive examination of systems engineering, including the use of models to support it - Not only yet another book on modeling, but rather a journey in systems engineering, enlightening the use of models to support it. - Focuses on solitary modeling tasks while also covering prime collaborations between engineering stakeholders - Examines modeling techniques to capture and share architecture and to early verify it against need and non-functional constraints - Addresses subjects not usually covered by model-based system engineering (MBSE) methods, such as co-engineering with specialties, system/sub-system co-engineering, integration verification and validation - Features a powerful, dedicated tool (Capella) - Covers a range of topics, including an introduction to system engineering issues, an introduction to MBSE, a presentation of the method for beginners and a handy reference manual for advanced users
Download or read book Life Cycle Impact Assessment written by Michael Z. Hauschild and published by Springer. This book was released on 2015-03-24 with total page 345 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a detailed presentation of the principles and practice of life cycle impact assessment. As a volume of the LCA compendium, the book is structured according to the LCIA framework developed by the International Organisation for Standardisation (ISO)passing through the phases of definition or selection of impact categories, category indicators and characterisation models (Classification): calculation of category indicator results (Characterisation); calculating the magnitude of category indicator results relative to reference information (Normalisation); and converting indicator results of different impact categories by using numerical factors based on value-choices (Weighting). Chapter one offers a historical overview of the development of life cycle impact assessment and presents the boundary conditions and the general principles and constraints of characterisation modelling in LCA. The second chapter outlines the considerations underlying the selection of impact categories and the classification or assignment of inventory flows into these categories. Chapters three through thirteen exploreall the impact categories that are commonly included in LCIA, discussing the characteristics of each followed by a review of midpoint and endpoint characterisation methods, metrics, uncertainties and new developments, and a discussion of research needs. Chapter-length treatment is accorded to Climate Change; Stratospheric Ozone Depletion; Human Toxicity; Particulate Matter Formation; Photochemical Ozone Formation; Ecotoxicity; Acidification; Eutrophication; Land Use; Water Use; and Abiotic Resource Use. The final two chapters map out the optional LCIA steps of Normalisation and Weighting.
Download or read book Performance Measurement for World Class Manufacturing written by Brian H. Maskell and published by CRC Press. This book was released on 1991-07-01 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: If your company is adopting world class manufacturing techniques, you'll need new methods of performance measurement to control production variables. In practical terms, this book describes the new methods of performance measurement and how they are used in a changing environment. For manufacturing managers, as well as cost accountants, it provides the theoretical foundation for these innovative methods and is supported by extensive practical examples.
