Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Dietary elimination of children with food protein induced gastrointestinal allergy – micronutrient adequacy with and without a hypoallergenic formula?

Background: The cornerstone for management of Food protein-induced gastrointestinal allergy (FPGIA) is dietary exclusion; however the micronutrient intake of this population has been poorly studied. We set out to determine the dietary intake of children on an elimination diet for this food allergy and hypothesised that the type of elimination diet and the presence of a hypoallergenic formula (HF) significantly impacts on micronutrient intake. Method: A prospective observational study was conducted on children diagnosed with FPIGA on an exclusion diet who completed a 3 day semi-quantitative food diary 4 weeks after commencing the diet. Nutritional intake where HF was used was compared to those without HF, with or without a vitamin and mineral supplement (VMS). Results: One-hundred-and-five food diaries were included in the data analysis: 70 boys (66.7%) with median age of 21.8 months [IQR: 10 - 67.7]. Fifty-three children (50.5%) consumed a HF and the volume of consumption was correlated to micronutrient intake. Significantly (p <0.05) more children reached their micronutrient requirements if a HF was consumed. In those without a HF, some continued not to achieve requirements in particular for vitamin D and zinc, in spite of VMS. Conclusion: This study points towards the important micronutrient contribution of a HF in children with FPIGA. Children, who are not on a HF and without a VMS, are at increased risk of low intakes in particular vitamin D and zinc. Further studies need to be performed, to assess whether dietary intake translates into actual biological deficiencies

Family composition and age at menarche: findings from the international Health Behaviour in School-Aged Children Study

This research was funded by The University of St Andrews and NHS Health Scotland.Background Early menarche has been associated with father absence, stepfather presence and adverse health consequences in later life. This article assesses the association of different family compositions with the age at menarche. Pathways are explored which may explain any association between family characteristics and pubertal timing. Methods Cross-sectional, international data on the age at menarche, family structure and covariates (age, psychosomatic complaints, media consumption, physical activity) were collected from the 2009–2010 Health Behaviour in School-aged Children (HBSC) survey. The sample focuses on 15-year old girls comprising 36,175 individuals across 40 countries in Europe and North America (N = 21,075 for age at menarche). The study examined the association of different family characteristics with age at menarche. Regression and path analyses were applied incorporating multilevel techniques to adjust for the nested nature of data within countries. Results Living with mother (Cohen’s d = .12), father (d = .08), brothers (d = .04) and sisters (d = .06) are independently associated with later age at menarche. Living in a foster home (d = −.16), with ‘someone else’ (d = −.11), stepmother (d = −.10) or stepfather (d = −.06) was associated with earlier menarche. Path models show that up to 89% of these effects can be explained through lifestyle and psychological variables. Conclusions Earlier menarche is reported amongst those with living conditions other than a family consisting of two biological parents. This can partly be explained by girls’ higher Body Mass Index in these families which is a biological determinant of early menarche. Lower physical activity and elevated psychosomatic complaints were also more often found in girls in these family environments.Publisher PDFPeer reviewe

Identification and characterization of a novel non-structural protein of bluetongue virus

Bluetongue virus (BTV) is the causative agent of a major disease of livestock (bluetongue). For over two decades, it has been widely accepted that the 10 segments of the dsRNA genome of BTV encode for 7 structural and 3 non-structural proteins. The non-structural proteins (NS1, NS2, NS3/NS3a) play different key roles during the viral replication cycle. In this study we show that BTV expresses a fourth non-structural protein (that we designated NS4) encoded by an open reading frame in segment 9 overlapping the open reading frame encoding VP6. NS4 is 77–79 amino acid residues in length and highly conserved among several BTV serotypes/strains. NS4 was expressed early post-infection and localized in the nucleoli of BTV infected cells. By reverse genetics, we showed that NS4 is dispensable for BTV replication in vitro, both in mammalian and insect cells, and does not affect viral virulence in murine models of bluetongue infection. Interestingly, NS4 conferred a replication advantage to BTV-8, but not to BTV-1, in cells in an interferon (IFN)-induced antiviral state. However, the BTV-1 NS4 conferred a replication advantage both to a BTV-8 reassortant containing the entire segment 9 of BTV-1 and to a BTV-8 mutant with the NS4 identical to the homologous BTV-1 protein. Collectively, this study suggests that NS4 plays an important role in virus-host interaction and is one of the mechanisms played, at least by BTV-8, to counteract the antiviral response of the host. In addition, the distinct nucleolar localization of NS4, being expressed by a virus that replicates exclusively in the cytoplasm, offers new avenues to investigate the multiple roles played by the nucleolus in the biology of the cell

Scattering Theory and PT\mathcal{P}\mathcal{T}-Symmetry

We outline a global approach to scattering theory in one dimension that allows for the description of a large class of scattering systems and their $\mathcal{P}$-, $\mathcal{T}$-, and $\mathcal{P}\mathcal{T}$-symmetries. In particular, we review various relevant concepts such as Jost solutions, transfer and scattering matrices, reciprocity principle, unidirectional reflection and invisibility, and spectral singularities. We discuss in some detail the mathematical conditions that imply or forbid reciprocal transmission, reciprocal reflection, and the presence of spectral singularities and their time-reversal. We also derive generalized unitarity relations for time-reversal-invariant and $\mathcal{P}\mathcal{T}$-symmetric scattering systems, and explore the consequences of breaking them. The results reported here apply to the scattering systems defined by a real or complex local potential as well as those determined by energy-dependent potentials, nonlocal potentials, and general point interactions.Comment: Slightly expanded revised version, 38 page

Autoantibodies to Osteoprotegerin are Associated with Low Hip Bone Mineral Density and History of Fractures in Axial Spondyloarthritis: A Cross-Sectional Observational Study

Osteoporosis is a recognised complication of axial spondyloarthritis (axSpA) and is thought to be due to functional impairment and the osteoclast-activating effects of proinflammatory cytokines. The development of autoantibodies to OPG (OPG-Ab) has been associated with severe osteoporosis and increased bone resorption in rheumatoid arthritis. In this study, we screened for the presence of OPG-Ab in axSpA and reviewed their clinical significance. We studied 134 patients, recruited from two centres in the United Kingdom. Their mean age was 47.5 years and 75% were male. Concentrations of OPG-Ab were related to bone mineral density (BMD) and fracture history using linear and logistic regression models adjusting for age, gender, disease duration and activity, body mass index and bisphosphonate use. We detected OPG-Ab in 11/134 patients (8.2%). Femoral neck and total hip BMD were significantly reduced in OPG-Ab positive patients (0.827 vs. 0.967 g/cm2, p = 0.008 and 0.868 vs. 1.028 g/cm2, p = 0.002, respectively). Regression analysis showed that the presence of OPG-Ab was independently associated with total hip osteopenia (ORadj 24.2; 95% CI 2.57, 228) and history of fractures (ORadj 10.5; 95% CI 2.07, 53.3). OPG-Ab concentration was associated with total hip BMD in g/cm2 (ß = −1.15; 95% CI −0.25, −0.04). There were no associations between OPG-Ab concentration and bone turnover markers, but free sRANKL concentrations were lower in OPG-Ab-positive patients (median 0.04 vs. 0.11 pmol/L, p = 0.050). We conclude that OPG-Ab are associated with hip BMD and fractures in axSpA suggesting that they may contribute to the pathogenesis of bone loss in some patients with this condition

Outcome and patients' satisfaction after functional treatment of acute lateral ankle injuries at emergency departments versus family doctor offices

<p>Abstract</p> <p>Background</p> <p>In some Western countries, more and more patients seek initial treatment even for minor injuries at emergency units of hospitals. The initial evaluation and treatment as well as aftercare of these patients require large amounts of personnel and logistical resources, which are limited and costly, especially if compared to treatment by a general practitioner. In this study, we investigated whether outsourcing from our level 1 trauma center to a general practitioner has an influence on patient satisfaction and compliance.</p> <p>Methods</p> <p>This prospective, randomized study, included n = 100 patients who suffered from a lateral ankle ligament injury grade I-II (16, 17). After radiological exclusion of osseous lesions, the patients received early functional treatment and were shown physical therapy exercises to be done at home, without immobilization or the use of stabilizing ortheses. The patients were randomly assigned into two groups of 50 patients each: Group A (ER): Follow-up and final examination in the hospital's emergency unit. Group B (GP): Follow-up by general practitioner, final examination at hospital's emergency unit. The patients were surveyed regarding their satisfaction with the treatment and outcome of the treatment.</p> <p>Results</p> <p>Female and male patients were equally represented in both groups. The age of the patients ranged from 16 – 64 years, with a mean age of 34 years (ER) and 35 years (GP). 98% (n = 98) of all patients were satisfied with their treatment, and 93% (n = 93) were satisfied with the outcome. For these parameters no significant difference between the two groups could be noted (p = 0.7406 and 0.7631 respectively). 39% of all patients acquired stabilizing ortheses like ankle braces (Aircast, Malleoloc etc.) on their own initiative. There was a not significant tendency for more self-acquired ortheses in the group treated by general practicioners (p = 0,2669).</p> <p>Conclusion</p> <p>Patients who first present at the ER with a lateral ankle ligament injury grade I-II can be referred to a general practitioner for follow-up treatment without affecting patient satisfaction regarding treatment and treatment outcome.</p

Rac1 Is Required for Pathogenicity and Chm1-Dependent Conidiogenesis in Rice Fungal Pathogen Magnaporthe grisea

Rac1 is a small GTPase involved in actin cytoskeleton organization and polarized cell growth in many organisms. In this study, we investigate the biological function of MgRac1, a Rac1 homolog in Magnaporthe grisea. The Mgrac1 deletion mutants are defective in conidial production. Among the few conidia generated, they are malformed and defective in appressorial formation and consequently lose pathogenicity. Genetic complementation with native MgRac1 fully recovers all these defective phenotypes. Consistently, expression of a dominant negative allele of MgRac1 exhibits the same defect as the deletion mutants, while expression of a constitutively active allele of MgRac1 can induce abnormally large conidia with defects in infection-related growth. Furthermore, we show the interactions between MgRac1 and its effectors, including the PAK kinase Chm1 and NADPH oxidases (Nox1 and Nox2), by the yeast two-hybrid assay. While the Nox proteins are important for pathogenicity, the MgRac1-Chm1 interaction is responsible for conidiogenesis. A constitutively active chm1 mutant, in which the Rac1-binding PBD domain is removed, fully restores conidiation of the Mgrac1 deletion mutants, but these conidia do not develop appressoria normally and are not pathogenic to rice plants. Our data suggest that the MgRac1-Chm1 pathway is responsible for conidiogenesis, but additional pathways, including the Nox pathway, are necessary for appressorial formation and pathogenicity