Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small adversarial perturbations. This raises the question: can the output from learning components can lead to a failure of the entire CPS? In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components. We propose a compositional falsification framework where a temporal logic falsifier and a machine learning analyzer cooperate with the aim of finding falsifying executions of the considered model. The efficacy of the proposed technique is shown on an automatic emergency braking system model with a perception component based on deep neural networks

Comparison of diet consumption, body composition and lipoprotein lipid values of Kuwaiti fencing players with international norms

<p>Abstract</p> <p>Background</p> <p>No published data is currently available that describes the dietary patterns or physiological profiles of athletes participating on the Kuwaiti national fencing team and its potential impact on health and physical performance. The purpose of this investigation was to: 1) collect baseline data on nutrient intake 2) collect, analyze and report baseline for body composition, plasma lipid and lipoprotein concentrations during the competitive season, 3) compare the results with the international norms, 4) and provide necessary health and nutritional information in order to enhance the athletes' performance and skills.</p> <p>Methods</p> <p>Fifteen national-class fencers 21.5 ± 2.6 years of age participated in this study. Food intake was measured using a 3-day food record. Body composition was estimated using both the BOD POD and Body Mass Index (BMI). Total blood lipid profiles and maximum oxygen consumption was measured for each of the subjects during the competitive season.</p> <p>Results</p> <p>The results of the present study showed significant differences in dietary consumption in comparison with the recommended dietary allowances (RDA). The blood lipids profile and body composition (BMI and % body fat) were in normal range in comparison with international norms However, the average VO_{2 max}value was less than the value of the other fencers.</p> <p>Conclusion</p> <p>Due to the results of the research study, a dietary regimen can be designed that would better enhance athletic performance and minimize any health risks associated with nutrition. Percent body fat and BMI will also be categorized for all players. In addition, the plasma blood tests will help to determine if any of the players have an excessive level of lipids or any blood abnormalities. The outcomes of present study will have a direct impact on the players health and therefore their skills and athletic performance.</p

Exercise in obese pregnant women: The role of social factors, lifestyle and pregnancy symptoms

Background Physical activity may reduce the risk of adverse maternal outcomes, yet there are very few studies that have examined the correlates of exercise amongst obese women during pregnancy. We examined which relevant sociodemographic, obstetric, and health behaviour variables and pregnancy symptoms were associated with exercise in a small sample of obese pregnant women. Methods This was a secondary analysis using data from an exercise intervention for the prevention of gestational diabetes in obese pregnant women. Using the Pregnancy Physical Activity Questionnaire (PPAQ), 50 obese pregnant women were classified as "Exercisers" if they achieved ≥900 kcal/wk of exercise and "Non-Exercisers" if they did not meet this criterion. Analyses examined which relevant variables were associated with exercise status at 12, 20, 28 and 36 weeks gestation. Results Obese pregnant women with a history of miscarriage; who had children living at home; who had a lower pre-pregnancy weight; reported no nausea and vomiting; and who had no lower back pain, were those women who were most likely to have exercised in early pregnancy. Exercise in late pregnancy was most common among tertiary educated women. Conclusions Offering greater support to women from disadvantaged backgrounds and closely monitoring women who report persistent nausea and vomiting or lower back pain in early pregnancy may be important. The findings may be particularly useful for other interventions aimed at reducing or controlling weight gain in obese pregnant women

Genomic Organization, Tissue Distribution and Functional Characterization of the Rat Pate Gene Cluster

The cysteine rich prostate and testis expressed (Pate) proteins identified till date are thought to resemble the three fingered protein/urokinase-type plasminogen activator receptor proteins. In this study, for the first time, we report the identification, cloning and characterization of rat Pate gene cluster and also determine the expression pattern. The rat Pate genes are clustered on chromosome 8 and their predicted proteins retained the ten cysteine signature characteristic to TFP/Ly-6 protein family. PATE and PATE-F three dimensional protein structure was found to be similar to that of the toxin bucandin. Though Pate gene expression is thought to be prostate and testis specific, we observed that rat Pate genes are also expressed in seminal vesicle and epididymis and in tissues beyond the male reproductive tract. In the developing rats (20–60 day old), expression of Pate genes seem to be androgen dependent in the epididymis and testis. In the adult rat, androgen ablation resulted in down regulation of the majority of Pate genes in the epididymides. PATE and PATE-F proteins were found to be expressed abundantly in the male reproductive tract of rats and on the sperm. Recombinant PATE protein exhibited potent antibacterial activity, whereas PATE-F did not exhibit any antibacterial activity. Pate expression was induced in the epididymides when challenged with LPS. Based on our results, we conclude that rat PATE proteins may contribute to the reproductive and defense functions

Keeping Pace with Your Eating: Visual Feedback Affects Eating Rate in Humans

Deliberately eating at a slower pace promotes satiation and eating quickly has been associated with a higher body mass index. Therefore, understanding factors that affect eating rate should be given high priority. Eating rate is affected by the physical/textural properties of a food, by motivational state, and by portion size and palatability. This study explored the prospect that eating rate is also influenced by a hitherto unexplored cognitive process that uses ongoing perceptual estimates of the volume of food remaining in a container to adjust intake during a meal. A 2 (amount seen; 300ml or 500ml) x 2 (amount eaten; 300ml or 500ml) between-subjects design was employed (10 participants in each condition). In two ‘congruent’ conditions, the same amount was seen at the outset and then subsequently consumed (300ml or 500ml). To dissociate visual feedback of portion size and actual amount consumed, food was covertly added or removed from a bowl using a peristaltic pump. This created two additional ‘incongruent’ conditions, in which 300ml was seen but 500ml was eaten or vice versa. We repeated these conditions using a savoury soup and a sweet dessert. Eating rate (ml per second) was assessed during lunch. After lunch we assessed fullness over a 60-minute period. In the congruent conditions, eating rate was unaffected by the actual volume of food that was consumed (300ml or 500ml). By contrast, we observed a marked difference across the incongruent conditions. Specifically, participants who saw 300ml but actually consumed 500ml ate at a faster rate than participants who saw 500ml but actually consumed 300ml. Participants were unaware that their portion size had been manipulated. Nevertheless, when it disappeared faster or slower than anticipated they adjusted their rate of eating accordingly. This suggests that the control of eating rate involves visual feedback and is not a simple reflexive response to orosensory stimulatio

Clinical evaluation of iron treatment efficiency among non-anemic but iron-deficient female blood donors: a randomized controlled trial

ABSTRACT: Iron deficiency without anemia (IDWA) is related to adverse symptoms that can be relieved by supplementation. Since a blood donation can induce such an iron deficiency, we investigated the clinical impact of an iron treatment after blood donation. METHODS: One week after donation, we randomly assigned 154 female donors with IDWA aged &lt;50 years to a 4-week oral treatment of ferrous sulfate vs. placebo. The main outcome was the change in the level of fatigue before and after the intervention. Also evaluated were aerobic capacity, mood disorder, quality of life, compliance and adverse events. Biological markers were hemoglobin and ferritin. RESULTS: Treatment effect from baseline to 4 weeks for hemoglobin and ferritin were 5.2 g/L (p &lt; 0.01) and 14.8 ng/mL (p &lt; 0.01) respectively. No significant clinical effect was observed for fatigue (-0.15 points, 95% confidence interval -0.9 to 0.6, p = 0.697) or for other outcomes. Compliance and interruption for side effects was similar in both groups. Additionally, blood donation did not induce overt symptoms of fatigue in spite of the significant biological changes it produces. CONCLUSIONS: These data are valuable as they enable us to conclude that donors with IDWA after a blood donation would not clinically benefit from iron supplementation. Trial registration: NCT00689793

Atividade física, qualidade de vida e depressão durante a gravidez

This study examines physical activity patterns among women, from pre-pregnancy to the second trimester of pregnancy, and the relationship between physical activity status based on physical activity guidelines and health-related quality of life (HRQoL) and depression over pregnancy. 56 healthy pregnant women self reported physical activity, HRQoL and depression at 10-15 and 19-24 weeks of pregnancy and physical activity before pregnancy. Whereas vigorous leisure physical activity decreased after conception, moderate leisure physical activity and work related physical activity remained stable over time. The prevalence of recommended physical activity was 39.3% and 12.5% in the 1st and 2nd trimesters of pregnancy respectively, and 14.3% pre-pregnancy. From the 1st to the 2nd pregnancy trimester, most physical HRQoL dimensions scores decreased and only mental component increased, independently of physical activity status. No changes in mean depression scores were observed. These data suggest that physical activity patterns change with pregnancy and that physical and mental components are differentially affected by pregnancy course, independently of physical activity status.Este estudo examina os padrões de atividade física antes da concepção até o segundo trimestre de gravidez e a relação entre o nível de atividade física, com base nas recomendações de atividade física, a qualidade de vida relacionada à saúde (QVRS) e depressão ao longo da gravidez. Cinquenta e seis grávidas saudáveis reportaram nível de atividade física, QVRS e depressão às 10-15 e 19-24 semanas de gravidez, além de atividade física antes da concepção. Enquanto a atividade física vigorosa no lazer diminuiu depois da concepção, as atividades físicas moderadas no lazer e no trabalho mantiveram-se estáveis. A prevalência de atividade fí- sica recomendada foi de 39,3%, 12,5% e 14,3% antes, no primeiro e no segundo trimestres de gravidez, respectivamente. Independentemente do estatuto de atividade física, a maior parte dos escores nas dimensões físicas da QVRS diminui do primeiro para o segundo trimestre de gestação, e apenas o componente mental aumenta. Não se verificaram alterações nos escores médios de depressão. Estes dados sugerem que, com a gravidez, há alteração nos padrões de atividade física; além disso, os componentes físico e mental são diferentemente afetados pelo curso da gestação, independentemente do nível de atividade física

Exercise Training in Pregnancy for obese women (ETIP): study protocol for a randomised controlled trial

<p/> <p>Background</p> <p>Both maternal pre-pregnancy obesity and excessive gestational weight gain are increasing in prevalence and associated with a number of adverse pregnancy outcomes for both mother and child. Observational studies regarding physical activity in pregnancy have found reduced weight gain in active mothers, as well as reduced risk of adverse pregnancy outcomes. There is however a lack of high quality, randomized controlled trials on the effects of regular exercise training in pregnancy, especially those with a pre-pregnancy body mass index (BMI) at or above 30 kg/m².</p> <p>Methods</p> <p>We are conducting a randomised, controlled trial in Norway with two parallel arms; one intervention group and one control group. We will enroll 150 previously sedentary, pregnant women with a pre-pregnancy BMI at or above 30 kg/m². The intervention group will meet for organized exercise training three times per week, starting in gestation week 14 (range 12-16). The control group will get standard antenatal care. The main outcome measure will be weight gain from baseline to delivery. Among the secondary outcome measures are changes in exercise capacity, endothelial function, physical activity level, body composition, serum markers of cardiovascular risk, incontinence, lumbopelvic pain and cardiac function from baseline to gestation week 37 (range 36-38). Offspring outcome measures include anthropometric variables at birth, Apgar score, as well as serum markers of inflammation and metabolism in cord blood.</p> <p>Discussion</p> <p>The results of this trial will provide knowledge about effects of regular exercise training in previously sedentary, obese pregnant women. If the program proves effective in reducing gestational weight gain and adverse pregnancy outcomes, such programs should be considered as part of routine pregnancy care for obese women.</p> <p>Trial Registration</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT01243554">NCT01243554</a></p

Genetic variation in Wnt/β-catenin and ER signalling pathways in female and male elite dancers and its associations with low bone mineral density: a cross-section and longitudinal study.

The association of genetic polymorphisms with low bone mineral density in elite athletes have not been considered previously. The present study found that bone mass phenotypes in elite and pre-elite dancers are related to genetic variants at the Wnt/β-catenin and ER pathways. Some athletes (e.g. gymnasts, dancers, swimmers) are at increased risk for low bone mineral density (BMD) which, if untreated, can lead to osteoporosis. To investigate the association of genetic polymorphisms in the oestrogen receptor (ER) and the Wnt/β-catenin signalling pathways with low BMD in elite and pre-elite dancers (impact sport athletes). The study included three phases: (1) 151 elite and pre-elite dancers were screened for the presence of low BMD and traditional osteoporosis risk factors (low body weight, menstrual disturbances, low energy availability); (2) a genetic association study was conducted in 151 elite and pre-elite dancers and age- and sex- controls; (3) serum sclerostin was measured in 101 pre-elite dancers and age- and sex-matched controls within a 3-year period. Eighty dancers revealed low BMD: 56.3% had at least one traditional osteoporosis risk factor, whereas 28.6% did not display any risk factor (37.2% revealed traditional osteoporosis risk factors, but had normal BMD). Body weight, menstrual disturbances and energy availability did not fully predict bone mass acquisition. Instead, genetic polymorphisms in the ER and Wnt/β-catenin pathways were found to be risk factors for low BMD in elite dancers. Sclerostin was significantly increased in dancers compared to controls during the 3-year follow-up (p < 0.05)