Experiences, perceptions and ethical considerations of the malaria infection study in Thailand by Naemiratch, B, Kulpijit, N, Ruangkajorn, S, Day, NPJ, Prachumsri, J, Cheah, PY

“…We found that although compensation was a motivation for participation, this was secondary to it being beneficial to self (health checks; link to health networks; building merit) and others (medical research contribution; altruism). …”

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

A comparative analysis of ENCODE and Cistrome in the context of TF binding signal by Perna, Stefano, Pinoli, Pietro, Ceri, Stefano, Wong, Limsoon

“…Moreover, the output format of the processing (BED narrowPeak) exposes a feature, the signalValue, which is seldom used in consistency checks, but can offer valuable insight on the quality of the data. …”
Get full text

kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models by Carretero Chavez, Willow, Krantz, Marcus, Klipp, Edda, Kufareva, Irina

“…The verification script VerifyModel.R checks for responsiveness to repeated stimulations as well as consistency of steady state behavior. …”
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

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles by Tang, Wenbing, Zhou, Yuan, Zhang, Tianwei, Liu, Yang, Liu, Jing, Ding, Zuohua

“…In detail, at any time instant, a robot checks the robots that it may collide with and retrieves the most dangerous robot in each sector based on the predicted collision time; then, the robot generates its velocity in real-time via fuzzy inference and VO-based fine-tuning. …”
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

Our weapons, our problem: arms exports, democracy and civil society in Brazil and the UK by de Moraes, RF

“…The causal mechanism is in part explained by activities conducted by norm entrepreneurs, whose emergence is facilitated by the existence of institutions commonly found in democratic countries, especially a system of checks and balances, contested elections, and political and civil liberties. …”

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. …”