Software modelling languages: A wish list

© 2015 IEEE. Contemporary software engineering modelling tends to rely on general-purpose languages, such as the Unified Modeling Language. However, such languages are practice-based and seldom underpinned with a solid theory-be it mathematical, ontological or concomitant with language use. The future of software modelling deserves research to evaluate whether a language base that is compatible with these various elements as well as being philosophically coherent offers practical advantages to software developers

Sustained release silk fibroin discs: Antibody and protein delivery for HIV prevention

With almost 2 million new HIV infections worldwide each year, the prevention of HIV infection is critical for stopping the pandemic. The only approved form of pre-exposure prophylaxis is a costly daily pill, and it is recognized that several options will be needed to provide protection to the various affected communities around the world. In particular, many at-risk people would benefit from a prevention method that is simple to use and does not require medical intervention or a strict daily regimen. We show that silk fibroin protein can be formulated into insertable discs that encapsulate either an antibody (IgG) or the potent HIV inhibitor 5P12-RANTES. Several formulations were studied, including silk layering, water vapor annealing and methanol treatment to stabilize the protein cargo and impact the release kinetics over weeks. In the case of IgG, high concentrations were released over a short time using methanol treatment, with more sustained results with the use of water vapor annealing and layering during device fabrication. For 5P12-RANTES, sustained release was obtained for 31 days using water vapor annealing. Further, we show that the released inhibitor 5P12-RANTES was functional both in vitro and in ex vivo colorectal tissue. This work shows that silk fibroin discs can be developed into formidable tools to prevent HIV infection

A rare case of renal oncocytoma associated with erythrocytosis: case report

BACKGROUND: Oncocytomas are benign tumors of the kidney that are usually diagnosed postoperatively due to differential diagnostic problems from renal cell carcinoma. Although the latter are neoplasms that have been associated with erythrocytosis in 3.5% of cases, there are no reports in the literature about a similar occurrence in oncocytomas. CASE PRESENTATION: In this case report we present a unique case of a right lower pole oncocytoma associated with erythrocytosis. Erythrocytosis subsided after partial nephrectomy. CONCLUSION: Erythrocytosis can sometimes occur in association with renal oncocytomas

Cytomolecular identification of individual wheat-wheat chromosome arm associations in wheat-rye hybrids

Chromosome pairing in the meiotic metaphase I of wheatrye hybrids has been characterized by sequential genomic and fluorescent in situ hybridization allowing not only the discrimination of wheat and rye chromosomes, but also the identification of the individual wheat and rye chromosome arms involved in the chromosome associations. The majority of associations (93.8%) were observed between the wheat chromosomes. The largest number of wheat-wheat chromosome associations (53%) was detected between the A and D genomes, while the frequency of B-D and A-B associations was significantly lower (32 and 8%, respectively). Among the A-D chromosome associations, pairing between the 3AL and 3DL arms was observed with the highest frequency, while the most frequent of all the chromosome associations (0.113/ cell) was found to be the 3DS-3BS. Differences in the pairing frequency of the individual chromosome arms of wheat-rye hybrids have been discussed in relation to the homoeologous relationships between the constituent genomes of hexaploid wheat

Pharmacology of airways and vessels in lung slices in situ: role of endogenous dilator hormones

Small airway and vessels play a critical role in chronic airway and pulmonary vascular diseases, but their pharmacology has not been well characterised. We have studied airway and vascular responses in rat lung slices and separately in vitro using myography. In lung slices, under basal conditions, acetylcholine contracted airways, but had no vascular effect. The thromboxane mimetic, U46619 contracted both vessels and airways. In the presence of U46619, acetylcholine dilated vessels, but further contracted airways, an effect that was blocked by the nitric oxide synthase inhibitor L-N(G)-nitro-L-arginine or apamin plus charybdotoxin, which inhibit endothelial-derived hyperpolarising factor. Airway responses in lung slices were unaffected by L-N(G)nitro-L-arginine methyl ester, indomethacin or apamin plus charybdotoxin. By contrast, apamin plus charybdotoxin contracted bronchi studied in isolation. Our observations are the first to identify mechanisms of endothelium dependent dilations in precision cut lung slices and the potential for transverse hormonal communication between airways and vessels

R-parity Conservation via the Stueckelberg Mechanism: LHC and Dark Matter Signals

We investigate the connection between the conservation of R-parity in supersymmetry and the Stueckelberg mechanism for the mass generation of the B-L vector gauge boson. It is shown that with universal boundary conditions for soft terms of sfermions in each family at the high scale and with the Stueckelberg mechanism for generating mass for the B-L gauge boson present in the theory, electric charge conservation guarantees the conservation of R-parity in the minimal B-L extended supersymmetric standard model. We also discuss non-minimal extensions. This includes extensions where the gauge symmetries arise with an additional U(1)_{B-L} x U(1)_X, where U(1)_X is a hidden sector gauge group. In this case the presence of the additional U(1)_X allows for a Z' gauge boson mass with B-L interactions to lie in the sub-TeV region overcoming the multi-TeV LEP constraints. The possible tests of the models at colliders and in dark matter experiments are analyzed including signals of a low mass Z' resonance and the production of spin zero bosons and their decays into two photons. In this model two types of dark matter candidates emerge which are Majorana and Dirac particles. Predictions are made for a possible simultaneous observation of new physics events in dark matter experiments and at the LHC.Comment: 38 pages, 7 fig

A risk-based framework for assessing the effectiveness of stratospheric aerosol geoengineering

Open Access journalCopyright: © 2014 Ferraro et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Geoengineering by stratospheric aerosol injection has been proposed as a policy response to warming from human emissions of greenhouse gases, but it may produce unequal regional impacts. We present a simple, intuitive risk-based framework for classifying these impacts according to whether geoengineering increases or decreases the risk of substantial climate change, with further classification by the level of existing risk from climate change from increasing carbon dioxide concentrations. This framework is applied to two climate model simulations of geoengineering counterbalancing the surface warming produced by a quadrupling of carbon dioxide concentrations, with one using a layer of sulphate aerosol in the lower stratosphere, and the other a reduction in total solar irradiance. The solar dimming model simulation shows less regional inequality of impacts compared with the aerosol geoengineering simulation. In the solar dimming simulation, 10% of the Earth's surface area, containing 10% of its population and 11% of its gross domestic product, experiences greater risk of substantial precipitation changes under geoengineering than under enhanced carbon dioxide concentrations. In the aerosol geoengineering simulation the increased risk of substantial precipitation change is experienced by 42% of Earth's surface area, containing 36% of its population and 60% of its gross domestic product.Natural Environment Research Council (NERC

Evaluation of Xpert® MTB/RIF and ustar easyNAT™ TB IAD for diagnosis of tuberculous lymphadenitis of children in Tanzania : a prospective descriptive study

Fine needle aspiration biopsy has become a standard approach for diagnosis of peripheral tuberculous lymphadenitis. The aim of this study was to compare the performance of Xpert MTB/RIF and Ustar EasyNAT TB IAD nucleic acid amplification assays, against acid-fast bacilli microscopy, cytology and mycobacterial culture for the diagnosis of TB lymphadenitis in children from a TB-endemic setting in Tanzania.; Children of 8 weeks to 16 years of age, suspected of having TB lymphadenitis, were recruited at a district hospital in Tanzania. Fine needle aspirates of lymph nodes were analysed using acid-fast bacilli microscopy, liquid TB culture, cytology, Xpert MTB/RIF and EasyNAT. Latent class analysis and comparison against a composite reference standard comprising "culture and/or cytology" was done, to assess the performance of Xpert MTB/RIF and EasyNAT for the diagnosis of TB lymphadenitis.; Seventy-nine children were recruited; 4 were excluded from analysis. Against a composite reference standard of culture and/or cytology, Xpert MTB/RIF and EasyNAT had a sensitivity and specificity of 58 % and 93 %; and 19 % and 100 % respectively. Relative to latent class definitions, cytology had a sensitivity of 100 % and specificity of 94.7 %.; Combining clinical assessment, cytology and Xpert MTB/RIF may allow for a rapid and accurate diagnosis of childhood TB lymphadenitis. Larger diagnostic evaluation studies are recommended to validate these findings and on Xpert MTB/RIF to assess its use as a solitary initial test for TB lymphadenitis in children

Perinatal asphyxia: CNS development and deficits with delayed onset

Perinatal asphyxia constitutes a prototype of obstetric complications occurring when pulmonary oxygenation is delayed or interrupted. The primary insult relates to the duration of the period lacking oxygenation, leading to death if not re-established. Re-oxygenation leads to a secondary insult, related to a cascade of biochemical events required for restoring proper function. Perinatal asphyxia interferes with neonatal development, resulting in long-term deficits associated to mental and neurological diseases with delayed clinical onset, by mechanisms not yet clarified. In the experimental scenario, the effects observed long after perinatal asphyxia have been explained by over expression of sentinel proteins, such as poly(ADP-ribose) polymerase-1 (PARP-1), competing for NAD+ during re-oxygenation, leading to the idea that sentinel protein inhibition constitutes a suitable therapeutic strategy. Asphyxia induces transcriptional activation of proinflammatory factors, in tandem with PARP-1 overactivation, and pharmacologically induced PARP-1 inhibition also down-regulates the expression of proinflammatory cytokines. Nicotinamide has been proposed as a suitable PARP-1 inhibitor. Its effect has been studied in an experimental model of global hypoxia in rats. In that model, the insult is induced by immersing rat foetuses into a water bath for various periods of time. Following asphyxia, the pups are delivered, treated, and nursed by surrogate dams, pending further experiments. Nicotinamide rapidly distributes into the brain following systemic administration, reaching steady state concentrations sufficient to inhibit PARP-1 activity for several hours, preventing several of the long-term consequences of perinatal asphyxia, supporting the idea that it constitutes a lead for exploring compounds with similar or better pharmacological profiles