OLS regression has typically been used in housing research to determine the relationship of a particular housing characteristic with selling price. Results differ across studies, not only in terms of size of OLS coefficients and statistical significance, but sometimes in direction of effect. This study suggests that some of the observed variation in the estimated prices of housing characteristi...

Concurrent game structures model multi-player games played on finite graphs where the players simultaneously choose their moves and collectively determine the next state of the game. We extend this model with prices on transitions for each player. We study pure Nash equilibria in this framework where each player’s payoff is the accumulated price of all transitions until reaching their goal stat...

An adaptive k-out-of-N Priced Oblivious Transfer (POT) scheme is a two-party protocol betweena vendor and a buyer. The vendor sells a set of messagesm1, . . .,mN with pricesp1, . . . ,pN . Ineach transfer phase i = 1, . . . , k, the buyer chooses a selection value σi ∈ {1, . . . ,N } and interactswith the vendor to buy messagemσi in such a way that the vendor doe...

Alternating-time Temporal Logic (ATL) and Coalition Logic (CL) are well-established logical formalisms particularly suitable to model games between dynamic coalitions of agents (like e.g. the system and the environment). Recently, the ATL formalism has been extended in order to take into account boundedness of the resources needed for a task to be performed. The resulting logic is known as Reso...

Particular attention will be given to the theory of the underlying formalisms of the UPPAAL tool suite, including: timed automata, priced timed automata, and (priced) timed games addressing a number of associated decision problems related to model-checking and optimal scheduling and strategies. The lectures will highlight the by now classical region-construction underlying the decidability of s...

Quantile hedonic house price function estimates imply that appreciation rates were higher between 1995 and 2005 for high-priced homes in Chicago. Decompositions of temporal changes in the house price distribution suggest that the types of homes sold and their location do not account for the change in the price distribution. Rather, higher appreciation rates for high-priced homes are explained b...

This paper report that the implementation of the speaker direction detector using a small and low-priced micro controller called ”dsPIC” and propose the speaker localization method integrating the results from the multiple detectors. To confirm a basic performance of the proposed method, an experiment for estimating 6 locations at intervals of 1m using a pair of the speaker direction detectors ...