Background: Once COVID-19 is transmitted, the corresponding civil responsibility should be clarified by the identification of the transmitter, compensation of the damage and detection of the causal relationship between the damage or harm and the harmful act.    Methods: This research has been prepared by descriptive analytical method and its data has been collected by documentary library tools...

The letters to the Editor of the International Journal of Occupational and Environmental Health by Phyllis Mullenix and Donald Taves on setting appropriate safety standards for industrial levels of fluorides and fluorine are considered as if they were a debate. The participants’ views on gaseous fluorides, hydrofluoric acid and particulate fluoride are summarized. It is concluded that in the en...

We present a method for patching faulty conjectures and program diagnosis in automatic theorem proving during a proof attempt. In this paper we discuss correctness of the approach and we show the application of corrective predicates to program diagnosis when conjectures are unprovable. The approach is implemented in an interactive theorem prover called SPES.

Testing and fault localization are very expensive software engineering tasks that have been tried to be automated. Although many successful techniques have been designed, the actual change of the code for fixing the discovered faults is still a human-only task. Even in the ideal case in which automated tools could tell us exactly where the location of a fault is, it is not always trivial how to...