An assurance case provides an argument that certain claims (usually concerning safety or other critical properties) are justified, based on given evidence concerning the context, design, and implementation of a system. An assurance case serves two purposes: reasoning and communication. For the first, the argument in the case should approach the standards of mathematical proof (though it may be ...

Computational reliability assessment in mechanized tunneling requires realistic numerical models accounting for the uncertainty of geotechnical and tunneling process parameters. For real-time prognoses, surrogate models are in general inevitable to substitute expensive complex numerical simulations. In this paper, different strategies for surrogate modeling in mechanized tunneling simulations a...

The present paper validates two alternative global sensitivity analysis methods, namely variance-based and elementary effect, for the purpose of detecting key subsoil parameters that influence the output of mechanized tunnel finite element simulation. In the elementary effect method, a strategy for considering the dependencies, that result from a set of constraints between different parameters,...

This paper describes the results deriving from a survey, carried out at regional level about the implementation of safety prevention in agriculture. The main physical, chemical, and biological hazards connected to cattle and pig breeding, important zootechnical activities in Lombardy, were detected and quantified. In particular, the results related to the quantification of risks due to noise, l...

Currant is a technological, fast-growing, high-yielding crop with high content of vitamins in the fruit. The intensification production provides for an increase productivity plantings and reduction cost due to introduction new cultivation technologies. main expenses are connected harvest. authors this paper present first modern berry harvesters that reduce ensure automated labor. prospect using...

This paper introduces a benchmark problem library for mechanized math technologies including computer algebra and automated theorem proving. The library consists of pre-university math problems taken from exercise problem books, university entrance exams, and the International Mathematical Olympiads. It thus includes problems in various areas of pre-university math and with a variety of difficu...

Peter Kasurak. Canada’s Mechanized Infantry: The Evolution of a Combat Arm, 1920-2012. 251 pp., plus figs., bibl., index. Vancouver: UBC Press, 2020. $32.95 (paperback). ISBN 978-0-7748-6273-8. Also available in e-book formats. https://www.ubcpress.ca/canadas-mechanized-infantry. Un article de la revue Scientia Canadensis (Photography: Science, Technology and Practice) diffusée par plateforme É...