Results 11 to 20 of about 16,476,009 (293)
Valuation Category «Reasonable Time» in Civil Proceedings [PDF]
Сибирское юридическое обозрение, 2016 The article is devoted to the category “reasonable time” in civil proceedings. The Author proves that the lack of a legal definition of “reasonable time” refers it to the valuation category that allows determining the reasonableness or unreasonableness ...
Yuliya E. Lemondjava
doaj +2 more sources
Parametric real-time reasoning [PDF]
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93, 1993 Traditional approaches to the algorithmic veri cation of real-time systems are limited to checking program correctness with respect to concrete timing properties (e.g., \message delivery within 10 milliseconds"). We address the more realistic and more ambitious problem of deriving symbolic constraints on the timing properties required of real-time ...
Rajeev Alur +2 more
openaire +1 more source
Reasoning with time and chance
Information and Control, 1982 The temporal propositional logic of linear time is generalized to an uncertain world, in which random events may occur. The formulas do not mention probabilities explicitly, i.e., the only probability appearing explicitly in formulas is probability one. This logic is claimed to be useful for stating and proving properties of probabilistic programs.
Daniel Lehmann 0001, Saharon Shelah
openaire +3 more sources
MORE ABOUT THE TRIAL AND DISPOSAL OF CASES WITHIN REASONABLE TIME UNDER THE BULGARIAN CRIMINAL PROCEDURE CODE [PDF]
Challenges of the Knowledge Society, 2021 In the Bulgarian theory of criminal procedure, the issue of trial and disposal of cases within reasonable time has emerged as relevant. In the first place, therefore, the lack of an objective and thorough study of it testifies.
Lyuboslav LYUBENOV
doaj
Reasoning over time into models with DataTime
Software and Systems Modeling, 2023 Models at runtime have been initially investigated for adaptive systems. Models are used as a reflective layer of the current state of the system to support the implementation of a feedback loop. More recently, models at runtime have also been identified as key for supporting the development of full-fledged digital twins. However, this use of models at
Lyan, Gauthier +4 more
openaire +3 more sources
The fundamental principles of civil procedure and the reasonableness of the time of a trial
Проблеми Законності, 2018 In the article "the fundamental principles of civil procedure" and " the principles of civil procedural law" are considered as synonyms. They are understood as normatively fixed requirements that reflect the values of civil procedural law, reproduce the ...
Наталія Юріївна Сакара
doaj +1 more source
Experimental Study on Reasonable Adsorption Time in Determination Coalbed Methane Content
Geofluids, 2022 Accurate determination of coalbed methane (CBM) content is of great significance to coalmine methane prediction, methane extraction, and gas outburst prevention.
Qiao Wang +5 more
doaj +1 more source
Acting for reasons and the metaphysics of time
Philosophical Studies, 2022 AbstractThis paper concerns acting for reasons and how this can inform debates about the metaphysics of time. Storrs-Fox (2021) has argued against the A-theory of time on the grounds that it cannot adequately account for the explanation of actions. Storrs-Fox assumes that explanation is forever.
openaire +2 more sources
Moral and Property Harm as Consequence of Violation of Reasonable Time of Preliminary Investigation
Сибирское юридическое обозрение, 2017 The relevance of the article is that it examines the provisions of the criminal procedure law on a reasonable time of preliminary investigation, the consequences of violation of a reasonable period of preliminary investigation. A formula is proposed that
Ibiamin N. Nuriev
doaj +1 more source
Analysis of ‘Reasonable Period of Time’ In WTO Dispute Settlement System [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i Khuṣūṣī, 2018 In the event of disputes between members of the World Trade Organization, the claimant member, based on Understanding on Rules and Procedures governing the Settlement of Disputes (DSU), should request Dispute Settlement Body (DSB) to make the respondent ...
Ali Rezaee
doaj +1 more source