Synthesising process controllers from formal models of transformable assembly systems

When producing complex and highly customisable products in low volumes (or in ‘batch sizes of one’), automation of production systems is critical for competitiveness and profitability in high labour-cost economies. To facilitate batch-size-of-one production, ‘topology generation’, ‘realisability’, and ‘control’ algorithms have been developed as part of the Evolvable Assembly Systems (EAS) project. The topology generation algorithm computes all the possible sequences of parallel activities that assembly resources can perform on parts and is run offline whenever the layout of the production facility changes, whereas realisability checking and controller generation are performed at run-time to check whether a production facility with a given set of assembly resources can assemble a desired product, and how the product should be assembled, e.g., which resources to use, and when. Generated controllers are output in Business to Manufacturing Markup Language (B2MML). Taken together, the algorithms thus represent a step toward a complete path from the formal specification of an assembly system and the products to be assembled, to the automated synthesis of executable process plans. This paper presents each algorithm in sufficient detail to allow their reimplementation by other researchers. Topology generation is the most expensive step in the approach. A preliminary experimental evaluation of the scalability of topology generation is presented, which suggests that, for small to medium sized production facilities, the time required for recomputing the topology is sufficiently small not to preclude frequent factory transformations, e.g., the addition of new resources.Funded by the Engineering and Physical Sciences Research Council via grants EP/K018205/1 and EP/K014161/1

Masked-Volume-Wise PCA and "reference Logan" illustrate similar regional differences in kinetic behavior in human brain PET study using [11C]-PIB

<p>Abstract</p> <p>Background</p> <p>Kinetic modeling using reference Logan is commonly used to analyze data obtained from dynamic Positron Emission Tomography (PET) studies on patients with Alzheimer's disease (AD) and healthy volunteers (HVs) using amyloid imaging agent <it>N</it>-methyl [¹¹C]2-(4'-methylaminophenyl)-6-hydroxy-benzothiazole, [¹¹C]-PIB. The aim of the present study was to explore whether results obtained using the newly introduced method, Masked Volume Wise Principal Component Analysis, MVW-PCA, were similar to the results obtained using reference Logan.</p> <p>Methods</p> <p>MVW-PCA and reference Logan were performed on dynamic PET images obtained from four Alzheimer's disease (AD) patients on two occasions (baseline and follow-up) and on four healthy volunteers (HVs). Regions of interest (ROIs) of similar sizes were positioned in different parts of the brain in both AD patients and HVs where the difference between AD patients and HVs is largest. Signal-to-noise ratio (SNR) and discrimination power (DP) were calculated for images generated by the different methods and the results were compared both qualitatively and quantitatively.</p> <p>Results</p> <p>MVW-PCA generated images that illustrated similar regional binding patterns compared to reference Logan images and with slightly higher quality, enhanced contrast, improved SNR and DP, without being based on modeling assumptions. MVW-PCA also generated additional MVW-PC images by using the whole dataset, which illustrated regions with different and uncorrelated kinetic behaviors of the administered tracer. This additional information might improve the understanding of kinetic behavior of the administered tracer.</p> <p>Conclusion</p> <p>MVW-PCA is a potential multivariate method that without modeling assumptions generates high quality images, which illustrated similar regional changes compared to modeling methods such as reference Logan. In addition, MVW-PCA could be used as a new technique, applicable not only on dynamic human brain studies but also on dynamic cardiac studies when using PET.</p

The M3 muscarinic receptor Is required for optimal adaptive immunity to Helminth and bacterial infection

Innate immunity is regulated by cholinergic signalling through nicotinic acetylcholine receptors. We show here that signalling through the M3 muscarinic acetylcholine receptor (M3R) plays an important role in adaptive immunity to both Nippostrongylus brasiliensis and Salmonella enterica serovar Typhimurium, as M3R-/- mice were impaired in their ability to resolve infection with either pathogen. CD4 T cell activation and cytokine production were reduced in M3R-/- mice. Immunity to secondary infection with N. brasiliensis was severely impaired, with reduced cytokine responses in M3R-/- mice accompanied by lower numbers of mucus-producing goblet cells and alternatively activated macrophages in the lungs. Ex vivo lymphocyte stimulation of cells from intact BALB/c mice infected with N. brasiliensis and S. typhimurium with muscarinic agonists resulted in enhanced production of IL-13 and IFN-γ respectively, which was blocked by an M3R-selective antagonist. Our data therefore indicate that cholinergic signalling via the M3R is essential for optimal Th1 and Th2 adaptive immunity to infection

Arthroscopic evaluation of the ACL double bundle structure

In order to describe the arthroscopic presence of the double bundle structure and to evaluate the value of different portals in knee arthroscopy, we assessed the AM and PL bundle anatomy. We prospectively examined the knees of 60 patients undergoing arthroscopic surgery for pathology unrelated to the ACL. Arthroscopy was performed in a two portal technique using an anterolateral (ALP) and an anteromedial (AMP) portal. With the arthroscope in the ALP, we could distinguish an AM and PL bundle in 28%. Switching the arthroscope to the AMP, differentiation of the bundles was possible in 67%. In all remaining cases visualization of the PL bundle was possible after retraction of the AM bundle. Use of AMP increased visualization of the PL bundle. It seems reasonable to perform arthroscopy for ACL reconstruction with the arthroscope in the AMP and to establish an additional medial working portal to increase the visualization of the femoral ACL insertion sites for optimal femoral tunnel placement

Charged-Higgs phenomenology in the Aligned two-Higgs-doublet model

The alignment in flavour space of the Yukawa matrices of a general two-Higgs-doublet model results in the absence of tree-level flavour-changing neutral currents. In addition to the usual fermion masses and mixings, the aligned Yukawa structure only contains three complex parameters, which are potential new sources of CP violation. For particular values of these three parameters all known specific implementations of the model based on discrete Z_2 symmetries are recovered. One of the most distinctive features of the two-Higgs-doublet model is the presence of a charged scalar. In this work, we discuss its main phenomenological consequences in flavour-changing processes at low energies and derive the corresponding constraints on the parameters of the aligned two-Higgs-doublet model.Comment: 46 pages, 19 figures. Version accepted for publication in JHEP. References added. Discussion slightly extended. Conclusions unchange

A physiological time analysis of the duration of the gonotrophic cycle of Anopheles pseudopunctipennis and its implications for malaria transmission in Bolivia

<p>Abstract</p> <p>Background</p> <p>The length of the gonotrophic cycle varies the vectorial capacity of a mosquito vector and therefore its exact estimation is important in epidemiological modelling. Because the gonotrophic cycle length depends on temperature, its estimation can be satisfactorily computed by means of physiological time analysis.</p> <p>Methods</p> <p>A model of physiological time was developed and calibrated for <it>Anopheles pseudopunctipennis</it>, one of the main malaria vectors in South America, using data from laboratory temperature controlled experiments. The model was validated under varying temperatures and could predict the time elapsed from blood engorgement to oviposition according to the temperature.</p> <p>Results</p> <p>In laboratory experiments, a batch of <it>An. pseudopunctipennis </it>fed at the same time may lay eggs during several consecutive nights (2–3 at high temperature and > 10 at low temperature). The model took into account such pattern and was used to predict the range of the gonotrophic cycle duration of <it>An. pseudopunctipennis </it>in four characteristic sites of Bolivia. It showed that the predicted cycle duration for <it>An. pseudopunctipennis </it>exhibited a seasonal pattern, with higher variances where climatic conditions were less stable. Predicted mean values of the (minimum) duration ranged from 3.3 days up to > 10 days, depending on the season and the geographical location. The analysis of ovaries development stages of field collected biting mosquitoes indicated that the phase 1 of Beklemishev might be of significant duration for <it>An. pseudopunctipennis</it>. The gonotrophic cycle length of <it>An. pseudopunctipennis </it>correlates with malaria transmission patterns observed in Bolivia which depend on locations and seasons.</p> <p>Conclusion</p> <p>A new presentation of cycle length results taking into account the number of ovipositing nights and the proportion of mosquitoes laying eggs is suggested. The present approach using physiological time analysis might serve as an outline to other similar studies and allows the inclusion of temperature effects on the gonotrophic cycle in transmission models. However, to better explore the effects of temperature on malaria transmission, the others parameters of the vectorial capacity should be included in the analysis and modelled accordingly.</p

(Per)chlorate reduction by an acetogenic bacterium, Sporomusa sp., isolated from an underground gas storage

A mesophilic bacterium, strain An4, was isolated from an underground gas storage reservoir with methanol as substrate and perchlorate as electron acceptor. Cells were Gram-negative, spore-forming, straight to curved rods, 0.5–0.8 μm in diameter, and 2–8 μm in length, growing as single cells or in pairs. The cells grew optimally at 37°C, and the pH optimum was around 7. Strain An4 converted various alcohols, organic acids, fructose, acetoin, and H2/CO2 to acetate, usually as the only product. Succinate was decarboxylated to propionate. The isolate was able to respire with (per)chlorate, nitrate, and CO2. The G+C content of the DNA was 42.6 mol%. Based on the 16S rRNA gene sequence analysis, strain An4 was most closely related to Sporomusa ovata (98% similarity). The bacterium reduced perchlorate and chlorate completely to chloride. Key enzymes, perchlorate reductase and chlorite dismutase, were detected in cell-free extracts

WNT signalling in prostate cancer

Genome sequencing and gene expression analyses of prostate tumours have highlighted the potential importance of genetic and epigenetic changes observed in WNT signalling pathway components in prostate tumours-particularly in the development of castration-resistant prostate cancer. WNT signalling is also important in the prostate tumour microenvironment, in which WNT proteins secreted by the tumour stroma promote resistance to therapy, and in prostate cancer stem or progenitor cells, in which WNT-β-catenin signals promote self-renewal or expansion. Preclinical studies have demonstrated the potential of inhibitors that target WNT receptor complexes at the cell membrane or that block the interaction of β-catenin with lymphoid enhancer-binding factor 1 and the androgen receptor, in preventing prostate cancer progression. Some WNT signalling inhibitors are in phase I trials, but they have yet to be tested in patients with prostate cancer

Rb regulates fate choice and lineage commitment in vivo

February 1, 2011Mutation of the retinoblastoma gene (RB1) tumour suppressor occurs in one-third of all human tumours and is particularly associated with retinoblastoma and osteosarcoma[superscript 1]. Numerous functions have been ascribed to the product of the human RB1 gene, the retinoblastoma protein (pRb). The best known is pRb’s ability to promote cell-cycle exit through inhibition of the E2F transcription factors and the transcriptional repression of genes encoding cell-cycle regulators[superscript 1]. In addition, pRb has been shown in vitro to regulate several transcription factors that are master differentiation inducers[superscript 2]. Depending on the differentiation factor and cellular context, pRb can either suppress or promote their transcriptional activity. For example, pRb binds to Runx2 and potentiates its ability to promote osteogenic differentiation in vitro[superscript 3]. In contrast, pRb acts with E2F to suppress peroxisome proliferator-activated receptor γ subunit (PPAR-γ), the master activator of adipogenesis[superscript 4, 5]. Because osteoblasts and adipocytes can both arise from mesenchymal stem cells, these observations suggest that pRb might play a role in the choice between these two fates. However, so far, there is no evidence for this in vivo. Here we use mouse models to address this hypothesis in mesenchymal tissue development and tumorigenesis. Our data show that Rb status plays a key role in establishing fate choice between bone and brown adipose tissue in vivo.National Cancer Institute (U.S.) (Grant)National Institutes of Health (U.S.) (Grant

Impaired Inhibitory Control in Recreational Cocaine Users

Chronic use of cocaine is associated with impairment in response inhibition but it is an open question whether and to which degree findings from chronic users generalize to the upcoming type of recreational users. This study compared the ability to inhibit and execute behavioral responses in adult recreational users and in a cocaine-free-matched sample controlled for age, race, gender distribution, level of intelligence, and alcohol consumption. Response inhibition and response execution were measured by a stop-signal paradigm. Results show that users and non users are comparable in terms of response execution but users need significantly more time to inhibit responses to stop-signals than non users. Interestingly, the magnitude of the inhibitory deficit was positively correlated with the individuals lifetime cocaine exposure suggesting that the magnitude of the impairment is proportional to the degree of cocaine consumed