Effective cutting of a quantum spin chain by bond impurities

Spin chains are promising media for short-haul quantum communication. Their usefulness is manifested in all those situations where stationary information carriers are involved. In the majority of the communication schemes relying on quantum spin chains, the latter are assumed to be finite in length, with well-addressable end-chain spins. In this paper we propose that such a configuration could actually be achieved by a mechanism that is able to effectively cut a spin ring through the insertion of bond defects. We then show how suitable physical quantities can be identified as figures of merit for the effectiveness of the cut. We find that, even for modest strengths of the bond defect, a ring is effectively cut at the defect site. In turn, this has important effects on the amount of correlations shared by the spins across the resulting chain, which we study by means of a scattering-based mechanism of a clear physical interpretation. © 2013 American Physical Society.

Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

Using mesh-geometry relationships to transfer analysis models between CAE tools

Integrating analysis and design models is a complex task due to differences between the models and the architectures of the toolsets used to create them. This complexity is increased with the use of many different tools for specific tasks using an analysis process. In this work various design and analysis models are linked throughout the design lifecycle, allowing them to be moved between packages in a way not currently available. Three technologies named Cellular Modeling, Virtual Topology and Equivalencing are combined to demonstrate how different finite element meshes generated on abstract analysis geometries can be linked to their original geometry. Cellular models allow interfaces between adjacent cells to be extracted and exploited to transfer analysis attributes such as mesh associativity or boundary conditions between equivalent model representations. Virtual Topology descriptions used for geometry clean-up operations are explicitly stored so they can be reused by downstream applications. Establishing the equivalence relationships between models enables analysts to utilize multiple packages for specialist tasks without worrying about compatibility issues or substantial rework.

Rough Waters, Dark Shadows and Cross-Cutting Winds:the impact of European Union enlargement on Turkey’s EU accession negotiations

For a multiplicity of socio-economic, geo-political, strategic and identity-based reasons, Turkey’s progress towards EU membership is often treated as a sui generis case. Yet although Turkey’s accession negotiations with the European Union (EU) are essentially a bilateral – and often stormy – affair, they take place within a wider and dynamic process of enlargement in which not only can the gloomy – sometimes dark – shadows of past and prospective enlargements be clearly detected, but so too can the often chill winds from ongoing, parallel negotiations with other candidates. How the EU negotiates accession and what it expects from candidates has continued to evolve since the EU began drawing up its framework for negotiations with Turkey ten years ago. This paper charts this evolution by first identifying changes in the light of Croatia’s negotiating experience, the ‘lessons learnt’ by the EU in meeting the challenges of Bulgarian and Romanian accession, the EU’s handling of Iceland’s membership bid and accession negotiations, and the revised approach to negotiating accession evident in the more recent frameworks for accession negotiations with Montenegro and Serbia. The paper then explores the extent to which these changes have impacted on the approach the EU has adopted in framing and progressing accession negotiations with Turkey. In doing so, it questions both the consistency with which the EU’s negotiates accession and the extent to which Turkey’s progress towards EU membership is conditioned by the broader dynamics of EU enlargement as opposed to simply the dynamics within EU-Turkey relations and domestic Turkish reform efforts.

Development tools for opportunistic pervasive computing

The goal of the POBICOS project is a platform that facilitates the development and deployment of pervasive computing applications destined for networked, cooperating objects. POBICOS object communities are heterogeneous in terms of the sensing, actuating, and computing resources contributed by each object. Moreover, it is assumed that an object community is formed without any master plan; for example, it may emerge as a by-product of acquiring everyday, POBICOS-enabled objects by a household. As a result, the target object community is, at least partially, unknown to the application programmer, and so a POBICOS application should be able to deliver its functionality on top of diverse object communities (we call this opportunistic computing). The POBICOS platform includes a middleware offering a programming model for opportunistic computing, as well as development and monitoring tools. This paper briefly describes the tools produced in the first phase of the project. Also, the stakeholders using these tools are identified, and a development process for both the middleware and applications is presented. © 2009 IEEE.

Tools for Assessing Outcomes in Studies of Chronic Cough: CHEST Guideline and Expert Panel Report

BACKGROUND: Since the publication of the 2006 American College of Chest Physicians (CHEST) cough guidelines, a variety of tools has been developed or further refined for assessing cough. The purpose of the present committee was to evaluate instruments used by investigators performing clinical research on chronic cough. The specific aims were to (1) assess the performance of tools designed to measure cough frequency, severity, and impact in adults, adolescents, and children with chronic cough and (2) make recommendations or suggestions related to these findings.

METHODS: By following the CHEST methodologic guidelines, the CHEST Expert Cough Panel based its recommendations and suggestions on a recently published comparative effectiveness review commissioned by the US Agency for Healthcare Research and Quality, a corresponding summary published in CHEST, and an updated systematic review through November 2013. Recommendations or suggestions based on these data were discussed, graded, and voted on during a meeting of the Expert Cough Panel.

RESULTS: We recommend for adults, adolescents (≥ 14 years of age), and children complaining of chronic cough that validated and reliable health-related quality-of-life (QoL) questionnaires be used as the measurement of choice to assess the impact of cough, such as the Leicester Cough Questionnaire and the Cough-Specific Quality-of-Life Questionnaire in adult and adolescent patients and the Parent Cough-Specific Quality of Life Questionnaire in children. We recommend acoustic cough counting to assess cough frequency but not cough severity. Limited data exist regarding the performance of visual analog scales, numeric rating scales, and tussigenic challenges.

CONCLUSIONS: Validated and reliable cough-specific health-related QoL questionnaires are recommended as the measurement of choice to assess the impact of cough on patients. How they compare is yet to be determined. When used, the reporting of cough severity by visual analog or numeric rating scales should be standardized. Previously validated QoL questionnaires or other cough assessments should not be modified unless the new version has been shown to be reliable and valid. Finally, in research settings, tussigenic challenges play a role in understanding mechanisms of cough.

The application of metabolomic biomarker screening tools for improved Bovine Respiratory Disease diagnosis and management

Bovine Respiratory Disease (BRD) is considered to be one of the most significant causes of economic loss in cattle worldwide. The disease has multifactorial aetiology, where viral induced respiratory damage can predispose animals to developing secondary bacterial infections. Accurate identification of viral infected animals prior to the onset of bacterial infection is necessary to reduce the overuse of antimicrobial treatments and minimize further economic losses from reduced production capacity and death. This research focuses on Bovine Parainfluenza Virus Type 3 (BPIV-3), one of the viruses involved in generating BRD. Vaccination measures for BPIV-3 can induce a level of immunity preventing disease progression, however, not all animals respond equally and immunization can complicate disease diagnosis. Alternative diagnostic approaches are required to identify animals which fail to respond to vaccination during infection outbreaks and are therefore likely to be more susceptible to secondary bacterial infections. Mass spectrometry based metabolomics was employed to identify plasma markers capable of differentiating between vaccinated and non-vaccinated calves after challenge with BPIV-3. Differentiation of vaccinated and non-vaccinated study groups (n=6) was possible as early as day 2 post-BPIV-3 challenge up until day 20 using a panel of potential metabolite markers. This study illustrates the potential for metabolomics to provide more detailed information on animal vaccination status that could be used to develop tools for improved herd health management, reduce economic loss through rapid identification and isolation of animals without immune protection (improving herd level immunity) and help reduce the usage of antimicrobial therapeutic treatments in animals.