Results 31 to 40 of about 4,459,628 (347)

The UCLID Decision Procedure [PDF]

, 2004
UCLID is a tool for term-level modeling and verification of infinite-state systems expressible in the logic of counter arithmetic with lambda expressions and uninterpreted functions (CLU). In this paper, we describe a key component of the tool, the decision procedure for CLU.
Shuvendu K. Lahiri, Sanjit A. Seshia
openaire   +1 more source

Combining decision procedures for the reals [PDF]

Logical Methods in Computer Science, 2006
We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consider methods of establishing such assertions using only restricted forms of distributivity.
Jeremy Avigad, Harvey Friedman
openaire   +4 more sources

Goal-setting participation and goal commitment: examining the mediating roles of procedural fairness and interpersonal trust in a UK financial services organisation [PDF]

, 2010
This study investigates whether participation in goal-setting within performance measurement and evaluation processes affects goal commitment and if so, whether the effect is mediated by procedural fairness and interpersonal trust.
Pike, Richard H., Mahfud Sholihin, Mangena, Musa, Mangena, M, Richard Pike, Jing Li, Sholihin, M, Li, J, Sholihin, Mahfud, Pike, R, Li, Jing, Musa Mangena   +11 more
core   +1 more source

Confrontation of Immunity and Responsibility Arising from Violation of Jus Cogens Norms in the ICJ Jurisprudence [PDF]

Faṣlnāmah-i Pizhūhish-i Huqūq-i ̒Umūmī, 2023
Undoubtedly, jus cogens or preemptory norm is always recognized as the highest source of international law. Nevertheless, the judicial review of International Court of Justice caused doubt in the absolute priority of jus cogens when violation of jus ...
Mahshid Ajeli lahiji, S. Ali Hosseiniazad, Majid Zahmatkesh   +2 more
doaj   +1 more source

Age and trust as moderators in the relation between procedural justice and turnover: a large-scale longitudinal study [PDF]

, 2010
Item does not contain fulltextThe current study investigated the moderating roles of age and trust in the relation of procedural justice with turnover. It was expected that the relation between procedural justice and turnover was weaker for older workers
Bal, P. Matthijs, Bal, M., Ybema, J.F., Jansen, Paul G. W., Jansen, P.G.W., de Lange, Annet H., van der Velde, E.G., Paul G.W. Jansen, Mandy E.G. van der Velde, de Lange, A.H., Jansen, P.G., Ybema, Jan F., van der Velde, Mandy E. G., Bal, P.M., Jansen, P.G.W.; id_orcid, Velde, M.E. van der, P. Matthijs Bal, Velde, E.G. van der, Lange, A.H. de, Velde, M.E.G. van der, Annet H. de Lange, Jan F. Ybema   +21 more
core   +1 more source

Boosting Human Decision-making with AI-Generated Decision Aids [PDF]

Computational Brain & Behavior, 2022
Human decision-making is plagued by many systematic errors. Many of these errors can be avoided by providing decision aids that guide decision-makers to attend to the important information and integrate it according to a rational decision strategy ...
Frederic Becker, Julian Skirzynski, B. V. Opheusden, Falk Lieder   +3 more
semanticscholar   +1 more source

Surgical Procedural Map Scoring for Decision-Making in Laparoscopic Cholecystectomy

American Journal of Surgery, 2018
Introduction: The objective of this study was to determine whether decision-based procedural mapping demonstrates differences in attendings versus residents.
Daniel A. Hashimoto, C. G. Axelsson, Cara B. Jones, R. Phitayakorn, Emil R. Petrusa, Sophia K. McKinley, D. Gee, C. Pugh   +7 more
semanticscholar   +1 more source

When eliminating bias isn’t fair: Algorithmic reductionism and procedural justice in human resource decisions

, 2020
The perceived fairness of decision-making procedures is a key concern for organizations, particularly when evaluating employees and determining personnel outcomes.
David T. Newman, Nathanael J. Fast, Derek Harmon   +2 more
semanticscholar   +1 more source

Inequality and Procedural Justice in Social Dilemmas [PDF]

, 2009
This study investigates the influence of resource inequality and the fairness of the allocation procedure of unequal resources on cooperative behavior in social dilemmas.
Aksoy, Ozan,, Weesie, Jeroen, Aksoy, Ozan, Weesie, Jeroen,   +3 more
core   +1 more source

The Decision Problem for Effective Procedures

Logica Universalis, 2023
Abstract The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is ...
openaire   +4 more sources