In 1952, Thompson deened four transformations on extensive games, and proved that they leave the reduced normal form intact (a so{ called \adequacy" theorem). Kohlberg&Mertens, in 1986, proposed two additional game transformations. In this paper, I will state and prove adequacy results for all six transformations in a uniform manner. Then, a number of well{known solution concepts will be survey...

Compositional distributional semantic models (CDSMs) have successfully been applied to the task of predicting the meaning of a range of linguistic constructions. Their performance on semicompositional word formation process of (morphological) derivation, however, has been extremely variable, with no large-scale empirical investigation to date. This paper fills that gap, performing an analysis o...

Björner [1] showed how a construction by von Neumann of examples of continuous geometries can be adapted to construct a continuous analogue of finite partition lattices. Björner's construction realizes the continuous partition lattice abstractly, as a completion of a direct limit of finite lattices. Here we give an alternative construction realizing a continuous partition lattice concretely as ...

Mammography is a not invasive diagnostic technique widely used for early detection of breast cancer. One of the main indicants of cancer is the presence of microcalcifications, i.e. small calcium accumulations, often grouped into clusters. Automatic detection and recognition of malignant clusters of microcalcifications are very difficult because of the small size of the microcalcifications and ...

Automatic Tuning of Data-Intensive Analytical

This study describes an approach for measuring and modelling diffusive and advective transport of radon through building materials. The goal of these measurements and model calculations is to improve our understanding concerning the factors influencing the transport of radon through building materials. To reach this goal, a number of experiments have to be conducted. These experiments, includin...

Bring home now the book enPDFd multiple classifier systems 8th international workshop mcs 2009 reykjavik iceland june 10 12 20 to be your sources when going to read. It can be your new collection to not only display in your racks but also be the one that can help you fining the best sources. As in common, book is the window to get in the world and you can open the world easily. These wise words...

A minimal permutation representation of a finite group G is a faithful G-set with the smallest possible size. We study the structure of such representations and show that for certain groups they may be obtained by a greedy construction. In these situations (except when central involutions intervene) all minimal permutation representations have the same set of orbit sizes. Using the same ideas w...

This paper presents the settings and the results of the ROMIP 2013 MT shared task for the English→Russian language direction. The quality of generated translations was assessed using automatic metrics and human evaluation. We also discuss ways to reduce human evaluation efforts using pairwise sentence comparisons by human judges to simulate sort operations.

A multi-coupon (MC ) represents a collection of k coupons that a user can redeem to a vendor in exchange for a benefit (some good or service). Recently, Chen et al. [CEL07] proposed an unforgeable privacy-protecting multi-coupon scheme (MCS ), which discourages sharing of coupons through a property called unsplittability, where the coupons of a singleMC cannot be separately used by two users. P...