Formal Specification and Testing of a Management Architecture

The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

Mycobacterium tuberculosis Responds to Chloride and pH as Synergistic Cues to the Immune Status of its Host Cell

PubMed ID: 23592993This 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

Potential applications of synchrotron computed microtomography to soil science

Synchrotron x-ray computed microtomography (CMT) can be used to make non-destructive tomographic sections with spatial resolutions of a few [mu]m. This resolution presents possibilities for study of soil-fluid interactions on a spatial scale hitherto unreachable. Details of a CMT apparatus in operation at the Brookhaven National Synchrotron Light Source X26 beam line are presented and prospects for future investigations of test systems have been made and results for wet and dry samples of glass beads and sand samples are given to show the power of the system

Zebrafish hoxd4a Acts Upstream of meis1.1 to Direct Vasculogenesis, Angiogenesis and Hematopoiesis

10.1371/journal.pone.0058857PLoS ONE83

Genome-Wide Detection of Allele Specific Copy Number Variation Associated with Insulin Resistance in African Americans from the HyperGEN Study

African Americans have been understudied in genome wide association studies of diabetes and related traits. In the current study, we examined the joint association of single nucleotide polymorphisms (SNPs) and copy number variants (CNVs) with fasting insulin and an index of insulin resistance (HOMA-IR) in the HyperGEN study, a family based study with proband ascertainment for hypertension. This analysis is restricted to 1,040 African Americans without diabetes. We generated allele specific CNV genotypes at 872,243 autosomal loci using Birdsuite, a freely available multi-stage program. Joint tests of association for SNPs and CNVs were performed using linear mixed models adjusting for covariates and familial relationships. Our results highlight SNPs associated with fasting insulin and HOMA-IR (rs6576507 and rs8026527, 3.7*10−7≤P≤1.1*10−5) near ATPase, class V, type 10A (ATP10A), and the L Type voltage dependent calcium channel (CACNA1D, rs1401492, P≤5.2*10−6). ATP10A belongs to a family of aminophospholipid-transporting ATPases and has been associated with type 2 diabetes in mice. CACNA1D has been linked to pancreatic beta cell generation in mice. The two most significant copy variable markers (rs10277702 and rs361367; P<2.0*10−4) were in the beta variable region of the T-cell receptor gene (TCRVB). Human and mouse TCR has been shown to mimic insulin and its receptor and could contribute to insulin resistance. Our findings differ from genome wide association studies of fasting insulin and other diabetes related traits in European populations, highlighting the continued need to investigate unique genetic influences for understudied populations such as African Americans

The ineffectiveness of entrepreneurship policy:Is policy formulation to blame?

Entrepreneurship policy has been criticised for its lack of effectiveness. Some scholars, such as Scott Shane in this journal, have argued that it is ‘bad’ public policy. But this simply begs the question why the legislative process should generate bad policy? To answer this question this study examines the UK’s enterprise policy process in the 2009–2010 period. It suggests that a key factor for the ineffectiveness of policy is how it is formulated. This stage in the policy process is seldom visible to those outside of government departments and has been largely ignored by prior research. The application of institutional theory provides a detailed theoretical understanding of the actors and the process by which enterprise policy is formulated. We find that by opening up the ‘black box’ of enterprise policy formulation, the process is dominated by powerful actors who govern the process with their interests

Athlome Project Consortium: a concerted effort to discover genomic and other "omic" markers of athletic performance.

Despite numerous attempts to discover genetic variants associated with elite athletic performance, injury predisposition, and elite/world-class athletic status, there has been limited progress to date. Past reliance on candidate gene studies predominantly focusing on genotyping a limited number of single nucleotide polymorphisms or the insertion/deletion variants in small, often heterogeneous cohorts (i.e., made up of athletes of quite different sport specialties) have not generated the kind of results that could offer solid opportunities to bridge the gap between basic research in exercise sciences and deliverables in biomedicine. A retrospective view of genetic association studies with complex disease traits indicates that transition to hypothesis-free genome-wide approaches will be more fruitful. In studies of complex disease, it is well recognized that the magnitude of genetic association is often smaller than initially anticipated, and, as such, large sample sizes are required to identify the gene effects robustly. A symposium was held in Athens and on the Greek island of Santorini from 14-17 May 2015 to review the main findings in exercise genetics and genomics and to explore promising trends and possibilities. The symposium also offered a forum for the development of a position stand (the Santorini Declaration). Among the participants, many were involved in ongoing collaborative studies (e.g., ELITE, GAMES, Gene SMART, GENESIS, and POWERGENE). A consensus emerged among participants that it would be advantageous to bring together all current studies and those recently launched into one new large collaborative initiative, which was subsequently named the Athlome Project Consortium