Functional verification: approaches and challenges

It's a fact that functional verification (FV) is paramount within the hardware's design cycle. With so many new techniques available today to help with FV, which techniques should we really use? The answer is not straightforward and is often confusing and costly. The tools and techniques to be used in a project have to be decided upon early in the design cycle to get the best value for these new verification methods. This paper gives a quick survey in the form of an overview on FV, establishes the difference between verification and validation, describes the bottlenecks that appear in the verification process, examines the challenges in FV and exposes the current FV technologies and trends.

Effect of changing the amount and type of fat and carbohydrate on insulin sensitivity and cardiovascular risk: the RISCK (Reading, Imperial, Surrey, Cambridge, and Kings) trial

Background: Insulin sensitivity (Si) is improved by weight loss and exercise, but the effects of the replacement of saturated fatty acids (SFAs) with monounsaturated fatty acids (MUFAs) or carbohydrates of high glycemic index (HGI) or low glycemic index (LGI) are uncertain. Objective: We conducted a dietary intervention trial to study these effects in participants at risk of developing metabolic syndrome. Design: We conducted a 5-center, parallel design, randomized controlled trial [RISCK (Reading, Imperial, Surrey, Cambridge, and Kings)]. The primary and secondary outcomes were changes in Si (measured by using an intravenous glucose tolerance test) and cardiovascular risk factors. Measurements were made after 4 wk of a high-SFA and HGI (HS/HGI) diet and after a 24-wk intervention with HS/HGI (reference), high-MUFA and HGI (HM/HGI), HM and LGI (HM/LGI), low-fat and HGI (LF/HGI), and LF and LGI (LF/LGI) diets. Results: We analyzed data for 548 of 720 participants who were randomly assigned to treatment. The median Si was 2.7 × 10−4 mL · μU−1 · min−1 (interquartile range: 2.0, 4.2 × 10−4 mL · μU−1 · min−1), and unadjusted mean percentage changes (95% CIs) after 24 wk treatment (P = 0.13) were as follows: for the HS/HGI group, −4% (−12.7%, 5.3%); for the HM/HGI group, 2.1% (−5.8%, 10.7%); for the HM/LGI group, −3.5% (−10.6%, 4.3%); for the LF/HGI group, −8.6% (−15.4%, −1.1%); and for the LF/LGI group, 9.9% (2.4%, 18.0%). Total cholesterol (TC), LDL cholesterol, and apolipoprotein B concentrations decreased with SFA reduction. Decreases in TC and LDL-cholesterol concentrations were greater with LGI. Fat reduction lowered HDL cholesterol and apolipoprotein A1 and B concentrations. Conclusions: This study did not support the hypothesis that isoenergetic replacement of SFAs with MUFAs or carbohydrates has a favorable effect on Si. Lowering GI enhanced reductions in TC and LDL-cholesterol concentrations in subjects, with tentative evidence of improvements in Si in the LF-treatment group. This trial was registered at clinicaltrials.gov as ISRCTN29111298.

Admissible conjectures and consistent conjectures

Firms' conjectures are consistent if their ex post behavior rationalizes their ex ante beliefs. Admissible conjectures are those that satisfy the necessary conditions for consistency. Competition is inadmissible unless aggregate output is stationary. Relaxing this restriction, admissibility eliminates Cournot behavior and constrains conduct to be collusive

Influence of dietary protein intake and glycemic index on the association between TCF7L2 HapA and weight gain

BACKGROUND: Genetic polymorphisms of transcription factor 7-like 2 (TCF7L2) have been associated with type 2 diabetes and BMI. OBJECTIVE: The objective was to investigate whether TCF7L2 HapA is associated with weight development and whether such an association is modulated by protein intake or by the glycemic index (GI). DESIGN: The investigation was based on prospective data from 5 cohort studies nested within the European Prospective Investigation into Cancer and Nutrition. Weight change was followed up for a mean (±SD) of 6.8 ± 2.5 y. TCF7L2 rs7903146 and rs10885406 were successfully genotyped in 11,069 individuals and used to derive HapA. Multiple logistic and linear regression analysis was applied to test for the main effect of HapA and its interaction with dietary protein or GI. Analyses from the cohorts were combined by random-effects meta-analysis. RESULTS: HapA was associated neither with baseline BMI (0.03 ± 0.07 BMI units per allele; P = 0.6) nor with annual weight change (8.8 ± 11.7 g/y per allele; P = 0.5). However, a previously shown positive association between intake of protein, particularly of animal origin, and subsequent weight change in this population proved to be attenuated by TCF7L2 HapA (P-interaction = 0.01). We showed that weight gain becomes independent of protein intake with an increasing number of HapA alleles. Substitution of protein with either fat or carbohydrates showed the same effects. No interaction with GI was observed. CONCLUSION: TCF7L2 HapA attenuates the positive association between animal protein intake and long-term body weight change in middle-aged Europeans but does not interact with the GI of the diet.

Habitual energy expenditure modifies the association between NOS3 gene polymorphisms and blood pressue

BACKGROUND: The endothelial nitric-oxide synthase (NOS3) gene encodes the enzyme (eNOS) that synthesizes the molecule nitric oxide, which facilitates endothelium-dependent vasodilation in response to physical activity. Thus, energy expenditure may modify the association between the genetic variation at NOS3 and blood pressure. METHODS: To test this hypothesis, we genotyped 11 NOS3 polymorphisms, capturing all common variations, in 726 men and women from the Medical Research Council (MRC) Ely Study (age (mean +/- s.d.): 55 +/- 10 years, body mass index: 26.4 +/- 4.1 kg/m(2)). Habitual/non-resting energy expenditure (NREE) was assessed via individually calibrated heart rate monitoring over 4 days. RESULTS: The intronic variant, IVS25+15 [G-->A], was significantly associated with blood pressure; GG homozygotes had significantly lower levels of diastolic blood pressure (DBP) (-2.8 mm Hg; P = 0.016) and systolic blood pressure (SBP) (-1.9 mm Hg; P = 0.018) than A-allele carriers. The interaction between NREE and IVS25+15 was also significant for both DBP (P = 0.006) and SBP (P = 0.026), in such a way that the effect of the GG-genotype on blood pressure was stronger in individuals with higher NREE (DBP: -4.9 mm Hg, P = 0.02. SBP: -3.8 mm Hg, P= 0.03 for the third tertile). Similar results were observed when the outcome was dichotomously defined as hypertension. CONCLUSIONS: In summary, the NOS3 IVS25+15 is directly associated with blood pressure and hypertension in white Europeans. However, the associations are most evident in the individuals with the highest NREE. These results need further replication and have to be ideally tested in a trial before being informative for targeted disease prevention. Eventually, the selection of individuals for lifestyle intervention programs could be guided by knowledge of genotype.

A Kind of Integrity: explorations in history and drama

All of our knowledge of history is mediated in one way or another. Even the experience of first hand witnesses are, it may be argued, subject to semiotic influences such as physical and emotional position, attitudinal point of view and accuracy of recall. A great deal of historical knowledge is acquired through dramatised versions of historical events. As the characters who actually took part in historical events become the dramatis personae of re-enacted accounts, their stories are edited not only to meet dramatic necessities but the social, psychological and cultural needs of both storytellers and audience. The process of popularising history in this way thus becomes as much about the effects of events on people as the events themselves. This chapter describes and analyses the way in which four historical events have formed the basis of school based drama workshops that explore this process. The Player in Tom Stoppard’s ‘Rosencrantz and Guildenstern Are Dead’ posits that actors do on stage what others are supposed to do off, which, he claims, ‘is a kind of integrity.’ The chapter discusses how drama may be used to explore not only stories from history but how those stories may be mediated and so become open to multiple interpretations. The process of dramatising events from history provides opportunities to develop and exercise a critical literacy that is concerned not so much with either fact or empathy as with interrogating both why and how stories are told. Thus, the experience of exploring the symbiotic relationship between drama and history is dependent on an internal logic which may indeed be perceived as a kind of integrity.

Global monsoons in the mid-Holocene and oceanic feedback

The response of the six major summer monsoon systems (the North American monsoon, the northern Africa monsoon, the Asia monsoon, the northern Australasian monsoon, the South America monsoon and the southern Africa monsoon) to mid-Holocene orbital forcing has been investigated using a coupled ocean–atmosphere general circulation model (FOAM), with the focus on the distinct roles of the direct insolation forcing and oceanic feedback. The simulation result is also found to compare well with the NCAR CSM. The direct effects of the change in insolation produce an enhancement of the Northern Hemisphere monsoons and a reduction of the Southern Hemisphere monsoons. Ocean feedbacks produce a further enhancement of the northern Africa monsoon and the North American monsoon. However, ocean feedbacks appear to weaken the Asia monsoon, although the overall effect (direct insolation forcing plus ocean feedback) remains a strengthened monsoon. The impact of ocean feedbacks on the South American and southern African monsoons is relatively small, and therefore these regions, especially the South America, experienced a reduced monsoon regime compared to present. However, there is a strong ocean feedback on the northern Australian monsoon that negates the direct effects of orbital changes and results in a strengthening of austral summer monsoon precipitation in this region. A new synthesis is made for mid-Holocene paleoenvironmental records and is compared with the model simulations. Overall, model simulations produce changes in regional climates that are generally consistent with paleoenvironmental observations.

Association between Mediterranean and Nordic diet scores and changes in weight and waist circumference: influence of FTO and TCF7L2 loci

BACKGROUND: Several studies have shown that adherence to the Mediterranean Diet measured by using the Mediterranean diet score (MDS) is associated with lower obesity risk. The newly proposed Nordic Diet could hold similar beneficial effects. Because of the increasing focus on the interaction between diet and genetic predisposition to adiposity, studies should consider both diet and genetics. OBJECTIVE: We investigated whether FTO rs9939609 and TCF7L2 rs7903146 modified the association between the MDS and Nordic diet score (NDS) and changes in weight (Δweight), waist circumference (ΔWC), and waist circumference adjusted for body mass index (BMI) (ΔWCBMI). DESIGN: We conducted a case-cohort study with a median follow-up of 6.8 y that included 11,048 participants from 5 European countries; 5552 of these subjects were cases defined as individuals with the greatest degree of unexplained weight gain during follow-up. A randomly selected subcohort included 6548 participants, including 5496 noncases. Cases and noncases were compared in analyses by using logistic regression. Continuous traits (ie, Δweight, ΔWC, and ΔWCBMI) were analyzed by using linear regression models in the random subcohort. Interactions were tested by including interaction terms in models. RESULTS: A higher MDS was significantly inversely associated with case status (OR: 0.98; 95% CI: 0.96, 1.00), ΔWC (β = -0.010 cm/y; 95% CI: -0.020, -0.001 cm/y), and ΔWCBMI (β = -0.008; 95% CI:-0.015, -0.001) per 1-point increment but not Δweight (P = 0.53). The NDS was not significantly associated with any outcome. There was a borderline significant interaction between the MDS and TCF7L2 rs7903146 on weight gain (P = 0.05), which suggested a beneficial effect of the MDS only in subjects who carried 1 or 2 risk alleles. FTO did not modify observed associations. CONCLUSIONS: A high MDS is associated with a lower ΔWC and ΔWCBMI, regardless of FTO and TCF7L2 risk alleles. For Δweight, findings were less clear, but the effect may depend on the TCF7L2 rs7903146 variant. The NDS was not associated with anthropometric changes during follow-up.

Culture, compassion and clinical neglect: probity in the NHS after Mid Staffordshire

Speaking of the public response to the deaths of children at the Bristol Royal Infirmary before 2001, the BMJ commented that the NHS would be 'all changed, changed utterly'. Today, two inquiries into the Mid Staffordshire Foundation Trust suggest nothing changed at all. Many patients died as a result of their care and the stories of indifference and neglect there are harrowing. Yet Bristol and Mid Staffordshire are not isolated reports. In 2011, the Health Services Ombudsman reported on the care of elderly and frail patients in the NHS and found a failure to recognise their humanity and individuality and to respond to them with sensitivity, compassion and professionalism. Likewise, the Care Quality Commission and Healthcare Commission received complaints from patients and relatives about the quality of nursing care. These included patients not being fed, patients left in soiled bedding, poor hygiene practices, and general disregard for privacy and dignity. Why is there such tolerance of poor clinical standards? We need a better understanding of the circumstances that can lead to these outcomes and how best to respond to them. We discuss the findings of these and other reports and consider whether attention should be devoted to managing individual behaviour, or focus on the systemic influences which predispose hospital staff to behave in this way. Lastly, we consider whether we should look further afield to cognitive psychology to better understand how clinicians and managers make decisions?

What is outside? The early years foundation stage in England: outdoor facilities, organisation and staff attitudes

The purpose of this paper is to report on the facilities available, organisation of, and staff attitudes to early years outdoor education from schools within the south east of England, focusing on provision for children aged three to five. One component of the successful education of the child involves providing an ‘environment for learning’, including the facilities, layout and routines. This paper presents findings concerning the type and variety of facilities available outside; the various styles of organisation of the space; staff attitudes about: their roles, their aims for the environment, children’s behaviour and learning, and perceived drawbacks to practice. This paper draws on empirical data collected from schools within the University of Reading partnership. The findings suggest that although all early years settings must adhere to the statutory framework there are a range of facilities available, and there are a number of ways this environment is organised. Further there appears to be uncertainty about the adult role outside and the aims for activities. The conclusions drawn indicate that staff do not appear to be linking their aims for outdoor education to the facilities provided or to their actions outside. This means there is not a clear link between what staff provide outside and the declared ambitions for learning. This study is important as all educators need to be certain about their aims for education to ensure best outcomes for children. The implications of these findings for early years teachers are that they need to be able to articulate their aims for outdoor education and to provide the correct facilities to achieve these aims. Finally this study was undertaken to raise debate, posit questions and to ascertain the parameters for further research about the early years outdoor environment.

Information customization and food choice

In this paper we employ a hypothetical discrete choice experiment (DCE) to examine how much consumers are willing to pay to use technology to customize their food shopping. We conjecture that customized information provision can aid in the composition of a healthier shop. Our results reveal that consumers are prepared to pay relatively more for individual specic information as opposed to generic nutritional information that is typically provided on food labels. In arriving at these results we have examined various model specications including those that make use of ex-post de-brieng questions on attribute nonattendance and attribute ranking information and those that consider the time taken to complete the survey. Our main results are robust to the various model specications we examine

Human gut microbiota and its relationship to health and disease

Probiotics are live microorganisms that confer a health benefit on the host when administered in appropriate amounts. Over 700 randomized, controlled, human studies have been conducted with probiotics thus far, with the results providing strong support for the use of probiotics in the clinical prevention or treatment of gastrointestinal tract disorders and metabolic syndrome. The present review is based on webinar presentations that were developed by the American Gastroenterological Association (AGA) in partnership with the International Scientific Association for Probiotics and Prebiotics (ISAPP) and the North American branch of the International Life Sciences Institute (ILSI North America). The presentations provided gastroenterologists and researchers with fundamental and current scientific information on the influence of gut microbiota on human health and disease, as well as clinical intervention strategies and practical guidelines for the use of probiotics and prebiotics.

Soft balancing in the Americas: Latin American opposition to U.S. intervention, 1898–1936

In the aftermath of the 2003 U.S.-led invasion of Iraq, scholars of international relations debated how to best characterize the rising tide of global opposition. The concept of “soft balancing” emerged as an influential, though contested, explanation of a new phenomenon in a unipolar world: states seeking to constrain the ability of the United States to deploy military force by using multinational organizations, international law, and coalition building. Soft balancing can also be observed in regional unipolar systems. Multinational archival research reveals how Argentina, Mexico, and other Latin American countries responded to expanding U.S. power and military assertiveness in the early twentieth century through coordinated diplomatic maneuvering that provides a strong example of soft balancing. Examination of this earlier case makes an empirical contribution to the emerging soft-balancing literature and suggests that soft balancing need not lead to hard balancing or open conflict.