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...

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 ...

In 2003, a feed-borne outbreak of Salmonella Cubana occurred in Sweden as a result of contamination in a feed plant. Salmonella Cubana was detected in 49 out of 77 pig farms having received possibly contaminated feed. In this study, potential risk factors for farms being salmonella positive were examined, and a survival analysis was performed to investigate risk factors affecting the restrictio...

Agricultural mechanization has spread across much of Asia since the 1960s. It increased agricultural productivity and reduced arduous farm work. However, differing impacts for smallholders hired laborers, men women, require careful consideration. This study analyzed, ex-ante, likely social economic tradeoffs mechanizing mungbean harvest in Bangladesh Myanmar. We used a mixed methods approach co...

There are few published studies describing the unique management practices, farm design and housing characteristics of commercial meat chicken and layer farms in Australia. In particular, there has been a large expansion of free range poultry production in Australia in recent years, but limited information about this enterprise exists. This study aimed to describe features of Australian commerc...

agricultural mechanization project must be identified in a short time frame to do a certain way; otherwise, cost is not the time to come and will also result in reduced yield. to avoid these costs in farming systems is necessary in any region that agricultural mechanization projects are and scheduling and planning as well as scientific until activities included in the project to fruition are do...

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...

We propose a thesis defending the following statement: The logical notions of polarity and focusing provide a foundation for dependently typed programming with domain-specific logics, with applications to certified software and mechanized metatheory.

BACKGROUND Pathogens are growing threats to wildlife. The rapid growth of marine salmon farms over the past two decades has increased host abundance for pathogenic sea lice in coastal waters, and wild juvenile salmon swimming past farms are frequently infected with lice. Here we report the first investigation of the potential role of salmon farms in transmitting sea lice to juvenile sockeye sal...

BACKGROUND This study examines the prevalence of drug resistance in gastrointestinal nematodes to macrocyclic lactones (ML) and benzimidazoles (BZ) in Lithuanian sheep using sensitive and precise in vitro methods. The survey was conducted from August 2013 to November 2014. Thirty-three farms with sheep previously treated with BZ and ivermectin (IVM) were included in the study. On 12 farms where...