Over the last ten years Answer Set Programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become a...

Constructive definitions of discrete random measures, which specify a sampling procedure for the weights and atom locations of the measure, have proven to be of great value in statistics and related fields. We consider the case of completely random measures and obtain a constructive representation for completely random measures on Euclidean space. For random measures on the real line satisfying...

The aim of this review article is twofold. On the one hand, it reviews basics of class of infinite-dimensional representation theory applied to basic example of symplectic Dirac operator in the framework of parabolic geometry. On the other hand, it offers to pure representation theorists a natural geometrical context for realization of class of infinite-dimensional representations. We extend th...

In many games, players’ decisions consist of multiple subdecisions, and hence can give rise to an exponential number of pure strategies. However, this set of pure strategies is often structured, allowing it to be represented compactly, as in network congestion games, security games, and extensive form games. Reduction to the standard normal form generally introduces exponential blow-up in the s...

We propose a novel context-free grammar representation for parsing libraries in a pure programming language. Our representation explicitizes the recursion in the grammar, thus avoiding fundamental limitations of the grammar model currently employed by parser combinator libraries. Additionally, we decouple the grammar from its semantic actions using techniques from the Multirec generic programmi...

A novel algorithm that combines sparse and collaborative representation is proposed for target detection in hyperspectral imagery. Target detection is achieved by the representation of a testing pixel using a target library and a background library. Due to the fact that sparse representation encourages competition among atoms while collaborative representation tends to use all the atoms, the te...

The 2012 Albert Lasker Special Achievement Award in Medical Science will be shared by Donald Brown and Tom Maniatis for their scientific work leading to the purification and study of single genes by physical and molecular biological methodologies. Brown and Maniatis are also recognized for their extraordinary commitment and generosity in promoting the careers of young scientists. The impact of ...

the purpose of this study was twofold: (a) to assess the retention of two word types (synonyms and homonyms) in the short term memory, and (b) to investigate the effect of these word types on word learning by asking learners to learn their persian meanings. a total of 73 iranian language learners studying english translation participated in the study. for the first purpose, 36 freshmen from an ...

We propose two mixed-integer linear programming based approaches for the 2-D orthogonal strip packing problem. Using the knowledge of the alternative forms of time representation in scheduling formulations, we show how to efficiently combine three different concepts into the xand ydimensions. One model features a discrete representation of the x-axis (strip width) and a continuous representatio...

We compute the free energy at all temperatures for spherical pure p-spin models from generalized Thouless–Anderson–Palmer representation. This is first example of a mixed model which computed in whole replica symmetry breaking phase, without appealing to famous Parisi formula.