نتایج جستجو برای: soft operational research

تعداد نتایج: 1576918  

2007
Aaron Stump Edwin Westbrook

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.

Journal: :Softwaretechnik-Trends 2016
Daniel Speicher

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...

Journal: :European Journal of Operational Research 2016
Niklas Keller Konstantinos V. Katsikopoulos

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 ...

Journal: :European Journal of Operational Research 2016
L. Alberto Franco Etiënne A. J. A. Rouwette Hubert Korzilius

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...

Journal: :European Journal of Operational Research 2016
Peter Wanke Carlos P. Barros Ali Emrouznejad

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 ...

2005
Hans Ittmann

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...

Journal: :European Journal of Operational Research 2016
Fiorenzo Franceschini Domenico A. Maisano Luca Mastrogiacomo

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...

Journal: :European Journal of Operational Research 2016
Fotios Petropoulos Robert Fildes Paul Goodwin

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...

Journal: :European Journal of Operational Research 2015
Mohammad E. Nikoofal Jun Zhuang

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...

Journal: :European Journal of Operational Research 2016
Sungmook Lim Joe Zhu

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید