An Economic Analysis on Automated Construction Safety, Rita Yi Man Li
Автор: Javier Esparza; Rupak Majumdar Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3642120016 ISBN-13(EAN): 9783642120015 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Автор: Rita Yi Man Li Название: An Economic Analysis on Automated Construction Safety ISBN: 9811057702 ISBN-13(EAN): 9789811057700 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses information technologies recently applied in the field of construction safety.
Описание: In a Second Edition offering six new sections, new examples, tables, figures and more, this book shows how to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. Includes more than 140 examples.
Описание: In a Second Edition offering six new sections, new examples, tables, figures and more, this book shows how to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. Includes more than 140 examples.
Автор: P. Hillebrandt Название: Economic Theory and the Construction Industry ISBN: 0333774795 ISBN-13(EAN): 9780333774793 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This edition provides a topical assessment of the implication for competition of new methods of procurement, includes a new chapter on rehabilitation, repair and maintenance, and extends the use of theory to issues such as the problems of appropriate technology for developing countries, and contractors` diversification.
Автор: P. Hillebrandt Название: Economic Theory and the Construction Industry ISBN: 0333774787 ISBN-13(EAN): 9780333774786 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This edition provides a topical assessment of the implication for competition of new methods of procurement, includes a new chapter on rehabilitation, repair and maintenance, and extends the use of theory to issues such as the problems of appropriate technology for developing countries, and contractors` diversification.
Описание: This book provides a comprehensive guide for practitioners who wish to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. The theory and methods presented are illustrated through more than 140 examples.
SAT and SMT.- Decomposing Farkas Interpolants.- Parallel SAT Simplification on GPU Architectures.- Encoding Redundancy for Satisfaction-Driven Clause Learning.- WAPS: Weighted and Projected Sampling.- Building Better Bit-Blasting for Floating-Point Problems.- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition.- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.- SAT Solving and Theorem Proving.- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks.- Incremental Analysis of Evolving Alloy Models.- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic.- Verification and Analysis LCV: A Verification Tool for Linear Controller Software.- Semantic Fault Localization and Suspiciousness Ranking.- Computing Coupled Similarity.- Reachability Analysis for Termination and Confluence of Rewriting.- Model Checking.- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis.- On Reachability in Parameterized Phaser Programs.- Abstract Dependency Graphs and Their Application to Model Checking.- Tool Demo.- nonreach - A Tool for Nonreachability Analysis.- The Quantitative Verification Benchmark Set.- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions.- MetAcsl: Specification and Verification of High-Level Properties.- ROLL 1.0: !-Regular Language Learning Library.- Symbolic Regex Matcher.- COMPASS 3.0.- Debugging of Behavioural Models with CLEAR.- Machine Learning.- Omega-Regular Objectives in Model-Free Reinforcement Learning.- Verifiably Safe Off-Model Reinforcement Learning.
Автор: Rita Yi Man Li Название: Construction Safety and Waste Management ISBN: 3319359495 ISBN-13(EAN): 9783319359496 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents an analysis of construction safety problems and on-site safety measures from an economist`s point of view. Moreover, the author covers an analysis on construction safety knowledge sharing by means of updatable mobile technology such as apps in Androids and iOS platform mobile devices.
Автор: Rita Yi Man Li Название: Construction Safety Informatics ISBN: 9811357609 ISBN-13(EAN): 9789811357602 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines construction safety from the perspective of informatics and econometrics. It demonstrates the potential of employing various information technology approaches to share construction safety knowledge. In addition, it presents the application of econometrics in construction safety studies, such as an analytic hierarchy process used to create a construction safety index. It also discusses structure equation and dynamic panel models for the analysis of construction safety claims. Lastly, it describes the use of mathematical and econometric models to investigate construction practitioners’ safety.
Автор: Rita Yi Man Li; Sun Wah Poon Название: Construction Safety ISBN: 3642429092 ISBN-13(EAN): 9783642429095 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book reviews construction safety measures in different regions of the world, and provides detailed evidence of the need for construction safety measures. Gathers and presents worldwide construction accident statistics, and costs of construction accidents.
Автор: Artho Название: Automated Technology for Verification and Analysis ISBN: 3319465198 ISBN-13(EAN): 9783319465197 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
