Lithographic technology for microwave integrated circuits

Conductive lithographic films (CLFs) have been developed primarily as substitutes for resin/laminate boards, which share properties with the metallisation patterns used in planar microwave integrated circuits (MICs). The authors examine the microwave properties of the films and show that, although the losses are greater, they have potential as an alternative to the traditional manufacturing process of MICs

Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL

A Hierarchy of Scheduler Classes for Stochastic Automata

Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are defined over schedulers that resolve the nondeterminism. In this paper we investigate the power of various theoretically and practically motivated classes of schedulers, considering the classic complete-information view and a restriction to non-prophetic schedulers. We prove a hierarchy of scheduler classes w.r.t. unbounded probabilistic reachability. We find that, unlike Markovian formalisms, stochastic automata distinguish most classes even in this basic setting. Verification and strategy synthesis methods thus face a tradeoff between powerful and efficient classes. Using lightweight scheduler sampling, we explore this tradeoff and demonstrate the concept of a useful approximative verification technique for stochastic automata

Establishing a meaningful human rights due diligence process for corporations : learning from experience of human rights impact assessment

The United Nations Special Representative of the Secretary-General on Business and Human Rights, Professor John Ruggie, has constructed a new international framework, which is set to become the cornerstone for all action on human rights and business at the international level. The principle of human rights due diligence (HRDD) is the central component of the corporate duty to respect human rights within that framework. This article argues that Ruggie's HRDD principle contains the majority of the core procedural elements that a reasonable human rights impact assessment (HRIA) process should incorporate. It is likely that the majority of corporations will adopt HRIA as a mechanism for meeting their due diligence responsibilities. However, in the context of the contentious debate around corporate human rights performance, the current state of the art in HRIA gives rise to concerns about the credibility and robustness of likely practice. Additional requirements are therefore essential if HRDD is to have a significant impact on corporate human rights performance – requirements in relation to transparency; external participation and verification; and independent monitoring and review

Associations of Vitamin D with Inter- and Intra-Muscular Adipose Tissue and Insulin Resistance in Women with and without Polycystic Ovary Syndrome

Low vitamin D and insulin resistance are common in polycystic ovary syndrome (PCOS) and associated with higher inter- and intra-muscular adipose tissue (IMAT). We investigated associations between vitamin D, IMAT and insulin resistance in a cross-sectional study of 40 women with PCOS and 30 women without PCOS, and pre- and post-exercise in a 12-week intervention in 16 overweight participants (10 with PCOS and six without PCOS). A non-classical body mass index (BMI) threshold was used to differentiate lean and overweight women (BMI ≥ 27 kg/m²). Measurements included plasma 25-hydroxyvitamin D (25OHD), insulin resistance (glucose infusion rate (GIR; mg/m²/min), fasting glucose and insulin, and glycated haemoglobin), visceral fat, mid-thigh IMAT (computed tomography) and total body fat (dual-energy X-ray absorptiometry). Women with both PCOS and low 25OHD levels had the lowest GIR (all p < 0.05). Higher IMAT was associated with lower 25OHD (B = -3.95; 95% CI -6.86, -1.05) and GIR (B = -21.3; 95% CI -37.16, -5.44) in women with PCOS. Overweight women with pre-exercise 25OHD ≥30 nmol/L had significant increases in GIR, and decreases in total and visceral fat (all p < 0.044), but no associations were observed when stratified by PCOS status. Women with PCOS and low 25OHD levels have increased insulin resistance which may be partly explained by higher IMAT. Higher pre-training 25OHD levels may enhance exercise-induced changes in body composition and insulin resistance in overweight women

Hadronic production of bottom-squark pairs with electroweak contributions

We present the complete computation of the tree-level and the next-to-leading order electroweak contributions to bottom-squark pair production at the LHC. The computation is performed within the minimal supersymmetric extension of the Standard Model. We discuss the numerical impact of these contributions in several supersymmetric scenarios.Comment: 33 pages, v2: preprint numbers correcte

Access to shops: The views of low-income shoppers

Concern is mounting as the retail stranglehold upon access to food grows. Research on the implications of restructuring retailing and health inequality has failed to involve low-income consumers in this debate. This paper reports on an exercise conducted for the UK Government's, Social Exclusion Unit's Policy Action Team on Access to Shops. The survey provides a useful baseline of the views of low-income groups in England. The choices that people on low income can make were found to be dominated by certain factors such as income and, most importantly, transport. Consumers reported varying levels of satisfaction with retail provision. The findings suggest gaps between what people have, what they want and what the planning process does and does not offer them. Better policy and processes are needed to include and represent the interests of low-income groups

A Prospective Longitudinal Study of the Clinical Outcomes from Cryptococcal Meningitis following Treatment Induction with 800 mg Oral Fluconazole in Blantyre, Malawi

Introduction: Cryptococcal meningitis is the most common neurological infection in HIV infected patients in Sub Saharan Africa, where gold standard treatment with intravenous amphotericin B and 5 flucytosine is often unavailable or difficult to administer. Fluconazole monotherapy is frequently recommended in national guidelines but is a fungistatic drug compromised by uncertainty over optimal dosing and a paucity of clinical end-point outcome data. Methods: From July 2010 until March 2011, HIV infected adults with a first episode of cryptococcal meningitis were recruited at Queen Elizabeth Central Hospital, Blantyre, Malawi. Patients were treated with oral fluconazole monotherapy 800 mg daily, as per national guidelines. ART was started at 4 weeks. Outcomes and factors associated with treatment failure were assessed 4, 10 and 52 weeks after fluconazole initiation. Results: Sixty patients were recruited. 26/60 (43%) died by 4 weeks. 35/60 (58.0%) and 43/56 (77%) died or failed treatment by 10 or 52 weeks respectively. Reduced consciousness (Glasgow Coma Score ,14 of 15), moderate/severe neurological disability (modified Rankin Score .3 of 5) and confusion (Abbreviated Mental Test Score ,8 of 10) were all common at baseline and associated with death or treatment failure. ART prior to recruitment was not associated with better outcomes. Conclusions: Mortality and treatment failure from cryptococcal meningitis following initiation of treatment with 800 mg oral fluconazole is unacceptably high. To improve outcomes, there is an urgent need for better therapeutic strategies and point-of-care diagnostics, allowing earlier diagnosis before development of neurological deficit

A novel pathway producing dimethylsulphide in bacteria is widespread in soil environments

The volatile compound dimethylsulphide (DMS) is important in climate regulation, the sulphur cycle and signalling to higher organisms. Microbial catabolism of the marine osmolyte dimethylsulphoniopropionate (DMSP) is thought to be the major biological process generating DMS. Here we report the discovery and characterisation of the first gene for DMSP-independent DMS production in any bacterium. This gene, mddA, encodes a methyltransferase that methylates methanethiol (MeSH) and generates DMS. MddA functions in many taxonomically diverse bacteria including sediment-dwelling pseudomonads, nitrogen-fixing bradyrhizobia and cyanobacteria, and mycobacteria, including the pathogen Mycobacterium tuberculosis. The mddA gene is present in metagenomes from varied environments, being particularly abundant in soil environments, where it is predicted to occur in up to 76% of bacteria. This novel pathway may significantly contribute to global DMS emissions, especially in terrestrial environments, and could represent a shift from the notion that DMSP is the only significant precursor of DMS