Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

The synthesis and biological evaluation of lanostane and cholestane-type natural products

The main objective of this thesis is to outline the synthetic chemistry involved in the preparation of a range of novel lanostane and cholestane derivatives, and subsequent investigation into their biological activity in cancer cells. The biological results obtained throughout the project have driven the strategic synthesis of new compounds, in an effort to optimise the anti cancer potential of lanostane and cholestane derivatives. The first chapter begins with an overview of steroidal compounds and details a literature review of the natural sources of these moieties, as well as their biosynthesis and reported synthetic derivatives. The biological activity of interesting natural and synthetic analogues is also discussed. In addition, an insight into some currently prescribed pharmaceutical compounds, with functional groups relevant to this project, is presented. The second chapter discusses the methods employed for the synthesis of these novel lanostane and cholestane derivatives, and comprises three main sections. Firstly, various oxidation products of lanosterol are synthesised, mainly via epoxidations of the C-8,9 and C- 24,25 alkenes, and also allylic oxidations at these positions. Secondly, amine derivatives of lanosterol are formed by cleaving the lanostane side chain, thereby yielding a new cholestane nucleus, and performing several reductive aminations on the resulting key aldehyde intermediates. Various amines such as piperidine, morpholine, diethylamine and aniline are employed in the reductive amination reactions to yield novel cholestane steroids with amine side chains. Finally, starting from stigmasterol and proceeding with the same methodology of cleaving the steroidal side chain and subsequently performing reductive aminations, novel cholestane derivatives of the biologically active amines are synthesised. The cytotoxicity of these compounds against CaCo-2 and U937 cell lines is presented in terms of percentage viability of cells, IC50 value and apoptosis. The MTT assay is used to determine the percentage viability of cells, and the IC50 data is generated from the MTT results. Apoptosis is measured in terms of fold increase relative to a carrier control. In summary, the compounds formed are discussed in terms of chemical synthesis, spectroscopic interpretation and biological activity. The main reaction pathways involved in the chemistry within this project are various oxidations and reductive amination. The final chapter is a detailed account of the full experimental procedures for the compounds synthesised during this work, including characterisation using spectroscopic and analytical data.

I'll have what she's having: Effects of social influence and body type on the food choices of others

This research examines how the body type of consumers affects the food consumption of other consumers around them. We find that consumers anchor on the quantities others around them select but that these portions are adjusted according to the body type of the other consumer. We find that people choose a larger portion following another consumer who first selects a large quantity but that this portion is significantly smaller if the other is obese than if she is thin. We also find that the adjustment is more pronounced for consumers who are low in appearance self-esteem and that it is attenuated under cognitive load. © 2009 by Journal of Consumer Research, Inc.

Human uterine leiomyoma-derived fibroblasts stimulate uterine leiomyoma cell proliferation and collagen type I production, and activate RTKs and TGF beta receptor signaling in coculture.

BACKGROUND: Uterine leiomyomas (fibroids) are benign smooth muscle tumors that often contain an excessive extracellular matrix (ECM). In the present study, we investigated the interactions between human uterine leiomyoma (UtLM) cells and uterine leiomyoma-derived fibroblasts (FB), and their importance in cell growth and ECM protein production using a coculture system. RESULTS: We found enhanced cell proliferation, and elevated levels of ECM collagen type I and insulin-like growth factor-binding protein-3 after coculturing. There was also increased secretion of vascular endothelial growth factor, epidermal growth factor, fibroblast growth factor-2, and platelet derived growth factor A and B in the media of UtLM cells cocultured with FB. Protein arrays revealed increased phosphorylated receptor tyrosine kinases (RTKs) of the above growth factor ligands, and immunoblots showed elevated levels of the RTK downstream effector, phospho-mitogen activated protein kinase 44/42 in cocultured UtLM cells. There was also increased secretion of transforming growth factor-beta 1 and 3, and immunoprecipitated transforming growth factor-beta receptor I from cocultured UtLM cells showed elevated phosphoserine expression. The downstream effectors phospho-small mothers against decapentaplegic -2 and -3 protein (SMAD) levels were also increased in cocultured UtLM cells. However, none of the above effects were seen in normal myometrial cells cocultured with FB. The soluble factors released by tumor-derived fibroblasts and/or UtLM cells, and activation of the growth factor receptors and their pathways stimulated the proliferation of UtLM cells and enhanced the production of ECM proteins. CONCLUSIONS: These data support the importance of interactions between fibroid tumor cells and ECM fibroblasts in vivo, and the role of growth factors, and ECM proteins in the pathogenesis of uterine fibroids.

The Physarum polycephalum Genome Reveals Extensive Use of Prokaryotic Two-Component and Metazoan-Type Tyrosine Kinase Signaling.

Physarum polycephalum is a well-studied microbial eukaryote with unique experimental attributes relative to other experimental model organisms. It has a sophisticated life cycle with several distinct stages including amoebal, flagellated, and plasmodial cells. It is unusual in switching between open and closed mitosis according to specific life-cycle stages. Here we present the analysis of the genome of this enigmatic and important model organism and compare it with closely related species. The genome is littered with simple and complex repeats and the coding regions are frequently interrupted by introns with a mean size of 100 bases. Complemented with extensive transcriptome data, we define approximately 31,000 gene loci, providing unexpected insights into early eukaryote evolution. We describe extensive use of histidine kinase-based two-component systems and tyrosine kinase signaling, the presence of bacterial and plant type photoreceptors (phytochromes, cryptochrome, and phototropin) and of plant-type pentatricopeptide repeat proteins, as well as metabolic pathways, and a cell cycle control system typically found in more complex eukaryotes. Our analysis characterizes P. polycephalum as a prototypical eukaryote with features attributed to the last common ancestor of Amorphea, that is, the Amoebozoa and Opisthokonts. Specifically, the presence of tyrosine kinases in Acanthamoeba and Physarum as representatives of two distantly related subdivisions of Amoebozoa argues against the later emergence of tyrosine kinase signaling in the opisthokont lineage and also against the acquisition by horizontal gene transfer.

Stability of 5-aminolevulinic acid in novel non-aqueous gel and patch-type systems intended for topical application.

Aminolevulinic acid (ALA) stability within topical formulations intended for photodynamic therapy (PDT) is poor due to dimerisation to pyrazine-2,5-dipropionic acid (PY). Most strategies to improve stability use low pH vehicles, which can cause cutaneous irritancy. To overcome this problem, a novel approach is investigated that uses a non-aqueous vehicle to retard proton-induced charge separation across the 4-carbonyl group on ALA and lessen nucleophilic attack that leads to condensation dimerisation. Bioadhesive anhydrous vehicles based on methylvinylether-maleic anhydride copolymer patches and poly(ethyleneglycol) or glycerol thickened poly(acrylic acid) gels were formulated. ALA stability fell below pharmaceutically acceptable levels after 6 months, with bioadhesive patches stored at 5°C demonstrating the best stability by maintaining 86.2% of their original loading. Glycerol-based gels maintained 40.2% in similar conditions. However, ALA loss did not correspond to expected increases in PY, indicating the presence of another degradative process that prevented dimerisation. Nuclear magnetic resonance (NMR) analysis was inconclusive in respect of the mechanism observed in the patch system, but showed clearly that an esterification reaction involving ALA and both glycerol and poly(ethyleneglycol) was occurring. This was especially marked in the glycerol gels, where only 2.21% of the total expected PY was detected after 204 days at 5°C. Non-specific esterase hydrolysis demonstrated that ALA was recoverable from the gel systems, further supporting esterified binding within the gel matrices. It is conceivable that skin esterases could duplicate this finding upon topical application of the gel and convert these derivatives back to ALA in situ, provided skin penetration is not affected adversely.

Differences in Abdominal and Liver Fat Accumulation Between Obesity-Matched Adults With and Without Type 2 Diabetes

Despite attempts to identify the mechanisms by which obesity leads to the development of Type 2 Diabetes (T2D), it remains unclear why some but not all adults with obesity develop T2D. Given the established associations between visceral adipose tissue (VAT) and liver fat with insulin resistance, we hypothesized that compared to age and obesity matched adults who were non-diabetic (NT2D), adults with T2D would have greater amounts of VAT and liver fat. The International Study of Prediction of Intra-Abdominal Adiposity and Its Relationship with Cardiometabolic Risk/Intra-Abdominal Adiposity (INSPIRE ME IAA) aims to study the associations between VAT and liver fat and risk of developing T2D and cardiovascular disease. Four thousand, five hundred and four participants were initially recruited; from this, 2383 White and Asian adults were selected for this ancillary analysis. The NT2D and T2D groups were matched for age, body mass index (BMI) and waist circumference (WC). The T2D and NT2D groups were also compared to participants with either impaired fasting glucose (IFG) or impaired glucose tolerance (IGT; IFG/IGT)). Abdominal adipose tissue was measured by computed tomography; liver fat was estimated using computed tomography-derived mean attenuation. Secondary analysis determined whether differences existed between NT2D and T2D groups in VAT and liver fat accumulation within selected BMI categories for Whites and Asians. We report across sex and race, T2D and IFG/IGT groups had elevated VAT and liver fat compared to the NT2D group (p<0.05). VAT was not different between IFG/IGT and T2D groups (p>0.05), however liver fat was greater in the T2D group compared to the IFG/IGT group in both Whites and Asians (p<0.05). Within each BMI category, the T2D group had elevated VAT and liver fat compared to the age and anthropometrically matched NT2D group in both Whites and Asians (p<0.05). With few exceptions, abdominal subcutaneous adipose tissue was not different in the T2D or IFG/IGT groups compared to the NT2D group independent of sex and race. Compared to age and obesity-matched adults who are NT2D, we observe that White and Asian adults with T2D, and those with IFG/IGT, present with greater levels of both VAT and liver fat.

Size, albedo, and taxonomic type of potential spacecraft target Asteroid (10302) 1989 ML

The Amor-type near-Earth Asteroid (10302) 1989 ML has an “Earth-like” orbit (period 1.44 yr, eccentricity 0.14, inclination 4.4°), therefore the energy required to reach it from the Earth is relatively small making it a very attractive target for rendezvous missions. We have observed 1989 ML in the thermal infrared using the Spitzer Space Telescope, and compared these data with optical and near-infrared observations. The Spitzer results imply a diameter of 0.28±0.05 km and a geometric albedo of 0.37±0.15; together with the reflectance spectrum they are consistent with the relatively rare E classification.

University space planning and space-type profiles

Universities planning the provision of space for their teaching requirements need to do so in a fashion that reduces capital and maintenance costs whilst still providing a high-quality level of service. Space plans should aim to provide sufficient capacity without incurring excessive costs due to over-capacity. A simple measure used to estimate over-provision is utilisation. Essentially, the utilisation is the fraction of seats that are used in practice, or the ratio of demand to supply. However, studies usually find that utilisation is low, often only 20–40%, and this is suggestive of significant over-capacity.

Our previous work has provided methods to improve such space planning. They identify a critical level of utilisation as the highest level that can be achieved whilst still reliably satisfying the demand for places to allocate teaching events. In this paper, we extend this body of work to incorporate the notions of event-types and space-types. Teaching events have multiple ‘event-types’, such as lecture, tutorial, workshop, etc., and there are generally corresponding space-types. Matching the type of an event to a room of a corresponding space-type is generally desirable. However, realistically, allocation happens in a mixed space-type environment where teaching events of a given type are allocated to rooms of another space-type; e.g., tutorials will borrow lecture theatres or workshop rooms.

We propose a model and methodology to quantify the effects of space-type mixing and establish methods to search for better space-type profiles; where the term “space-type profile” refers to the relative numbers of each type of space. We give evidence that these methods have the potential to improve utilisation levels. Hence, the contribution of this paper is twofold. Firstly, we present informative studies of the effects of space-type mixing on utilisation, and critical utilisations. Secondly, we present straightforward though novel methods to determine better space-type profiles, and give an example in which the resulting profiles are indeed significantly improved.

Maternal age at birth and childhood type 1 diabetes: a pooled analysis of 30 observational studies

OBJECTIVE - The aim if the study was to investigate whether children born to older mothers have an increased risk of type 1 diabetes by performing a pooled analysis of previous studies using individual patient data to adjust for recognized confounders.
RESEARCH DESIGN AND METHODS - Relevant studies published before June 2009 were identified from MEDLINE, Web of Science, and EMBASE. Authors of studies were contacted and asked to provide individual patient data or conduct prespecified analyses. Risk estimates of type 1 diabetes by maternal age were calculated for each study, before and after adjustment for potential confounders. Meta-analysis techniques were used to derive combined odds ratios and to investigate heterogeneity among studies.
RESULTS - Data were available for 5 cohort and 25 case-control studies, including 14,724 cases of type 1 diabetes. Overall, there was, on average, a 5% (95% CI 2-9) increase in childhood type 1 diabetes odds per 5-year increase in maternal age (P = 0.006), but there was heterogeneity among studies (heterogeneity I 2 = 70%). In studies with a low risk of bias, there was a more marked increase in diabetes odds of 10% per 5-year increase in maternal age. Adjustments for potential confounders little altered these estimates. CONCLUSIONS - There was evidence of a weak but significant linear increase in the risk of childhood type 1 diabetes across the range of maternal ages, but the magnitude of association varied between studies. A very small percentage of the increase in the incidence of childhood type 1 diabetes in recent years could be explained by increases in maternal age.

Dust and the Type II-Plateau Supernova 2004et

We present mid-infrared (MIR) observations of the Type II-plateau supernova (SN) 2004et, obtained with the Spitzer Space Telescope between 64 and 1406 days past explosion. Late-time optical spectra are also presented. For the period 300-795 days past explosion, we argue that the spectral energy distribution (SED) of SN 2004et comprises (1) a hot component due to emission from optically thick gas, as well as free-bound radiation; (2) a warm component due to newly formed, radioactively heated dust in the ejecta; and (3) a cold component due to an IR echo from the interstellar-medium dust of the host galaxy, NGC 6946. There may also have been a small contribution to the IR SED due to free-free emission from ionized gas in the ejecta. We reveal the first-ever spectroscopic evidence for silicate dust formed in the ejecta of a supernova. This is supported by our detection of a large, but progressively declining, mass of SiO. However, we conclude that the mass of directly detected ejecta dust grew to no more than a few times 10(-4) M-circle dot. We also provide evidence that the ejecta dust formed in comoving clumps of fixed size. We argue that, after about two years past explosion, the appearance of wide, box-shaped optical line profiles was due to the impact of the ejecta on the progenitor circumstellar medium and that the subsequent formation of a cool, dense shell was responsible for a later rise in the MIR flux. This study demonstrates the rich, multifaceted ways in which a typical core-collapse supernova and its progenitor can produce and/or interact with dust grains. The work presented here adds to the growing number of studies that do not support the contention that SNe are responsible for the large mass of observed dust in high-redshift galaxies.

Dust and the type II-Plateau supernova 2004dj

We present mid-infrared (MIR) spectroscopy of a Type II-plateau supernova, SN 2004dj, obtained with the Spitzer Space Telescope, spanning 106--1393d after explosion. MIR photometry plus optical/near-IR observations are also reported. An early-time MIR excess is attributed to emission from non-silicate dust formed within a cool dense shell (CDS). Most of the CDS dust condensed between 50d and 165d, reaching a mass of $0.3x^(-5)Msun. Throughout the observations much of the longer wavelength (>10microns) part of the continuum is explained as an IR echo from interstellar dust. The MIR excess strengthened at later times. We show that this was due to thermal emission from warm, non-silicate dust formed in the ejecta. Using optical/near-IR line-profiles and the MIR continua, we show that the dust was distributed as a disk whose radius appeared to be slowly shrinking. The disk radius may correspond to a grain destruction zone caused by a reverse shock which also heated the dust. The dust-disk lay nearly face-on, had high opacities in the optical/near-IR regions, but remained optically thin in the MIR over much of the period studied. Assuming a uniform dust density, the ejecta dust mass by 996d was 0.5+/-0.1 x 10^(-4)Msun, and exceeded 10^(-4)Msun by 1393d. For a dust density rising toward the center the limit is higher. Nevertheless, this study suggests that the amount of freshly-synthesized dust in the SN 2004dj ejecta is consistent with that found from previous studies, and adds further weight to the claim that such events could not have been major contributors to the cosmic dust budget.