Results 11 to 20 of about 1,419,974 (304)
Proving Termination Through Conditional Termination [PDF]
, 2017 We present a constraint-based method for proving conditional termination of integer programs. Building on this, we construct a framework to prove (unconditional) program termination using a powerful mechanism to combine conditional termination proofs.
Borralleras Andreu, Cristina +5 more
openaire +3 more sources
Remote Sensing, 2022 Pakistan’s agriculture and food production account for 27% of its overall gross domestic product (GDP). Despite ongoing advances in technology and crop varieties, an imbalance between water availability and demand, combined with robust shifts in drought ...
Farhan Saleem +8 more
doaj +1 more source
A Review of Jurisprudential and Legal Fundamentals for Dissolution of Revocable Contracts in Iranian and Egyptian Laws with an Approach Based on Imam Khomeini’s Views [PDF]
پژوهشنامه متین, 2021 Revocable contracts are terminated as a result of such incidents as the death and incapacity of either party to the contract. An important issue concerning revocable contracts is the basis for dissolution of these contracts as a result of the aforesaid ...
Ali Dadmehr +2 more
doaj +1 more source
eLife, 2020 Recognition and rapid degradation of mRNA harboring premature translation termination codons (PTCs) serves to protect cells from accumulating non-functional and potentially toxic truncated polypeptides. Targeting of PTC-containing transcripts is mediated
Lucas D Serdar +4 more
doaj +1 more source
Freedom of Will in Making a Termination Clause in Marriage [PDF]
مطالعات فقه و حقوق اسلامی, 2020 Although the jurisprudents of the Imamiah and consequently the civil code have forged and drived out a termination clause in the marriage contract from the autonomy of the parties’ will but the above view on the Imamiah and Iranian law conflicts with ...
Heydar Bagheri Asl, Saeideh Bagheri Asl
doaj +1 more source
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories [PDF]
, 2010 We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories are shown to be decidable for term rewrite systems (TRS) whose right-hand ...
Ashish Tiwari +5 more
core +1 more source
Study of middle cerebral artery in human cadaveric brain
Annals of Indian Academy of Neurology, 2019 Background: Middle cerebral artery (MCA) is the larger terminal branch of the internal carotid artery. It travels through the Sylvian fissure on the insula. Objective: MCA supplies a large area of distribution than the other two cerebral arteries. Though
Sandhya Arvind Gunnal +2 more
doaj +1 more source
Medicina, 2021 Background and Objectives: Maternal brain tumors diagnosed during pregnancy are very rare, and their clinical course remains incompletely understood. We recently experienced a case of a brain tumor diagnosed at 30 weeks of gestation, and the treatment ...
Reona Shiro +4 more
doaj +1 more source
Iran's legal system approach to the death of the parties to the arbitration [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i Khuṣūṣī, 2020 As the judicial procedure ensures proper and lawful implementation of the law and statuary regulations, arbitration agreement is made for being sure of good performance of the contractual obligations.
Babak Sheed
doaj +1 more source
Termination of psychotherapy: The journey of ten psychoanalytic and psychodynamic therapists [PDF]
, 2011 Objectives: Literature on termination originates mainly from clinical and theoretical accounts as well as practitioners' autobiographical reports.
Fragkiadaki, E., Strauss, S. M.
core +2 more sources