Results 21 to 30 of about 30,129 (214)
Third-party litigation in two legal systems of Iran and France [PDF]
پژوهشنامه حقوق تطبیقی, 2022 The deadline for a third-party litigation in Iran is until the end of the first hearing, while in France until the end of the investigation .Third-party involvement in the appeal stage is one of the exceptions to the principle of prohibition of ...
Majid Aziziyani, Siamak RahPeik
doaj +1 more source
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
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
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
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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Acute lymphoblastic leukemia (ALL) is the most common pediatric cancer, with an overall survival now surpassing 90% in developed countries. However, treatments are not without adverse effects. In this study, we apply the severe toxicity‐free survival (STFS) framework to determine the prevalence of 21 physician‐defined severe ...
Lane Collier +10 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Type 1 plasminogen deficiency (PLGD‐1) is an ultra‐rare autosomal recessive disorder caused by variants in the PLG gene and affects approximately 1.6 individuals per million. The condition is characterized by decreased plasminogen levels and impaired function, resulting in fibrin‐rich lesions on mucous membranes throughout the body.
Charles Nakar +7 more
wiley +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
Re‐Irradiation in Pediatric Diffuse Midline Glioma: A Multi‐Institutional Retrospective Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with recurrent diffuse midline gliomas (DMGs) have limited therapeutic options at recurrence. Re‐irradiation (RT2) may be used at progression, but with uncertainty about the benefit. Methods We conducted a multi‐institutional retrospective study of children aged < 18 with DMG treated at three centers (Toronto, Canada ...
Ajay Thomas Alex +13 more
wiley +1 more source