The Consequences of issuance and nullification of tenant discharge verdict according to lessor and lessee relations Act 1978 [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i Khuṣūṣī, 2020 According to lessor and lessee relations Act 1978 and about hire rules, there are different and special sentences in comparison to civil law in Iran; one of these distinctions announces court based hire termination has different effects and consequences.
Pejman Mohamadi
doaj +1 more source
Stopping rules and memory search termination decisions [PDF]
, 2008 Book synopsis: An important component of many, if not all, real-word retrieval tasks is the decision to terminate memory search. However, despite its importance, no systematic evaluation of the potential rules for terminating search (i.e., potential ...
Davelaar, Eddy J. +2 more
core +8 more sources
Non-simplifying Graph Rewriting Termination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 So far, a very large amount of work in Natural Language Processing (NLP) rely on trees as the core mathematical structure to represent linguistic informations (e.g. in Chomsky's work).
Bruno Guillaume, Guillaume Bonfante
doaj +1 more source
The hierarchy of consumer rights in the event of a lack of conformity of the goods in Slovenian, Croatian, and Serbian law [PDF]
Zbornik Radova: Pravni Fakultet u Novom Sadu, 2023 This paper aims to compare the remedies at the consumer's disposal in the event of a lack of conformity of goods in Slovenian, Croatian, and Serbian law.
Dudás Attila I., Jokanović Ivan M.
doaj
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
Transcriptional termination enhances protein expression in human cells [PDF]
, 2009 Transcriptional termination of mammalian RNA polymerase II (Pol II) requires a poly(A) (pA) signal and, often, a downstream terminator sequence. Termination is triggered following recognition of the pA signal by Pol II and subsequent pre-mRNA cleavage ...
Proudfoot, Nicholas J +4 more
core +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