نتایج جستجو برای: soft operational research
تعداد نتایج: 1576918 فیلتر نتایج به سال:
An Operational Type Theory (OPTT) is developed based on a theory of operational joinability of untyped terms. The theory accomodates functions which might diverge or abort on some inputs. To preserve logical soundness, OPTT distinguishes proofs from programs, and formulas from types. OPTT incorporates proof irrelevance, thus facilitating the combination of internal and external verification.
Every single false positive that an automated design flaw detection tool presents to a developer places a cognitive burden on him and should thus be avoided. A preliminary yet already quite comprehensive catalog of false positives was recently presented in [1]. We elaborated in [5, 4] that developers accept design flaws in the context of specific design ideas, e.g. feature envy in the context o...
Psychological heuristics are formal models for making decisions that (i) rely on core psychological capacities (e.g., recognizing patterns or recalling information frommemory), (ii) do not necessarily use all available information, and process the information they use by simple computations (e.g., ordinal comparisons or unweighted sums), and (iii) are easy to understand, apply and explain. The ...
Empirical evidence on how cognitive factors impact the effectiveness of model-supported group decision making is lacking. This study reports on an experiment on the effects of need for closure, defined as a desire for definite knowledge on some issue and the eschewal of ambiguity. The study was conducted with over 40 postgraduate student groups. A quantitative analysis shows that compared to gr...
Performance analysis has become a vital part of the management practices in the banking industry. There are numerous applications using DEA models to estimate efficiency in banking, and most of them assume that inputs and outputs are known with absolute precision. Here, we propose new Fuzzy-DEA α-level models to assess underlying uncertainty. Further, bootstrap truncated regressions with fixed ...
Operations Research is governed internationally by the International Federation of Operations Research Societies (IFORS). It is therefore fitting that this newsletter, which is published under the auspices of IFORS, introduces our readers to the President of IFORS, Tom Magnanti, and the Vice President, Theo Stewart, who is responsible for developing countries. Apart from providing more informat...
The problem of the aggregation of multi-agents preference orderings has received considerable attention in the scientific literature, because of its importance for different fields of research. Yager (2001) proposed an algorithm for addressing this problem when the agents’ importance is expressed through a rank-ordering, instead of a set of weights. The algorithm by Yager is simple and automata...
The behaviour of poker players and sports gamblers has been shown to change after winning or losing a significant amount of money on a single hand. In this paper, we explore whether there are changes in experts’ behaviour when performing judgmental adjustments to statistical forecasts and, in particular, examine the impact of ‘big losses’. We define a big loss as a judgmental adjustment that si...
It is commonly accepted in the literature that, when facing with a strategic terrorist, the government can be better off by manipulating the terrorist’s target selection with exposing her defense levels and thus movingfirst. However, the impact of terrorist’s private informationmay significantly affect suchgovernment’s first-mover advantage, which has not been extensively studied in the literat...
In Chen, Cook, Kao, and Zhu (2013), it is demonstrated, as a network DEA pitfall, that while the multiplier and envelopment DEA models are dual models and equivalent under the standard DEA, such is not necessarily true for the two types of network DEAmodels in deriving divisional efficiency scores and frontier projections. As a reaction to this work, we demonstrate that the duality in the stand...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید