Towards the integration of Metalib, SFX and PAPI: How to change your metasearcher transparently to the user

To guarantee the success of a virtual library is essential that all users can access all the library resources independently of the user's location.

Stringent V beta requirement for the development of NK1.1+ T cell receptor-alpha/beta+ cells in mouse liver.

The liver of C57BL/6 mice contains a major subset of CD4+8- and CD4-8- T cell receptor (TCR)-alpha/beta+ cells expressing the polymorphic natural killer NK1.1 surface marker. Liver NK1.1+TCR-alpha/beta+ (NK1+ T) cells require interaction with beta2-microglobulin-associated, major histocompatibility complex I-like molecules on hematopoietic cells for their development and have a TCR repertoire that is highly skewed to Vbeta8.2, Vbeta7, and Vbeta2. We show here that congenic C57BL/6.Vbeta(a) mice, which lack Vbeta8- expressing T cells owing to a genomic deletion at the Vbeta locus, maintain normal levels of liver NK1+ T cells owing to a dramatic increase in the proportion of cells expressing Vbeta7 and Vbeta2 (but not other Vbetas). Moreover, in C57BL/6 congenic TCR-V Vbeta3 and -Vbeta8.1 transgenic mice (which in theory should not express other Vbeta, owing to allelic exclusion at the TCR-beta locus), endogenous TCR-Vbeta8.2, Vbeta7, and Vbeta2 (but not other Vbetas) are frequently expressed on liver NK1+T cells but absent on lymph node T cells. Finally, when endogenous V beta expression is prevented in TCR-Vbeta3 and Vbeta8.1 transgenic mice (by introduction of a null allele at the C beta locus), the development of liver NK1+T cells is totally abrogated. Collectively, our data indicate that liver NK1+T cells have a stringent requirement for expression of TCR-Vbeta8.2, Vbeta7, or Vbeta2 for their development.

Towards smart user models in open environments

Our work is concerned with user modelling in open environments. Our proposal then is the line of contributions to the advances on user modelling in open environments thanks so the Agent Technology, in what has been called Smart User Model. Our research contains a holistic study of User Modelling in several research areas related to users. We have developed a conceptualization of User Modelling by means of examples from a broad range of research areas with the aim of improving our understanding of user modelling and its role in the next generation of open and distributed service environments. This report is organized as follow: In chapter 1 we introduce our motivation and objectives. Then in chapters 2, 3, 4 and 5 we provide the state-of-the-art on user modelling. In chapter 2, we give the main definitions of elements described in the report. In chapter 3, we present an historical perspective on user models. In chapter 4 we provide a review of user models from the perspective of different research areas, with special emphasis on the give-and-take relationship between Agent Technology and user modelling. In chapter 5, we describe the main challenges that, from our point of view, need to be tackled by researchers wanting to contribute to advances in user modelling. From the study of the state-of-the-art follows an exploratory work in chapter 6. We define a SUM and a methodology to deal with it. We also present some cases study in order to illustrate the methodology. Finally, we present the thesis proposal to continue the work, together with its corresponding work scheduling and temporalisation

Inflammasome activators induce interleukin-1α secretion via distinct pathways with differential requirement for the protease function of caspase-1.

Through their capacity to sense danger signals and to generate active interleukin-1β (IL-1β), inflammasomes occupy a central role in the inflammatory response. In contrast to IL-1β, little is known about how IL-1α is regulated. We found that all inflammasome activators also induced the secretion of IL-1α, leading to the cosecretion of both IL-1 cytokines. Depending on the type of inflammasome activator, release of IL-1α was inflammasome dependent or independent. Calcium influx induced by the opening of cation channels was sufficient for the inflammasome-independent IL-1α secretion. In both cases, IL-1α was released primarily in a processed form, resulting from intracellular cleavage by calpain-like proteases. Inflammasome-caspase-1-dependent release of IL-1α and IL-1β was independent of caspase-1 catalytic activity, defining a mode of action for caspase-1. Because inflammasomes contribute to the pathology of numerous chronic inflammatory diseases such as gout and diabetes, IL-1α antagonists may be beneficial in the treatment of these disorders.

Adaption of Courses and Learning Environment to the User Context in dotLRN

The explosive growth of Internet during the last years has been reflected in the ever-increasing amount of the diversity and heterogeneity of user preferences, types and features of devices and access networks. Usually the heterogeneity in the context of the users which request Web contents is not taken into account by the servers that deliver them implying that these contents will not always suit their needs. In the particular case of e-learning platforms this issue is especially critical due to the fact that it puts at stake the knowledge acquired by their users. In the following paper we present a system that aims to provide the dotLRN e-learning platform with the capability to adapt to its users context. By integrating dotLRN with a multi-agent hypermedia system, online courses being undertaken by students as well as their learning environment are adapted in real time

Capacity-achieving input covariance for single-user multi-antenna channels

We characterize the capacity-achieving input covariance for multi-antenna channels known instantaneously at the receiver and in distribution at the transmitter. Our characterization, valid for arbitrary numbers of antennas, encompasses both the eigenvectors and the eigenvalues. The eigenvectors are found for zero-mean channels with arbitrary fading profiles and a wide range of correlation and keyhole structures. For the eigenvalues, in turn, we present necessary and sufficient conditions as well as an iterative algorithm that exhibits remarkable properties: universal applicability, robustness and rapid convergence. In addition, we identify channel structures for which an isotropic input achieves capacity.

Multiuser detection in a dynamic environment — Part II: Joint user identification and parameter estimation

The problem of jointly estimating the number, the identities, and the data of active users in a time-varying multiuser environment was examined in a companion paper (IEEE Trans. Information Theory, vol. 53, no. 9, September 2007), at whose core was the use of the theory of finite random sets on countable spaces. Here we extend that theory to encompass the more general problem of estimating unknown continuous parameters of the active-user signals. This problem is solved here by applying the theory of random finite sets constructed on hybrid spaces. We doso deriving Bayesian recursions that describe the evolution withtime of a posteriori densities of the unknown parameters and data.Unlike in the above cited paper, wherein one could evaluate theexact multiuser set posterior density, here the continuous-parameter Bayesian recursions do not admit closed-form expressions. To circumvent this difficulty, we develop numerical approximationsfor the receivers that are based on Sequential Monte Carlo (SMC)methods (“particle filtering”). Simulation results, referring to acode-divisin multiple-access (CDMA) system, are presented toillustrate the theory.

An Investigation of User Costs and Benefits of Winter Road Closures, June 2005

This project explores the user costs and benefits of winter road closures. Severe winter weather makes travel unsafe and dramatically increases crash rates. When conditions become unsafe due to winter weather, road closures should allow users to avoid crash costs and eliminate costs associated with rescuing stranded motorists. Therefore, the benefits of road closures are the avoided safety costs. The costs of road closures are the delays that are imposed on motorists and motor carriers who would have made the trip had the road not been closed. This project investigated the costs and benefits of road closures and found that evaluating the benefits and costs is not as simple as it appears. To better understand the costs and benefits of road closures, the project investigates the literature, conducts interviews with shippers and motor carriers, and conducts case studies of road closures to determine what actually occurred on roadways during closures. The project also estimates a statistical model that relates weather severity to crash rates. Although, the statistical model is intended to illustrate the possibility to quantitatively relate measurable and predictable weather conditions to the safety performance of a roadway. In the future, weather conditions such as snow fall intensity, visibility, etc., can be used to make objective measures of the safety performance of a roadway rather than relying on subjective evaluations of field staff. The review of the literature and the interviews clearly illustrate that not all delays (increased travel time) are valued the same. Expected delays (routine delays) are valued at the generalized costs (value of the driver’s time, fuel, insurance, wear and tear on the vehicle, etc.), but unexpected delays are valued much higher because they result in interruption of synchronous activities at the trip’s destination. To reduce the costs of delays resulting from road closures, public agencies should communicate as early as possible the likelihood of a road closure.

Towards a User-Friendly Platform for Building Language Resources based on Web Services

This paper presents the platform developed in the PANACEA project, a distributed factory that automates the stages involved in the acquisition, production, updating and maintenance of Language Resources required by Machine Translation and other Language Technologies. We adopt a set of tools that have been successfully used in the Bioinformatics field, they are adapted to the needs of our field and used to deploy web services, which can be combined to build more complex processing chains (workflows). This paper describes the platform and its different components (web services, registry, workflows, social network and interoperability). We demonstrate the scalability of the platform by carrying out a set of massive data experiments. Finally, a validation of the platform across a set of required criteria proves its usability for different types of users (non-technical users and providers).

Towards a user-friendly webservice architecture for statistical machine translation in the PANACEA project

This paper presents a webservice architecture for Statistical Machine Translation aimed at non-technical users. A workfloweditor allows a user to combine different webservices using a graphical user interface. In the current state of this project,the webservices have been implemented for a range of sentential and sub-sententialaligners. The advantage of a common interface and a common data format allows the user to build workflows exchanging different aligners.

A user's guide to the encyclopedia of DNA elements (ENCODE).

The mission of the Encyclopedia of DNA Elements (ENCODE) Project is to enable the scientific and medical communities to interpret the human genome sequence and apply it to understand human biology and improve health. The ENCODE Consortium is integrating multiple technologies and approaches in a collective effort to discover and define the functional elements encoded in the human genome, including genes, transcripts, and transcriptional regulatory regions, together with their attendant chromatin states and DNA methylation patterns. In the process, standards to ensure high-quality data have been implemented, and novel algorithms have been developed to facilitate analysis. Data and derived results are made available through a freely accessible database. Here we provide an overview of the project and the resources it is generating and illustrate the application of ENCODE data to interpret the human genome.