Results 51 to 60 of about 4,459,628 (347)

On Interpolation in Decision Procedures

, 2011
Interpolation means finding intermediate formulae between given formulae. When formulae decorate program locations, and describe sets of program states, interpolation may enable a program analyzer to discover information about intermediate locations and states.
BONACINA, Maria Paola, Moa Johansson
openaire   +2 more sources

Rewrite-Based Decision Procedures

Electronic Notes in Theoretical Computer Science, 2007
AbstractThe rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an inference system generates finitely many clauses from the presentation T of a theory and a finite set of ground unit clauses, then any fair strategy based on that system ...
BONACINA, Maria Paola, ECHENIM, Bertrand Mnacho   +1 more
openaire   +2 more sources

Procedural fairness in algorithmic decision-making: the role of public engagement

Ethics and Information Technology
Despite the widespread use of automated decision-making (ADM) systems, they are often developed without involving the public or those directly affected, leading to concerns about systematic biases that may perpetuate structural injustices.
M. Decker, Laila Wegner, C. Leicht-Scholten   +2 more
semanticscholar   +1 more source

Using self-definition to predict the influence of procedural justice on organizational, interpersonal, and job/task-oriented citizenship behaviors

, 2011
An integrative self-definition model is proposed to improve our understanding of how procedural justice affects different outcome modalities in organizational behavior.
Van Dijke, M, De Cremer, David, De Cremer, D (David), Brebels, Lieven, Lieven Brebels, Brebels, LGG, David De Cremer, Brebels, L, De Cremer, D, Marius Van Dijke, Van Dijke, Marius, van Dijke, Marius; id_orcid   +11 more
core   +1 more source

Change of jurisdiction by the prosecutor: problems of law enforcement

Law and Safety, 2022
The novelties of the criminal procedural legislation regarding the expansion of the grounds for the prosecutor to change the jurisdiction of criminal offenses have been analyzed. It has been established that in the conditions of martial law, liability as
V. V. Romaniuk
doaj   +1 more source

When do leaders grant voice? How leaders' perceptions of followers' control and belongingness needs affect the enactment of fair procedures [PDF]

, 2013
Theories that explain employees’ positive emotional, cognitive and behavioral responses to fair procedures rely on control and relational processes.
van Dijke, Marius, Hoogervorst, N, Van Dijke, M, De Cremer, D (David), De Cremer, David, Niek Hoogervorst, Hoogervorst, Niek, David De Cremer, De Cremer, D, van Dijke, Marius; id_orcid, Marius van Dijke   +10 more
core   +1 more source

TEISĖJO ELGESIO IR SPRENDIMO PROGNOZĖS SĄVEIKA VERTINANT PROCEDŪRINĮ TEISINGU

Psichologija, 2005
Teisingumo klausimas yra svarbus teisminio ginčo nagrinėjimo dalyviams. Suvoktas sprendimo ir procedūrinis teisingumas turi įtakos sprendimo ir jį priimančio asmens vertinimams.
Alfredas Laurinavičius
doaj   +1 more source

Retaliation as a response to procedural unfairness: a self-regulatory approach

, 2008
When does procedural unfairness result in retaliation, and why do recipients of unfair treatment sometimes pursue and other times inhibit retaliation? Five studies addressed these questions.
Sedikides, Constantine, Sedikides, C., De Cremer, David, Brebels, L.G.G., Constantine Sedikides, De Cremer, D (David), Brebels, Lieven, Lieven Brebels, Brebels, LGG, David De Cremer, Sedikides, C, De Cremer, D.   +11 more
core   +1 more source

Exploring Procedural Decision Support Systems for Wicked Problem Resolution

South African Computer Journal, 2017
Wicked problems are hyper-complex problems that are not solvable via traditional methods. Some common examples of these include issues such as poverty, climate change, business strategy, and general policy development, which all have high stakes and no ...
Carianne Pretorius
doaj   +1 more source

Agile versus Waterfall Project Management: Decision Model for Selecting the Appropriate Approach to a Project

CENTERIS/ProjMAN/HCist, 2020
Procedural models for project management can be differentiated into plan-driven methods which follow a classical waterfall process and agile methods which follow an iterative, test-driven approach.
Theo Thesing, C. Feldmann, M. Burchardt
semanticscholar   +1 more source