Search Results - "Foster, Simon"

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.

Authors: Foster, Simon Hur, Chung-Kil Woodcock, Jim

Source: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-40, 40p

Two codependent routes lead to high-level MRSA.

Authors: Adedeji-Olulana, Abimbola Feyisara Wacnik, Katarzyna Lafage, Lucia et al.

Source: Science (pre-March 2025). 11/1/2024, Vol. 386 Issue 6721, p573-580. 8p. 4 Diagrams.

Subjects: Methicillin-resistant staphylococcus aureus, Drug resistance in bacteria, Penicillin-binding proteins, Cell division

Hong Kong & Macau

Authors: Foster, Simon

Resource Type: eBook.

Categories: TRAVEL / Asia / East / China

This result is not displayed to guests.
Login for full access.

Perceived stress, coping strategies, and mental health status among adolescents during the COVID-19 pandemic in Switzerland: a longitudinal study.

Authors: Foster, Simon Estévez-Lamorte, Natalia Walitza, Susanne et al.

Source: European Child & Adolescent Psychiatry. Jun2023, Vol. 32 Issue 6, p937-949. 13p. 6 Charts.

Subjects: Mental illness prevention, Mental illness risk factors, Mental depression risk factors, Psychiatric epidemiology, Risk factors of attention-deficit hyperactivity disorder, Cognitive restructuring therapy, Health services accessibility, Confidence intervals, Self-evaluation, Risk assessment, Surveys, Sex distribution, Psychosocial factors, Interpersonal relations, Descriptive statistics, Research funding, Psychological adaptation, Family relations, Anxiety, Odds ratio, Psychological stress, COVID-19 pandemic, Longitudinal method, Mental health services, Parents, Adolescence

Geographic Terms: Switzerland

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale.

Authors: Huerta y Munive, Jonathan Julián Foster, Simon Gleirscher, Mario et al.

Source: Journal of Automated Reasoning. Dec2024, Vol. 68 Issue 4, p1-50. 50p.

Probabilistic modelling and verification using RoboChart and PRISM.

Authors: Ye, Kangfeng Cavalcanti, Ana Foster, Simon et al.

Source: Software & Systems Modeling; Apr2022, Vol. 21 Issue 2, p667-716, 50p

Cell Growth and Division of Staphylococcus aureus.

Authors: Pinho, Mariana G. Foster, Simon J.

Source: Annual Review of Microbiology. Nov2024, Vol. 78 Issue 1, p293-310. 13p.

Physical Activity, Sensation Seeking, and Aggression as Injury Risk Factors in Young Swiss Men: A Population-Based Cohort Study.

Authors: Martin-Diener, Eva Foster, Simon Mohler-Kuo, Meichun et al.

Source: Journal of Physical Activity & Health. Oct2016, Vol. 13 Issue 10, p1049-1055.

Cardiac biomarkers in acute respiratory distress syndrome: a systematic review and meta-analysis.

Authors: Jayasimhan, Dilip Foster, Simon Chang, Catherina L. et al.

Source: Journal of Intensive Care. 4/26/2021, Vol. 9 Issue 1, p1-11. 11p.

The proportion of non-depressed subjects in a study sample strongly affects the results of psychometric analyses of depression symptoms.

Authors: Foster, Simon Mohler-Kuo, Meichun

Source: PLoS ONE. 7/6/2020, Vol. 15 Issue 7, p1-13. 13p.

Adult attention-deficit/hyperactivity disorder, risky substance use and substance use disorders: a follow-up study among young men.

Authors: Estévez-Lamorte, Natalia Foster, Simon Eich-Höchli, Dominique et al.

Source: European Archives of Psychiatry & Clinical Neuroscience. Sep2019, Vol. 269 Issue 6, p667-679. 13p. 4 Charts.

Subjects: Substance-induced disorders, Young men, Alcohol drinking

What Helps Christians Grow? An Exploratory Study Distinguishing among Four Distinctive Pathways.

Authors: Francis, Leslie J. Foster, Simon Lankshear, David W. et al.

Source: Pastoral Psychology. Aug2019, Vol. 68 Issue 4, p379-392. 14p. 12 Charts.

Subjects: Christians, Christian life, Church work, Factor analysis, Individual differences

Geographic Terms: West Midlands (England), England

New Opportunities for Integrated Formal Methods.

Authors: GLEIRSCHER, MARIO FOSTER, SIMON WOODCOCK, JIM

Source: ACM Computing Surveys. Nov2020, Vol. 52 Issue 6, p1-36. 36p.

ANALYSIS OF LIGHTING EFFECTS ON FREIGHT TRAIN CONSPICUITY AT PASSIVE LEVEL CROSSINGS.

Authors: Kassa, Elias Wan, Iric Foster, Simon et al.

Source: EA National Conference Publications; 2023, p366-377, 12p

Co-Designing a Digital App to Support Young People's Patient and Public Involvement and Engagement (VoiceIn): Development and Usability Study.

Authors: Branitsky, Alison Bee, Penny Bucci, Sandra et al.

Source: JMIR Human Factors; 2024, Vol. 11, p1-21, 21p

Pharmacogenetics Clinical Decision Support Systems for Primary Care in England: Co-Design Study.

Authors: Sharma, Videha McDermott, John Keen, Jessica et al.

Source: Journal of Medical Internet Research; 2024, Vol. 26, p1-13, 13p

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.