Results 51 to 60 of about 29,860 (193)
Scandinavian Journal of Trauma, Resuscitation and Emergency Medicine, 2021 Background Futile resuscitation for out-of-hospital cardiac arrest (OHCA) patients in the coronavirus disease (COVID)-19 era can lead to risk of disease transmission and unnecessary transport.
Haewon Jung +12 more
doaj +1 more source
Termination of Graph Transformation Systems Using Weighted Subgraph Counting [PDF]
Logical Methods in Computer ScienceWe introduce a termination method for the algebraic graph transformation framework PBPO+, in which we weigh objects by summing a class of weighted morphisms targeting them. The method is well-defined in rm-adhesive quasitoposes (which include toposes and
Roy Overbeek, Jörg Endrullis
doaj +1 more source
A Jurisprudential and Legal Study of the Effect of Termination Compared to Previous Contracts [PDF]
آموزههای فقه مدني, 2020 Traditionally, one of the distinguishing features of termination and annulment of a contract is considered to be that annulment makes the contract ineffective from the beginning, and termination has no effect on the past and makes the contract ...
Mahdi Chegeni +1 more
doaj
Consistency and Completeness of Rewriting in the Calculus of Constructions [PDF]
Logical Methods in Computer Science, 2008 Adding rewriting to a proof assistant based on the Curry-Howard isomorphism, such as Coq, may greatly improve usability of the tool. Unfortunately adding an arbitrary set of rewrite rules may render the underlying formal system undecidable and ...
Daria Walukiewicz-Chrzaszcz +1 more
doaj +1 more source
Growth and size control during development [PDF]
Open Biology, 2017 The size and shape of organs are characteristic for each species. Even when organisms develop to different sizes due to varying environmental conditions, such as nutrition, organ size follows species-specific rules of proportionality to the rest of the ...
Jannik Vollmer +2 more
doaj +1 more source
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems [PDF]
Logical Methods in Computer Science, 2012 We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity.
Takahito Aoto, Yoshihito Toyama
doaj +1 more source
Termination of life care agreement and the rights of successors: In the discrepancy between law and practice [PDF]
Pravni Zapisi, 2019 Recognizing the fact that various modalities of life care exist in contemporary legal practice, this paper encompasses the analysis and discussion about the possibilities of contract termination, and the rights of successors related to termination of the
Arsić Jelena, Stanivuk Bojan
doaj
Proper, Weighty and Extremely Weighty Cause to End an Employment Contract in Finland
Udayana Journal of Law and Culture, 2018 Employment relationship can be ended in many ways and under different circumstances. This article discusses the rules in Finland regarding the termination of employment contract.
Emma-Lotta Mäkeläinen +2 more
doaj +1 more source
Dingle’s Rules and Theory of Terminants [PDF]
, 2008 Dingle’s rules for deriving the changing forms of an asymptotic expansion as a result of the Stokes phenomenon are introduced. Of these rules only Nos. 1, 7 and 8 are necessary for the analysis in later chapters. Then with the aid of these rules his theory of terminants is presented, which is important because the asymptotic expansions of a multitude ...
openaire +1 more source
Current situation and issues regarding termination of risk management plans in Japan
Frontiers in MedicineIntroductionIn Japan, drugs approved after the 2013 implementation of the risk management plan (RMP) have the opportunity to be evaluated for RMP termination. However, the guidelines for risk management following the termination of an RMP remain unclear.
Natsuko Kameyama +3 more
doaj +1 more source