A compositional framework for hardware/software co-design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derive from a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

Measurement of apolipoprotein B-48 in the Svedberg flotation rate (Sf) > 400, Sf 60 – 400 and Sf 20 – 60 lipoprotein fractions reveals novel findings with respect to the effects of dietary fatty acids on triacylglycerol-rich lipoproteins in postmenopausal women

The present study was designed to examine whether the type of fat ingested in an initial test meal influences the response and density distribution of dietary-derived lipoproteins in the Svedberg flotation rate (Sf)>400, Sf 60 - 400 and Sf 20 - 60 lipoprotein fractions. A single-blind randomized within-subject crossover design was used to study the effects of palm oil, safflower oil, a mixture of fish and safflower oil, and olive oil on postprandial apolipoprotein (apo) B-48, retinyl ester and triacylglycerol responses in each lipoprotein fraction following an initial test meal containing one of the oils and a second standardized test meal. For all dietary oils, late postprandial (300min) concentrations of triacylglycerol and apo B-48 were significantly higher in the Sf 60 - 400 fraction than in the Sf>400 fraction (P<0.02). Significantly greater apo B-48 incremental areas under the curve (IAUCs) were also observed in the Sf 60 - 400 fraction than in the Sf>400 fraction following palm oil, safflower oil and olive oil (P<0.04), with a similar non-significant trend for fish/safflower oil. Olive oil resulted in a significantly greater apo B-48 IAUC in the Sf>400 fraction (P<0.02) than did any of the other dietary oils, as well as a tendency for a higher IAUC in the Sf 60 - 400 fraction compared with the palm, safflower and fish/safflower oils. In conclusion, we have found that the majority of intestinally derived lipoproteins present in the circulation following meals enriched with saturated, polyunsaturated or monounsaturated fatty acids are of the density and size of small chylomicrons and chylomicron remnants. Olive oil resulted in a greater apo B-48 response compared with the other dietary oils following sequential test meals, suggesting the formation of a greater number of small (Sf 60 - 400) and large (Sf>400) apo B-48-containing lipoproteins in response to this dietary oil.

Olive oil increases the number of triacylglycerol-rich chylomicron particles compared with other oils: an effect retained when a second standard meal is fed

Background: Compared with the postprandial events after a single meal, different events occur when a second meal is ingested 4–6 h after a first meal. There is a rapid appearance of chylomicrons in the circulation carrying fat ingested with the first meal, with a peak 1 h after the second meal. Objective: Our goal was to examine whether different dietary oils have effects on the storage of triacylglycerol as a result of differences in their digestion, absorption, and incorporation into chylomicrons. Design: A single-blind, randomized, within-subject crossover design was used to study the effects of palm oil, safflower oil, a mixture of fish and safflower oil, and olive oil on postprandial apolipoprotein (apo) B-48, retinyl ester, and triacylglycerol in the Sf > 400 fraction with the use of a sequential meal protocol. Results: For triacylglycerol, retinyl ester, and apo B-48, the time to reach peak concentration was significantly earlier after the second meal than after the first meal (P < 0.005). This was apparent with each of the dietary oils. The pattern of the apo B-48 response differed significantly among the dietary oils, with olive oil resulting in higher concentrations after both meals (P = 0.003). The ratio of triacylglycerol to apo B-48 was significantly lower after olive oil feeding than after feeding with the other oils (P = 0.02). Conclusions: The rapid entry of chylomicrons after the ingestion of a second meal 5 h after a first meal was seen with all of the oils investigated. The short-term ingestion of olive oil produced more chylomicrons than did the other dietary oils, which may have been due to differences in the metabolic handling of olive oil within the gut.

Postprandial lipoprotein lipase, insulin and gastric inhibitory polypeptide responses to test meals of different fatty acid composition: comparison of saturated, n-6 and n-3 polyunsaturated fatty acids

OBJECTIVE: The present study was carried out to investigate effects of meals, rich in either saturated fatty acids (SFA), or n-6 or n-3 fatty acids, on postprandial plasma lipid and hormone concentrations as well as post-heparin plasma lipoprotein lipase (LPL) activity. DESIGN: The study was a randomized single-blind study comparing responses to three test meals. SETTING: The volunteers attended the Clinical Investigation Unit of the Royal Surrey County Hospital on three separate occasions in order to consume the meals. SUBJECTS: Twelve male volunteers with an average age of 22.5 +/- 1.4 years (mean +/- SD), were selected from the University of Surrey student population; one subject dropped out of the study because he found the test meal unpalatable. INTERVENTIONS: Three meals were given in the early evening and postprandial responses were followed overnight for 11h. The oils used to prepare each of the three test meals were: a mixed oil rich in saturated fatty acids (SFA) which mimicked the fatty acid composition of the current UK diet, corn oil, rich in n-6 fatty acids and a fish oil concentrate (MaxEPA) rich in n-3 fatty acids. The oil under investigation (40 g) was incorporated into the test meals which were otherwise identical [208 g carbohydrates, 35 g protein, 5.65 MJ (1350 kcal) energy]. Postprandial plasma triacylglycerol (TAG), gastric inhibitory polypeptide (GIP), and insulin responses, as well as post-heparin LPL activity (measured at 12 h postprandially only) were investigated. RESULTS: Fatty acids of the n-3 series significantly reduced plasma TAG responses compared to the mixed oil meal (P < 0.05) and increased post-heparin LPL activity 15 min after the injection of heparin (P < 0.01). A biphasic response was observed in TAG, with peak responses occurring at 1 h and between 3-7 h postprandially. GIP and insulin showed similar responses to the three test meals and no significant differences were observed. CONCLUSION: We conclude that fish oils can decrease postprandial plasma TAG levels partly through an increase in post-heparin LPL activity, which however, is not due to increased GIP or insulin concentrations.

H∞ robust control design for unsupported paraplegic standing: experimental evaluation

This paper is concerned with the design of robust feedback H~-control systems for the control of the upright posture of paraplegic persons standing. While the subject stands in a special apparatus, stabilising torque at the ankle joint is generated by electrical stimulation of the paralyzed calf muscles. Since the muscles acting as actuators in this setup show a significant degree of nonlinearity, a robust H~-control design is used. The design approach is implemented in experiments with a paraplegic subject. The results demonstrate good performance and closed loop stability over the whole range of operation.

Peptidomimetic design of unusual turns by incorporating flexible and rigid omega-amino acids simultaneously

The tripeptides Boc-Gly-Aib-m-ABA-OMe (I), Boc-beta Ala-Aib-m-ABA-OMe (II) and Boc-gamma Abu-Aib-rn-ABA-OMe (III) (Aib: alpha-aminoisobutyric acid, beta Ala: beta-alanine, gamma Abu: gamma-aminobutyric acid, m-ABA: meta-aminobenzoic acid) with homologated amino acids at the N-terminus, the rigid gamma-amino acid m-ABA at the C-terminus and the helicogenic Aib at the central position have been chosen to create unusual turns. Single crystal X-ray diffraction studies, solvent dependent NMR titrations and 2D NMR analysis reveal that peptides II and III adopt unusual turns of 11- and 12-membered rings stabilized by modified 4 -> 1 type intramolecular hydrogen bonds. Solution phase studies indicate that peptide I exists in the beta-turn conformation stabilized by 10-membered intramolecular hydrogen bonding.

I and I: immunity to error through misidentification of the subject

Abstract I argue for the following claims: [1] all uses of I (the word ‘I’ or thought-element I) are absolutely immune to error through misidentification relative to I. [2] no genuine use of I can fail to refer. Nevertheless [3] I isn’t univocal: it doesn’t always refer to the same thing, or kind of thing, even in the thought or speech of a single person. This is so even though [4] I always refers to its user, the subject of experience who speaks or thinks, and although [5] if I’m thinking about something specifically as myself, I can’t fail to be thinking of myself, and although [6] a genuine understanding use of I always involves the subject thinking of itself as itself, whatever else it does or doesn’t involve, and although [7] if I take myself to be thinking about myself, then I am thinking about myself.

Single nucleotide polymorphisms at the ADIPOQ gene locus interact with age and dietary intake of fat to determine serum adiponectin in subjects at risk of the metabolic syndrome

Background: Adiponectin gene expression is modulated by peroxisome proliferator–activated receptor γ, which is a transcription factor activated by unsaturated fatty acids. Objective: We investigated the effect of the interaction between variants at the ADIPOQ gene locus, age, sex, body mass index (BMI), ethnicity, and the replacement of dietary saturated fatty acids (SFAs) with monounsaturated fatty acids (MUFAs) or carbohydrates on serum adiponectin concentrations. Design: The RISCK (Reading, Imperial, Surrey, Cambridge, and Kings) study is a parallel-design, randomized controlled trial. Serum adiponectin concentrations were measured after a 4-wk high-SFA (HS) diet and a 24-wk intervention with reference (HS), high-MUFA (HM), and low-fat (LF) diets. Single nucleotide polymorphisms at the ADIPOQ locus −11391 G/A (rs17300539), −10066 G/A (rs182052), −7734 A/C (rs16861209), and +276 G/T (rs1501299) were genotyped in 448 participants. Results: In white Europeans, +276 T was associated with higher serum adiponectin concentrations (n = 340; P = 0.006) and −10066 A was associated with lower serum adiponectin concentrations (n = 360; P = 0.03), after adjustment for age, BMI, and sex. After the HM diet, −10066 G/G subjects showed a 3.8% increase (95% CI: −0.1%, 7.7%) and G/A+A/A subjects a 2.6% decrease (95% CI: −5.6%, 0.4%) in serum adiponectin (P = 0.006 for difference after adjustment for the change in BMI, age, and sex). In −10066 G/G homozygotes, serum adiponectin increased with age after the HM diet and decreased after the LF diet. Conclusion: In white −10066 G/G homozygotes, an HM diet may help to increase adiponectin concentrations with advancing age. This trial was registered at clinicaltrials.gov as ISRCTN29111298.

The design of probiotic studies to substantiate health claims

The EC Regulation No. 1924/2006 on Nutrition and Health claims made on foods has generated considerable debate and concern among scientists and industry. At the time of writing, the European Food Safety Authority (EFSA) has not approved any probiotic claims despite numerous human trials and meta-analyses showing evidence of beneficial effects. On 29th and 30th September 2010, ten independent, academic scientists with a documented record in probiotic research, met to discuss designs for future probiotic studies to demonstrate health benefits for gut and immune function. The expert panel recommended the following: (i) always formulate a precise and concrete hypothesis, and appropriate goals and parameters before starting a trial; (ii) ensure trials have sufficient sample size, such that they are adequately powered to reach statistically significant conclusions, either supporting or rejecting the a priori hypothesis, taking into account adjustment for multiple testing (this might necessitate more than one recruitment site); (iii) ensure trials are of appropriate duration; (iv) focus on a single, primary objective and only evaluate multiple parameters when they are hypothesis-driven. The panel agreed that there was an urgent need to better define which biomarkers are considered valuable for substantiation of a health claim. As a first step, the panel welcomed the publication on the day of the meeting of EFSA's draft guidance document on immune and gut health, although it came too late for study designs and dossiers to be adjusted accordingly. New validated biomarkers need to be identified in order to properly determine the range of physiological functions influenced by probiotics. In addition, validated biomarkers reflecting risk factors for disease, are required for article 14 claims (EC Regulation No. 1924/2006). Finally, the panel concluded that consensus among scientists is needed to decide appropriate clinical endpoints for trials.

Selfishness and altruism can coexist when help is subject to diminishing returns

Altruism and selfishness are 30–50% heritable in man in both Western and non-Western populations. This genetically based variation in altruism and selfishness requires explanation. In non-human animals, altruism is generally directed towards relatives, and satisfies the condition known as Hamilton's rule. This nepotistic altruism evolves under natural selection only if the ratio of the benefit of receiving help to the cost of giving it exceeds a value that depends on the relatedness of the individuals involved. Standard analyses assume that the benefit provided by each individual is the same but it is plausible in some cases that as more individuals contribute, help is subject to diminishing returns. We analyse this situation using a single-locus two-allele model of selection in a diploid population with the altruistic allele dominant to the selfish allele. The analysis requires calculation of the relationship between the fitnesses of the genotypes and the frequencies of the genes. The fitnesses vary not only with the genotype of the individual but also with the distribution of phenotypes amongst the sibs of the individual and this depends on the genotypes of his parents. These calculations are not possible by direct fitness or ESS methods but are possible using population genetics. Our analysis shows that diminishing returns change the operation of natural selection and the outcome can now be a stable equilibrium between altruistic and selfish alleles rather than the elimination of one allele or the other. We thus provide a plausible genetic model of kin selection that leads to the stable coexistence in the same population of both altruistic and selfish individuals. This may explain reported genetic variation in altruism in man.

Community involvement in urban design: help or hindrance?

This paper examines the realities of community involvement in urban design in the context of a study of the West Itchen Neighbourhood of Southampton, a diverse inner city area accommodating some 7,000 households and 18,000 people. The findings are based on a literature review of community involvement in urban design and case study research into three government supported regeneration projects all located within the study area: a Neighbourhood Renewal Area - designated in 1994; an Estate Action Scheme - implemented between 1993 and 1996; and a Single Regeneration Budget programme - following a successful bid in 1995. The research was undertaken by Helen Gregory in 1997/8 as the basis of a dissertation, supervised by Alan Rowley, submitted for the award of an MPhil in Environmental Planning and Development from The University of Reading.

PPARγ2 gene Pro12Ala and PPARα gene Leu162Val single nucleotide polymorphisms interact with dietary intake of fat in determination of plasma lipid concentrations

Background/Aims: The peroxisome proliferator-activated receptors (PPARs) are transcriptional regulators of lipid metabolism, activated by unsaturated fatty acids. We investigated independent and interactive effects of PPARγ2 gene PPARG Pro12Ala (rs1801282) andPPARαgene PPARA Leu162Val (rs1800206) genotypes with dietary intake of fatty acids on concentrations of plasma lipids in subjects of whom 47.5% had metabolic syndrome. Methods: The RISCK study is a parallel design, randomised controlled trial. Plasma lipids were quantified at baseline after a 4-week high saturated fatty acids diet and after three parallel 24-week interventions with reference (high saturated fatty acids), high monounsaturated fatty acids and low-fat diets. Single nucleotide polymorphisms were genotyped in 466 subjects. Results: At baseline, the PPARG Ala12allele was associated with increased plasma total cholesterol (n = 378; p = 0.04), LDL cholesterol (p = 0.05) and apoB (p =0.05) after adjustment for age, gender and ethnicity. At baseline, PPARA Leu162Val × PPARG Pro12Ala genotype interaction did not significantly influence plasma lipid concentrations. After dietary intervention, gene-gene interaction significantly influenced LDL cholesterol (p =0.0002) and small dense LDL as a proportion of LDL (p = 0.005) after adjustments. Conclusions: Interaction between PPARG Pro12Ala and PPARA Leu162Valgenotypes may influence plasma LDL cholesterol concentration and the proportion as small dense LDL after a high monounsaturated fatty acids diet.

Task design and second language performance: the effect of narrative type on learner output

This article reports on a detailed empirical study of the way narrative task design influences the oral performance of second-language (L2) learners. Building on previous research findings, two dimensions of narrative design were chosen for investigation: narrative complexity and inherent narrative structure. Narrative complexity refers to the presence of simultaneous storylines; in this case, we compared single-story narratives with dual-story narratives. Inherent narrative structure refers to the order of events in a narrative; we compared narratives where this was fixed to others where the events could be reordered without loss of coherence. Additionally, we explored the influence of learning context on performance by gathering data from two comparable groups of participants: 60 learners in a foreign language context in Teheran and 40 in an L2 context in London. All participants recounted two of four narratives from cartoon pictures prompts, giving a between-subjects design for narrative complexity and a within-subjects design for inherent narrative structure. The results show clearly that for both groups, L2 performance was affected by the design of the task: Syntactic complexity was supported by narrative storyline complexity and grammatical accuracy was supported by an inherently fixed narrative structure. We reason that the task of recounting simultaneous events leads learners into attempting more hypotactic language, such as subordinate clauses that follow, for example, while, although, at the same time as, etc. We reason also that a tight narrative structure allows learners to achieve greater accuracy in the L2 (within minutes of performing less accurately on a loosely structured narrative) because the tight ordering of events releases attentional resources that would otherwise be spent on finding connections between the pictures. The learning context was shown to have no effect on either accuracy or fluency but an unexpectedly clear effect on syntactic complexity and lexical diversity. The learners in London seem to have benefited from being in the target language environment by developing not more accurate grammar but a more diverse resource of English words and syntactic choices. In a companion article (Foster & Tavakoli, 2009) we compared their performance with native-speaker baseline data and see that, in terms of nativelike selection of vocabulary and phrasing, the learners in London are closing in on native-speaker norms. The study provides empirical evidence that L2 performance is affected by task design in predictable ways. It also shows that living within the target language environment, and presumably using the L2 in a host of everyday tasks outside the classroom, confers a distinct lexical advantage, not a grammatical one.

Design, synthesis and in vitro degradation of a novel co-drug for the treatment of psoriasis

Psoriasis is a common, chronic and relapsing inflammatory skin disease. It affects approximately 2% of the western population and has no cure. Combination therapy for psoriasis often proves more efficacious and better tolerated than monotherapy with a single drug. Combination therapy could be administered in the form of a co-drug, where two or more therapeutic compounds active against the same condition are linked by a cleavable covalent bond. Similar to the pro-drug approach, the liberation of parent moieties post-administration, by enzymatic and/or chemical mechanisms, is a pre-requisite for effective treatment. In this study, a series of co-drugs incorporating dithranol in combination with one of several non-steroidal anti-inflammatory drugs, both useful for the treatment of psoriasis, were designed, synthesized and evaluated. An ester co-drug comprising dithranol and naproxen in a 1:1 stoichiometric ratio was determined to possess the optimal physicochemical properties for topical delivery. The co-drug was fully hydrolyzed in vitro by porcine liver esterase within four hours. When incubated with homogenized porcine skin, 9.5% of the parent compounds were liberated after 24 h, suggesting in situ esterase-mediated cleavage of the co-drug would occur within the skin. The kinetics of the reaction revealed first order kinetics, Vmax = 10.3 μM/min and Km = 65.1 μM. The co-drug contains a modified dithranol chromophore that was just 37% of the absorbance of dithranol at 375 nm and suggests reduced skin/clothes staining. Overall, these findings suggest that the dithranol-naproxen co-drug offers an attractive, novel approach for the treatment of psoriasis.

Effect of hypobaric hypoxia, simulating conditions during long-haul air travel, on coagulation, fibrinolysis, platelet function, and endothelial activation

CONTEXT: The link between long-haul air travel and venous thromboembolism is the subject of continuing debate. It remains unclear whether the reduced cabin pressure and oxygen tension in the airplane cabin create an increased risk compared with seated immobility at ground level. OBJECTIVE: To determine whether hypobaric hypoxia, which may be encountered during air travel, activates hemostasis. DESIGN, SETTING, AND PARTICIPANTS: A single-blind, crossover study, performed in a hypobaric chamber, to assess the effect of an 8-hour seated exposure to hypobaric hypoxia on hemostasis in 73 healthy volunteers, which was conducted in the United Kingdom from September 2003 to November 2005. Participants were screened for factor V Leiden G1691A and prothrombin G20210A mutation and were excluded if they tested positive. Blood was drawn before and after exposure to assess activation of hemostasis. INTERVENTIONS: Individuals were exposed alternately (> or =1 week apart) to hypobaric hypoxia, similar to the conditions of reduced cabin pressure during commercial air travel (equivalent to atmospheric pressure at an altitude of 2438 m), and normobaric normoxia (control condition; equivalent to atmospheric conditions at ground level, circa 70 m above sea level). MAIN OUTCOME MEASURES: Comparative changes in markers of coagulation activation, fibrinolysis, platelet activation, and endothelial cell activation. RESULTS: Changes were observed in some hemostatic markers during the normobaric exposure, attributed to prolonged sitting and circadian variation. However, there were no significant differences between the changes in the hypobaric and the normobaric exposures. For example, the median difference in change between the hypobaric and normobaric exposure was 0 ng/mL for thrombin-antithrombin complex (95% CI, -0.30 to 0.30 ng/mL); -0.02 [corrected] nmol/L for prothrombin fragment 1 + 2 (95% CI, -0.03 to 0.01 nmol/L); 1.38 ng/mL for D-dimer (95% CI, -3.63 to 9.72 ng/mL); and -2.00% for endogenous thrombin potential (95% CI, -4.00% to 1.00%). CONCLUSION: Our findings do not support the hypothesis that hypobaric hypoxia, of the degree that might be encountered during long-haul air travel, is associated with prothrombotic alterations in the hemostatic system in healthy individuals at low risk of venous thromboembolism.