Sentence examples for obligations generated from inspiring English sources

SMT (Satisfiability Modulo Theories) solvers are automatic verification engines suitable to discharge important classes of proof obligations generated in applying formal construction of software and hardware designs.

The obligations generated by those roles lead Dr. Kelekian to treat his patient, Vivian Bearing, in ways that seem morally questionable (McConnell 2009).

With respect to the second and third points, the defender of the divine will view can directly challenge Adams' view that obligations generated within social relationships must always be expressed as demands.

Second, the case of abstract entities such as the claims and obligations generated by acts of promising called into question the strong connection hitherto endorsed or presupposed between ideality and temporality: on the one hand, these entities are neither material nor mental; on the other, they are temporal (they come into being at a given time and disappear when the promise is honored).

Trust in health workers can also be explained through the notions of 'affective trust', which is developed through emotional bonds and obligation generated through their repeated personal interactions with the households [ 28].

These statistics measure the proof obligations (PO) generated and discharged by the Rodin prover and the POs that are interactively proved.

Around 40% of the revenue for the fund will come from the electricity produced by the solar panels and sold into the national grid, while the other 60% will come from payments linked to "Renewable Obligations Certificates" – green certificates used by electricity suppliers to demonstrate they have met their obligations to generate power from renewable resources.

Projects to reduce greenhouse gas emissions can help rich countries meet carbon offset obligations and generate revenue for entrepreneurs and governments.

Without the obligations to generate huge returns for public shareholders, these smaller banks often can charge lower fees and pay higher interest rates than their bigger competitors.

These obligations may generate unwillingness of HWs to participate in programmes such as MC if there is a chance of community misperception.

The chancellor tells us that he is putting into law the obligation to generate budget surpluses in the "interests of our children".