In January of 2022 the coast Peru was affected by leak over eleven thousand barrels oil into sea. The company responsible for (Repsol) has taken measures in order to compensate environmental damage caused but there are also fines be applied against such entity. aforementioned include cleaning ocean as well donation provisions population that been directly accident, among others. Considering exp...

Proof structures in traditional automatic theorem proving systems are generally designed for efficiently supporting certain search strategies. They are not meant as a useful representation or presentation of complete proofs: usually only the experts who designed such systems can read them. As a result, complete proofs are of little value and are generally discarded. The failure of such systems ...

Workflow and data integration engineering are complex and expensive activities. Adding a new workflow to a system often requires lengthy and repeated rounds of software engineering. The time and cost of this work creates an undesirable barrier between users and new system functionality. In the process of creating new workflow, developers frequently reproduce the queries and updates already pres...

This paper is divided into two parts. The first proposes a philosophical frame and it “uses” for this a recent book on a phenomenological approach to the foundations of mathematics. Gödel’s 1931 theorem and his subsequent philosophical reflections have a major role in discussing this perspective and we will develop our views along the lines of the book (and further on). The first part will also...

Context: The issue of insurance deductions is one the major problems that lead to shortage financial resources in hospitals. present study was conducted review root causes and propose solutions reduce them Iranian Methods: This a scoping literature on health hospitals Iran within 2000 - 2023 synthesize findings original Persian English studies focused strategies relevant concepts terminology we...