We introduce the notion of an equational lifting monad: a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). We prove that any equational lifting monad has a representation by a partial map classifier such that the Kleisli category of the former fully embeds in the partial category of the latter. Thus equational lifting monads pr...

We introduce the notion of an equational lifting monad: a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). We prove that any equational lifting monad has a representation by a partial map classifier such that the Kleisli category of the former fully embeds in the partial category of the latter. Thus equational lifting monads pr...

Occupational Health Research at NIOSH The National Institute for Occupational Safety and Health (NIOSH) is the U.S. federal agency that conducts research and makes recommendations for preventing work-related injuries, illnesses, and deaths.1 The work by NIOSH protects the safety and health of the nation’s 155 million workers.2 NIOSH provides the only dedicated federal investment for research ne...

1Toxicology and Molecular Biology Branch, Health Effects Laboratory Division, National Institute for Occupational Safety and Health (NIOSH), Morgantown, WV 2Pathology and Physiology Research Branch, Health Effects Laboratory Division, National Institute for Occupational Safety and Health (NIOSH), Morgantown, WV 3Biostatistics and Epidemiology Branch, Health Effects Laboratory Division, National...

Mathematical models based on kinetic equations are ubiquitous in the modeling of granular media, population dynamics of biological colonies, chemical reactions and many other scientific problems. These individual-based models are computationally very expensive because the evolution takes place in the phase space. Hybrid simulations can bring down this computational cost by replacing locally in ...

In [1], it was conjectured that the permanent of a P-lifting θ of a matrix θ of degree M is less than or equal to the M th power of the permanent perm(θ), i.e., perm(θ) 6 perm(θ) and, consequently, that the degree-M Bethe permanent permM,B(θ) of a matrix θ is less than or equal to the permanent perm(θ) of θ, i.e., permM,B(θ) 6 perm(θ). In this paper, we prove these related conjectures and show ...

T he National Institute for Occupational Safety and Health (NIOSH) is the federal agency that conducts research and makes recommendations for preventing work-related injuries, illnesses, and deaths. The NIOSH Nanotechnology Research Center coordinates the Institute’s laboratory, field, and information dissemination activities on the development of tools, practices, and recommendations for the g...

The National Institute for Occupational Safety and Health (NIOSH) investigators compared methods for collecting personal breathing zone (PBZ) air samples for particulates during abrasive blasting at a shipyard. Abrasive blasting is the cleaning or finishing of surfaces by the use of an abrasive carried in a strong current of air. The U.S. government has provided regulatory requirements and guid...

Recently, musculoskeletal disorders (MSDs) caused by repetitive working postures in industrial sites have emerged as one of the biggest problems field health. The risk MSDs workers is quantitatively evaluated using NLE (NIOSH Lifting Equation), OWAS (Ovako Working-posture Analysis System), RULA (Rapid Upper Limb Assessment), REBA Entire Body etc. Methods used for posture analysis include vision...