Trace monitor specifications consist of a pattern that is matched against the trace of events of a subject system. We investigate the design choices in defining the semantics of matching patterns against traces. Some systems use an exact-match semantics (where every relevant event must be matched by the pattern), while others employ a skipping semantics (which allows any event to be skipped dur...

Food insecurity, the inadequate or insecure access to food because of financial constraints, is an important public health concern, associated with poor physical and mental health. Recent research among post-secondary students shows that it also has consequences for academic performance; are more likely have lower grades drop out. This qualitative study aimed describe experiences Queen’s Univer...

Adolescents have high nutritional needs but usually engage in unhealthy eating which has resulted into an irregular meal consumption pattern especially skipping of breakfast a significant impact on their health adulthood. This study assessed and micro-nutrient adequacy food consumed by secondary school female adolescents Ibadan. A cross-sectional descriptive design was conducted among selected ...

Abstract We present and numerically analyse the Basin Hopping with Skipping (BH-S) algorithm for stochastic optimisation. This replaces perturbation step of basin hopping (BH) a so-called skipping mechanism from rare-event sampling. Empirical results on benchmark optimisation surfaces demonstrate that BH-S can improve performance relative to BH by encouraging non-local exploration, is, between ...

A nonsense mutation in the fibrillin-1 (FBN1) gene of a Marfan syndrome (MFS) patient induces in-frame exon skipping of FBN1 exon 51. We present evidence, based on both in vivo and in vitro experiments, that the skipping of this exon is due to the disruption of an SC35-dependent splicing enhancer within exon 51. In addition, this nonsense mutation induces nonsense-mediated decay (NMD), which de...

BACKGROUND Antisense-mediated exon skipping is a putative treatment for Duchenne muscular dystrophy (DMD). Using antisense oligonucleotides (AONs), the disrupted DMD reading frame is restored, allowing generation of partially functional dystrophin and conversion of a severe Duchenne into a milder Becker muscular dystrophy phenotype. In vivo studies are mainly performed using 2'-O-methyl phospho...

BACKGROUND Breakfast eating habits are a dietary pattern marker and appear to be a useful predictor of a healthy lifestyle. Many studies have reported the unhealthy effects of skipping breakfast. However, there are few studies on the association between skipping breakfast and mortality. In the present study, we examined the association between skipping breakfast and mortality from cancer, circu...

The purpose of this study was to further explore the association between bullying victimization and breakfast skipping in children and adolescents. Compared to the previous study, we have used a larger and representative sample of middle and high school students, examined the effect of gender, different forms (physical, verbal, theft/vandalism and cyber) and severity of bullying on breakfast ea...

Three articles appear in this issue of the Journal (1–3) that challenge a long-held belief of both nutrition scientists and the lay public: breakfast is the most important meal of the day. Of course this is true, if you are selling breakfast cereals. Putting profits aside, the consumption of breakfast is currently part of 1) most weight-reduction procedures and 2) school breakfast programs desi...

We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level implementation system. Next, one shows that the behaviors of the implementation system are allowed by the specifica...