OBJECTIVE Talc is widely used in industrial applications. Previous meta-analyses of carcinogenic effects associated with inhaled talc included publications before 2004, with a lack of data in China, the largest talc-producing country. The safety of workers exposed to talc was unclear due to limited evidence. The objective of this study was to reevaluate the association between inhaled talc and ...

the determination of the ultimate pit limit (upl) is the first step in the open pit mine planning process. in this stage that parts of the mineral deposit that are economic to mine are determined. there are several mathematical, heuristic and meta-heuristic algorithms to determine upl. the optimization criterion in these algorithms is maximization of the total profit whilst satisfying the...

This study focusses on a two objective type-2 simple assembly line balancing problem. Its primary is minimizing the cycle time, or equivalently, maximizing production rate of line. Minimization workload imbalance among workstations considered as secondary objective. Since problem known to be intractable, reactive tabu search algorithm proposed for solution. Although well-known meta-heuristic pr...

OBJECTIVE The objective of this study was to assess the association between women with endometriosis and risk of preterm birth. METHODS Two reviewers independently determined all prospective cohort study, retrospective cohort study, large population based cohort study, retrospective secondary analysis, and double blinded, multicentric, observational and cohort study, placebo-controlled, rando...

Introduction Magnetic resonance imaging (MRI) diagnosis of adenomyosis is considered the most accurate non-invasive technique, but remains subjective, with no consensus on which diagnostic parameters are accurate. We aimed to systematically review literature how can be objectively quantified MRI in a scoping manner, performance these characteristics compared histopathological diagnosis, and sum...

We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. Ltac is essentially a small functional core with recursors and powerful pattern-matching operators for Coq terms but also for proof contexts. As Ltac is not complete, we describe an interface between Ltac ...