In this paper we give a brief overview of the Webis group’s participation in the TREC 2011 Sessions track with an extended version of our last year’s approach [HSV10]. The basic idea can be described as a conservative query expansion based on terms used in previous queries or terms contained in clicked snippets. Furthermore, a query’s result set is reduced by removing documents shown for previo...

In this paper we present the retrieval and adaptation mechanisms used in our information system on travel medicine, docQuery. The retrieval method’s main feature is an overall improved accuracy of retrieval results’ similarities through a more diverse distribution of similarities over the retrieved result sets. Its underlying idea is the execution of several consecutive retrievals on one case b...

We consider four criteria of acceptability for single-chain mean-field entangled polymer models: consistency with a multi-chain level of description, consistency with nonequilibrium thermodynamics, consistency with the stress-optic rule, and self-consistency between Green–Kubo predictions and linear viscoelastic predictions for infinitesimally driven systems. Each of these topics has been consi...

Abstract We prove the consistency of Bäcklund transformation (BT) for spin Calogero–Moser (sCM) system in rational, trigonometric, and hyperbolic cases. The BT sCM consists an overdetermined ordinary differential equations; to establish our result, we construct analyze certain functions that measure departure this from consistency. show these are identically zero allows a unique solution initia...

We study the classifier quantification problem in the context of the topical opinion retrieval, that consists in estimating proportions of the sentiment categories in the result set of a topic. We propose a methodology to circumvent individual classification allowing a real-time sentiment analysis for huge volumes of data. After discussing existing approaches to quantification, the novel propos...

In distributed online collaboration applications, such as digital white board and online gaming, it is important to guarantee the consistency among participants’ views to make collaboration meaningful. However, maintaining even a relaxed consistency in a distributed environment with a large number of geographically dispersed participants still involves formidable communication and management co...

The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit basically in two categories: uniform and hybrid models. To provide a better understanding on the semantics of the memory models, researchers have proposed formalisms to define them. Unfortunately, most of the work has ...

Modelling complex system often results in different but overlapping modelling artifacts which evolve independently. Thus, inconsistencies may arise which lead to unintended effects on the modelled system. To mitigate this situation, model synchronization is seen as a recurring and crucial maintenance task which requires to restore consistency between multiple models using the most suitable chan...

We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from the consistency of a proper class of supercompact cardinals. This extends earlier results due to the author showing that the consistency of the theory “ZF + ¬ACω + Every successor cardinal is regular + E...

Nowadays, software and system development projects involve an increasing number of various CASE tools each of which is specialized in certain tasks or phases of the development process. This results in an unrelated distribution of the data of a project as a whole over the different data repositories of the considered tools. The task of manually keeping the data consistent is cumbersome, time co...