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

AG Codes Achieve List Decoding Capacity over Constant-Sized Fields by Brakensiek, Joshua, Dhar, Manik, Gopi, Sivakanth, Zhang, Zihan

Get full text

Correction of errors in tandem mass spectrum extraction enhances phosphopeptide identification by Hao, Piliang, Ren, Yan, Sze, Siu Kwan, Tam, James P.

“…Comparison of the top three free extraction tools showed that only 54% of the identified spectra were identified consistently from all three tools, indicating that some errors might happen during spectrum extraction. Manual check of 258 spectra not identified from all three tools revealed 405 errors of spectrum extraction with 7.4% in selecting wrong precursor charge, 50.6% in selecting wrong precursor mass, and 42.1% in exporting MS/MS fragments. …”
Get full text
Get full text

Fully automated differential fault analysis on software implementations of block ciphers by Hou, Xiaolu, Breier, Jakub, Zhang, Fuyuan, Liu, Yang

“…Moreover, we present a method to check the countermeasure-protected implementations in a way that helps implementers to decide how many rounds should be protected. …”
Get full text

Filter selection for indoor-recirculating fan-coil unit respect to indoor-to-outdoor particle relationships and occupancy influences by Xu, Xiaoqian

“…Occupancy level was recorded on hourly basis, indoor-to-outdoor (I/O) ratio for both of static period and active period were compared by paired sample t-test to check whether the mean values for accumulated PM2.5 (bin1 to bin3) differs by the occupancy. …”
Get full text

Dynamic neuro-fuzzy systems for rainfall-runoff modelling by Nawaz, Nadeem

Get full text

The molecular determinants of Polycomb-mediated gene repression by Fursova, N

“…Instead, through systematic interrogation of how H2AK119ub1 is placed and kept in check in the genome, I discovered a remarkable degree of synergy between variant PRC1 complexes, which is central to deposition of H2AK119ub1, Polycomb chromatin domain formation and gene repression. …”

Monitoring and control of AC power distribution board through sound card-based SCADA system by Jabir, Muhammad

“…Also there is no remote monitoring system that can check the coming AC power status even of voltage and current. …”
Get full text

Lane-aware image enhancement for lane detection in rain (part B - communications) by Tian, Zichen

“…All the diagrams are drawn in vector graph format, so readers can zoom in to check the details.…”
Get full text

Investigation of gamma index parameters in patient specific quality assurance (PSQA) for radiotherapy treatment planning technique: retrosective study by Mukhtar, Siti Yuni Sara

“…The current method applied for the PSQA assessment in Hospital Universiti Sains Malaysia (HUSM) department is the ArcCHECK phantom based measurement using 3%/3mm gamma index (GI) analysis and currently, there is no standard procedure to perform the PSQA assessment. …”
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

Implementation of occupational safety and health management system in reducing ergonomic risk among certified and uncertified automotive industry workers by Ikpegbu, Mavis Amarachi

“…Data was collected by using a questionnaire survey, which was adopted from MSOSH and was integrated with the Nordic Questionnaire for MSD and the workers were also observed using the Quick Exposure Check (QEC) guidelines among 400 workers in both OSHMS certified and uncertified automotive industries located in Klang Valley, Malaysia. …”
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

Effect of consumers' awareness about country of origin on purchasing decision in Klang Valley, Malaysia by Taheri, Nasim

“…The accumulated information was examined with care to double check the accuracy using SPSS. The data collected was analysed using descriptive analysis, cross-tabulation analysis, factor analysis and multiple regression analysis. …”
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

Analysis and modelling of urban sprawl process and its spatiotemporal patterns in tripoli metropolitan area, Libya by Abdulhadi, Abubakr Albashir

“…Kappa statistic index of agreement technique was also used to check the validity of the CA– Markov chain model and the proposed hybrid models in terms of quantity and location. …”
Get full text