IDE: A System for Iterative Mislabel Detection by Deng, Yuhao, Deng, Qiyan, Chai, Chengliang, Cao, Lei, Tang, Nan, Fan, Ju, Wang, Jiayi, Yuan, Ye, Wang, Guoren

Get full text

Automatic generation of optimal reductions of distributions by Masopust, Tomáš, Su, Rong, Lin, Liyong, Wonham, W. Murray

“…The notion of reduction of distributions has previously been proposed to improve the complexity of decomposability verification. In this work, we address the problem of generating (optimal) reductions of distributions automatically. …”
Get full text
Get full text
Get full text

Doppelgänger spotting in biomedical gene expression data by Wang, Li Rong, Choy, Xin Yun, Goh, Wilson Wen Bin

“…We suggest doppelgänger verification as a useful procedure to establish baselines for model evaluation that may inform on whether feature selection and ML on the data set may yield meaningful insights.…”
Get full text

Towards explainable and semantically coherent claim extraction for an automated fact-checker by Yoswara, Jocelyn Valencia

“…The GPT-4 model outperforms the baseline model, achieving a 94% accuracy in claim verification. However, the baseline model provides more comprehensive insights into the coverage of the entire dataset, and it is also found that the evidence retrieval process significantly affects the model's accuracy and coverage of claim verification tasks. …”
Get full text

Heuristic approach to understanding sexual symbolism in advertising. by Goh, Wee Ni., Han, Li Ann., Yeo, Nancy Mei Ling.

“…This research has as its objective the verification that phallic symbolism in advertisements does appeal to consumers on a subconscious level if, and only if, the setting of the advertisement is an appropriate, romantic setting. …”
Get full text

Studies of wafer level electromigration test for ULSI by Sum, Heng Keong.

“…Microelectronic test structures are used for wide variety of tasks which include equipment characterizations, reliability evaluations, defect monitoring, transistor parameter extraction and process verification and development. Similarly, test structures are used in electromigration evaluation. …”
Get full text

Investigation and studies on the design of reinforced concrete composite structures by Chiew, Sing Ping.

“…Part A of the report touches on the general aspects of finite element modeling and analysis, and experimental comparison and verification of important structural elements such as concrete-filled composite columns. …”
Get full text

Center potential by Tan, Hu Soon

“…To ensure the safety and trustworthiness of tutors, this application incorporates a rigorous verification process, which includes background checks, identity verification, and qualification validation. …”
Get full text

A statistical characteristics preserving watermarking scheme for time series databases by Yu, Yelu, Ma, Zehua, Zhang, Jie, Fang, Han, Zhang, Weiming, Yu, Nenghai

“…Then, the verification mechanism is performed to validate the generated data until it conveys the target watermark message. …”
Get full text

Optical triangular profilometry : studies of calibration and fringe pattern processing by Zhou, Wensen.

“…Both an analytical analysis followed by experimental verification are provided. Further two optical systems are developed for novel 3-D measurement.…”
Get full text

Design and implementation of a synthesizable test-bench for testing the LDPC decoder IP by Yang, Shi

“…The simulation environment is mainly used for preliminary and functional checks, and the emulation environment is chosen for further verification due to its much higher run speed compared to simulation.…”
Get full text

Development and design optimisation of digital intensity measurement system for shot peening by Tarani, Dinesh Kumar

“…In this study, the exploration of intensity verification using a force sensor aims to identify a process that is not only convenient but also affordable to acquire and applicable within a production line. …”
Get full text

Counter-checking uncertainty calculations in Bayesian operational modal analysis with EM techniques by Ma, Xinda, Au, Siu-Kui

“…In the absence of analytical or numerically ‘exact’ result for benchmarking, computer code verification during development stage is also non-trivial. …”
Get full text

Tooling cost estimation model for injection molding by Tran, Duc Vi, Wang, Lan, Zhu, ZhiQiang, Padmanaban Ranganathan

“…In addition, two case studies in which data come from the current injection molding toolmaker in Singapore have been applied as model verification.…”
Get full text

Implementation of a radar prototype on an unmanned arial vehicle by Liu, Jiaqing

“…In the part of system integration, it further covers aspects like RF testing and measurement for different parts of the system, verification of choice of components, power budget and payload distribution for UAV. …”
Get full text

Specification mining for digital circuits by Lim, Zhi Xian

“…During the verification of a hardware system, one of the most important steps is formal specification which is used to describe a system and to analyze its behaviors. …”
Get full text

Computation fluid dynamics on drag reduction II by Zang, Bin

“…Lastly, the grid size and RANS models are subjected to further verification to ensure the observations and calculations are indeed trustworthy and relatively accurate by studying skin friction coefficient and comparing to empirical formula; also by simulating more complex dimpled flow with different Reynolds number regimes. …”
Get full text

Artistic rendering of image by He, Ji.

“…The produced results of image modification are satisfactory in terms of functionality realized. …”
Get full text

Mechanistic insights into the HPF1/PARP1 complex by Zobel, FFH

“…<p>ADP-ribosylation is a vital post-translational modification associated with a large range of processes including DNA damage repair, transcription, replication, mitosis, inflammation and cell death. …”

Big data analytics and automation in post-silicon by Wang, Yifei

“…This paper presents the authors’ knowledge of silicon post-processing during their internship at MediaTek and the verification of how to solve the problems of high manual mechanical workload, low efficiency, and high error rate in this field. …”
Get full text