ASPAL. Proof of soundness and completeness

We provide here a brief introduction and proof of soundness and completeness of the ILP system ASPAL. This document is in support of our ICLP 2011 submission, for the reviewers' bene ts

Privacy Butler: A personal privacy rights manager for online presence.

The online presence projected by a person is comprised of all the information about them available on the Internet. In online communities and social networking services, it is often possible for third-parties to modify this content by, for example, commenting on existing content or uploading new content. This has the potential to negatively impact the privacy of a presence owner (the person referred to by the on-line content) by disclosing information about them without consent. In this paper we propose a Privacy Butler, an automated service that can monitor a persons online presence and attempt to make corrections based on policies specified by the owner of the online presence. © 2010 IEEE.Accepted versio

Normative design using inductive learning

In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules and revise the existing ones. The learning mechanism is guided by the designer who describes the desired properties of the framework through use cases, comprising (i) event traces that capture possible scenarios, and (ii) a state that describes the desired outcome. The learning process then proposes additional rules, or changes to current rules, to satisfy the constraints expressed in the use cases. Thus, the contribution of this paper is a process for the elaboration and revision of a normative framework by means of a semi-automatic and iterative process driven from specifications of (un)desirable behaviour. The process integrates a novel and general methodology for theory revision based on ASP.Comment: Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, volume 11, issue 4-5, 201

Intra-datacenter links exploiting PCI express generation 4 interconnections

We demonstrate few-km reaches for PCIe-based optical fiber interconnections according to latency limitations, characterizing 16-Gb/s per lane Generation4 up to 10 km and confirming the Generation3 compliance of 2-km links employing suitable PCIe cards

Comparison and evaluation of lupus nephritis response criteria in lupus activity indices and clinical trials

Abstract Systemic lupus erythematosus (SLE) is a systemic autoimmune disease with diverse manifestations. Although the approval of new therapies includes only one agent in 50 years, a number of promising new drugs are in development. Lupus nephritis is a dreaded complication of SLE as it is associated with significant morbidity and mortality. Advancing the treatment of lupus nephritis requires well-designed clinical trials and this can be challenging in SLE. The major obstacles involve identifying the correct population of patients to enroll and ensuring that a clinically appropriate and patient-centered endpoint is being measured. In this review, we will first discuss the clinical utility of endpoints chosen to represent lupus nephritis in global disease activity scales. Second, we will review completed and active trials focused on lupus nephritis and discuss the endpoints chosen. There are many important lessons to be learned from existing assessment tools and clinical trials. Reviewing these points will help ensure that future efforts will yield meaningful disease activity measures and well-designed clinical trials to advance our understanding of lupus management

Induction of T Lymphocytes Specific for Bovine Viral Diarrhea Virus in Calves with Maternal Antibody

Passive antibody to bovine viral diarrhea virus (BVDV) acquired through colostrum intake may interfere with the development of a protective immune response by calves to this virus. The objective of this study was to determine if calves, with a high level of maternal antibody to bovine viral diarrhea virus (BVDV), develop CD4+, CD8+, or γδ T lymphocyte responses to BVDV in the absence of a measurable humoral immune response. Colostrum or milk replacer fed calves were challenged with virulent BVDV at 2-5 weeks of age and/or after maternal antibody had waned. Calves exposed to BVDV while passive antibody levels were high did not mount a measurable humoral immune response to BVDV. However, compared to nonexposed animals, these animals had CD4+, CD8+, and γδ T lymphocytes that were activated by BVDV after exposure to in vitro BVDV. The production of IFNγ by lymphocytes after in vitro BVDV exposure was also much greater in lymphocytes from calves exposed to BVDV in the presence of maternal antibody compared to the nonexposed calves. These data indicate that calves exposed to BVDV while maternal antibody levels are high can develop antigen specific CD4+, CD8+, and γδ T lymphocytes in the absence of an active antibody response. A manuscript presented separately demonstrates that the calves with T lymphocytes specific for BVDV in this study were also protected from virulent BVDV genotype 2 challenge after maternal antibody became undetectable

Detecting conflicts in legal systems

Abstract. When acting in different jurisdictions (e.g. under the laws of different countries) at the same time, it can be of great value for individuals to be able to determine whether disparities among the laws of these different systems exist and allowing them to identify the consequences that may follow from these dispari-ties. For individuals, it is typically not of interest to find all the ways in which these legal systems differ, but rather to establish whether a particular course of action may have different legal interpretations, depending on the jurisdiction. In this paper we present a formal and computational framework that, given specific scenarios (descriptions of courses of action), can automatically detect whether these scenarios could lead to different outcomes. We demonstrate our approach by means of a private international law case-study where a company drafts a con-tract clause after examining the consequences in the available jurisdictions.