15,717 research outputs found
Polymatroid Prophet Inequalities
Consider a gambler and a prophet who observe a sequence of independent,
non-negative numbers. The gambler sees the numbers one-by-one whereas the
prophet sees the entire sequence at once. The goal of both is to decide on
fractions of each number they want to keep so as to maximize the weighted
fractional sum of the numbers chosen.
The classic result of Krengel and Sucheston (1977-78) asserts that if both
the gambler and the prophet can pick one number, then the gambler can do at
least half as well as the prophet. Recently, Kleinberg and Weinberg (2012) have
generalized this result to settings where the numbers that can be chosen are
subject to a matroid constraint.
In this note we go one step further and show that the bound carries over to
settings where the fractions that can be chosen are subject to a polymatroid
constraint. This bound is tight as it is already tight for the simple setting
where the gambler and the prophet can pick only one number. An interesting
application of our result is in mechanism design, where it leads to improved
results for various problems
Do Individuals Learn To Maximise Expected Utility?
Violations of expected utility theory are sometimes attributed to imprecise preferences interacting with a lack of learning opportunity in the experimental laboratory. This paper reports a test of whether conditions which facilitate objective probability learning yield decisions better described by expected utility theory than is the case in experiments devoid of learning opportunity. The data show that expected utility maximising behaviour increases with the learning opportunity, but so too do systematic violations. Learning, therefore, may exacerbate choice anomalies.
A CDCL-style calculus for solving non-linear constraints
In this paper we propose a novel approach for checking satisfiability of
non-linear constraints over the reals, called ksmt. The procedure is based on
conflict resolution in CDCL style calculus, using a composition of symbolical
and numerical methods. To deal with the non-linear components in case of
conflicts we use numerically constructed restricted linearisations. This
approach covers a large number of computable non-linear real functions such as
polynomials, rational or trigonometrical functions and beyond. A prototypical
implementation has been evaluated on several non-linear SMT-LIB examples and
the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at
<http://informatik.uni-trier.de/~brausse/ksmt/
Assessment of a photogrammetric approach for urban DSM extraction from tri-stereoscopic satellite imagery
Built-up environments are extremely complex for 3D surface modelling purposes. The main distortions that hamper 3D reconstruction from 2D imagery are image dissimilarities, concealed areas, shadows, height discontinuities and discrepancies between smooth terrain and man-made features. A methodology is proposed to improve automatic photogrammetric extraction of an urban surface model from high resolution satellite imagery with the emphasis on strategies to reduce the effects of the cited distortions and to make image matching more robust. Instead of a standard stereoscopic approach, a digital surface model is derived from tri-stereoscopic satellite imagery. This is based on an extensive multi-image matching strategy that fully benefits from the geometric and radiometric information contained in the three images. The bundled triplet consists of an IKONOS along-track pair and an additional near-nadir IKONOS image. For the tri-stereoscopic study a densely built-up area, extending from the centre of Istanbul to the urban fringe, is selected. The accuracy of the model extracted from the IKONOS triplet, as well as the model extracted from only the along-track stereopair, are assessed by comparison with 3D check points and 3D building vector data
- …