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

Three essays on frictions of trade by Li, W

“…The analysis is based on an adapted gravity model with several alternative specifications for robustness checks. The result suggests that improvements on the road network lead to trade expansion on both intensive and extensive margins, but the effects vary across the regions. …”

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

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