I study a 2-bidder infinitely repeated IPV first-price auction without transfers, communication, or public randomization, where each bidder’s valuation can assume, in each of the (statistically independent) stage games, one of three possible values. If the probability of the high valuation is sufficiently large and the medium valuation is between one third and one half of the high valuation, th...

We present here Imitator, a tool for synthesizing constraints on timing bounds (seen as parameters) in the framework of timed automata. Unlike classical synthesis methods, we take advantage of a given reference valuation of the parameters for which the system is known to behave properly. Our aim is to generate a constraint such that, under any valuation satisfying this constraint, the system is...

Let F be a field complete for a real valuation. It is a standard result in valuation theory that a finite extension of F admits a valuation basis if and only if it is without defect. We show that even otherwise, one can construct bases in which the discrepancy between measuring valuation an element versus on the components in its basis decomposition can be made arbitrarily small. The key step i...

This paper presents a comprehensive theoretical and methodological framework clarifying the relationship between non-market environmental valuation techniques, in particular hedonic and life-satisfaction methods. The paper shows how life-satisfaction scores can be used to test correctly the equilibrium condition in location markets required by the hedonic approach and that in the absence of equ...

Valuation of information systems (IS) and information technology (IT) has gained a lot of attention over the years resulting in a broad range of approaches. We examine the use of valuation methods in a case study of a large public organization. Life cycle analysis was used to position and relate valuation methods. We found that eight different methods were used and that there was limited coordi...

Existing studies on market seasonality and the size effect are largely based on realized returns. This paper investigates seasonal variations and size-related differences in crossstock valuation distribution. We use three stock valuation measures, two derived from structural models and one from book/market ratio. We find that the average valuation level is the highest in mid summer and the lowe...

...................................................................................... 5 I. Environmental values and valuation approaches........... 7 1. The economic concept of environmental value .................... 7 2. Willingness-to-pay and willingness-to-accept ...................... 8 3. Classifying environmental values ......................................... 9 4. Valuation approaches...

Theories of decision-making and its neural substrates have long assumed the existence of two distinct and competing valuation systems, variously described as goal-directed vs. habitual, or, more recently and based on statistical arguments, as model-free vs. model-based reinforcement-learning. Though both have been shown to control choices, the cognitive abilities associated with these systems a...

This paper investigates the potential implications of valuation error for the accuracy of investment performance measures of property portfolios. Previous empirical research on valuation error is reviewed It is argued that there is considerable evidence to suggest that valuations are prone to error. A simulation approach is used to model the effects of valuation error on a number of hypothetica...

Extending work of Puninski, Puninskaya and Toffalori in [PPT07], we show that if V is an effectively given valuation domain then the theory of all V -modules is decidable if and only if there exists an algorithm which, given a, b ∈ V , answers whether a ∈ rad(bV ). This was conjectured in [PPT07] for valuation domains with dense value group where it was proved for valuation domains with dense a...