1,304 research outputs found
Security by Spatial Reference:Using Relative Positioning to Authenticate Devices for Spontaneous Interaction
Spontaneous interaction is a desirable characteristic associated with mobile and ubiquitous computing. The aim is to enable users to connect their personal devices with devices encountered in their environment in order to take advantage of interaction opportunities in accordance with their situation. However, it is difficult to secure spontaneous interaction as this requires authentication of the encountered device, in the absence of any prior knowledge of the device. In this paper we present a method for establishing and securing spontaneous interactions on the basis of emphspatial references that capture the spatial relationship of the involved devices. Spatial references are obtained by accurate sensing of relative device positions, presented to the user for initiation of interactions, and used in a peer authentication protocol that exploits a novel mechanism for message transfer over ultrasound to ensures spatial authenticity of the sender
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
This paper presents a combination of several automated reasoning and proof
presentation tools with the Mizar system for formalization of mathematics. The
combination forms an online service called MizAR, similar to the SystemOnTPTP
service for first-order automated reasoning. The main differences to
SystemOnTPTP are the use of the Mizar language that is oriented towards human
mathematicians (rather than the pure first-order logic used in SystemOnTPTP),
and setting the service in the context of the large Mizar Mathematical Library
of previous theorems,definitions, and proofs (rather than the isolated problems
that are solved in SystemOnTPTP). These differences poses new challenges and
new opportunities for automated reasoning and for proof presentation tools.
This paper describes the overall structure of MizAR, and presents the automated
reasoning systems and proof presentation tools that are combined to make MizAR
a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial
Intelligence and Symbolic Computation AISC 201
Lentiviral Vector Delivery of Human Interleukin-7 (hIL-7) to Human Immune System (HIS) Mice Expands T Lymphocyte Populations
Genetically modified mice carrying engrafted human tissues provide useful models to study human cell biology in physiologically relevant contexts. However, there remain several obstacles limiting the compatibility of human cells within their mouse hosts. Among these is inadequate cross-reactvitiy between certain mouse cytokines and human cellular receptors, depriving the graft of important survival and growth signals. To circumvent this problem, we utilized a lentivirus-based delivery system to express physiologically relevant levels of human interleukin-7 (hIL-7) in Rag2-/-γc-/- mice following a single intravenous injection. hIL-7 promoted homeostatic proliferation of both adoptively transferred and endogenously generated T-cells in Rag2-/-γc-/- Human Immune System (HIS) mice. Interestingly, we found that hIL-7 increased T lymphocyte numbers in the spleens of HIV infected HIS mice without affecting viral load. Taken together, our study unveils a versatile approach to deliver human cytokines to HIS mice, to both improve engraftment and determine the impact of cytokines on human diseases
GiViP: A Visual Profiler for Distributed Graph Processing Systems
Analyzing large-scale graphs provides valuable insights in different
application scenarios. While many graph processing systems working on top of
distributed infrastructures have been proposed to deal with big graphs, the
tasks of profiling and debugging their massive computations remain time
consuming and error-prone. This paper presents GiViP, a visual profiler for
distributed graph processing systems based on a Pregel-like computation model.
GiViP captures the huge amount of messages exchanged throughout a computation
and provides an interactive user interface for the visual analysis of the
collected data. We show how to take advantage of GiViP to detect anomalies
related to the computation and to the infrastructure, such as slow computing
units and anomalous message patterns.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
IL-4-secreting CD4+ T cells are crucial to the development of CD8+ T-cell responses against malaria liver stages.
CD4+ T cells are crucial to the development of CD8+ T cell responses against hepatocytes infected with malaria parasites. In the absence of CD4+ T cells, CD8+ T cells initiate a seemingly normal differentiation and proliferation during the first few days after immunization. However, this response fails to develop further and is reduced by more than 90%, compared to that observed in the presence of CD4+ T cells. We report here that interleukin-4 (IL-4) secreted by CD4+ T cells is essential to the full development of this CD8+ T cell response. This is the first demonstration that IL-4 is a mediator of CD4/CD8 cross-talk leading to the development of immunity against an infectious pathogen
Outward bulging of the right parietal bone in connection with fibrous dysplasia in an infant: a case report
- …