Identification of electromagnetic pre-earthquake perturbations from the DEMETER data by machine learning by Xiong, Pan, Long, Cheng, Zhou, Huiyu, Battiston, Roberto, Zhang, Xuemin, Shen, Xuhui

“…In this paper, we explore 16 spot-checking classification algorithms, among which, the top classifier with low-frequency power spectra of electric and magnetic fields was used for ionospheric perturbation analysis. …”
Get full text

AI-ML for quantitative blood pressure and blood glucose estimation from non-occlusive PPG/ECG bio-signals by Vignesh Sujith Menon

“…Even though this disease affects more than 500 million individuals, there is a lack of non-invasive methods for checking glucose levels, making the use of a glucometer with finger pricking the most common and reliable option for daily glucose testing in personal healthcare. …”
Get full text

The effects of angiotensin-receptor blockade on mood and vigilance behaviour in a gamified foraging task by Morse, L

“…We therefore suggest that losartan may act anxiolytically to reduce threat-related worries and increase vigilant checking behaviours. This supports suggestions that losartan may be useful as an adjunct to exposure therapy, acting synergistically to improve clinical outcomes. …”

Security for automotive electrical/electronic (E/E) architectures by Mundhenk, Philipp

“…SAAN uses probabilistic model checking to calculate the security of automotive networks, based on the architecture and expert evaluations of components. …”
Get full text
Get full text

High-Throughput Three-Party DPFs with Applications to ORAM and Digital Currencies by Zyskind, Guy, Yanai, Avishay, Pentland, Alex

Get full text

Selecting correct methods to extract fuzzy rules from artificial neural network by Tan, Xiao, Zhou, Yuan, Ding, Zuohua, Liu, Yang

“…Fuzzy rules are an intuitive and reasonable representation to be used for explanation, model checking, and system integration. However, different methods may extract different rules from the same ANN. …”
Get full text

Essays on oil price fluctuations, financial markets and international trade by Le, Thai Ha

“…The stability of the causality is also checked and the estimated impulse responses across different periods are examined. …”
Get full text

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

Constraint satisfaction approach to product configuration with cost estimation by Wang, Lin

“…To address issues of augmented backtracking (trashing and late conflict detection), a hybrid solving algorithm—forward checking and backjumping with fail-first heuristic (FC-BJ with FF)—is applied to the extended DCSP-based system to enhance solving efficiency. …”
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

Efficient techniques for subgraph mining and query processing by Lin, Wenqing

“…The union of all such graphs is the input to the refinement step, where each candidate is checked against all partitions and only the {\em globally frequent} graphs are retained. …”
Get full text

Physical unclonable function based solutions to unification of user, device and data authentication by Zheng, Yue

“…At a time of rampant public media manipulation and ease of fake image/video fabrication, verification of benign and malicious image transformations is necessary but not sufficient for fact checking of visual artefacts presented in the court of law. …”
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. …”

Evaluation of Enterococcus hirae isolated from vegetable wastes as probiotic and improvement of immune response in African catfish (Clarias spp.) by Hamid, Nur Hidayahanum

“…After 50 days, the experimental fish were checked for their growth rate, immune responses and survival test against A. hydrophila. …”
Get full text

Tsewang Norbu NGB by Cantwell, C, Mayer, R

“…Abbreviations are marked, and can be checked against the "List of abbreviations used in the edition".…”