Step-indexed logical relations are an extremely useful technique for building operational-semantics-based models and program logics realistic, richly-typed programming languages. They have proven to be indispensable modeling features like higher-order state , which many languages support but were difficult accommodate using traditional denotational models. However, the conventional wisdom is th...

This paper presents our participation in medical image retrieval task of ImageCLEF 2012. Our aim is to study the effectiveness of using conceptual indexing comparing to word indexing in medical image retrieval. For this aim, we have used in the one hand the Terrier tool for textual indexing and for textual retrieval, and on another hand, the MetaMap tool for conceptual indexing and Vector model...

A long-standing goal of distance learning has been to provide a quality of learning comparable to the face-toface envir onmentof a traditional classr oomfor teaching or training. One of the fundamental problems in achieving this goal is providing e e ctiveways of highlevel semantic querying such as for the retrieval of relevant learning material relating to a topic of discussion. In this paper ...

The impact of stock market index membership on REIT stock returns is unclear. Returns may become more like those of other indexed stocks and less like those of their underlying properties. Taking advantage of the inclusion of REITs in major S&P indexes starting in 2001, we find that shared index membership significantly increases the correlation between REIT returns. However, index membership a...

RÉSUMÉ. Les moteurs de recherche communs exploitent le contenu des documents qu’ils indexent. Or, les internautes créent également des données explicites (tags, annotations, commentaires, notes, données de géoréférencement, etc.) et implicites (clics, logs, etc.) qu’il semble utile de prendre en compte pour améliorer l’indexation. Nos travaux concernent actuellement deux problématiques. Premièr...