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

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

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

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