This paper presents an analysis, by a combination of dynamic systems and fuzzy logic, of the work environment of human factor. This environment contains a set of factors (variables) that influence human behavior in the context of industrial safety. The definition of these behavioral factors is made from a prior synthesis of the main factors that influence the safe behavior of human factor. The ...

The issue of determining methodological approaches to assessing the level athletes' implementation safe behavior measures prevent negative impact factors visual pollution space on their health is important and urgent, which needs be resolved. purpose study: determination performance safety (safe behavior) by athletes possible body athletes. Research methods: used methods theoretical analysis li...

Hospitals are rather strange places to work. The rationale, after all, of purposely concentrating into close quarters the sick, the frail, and the contagious is elusive at times. Further compounding the situation is the introduction of healthcare workers into the mix, usually at the ratio of approximately five or six full-time employees for every hospital bed. In no other circumstance, except p...

We present a suite of reinforcement learning environments illustrating various safety properties of intelligent agents. These problems include safe interruptibility, avoiding side effects, absent supervisor, reward gaming, safe exploration, as well as robustness to self-modification, distributional shift, and adversaries. To measure compliance with the intended safe behavior, we equip each envi...

Robinson et al found no benefit between those who were treated with steroids and those who were not.'" The results of further studies in patients suffering from combined burns and smoke inhalation injury suggest that giving steroids leads to increased mortality and morbidity, mainly because infection occurs more often." 12 Early treatment of smoke inhalation focuses on keeping the upper airways...

Proof-Carrying Code (PCC) is a technique that can be used for safe execution of untrusted code. In a typical instance of PCC, a code receiver establishes a set of safety rules that guarantee safe behavior of programs, and the code producer creates a formal safety proof that proves, for the untrusted code, adherence to the safety rules. Then, the receiver is able to use a simple and fast proof v...

For the purpose of an AIDS prevention game, a model was developed that focuses on training safe sex negotiations. Non-player characters in the game are socially intelligent agents that are equipped with a Theory of Mind that allows them to reason about the mental processes and behavior of others. The underlying model for the negotiation about safe sex between player and agent was implemented in...

This paper addresses the problem of verifying that a sequential digital design is a safe replacement for an existing design without making any assumptions about a known initial state of the design or about its environment. We formulate a safe replacement condition which guarantees that if an original design is replaced by a new design, the interacting environment cannot detect the change by obs...