खोज परिणाम

This volume gathers the latest advances, innovations and applications in the field of condition monitoring, plant maintenance and reliability, as presented by leading international researchers and engineers at the 5th International Conference on Maintenance Engineering and the 2020 Annual Conference... மேலும்

This volume gathers the latest advances, innovations and applications in the field of condition monitoring, plant maintenance and reliability, as presented by leading international researchers and engineers at the 6th International Conference on Maintenance Engineering and the 2021 conference of the... மேலும்

The volume represents presentations given at the 86th annual meeting of the Psychometric Society, held virtually on July 19–23, 2021. About 500 individuals contributed paper presentations, symposiums, poster presentations, pre-conference workshops, keynote presentations, and invited presentations. S... மேலும்

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.   R... மேலும்

EPD Congress is an annual collection of conference proceedings that addresses extraction and processing metallurgy. The papers in this book are drawn from symposia held at the 2016 Annual Meeting of The Minerals, Metals & Materials Society. The 2016 edition includes papers from the following symposi... மேலும்

This book constitutes the refereed proceedings of the 14th National Conference on Man-Machine Speech Communication, NCMMSC 2017, held in Lianyungang, China, in October 2017.   The 13 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers address issues su... மேலும்