Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
Get full text

A feed-centric hypoglycaemia pathway ensures appropriate care escalation in at-risk infants by Chandran, Suresh, Siew, Jia Xuan, Rajadurai, Victor Samuel, Lim, Rachel Wei Shan, Chua, Mei Chien, Yap, Fabian

“…FCP involves skin-to-skin care, early breast feeding, checking glucose at 2 hours and use of buccal glucose. …”
Get full text

Differences in pulse manifestations at Cunkou based on simplified modeling of tactile sensing by Shi, Yubing, Yang, Hongyi, Yeo, Joon Hock

“…Some researchers mentioned that no significant differences were observed in pulse manifestations at various Cunkou areas, hence there might be some difficulty in evaluating the status of different organs through checking pulse manifestations at Cunkou. This research aims to analyze the pulse response at Cunkou from the aspect of the characteristics of tactile sensing, thus to give a preliminary explanation to the above question. …”
Get full text

High cycle fatigue characterisation and modelling of 316L stainless steel processed by laser powder bed fusion by Zhang, Meng

“…Despite the diverse fatigue and fracture properties, the models produced good prediction accuracy when checked against the test data. Moreover, the method demonstrated good generalisation capability on applying to literature data. …”
Get full text

Essays on development economics by Wang, Wen

“…The estimation results remain robust when subjected to further checks and sensitivity tests. In addition, we consider alternative channels including pathogen stress, historical population density and colonization, which may also influence the degree of institutionalized democracy via the cultural dimension of collectivism / individualism. …”
Get full text

Health professions digital education on antibiotic management : systematic review and meta-analysis by the Digital Health Education Collaboration by Kyaw, Bhone Myint, Tudor Car, Lorainne, van Galen, Louise Sandra, van Agtmael, Michiel A., Costelloe, Céire E., Ajuebor, Onyema, Campbell, James, Car, Josip

“…We also searched the International Clinical Trials Registry Platform Search Portal and metaRegister of Controlled Trials to identify unpublished trials and checked the reference lists of included studies and relevant systematic reviews for study eligibility. …”
Get full text

Advances in 3D optical profilometry by Huang, Lei

“…In addition, a practical phase retrieval framework is proposed for multi-frequency phase shifting method to accurately calculate the absolute phase and automatically identify invalid phase points via a thresholding and criterion checking process. For dynamic application, only a single frame of data is available to retrieve the wrapped phase and then unwrap it. …”
Get full text

Electronic cigarettes for smoking cessation by Lindson, N, Butler, AR, McRobbie, H, Bullen, C, Hajek, P, Wu, AD, Begh, R, Theodoulou, A, Notley, C, Rigotti, NA, Turner, T, Livingstone-Banks, J, Morris, T, Hartmann-Boyce, J

“…<p><strong> Search methods</strong></p> We searched the Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE, Embase, and PsycINFO to 1 February 2024 and the Cochrane Tobacco Addiction Group's Specialized Register to 1 February 2023, reference‐checked, and contacted study authors. <p><strong> Selection criteria</strong></p> We included trials randomizing people who smoke to an EC or control condition. …”

Electronic cigarettes for smoking cessation by Lindson, N, Butler, AR, McRobbie, H, Bullen, C, Hajek, P, Begh, R, Theodoulou, A, Notley, C, Rigotti, NA, Turner, T, Livingstone-Banks, J, Morris, T, Hartmann-Boyce, J

“…&lt;h4&gt;Search methods&lt;/h4&gt;We searched the Cochrane Tobacco Addiction Group's Specialized Register to 1 February 2023, and Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE, Embase, and PsycINFO to 1 July 2023, and reference-checked and contacted study authors.&lt;h4&gt;Selection criteria&lt;/h4&gt;We included trials in which people who smoke were randomized to an EC or control condition. …”