introduction:myocardial 18f-fdg uptake is highly variable in oncologic whole body 18f-fdg pet/ct studies, ranging from quite intense to minimal distribution. intense or heterogeneous myocardial 18f-fdg uptake is undesirable as it may interfere with the visual or quantitative evaluation of tumoral invasion and metastases in pericardium, myocardium or adjacent mediastinal structures. the diet, as...

There are two difficulties in doing an objective evaluation of the performance of decision-making units (DMUs). The first one is how to treat undesirable outputs jointly produced with the desirable outputs, and the second one is how to treat uncontrollable variables, which often capture the impact of the operating environment. Given difficulties in both model construction and data availability,...

In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intu...

Several variants of a first-order simplification rule for nonnormal form tableaux using syntactic constraints are presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

An alternative approach to the semantics of definite descriptions was proposed by Heim in her dissertation [1982]. Heim assigns to pragmatics a larger part of the task of specifying the meaning of definite descriptions than the neo-Russellians do. In Heim’s theory, definite and indefinite NPs are semantically equivalent, and both introduce free variables. The truth conditions proposed by Heim f...