Performance analysis of interferometric noise due to unequally powered interferers in optical networks

Interferometric crosstalk has been identified as the cause of performance limits in future transparent all-optical networks. A large number of studies have been conducted on this phenomenon using a vast array of evaluation techniques. However, most major studies have considered that although the interfering terms may differ in number, the power contribution that they all make will be identical for all interfering terms. Although this situation is easy to analyze, it does not necessarily represent the situation that is likely to occur in a real network, which will be constructed of nodes with different degrees of connectivity, quite possibly from different vendors, and therefore with differing crosstalk characteristics. This paper describes a study on the impact of unequally powered interfering terms using a rigorous analysis technique. To validate the use of the chosen technique, the paper begins by bench-marking a number of common evaluation techniques against empirically derived, experimentally verified noise performance formulas

Existential Types for Relaxed Noninterference

Information-flow security type systems ensure confidentiality by enforcing noninterference: a program cannot leak private data to public channels. However, in practice, programs need to selectively declassify information about private data. Several approaches have provided a notion of relaxed noninterference supporting selective and expressive declassification while retaining a formal security property. The labels-as-functions approach provides relaxed noninterference by means of declassification policies expressed as functions. The labels-as-types approach expresses declassification policies using type abstraction and faceted types, a pair of types representing the secret and public facets of values. The original proposal of labels-as-types is formulated in an object-oriented setting where type abstraction is realized by subtyping. The object-oriented approach however suffers from limitations due to its receiver-centric paradigm. In this work, we consider an alternative approach to labels-as-types, applicable in non-object-oriented languages, which allows us to express advanced declassification policies, such as extrinsic policies, based on a different form of type abstraction: existential types. An existential type exposes abstract types and operations on these; we leverage this abstraction mechanism to express secrets that can be declassified using the provided operations. We formalize the approach in a core functional calculus with existential types, define existential relaxed noninterference, and prove that well-typed programs satisfy this form of type-based relaxed noninterference

Operational Semantics of Process Monitors

CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system's execution. Although CSPe has a trace semantics along with an implementation demonstrating acceptable performance, it lacks an operational semantics. An operational semantics is not only more accessible than trace semantics but also indispensable for ensuring the correctness of the implementation. Furthermore, a process algebra like CSPe admits multiple denotational semantics appropriate for different purposes, and an operational semantics is the basis for justifying such semantics' integrity and relevance. In this paper, we develop an SOS-style operational semantics for CSPe, which properly accounts for explicit failures and will serve as a basis for further study of its properties, its optimization, and its use in runtime verification

Reasoning about embedded dependencies using inclusion dependencies

The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions

Most vital segment barriers

We study continuous analogues of "vitality" for discrete network flows/paths, and consider problems related to placing segment barriers that have highest impact on a flow/path in a polygonal domain. This extends the graph-theoretic notion of "most vital arcs" for flows/paths to geometric environments. We give hardness results and efficient algorithms for various versions of the problem, (almost) completely separating hard and polynomially-solvable cases

Informing investment to reduce inequalities: a modelling approach

Background: Reducing health inequalities is an important policy objective but there is limited quantitative information about the impact of specific interventions. Objectives: To provide estimates of the impact of a range of interventions on health and health inequalities. Materials and methods: Literature reviews were conducted to identify the best evidence linking interventions to mortality and hospital admissions. We examined interventions across the determinants of health: a ‘living wage’; changes to benefits, taxation and employment; active travel; tobacco taxation; smoking cessation, alcohol brief interventions, and weight management services. A model was developed to estimate mortality and years of life lost (YLL) in intervention and comparison populations over a 20-year time period following interventions delivered only in the first year. We estimated changes in inequalities using the relative index of inequality (RII). Results: Introduction of a ‘living wage’ generated the largest beneficial health impact, with modest reductions in health inequalities. Benefits increases had modest positive impacts on health and health inequalities. Income tax increases had negative impacts on population health but reduced inequalities, while council tax increases worsened both health and health inequalities. Active travel increases had minimally positive effects on population health but widened health inequalities. Increases in employment reduced inequalities only when targeted to the most deprived groups. Tobacco taxation had modestly positive impacts on health but little impact on health inequalities. Alcohol brief interventions had modestly positive impacts on health and health inequalities only when strongly socially targeted, while smoking cessation and weight-reduction programmes had minimal impacts on health and health inequalities even when socially targeted. Conclusions: Interventions have markedly different effects on mortality, hospitalisations and inequalities. The most effective (and likely cost-effective) interventions for reducing inequalities were regulatory and tax options. Interventions focused on individual agency were much less likely to impact on inequalities, even when targeted at the most deprived communities

Cortico-thalamocortical interactions for learning, memory and decision-making

This is the final version. Available on open access from Wiley via the DOI in this recordThe thalamus and cortex are interconnected both functionally and anatomically and share a common developmental trajectory. Interactions between the mediodorsal thalamus (MD) and different parts of the prefrontal cortex are essential in cognitive processes, such as learning and adaptive decision-making. Cortico-thalamocortical interactions involving other dorsal thalamic nuclei, including the anterior thalamus and pulvinar, also influence these cognitive processes. Our work, and that of others, indicates a crucial influence of these interdependent cortico-thalamocortical neural networks that contributes actively to the processing of information within the cortex. Each of these thalamic nuclei also receives potent subcortical inputs that are likely to provide additional influences on their regulation of cortical activity. Here, we highlight our current neuroscientific research aimed at establishing when cortico-MD thalamocortical neural network communication is vital within the context of a rapid learning and memory discrimination task. We are collecting evidence of MD-prefrontal cortex neural network communication in awake, behaving male rhesus macaques. Given the prevailing evidence, further studies are needed to identify both broad and specific mechanisms that govern how the MD, anterior thalamus and pulvinar cortico-thalamocortical interactions support learning, memory and decision-making. Current evidence shows that the MD (and the anterior thalamus) are crucial for frontotemporal communication, and the pulvinar is crucial for frontoparietal communication. Such work is crucial to advance our understanding of the neuroanatomical and physiological bases of these brain functions in humans. In turn, this might offer avenues to develop effective treatment strategies to improve the cognitive deficits often observed in many debilitating neurological disorders and diseases and in neurodegeneration.Wellcome Trus

Elevated Liver Enzymes and Mortality in Older Individuals: A Prospective Cohort Study

Aim of the study: The aim of the study was to determine the excess risk of all-cause and cardiovascular mortality in older people with elevated liver enzymes [alanine transaminase (ALT) and gamma glutamyltransferase (GGT)]. Methods: We utilized data from a large, prospective, population based study of 2061 people aged 50 to 99 years with linkage to a National Death Registry. Participants were categorized as having elevated liver enzymes using standard thresholds (for males, GGT>51 and ALT>40 IU/L, and GGT>33 and ALT>31 IU/L for females). Adjusted Cox proportional hazards models assessed the association of elevated liver enzymes and mortality with long duration follow-up. Results: Over a median follow-up of 10 years (20,145 person years), 701 people died, including 203 (34%) from cardiovascular disease. Cox regression models adjusted for sex, age, smoking, and alcohol intake indicated that people with elevated liver enzymes had an increased risk of all-cause mortality that was modified by age (test for interaction P=0.01). Age-stratified analyses demonstrated no increased risk at younger ages [age 59 y and below; hazard ratio (HR): 0.46; 95% confidence interval, 0.06-3.49], but increased risk with age; age 60 to 69, HR: 1.05 (0.53-2.07), age 70 to 79 years, HR: 1.54 (0.81 to 2.93), and age 80 years and above, HR: 3.53 (1.55 to 8.04). Similarly, the risk of cardiovascular mortality with elevated liver enzymes was also modified by, and increased with age (test for interaction P=0.02); age 70 to 79, HR: 3.15 (1.37 to 7.23), age 80 years and above, HR: 6.86 (2.44 to 19.30). Conclusions: In community-dwelling elderly persons, an elevation in both ALT and GGT are associated with an excess risk of all-cause and cardiovascular mortality which increases with age

Cardiac testing for coronary artery disease in potential kidney transplant recipients.

Patients with chronic kidney disease (CKD) are at increased risk of coronary artery disease (CAD) and adverse cardiac events. Screening for CAD is therefore an important part of preoperative evaluation for kidney transplant candidates. There is significant interest in the role of non-invasive cardiac investigations and their ability to identify patients at high risk of CAD.  We investigated the accuracy of non-invasive cardiac screening tests compared with coronary angiography to detect CAD in patients who are potential kidney transplant recipients. MEDLINE and EMBASE searches (inception to November 2010) were performed to identify studies that assessed the diagnostic accuracy of non-invasive screening tests, using coronary angiography as the reference standard. We also conducted citation tracking via Web of Science and handsearched reference lists of identified primary studies and review articles.   We included in this review all diagnostic cross sectional, cohort and randomised studies of test accuracy that compared the results of any cardiac test with coronary angiography (the reference standard) relating to patients considered as potential candidates for kidney transplantation or kidney-pancreas transplantation at the time diagnostic tests were performed.  We used a hierarchical modelling strategy to produce summary receiver operating characteristic (SROC) curves, and pooled estimates of sensitivity and specificity. Sensitivity analyses to determine test accuracy were performed if only studies that had full verification or applied a threshold of ≥ 70% stenosis on coronary angiography for the diagnosis of significant CAD were included. The following screening investigations included in the meta-analysis were: dobutamine stress echocardiography (DSE) (13 studies), myocardial perfusion scintigraphy (MPS) (nine studies), echocardiography (three studies), exercise stress electrocardiography (two studies), resting electrocardiography (three studies), and one study each of electron beam computed tomography (EBCT), exercise ventriculography, carotid intimal media thickness (CIMT) and digital subtraction fluorography (DSF). Sufficient studies were present to allow hierarchical summary receiver operating characteristic (HSROC) analysis for DSE and MPS. When including all available studies, both DSE and MPS had moderate sensitivity and specificity in detecting coronary artery stenosis in patients who are kidney transplant candidates [DSE (13 studies) - pooled sensitivity 0.79 (95% CI 0.67 to 0.88), pooled specificity 0.89 (95% CI 0.81 to 0.94); MPS (nine studies) - pooled sensitivity 0.74 (95% CI 0.54 to 0.87), pooled specificity 0.70 (95% CI 0.51 to 0.84)]. When limiting to studies which defined coronary artery stenosis using a reference threshold of ≥ 70% stenosis on coronary angiography, there was little change in these pooled estimates of accuracy [DSE (9 studies) - pooled sensitivity 0.76 (95% CI 0.60 to 0.87), specificity 0.88 (95% CI 0.78 to 0.94); MPS (7 studies) - pooled sensitivity 0.67 (95% CI 0.48 to 0.82), pooled specificity 0.77 (95% CI 0.61 to 0.88)]. There was evidence that DSE had improved accuracy over MPS (P = 0.02) when all studies were included in the analysis, but this was not significant when we excluded studies which did not avoid partial verification or use a reference standard threshold of ≥70% stenosis (P = 0.09).   DSE may perform better than MPS but additional studies directly comparing these cardiac screening tests are needed. Absence of significant CAD may not necessarily correlate with cardiac-event free survival following transplantation. Further research should focus on assessing the ability of functional tests to predict postoperative outcome

Microbial micropatches within microbial hotspots

© 2018 Dann et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. The spatial distributions of organism abundance and diversity are often heterogeneous. This includes the sub-centimetre distributions of microbes, which have ‘hotspots’ of high abundance, and ‘coldspots’ of low abundance. Previously we showed that 300 μl abundance hotspots, coldspots and background regions were distinct at all taxonomic levels. Here we build on these results by showing taxonomic micropatches within these 300 μl microscale hotspots, coldspots and background regions at the 1 μl scale. This heterogeneity among 1 μl subsamples was driven by heightened abundance of specific genera. The micropatches were most pronounced within hotspots. Micropatches were dominated by Pseudomonas, Bacteroides, Parasporobacterium and Lachnospiraceae incertae sedis, with Pseudomonas and Bacteroides being responsible for a shift in the most dominant genera in individual hotspot subsamples, representing up to 80.6% and 47.3% average abundance, respectively. The presence of these micropatches implies the ability these groups have to create, establish themselves in, or exploit heterogeneous microenvironments. These genera are often particle-associated, from which we infer that these micropatches are evidence for sub-millimetre aggregates and the aquatic polymer matrix. These findings support the emerging paradigm that the microscale distributions of planktonic microbes are numerically and taxonomically heterogeneous at scales of millimetres and less. We show that microscale microbial hotspots have internal structure within which specific local nutrient exchanges and cellular interactions might occur