Results 31 to 40 of about 29,860 (193)
A method of marks and indices for linear modal logic
Lietuvos Matematikos Rinkinys, 2009 In the paper a method to check termination of history-free proof for linear modal logic S4.3 is proposed. This method improves the method proposed by the authors for modal logic S4.
Regimantas Pliuškevičius +1 more
doaj +1 more source
Representation and termination analysis for ECA rules based on extended Petri net
Tongxin xuebao, 2013 In order to improve the accuracy of the termination an lysis on ECA rules, a novel representation model (EPN, extended Petri net) of ECA rules was built. Based on the EPN, an effective termination decision algorithm was discussed and proposed.
Li-chen ZHANG +2 more
doaj +2 more sources
Determinants of Termination of Anti-dumping Measures: The Case of Korea
East Asian Economic Review, 2022 This paper empirically examines what factors affected the termination of anti-dumping measures in Korea during the 2006-2019 period. Employing a meticulous literature review, the paper investigates the WTO’s and Korea’s rules on the termination of anti ...
Jin Woo Rhee, Yong Joon Jang
doaj +1 more source
Termination of Resuscitation Rules and Survival Among Patients With Out-of-Hospital Cardiac Arrest
JAMA Network OpenKey Points Question Can termination of resuscitation (TOR) rules accurately identify patients who will not survive an out-of-hospital cardiac arrest? Findings This systematic review and meta-analysis identified 43 studies describing the performance of ...
Michael A. Smyth +7 more
semanticscholar +1 more source
Interval Term Rewriting System: Toward A Formal Model for Interval Computation
Trends in Computational and Applied Mathematics, 2006 We present a term rewriting system for interval arithmetic (addition, subtraction and multiplication), toward a mathematical model for interval compu- tation.
A.X. Carvalho, R.H.N. Santiago
doaj +1 more source
Special aspects of termination of alternative obligations according to civil legislation of Ukraine
Теорія і практика правознавства, 2016 The article explores some general grounds for termination of obligation. It is specially noted, that legal relationships of termination of alternative obligations are not regulated by special rules of civil legislation of Ukraine.
Т. О. Музика
doaj +1 more source
Resuscitation PlusAim: Pediatric out-of-hospital cardiac arrest has an unfavorable prognosis; therefore, making accurate predictions of outcomes is crucial for tailoring treatment plans.
Sakura Minami +4 more
doaj +1 more source
The Derivational Complexity Induced by the Dependency Pair Method [PDF]
Logical Methods in Computer Science, 2011 We study the derivational complexity induced by the dependency pair method, enhanced with standard refinements. We obtain upper bounds on the derivational complexity induced by the dependency pair method in terms of the derivational complexity of the ...
Georg Moser, Andreas Schnabl
doaj +1 more source
The rules and impact of nonsense-mediated mRNA decay in human cancers
Nature Genetics, 2016 Premature termination codons (PTCs) cause a large proportion of inherited human genetic diseases. PTC-containing transcripts can be degraded by an mRNA surveillance pathway termed nonsense-mediated mRNA decay (NMD). However, the efficiency of NMD varies;
Rik G. H. Lindeboom +2 more
semanticscholar +1 more source
Combining Parallel Stochastic Methods and Mixed Termination Rules in Optimization
AlgorithmsParallel optimization enables faster and more efficient problem-solving by reducing computational resource consumption and time. By simultaneously combining multiple methods, such as evolutionary algorithms and swarm-based optimization, effective ...
Vasileios Charilogis +2 more
doaj +1 more source