Results 291 to 300 of about 4,459,628 (347)

Decision Procedures for Simulatability

2012
We address the question of automatically proving security theorems in the universally composable (UC) model for ideal and real functionalities composed of if-then-else programs with uniform random number generation and data objects from the additive group of \({\mathbb F}_{2^m}\). We prove that for this restricted yet powerful language framework, there
Charanjit S. Jutla, Arnab Roy 0001
openaire   +1 more source

Spatialising procedural justice: fairness and local knowledge mobilisation in nuclear waste siting

, 2021
Recent shifts in energy infrastructure siting have seen movement toward more procedurally just participatory decision-making processes. The energy justice literature emphasises both the normative need for fairness and justice in energy decision-making ...
M. Bell
semanticscholar   +1 more source

Decision-making procedures

2009
Chapter 5 introduces into the decision-making procedures. First the notion of decision-making procedure is explained. Then four types of decision-making procedures are distinguished: general heuristic decision-making procedures, specific heuristic decision-making procedures, general analytic decision-making procedures and specific analytic decision ...
Rudolf Grünig, Richard Kühn
openaire   +1 more source

From Decision Procedures to Synthesis Procedures

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015
Software synthesis is a technique for automaticallygenerating code from a given specification. The goal of softwaresynthesis is to make software development easier while increasingboth the productivity of the programmer and the correctnessof the produced code.
openaire   +1 more source

The Tarski decision procedure

Proceedings of the 1956 11th ACM national meeting on - ACM '56, 1956
The Tarski decision procedure can be briefly described as an algorithm for deciding on the validity of any elementary statement about polynomials over the field of real numbers. The adjective “elementary%rdquo; is used here in a technical sense, but its meaning will be indicated by examples.
openaire   +1 more source

INTERRELATION OF PROCEDURAL DECISIONS IN PRE-TRIAL PROCEEDINGS

Bulletin of the South Ural State University series Law
A procedural decision, as an element of criminal procedure, ensures the dynamics of criminal proceedings and is made by officials under the influence of external and internal factors, which in practice lead to a distorted perception of the ...
Elina Bikbaeva
semanticscholar   +1 more source

Procedural justice as mediator between participation in decision‐making and organization citizenship behavior

International Journal of Commerce and Management, 2004
This article examines the relationship among participation in decision‐making, employee’s perceptions of procedural justice and employee citizenship behavior. An employee’s perceptions of procedural justice is proposed to mediate the relationship between
Ali H. Muhammad
exaly   +2 more sources

A Procedure for Optimizing Development Decisions

IFAC Proceedings Volumes, 1973
Abstract This paper addresses the problem of organizing data and formulating questions to be answered for the purpose of making planning and development decisions. The problem is separated into five distinct parts. Each part is discussed in the context of the planning process and each leads logically to the optimization of development decisions.
openaire   +1 more source

Bounded Authority: Expanding “Appropriate” Police Behavior Beyond Procedural Justice

Law and Human Behavior, 2018
This paper expands previous conceptualizations of appropriate police behavior beyond procedural justice. The focus of the current study is on the notion of bounded authority—that is, acting within the limits of one’s rightful authority. According to work
Rick Trinkner, J. Jackson, T. Tyler
semanticscholar   +1 more source

Resolution Strategies as Decision Procedures

Journal of the ACM, 1976
The resolution principle, an automatic inference technique, is studied as a possible decision procedure for certain classes of first-order formulas. It is shown that most previous resolution strategies do not decide satisfiability even for “simple” solvable classes.
openaire   +1 more source