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

16.358J / ESD.358J System Safety, Spring 2003 by Leveson, Nancy

“…Topics include: the nature of risk, formal accident and human error models, causes of accidents, fundamental concepts of system safety engineering, system and software hazard analysis, designing for safety, fault tolerance, safety issues in the design of human-machine interaction, verification of safety, creating a safety culture, and management of safety-critical projects. …”
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

16.358J / 16.863J System Safety, Spring 2005 by Leveson, Nancy

“…Topics covered include: the nature of risk, formal accident and human error models, causes of accidents, fundamental concepts of system safety engineering, system and software hazard analysis, designing for safety, fault tolerance, safety issues in the design of human-machine interaction, verification of safety, creating a safety culture, and management of safety-critical projects. …”
Get full text

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

Security enhancement of the communication-efficient AUTHMAC_DH protocols by Lv, Chao, Ma, Maode, Li, Hui, Ma, Jianfeng, Niu, Ben

“…Security analysis and formal verification by using AVISPA toolkit show that the proposed protocol can keep all the previous properties and is secure against the off-line guessing attack.…”
Get full text
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

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

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

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

Stability analysis of unsteady flow and heat transfer of rear stagnation point in hybrid nanofluids with thermal radiation and magnetic impact by Nurul Amira, Zainal, Iskandar, Waini, Najiyah Safwa, Khashi’ie, Khairum, Hamzah, Sayed Kushairi, Sayed Nordin, Abdul Rahman, Mohd Kasim, Roslinda, Mohd Nazar, Pop, Ioan Mihai

“…It is important to note that verification results show excellent concordance with pre-existing reports.…”
Get full text

Electrochemical impedance analysis of thermogalvanic cells by Yang, Peihua, Fan, Hong Jin

“…We first propose the detailed impedance model followed experimental verification on three types of electrode materials. Parameters including kinetic rate constants and ion diffusion coefficients for the electrodes are obtained by fitting the impedance data. …”
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

Programming language implementations with multiparty session types by Yoshida, N

“…We also survey MPST implementations with dynamic (runtime) verification which target active object programming languages.…”

A proposed framework of job resources influencing work engagement towards academics of public universities in Beijing and Shanghai in China by Sun, Mengmeng, Kanjanapathy, Malini, Mohamed Saat, Maisarah

“…Over the past, work engagement underwent a rigorous verification process in different occupational background. …”
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

Analysis of solution stability in Al2 O3-Cu/H2O over a stretching/shrinking wedge by Nurul Amira, Zainal, Khashi’ie, Najiyah Safwa, Waini, Iskandar, Khairum, Hamzah, Sayed Kushairi, Sayed Nordin, Abdul Rahman, Mohd Kasim, Roslinda, Mohd Nazar, Pop, Ioan Mihai

“…It is important to note that verification results show excellent concordance with pre-existing reports.…”
Get full text

Metacognitive strategy in solving mathematics problems, learning approach and mathematics achievement of students from a junior college by Lo, Chee Lin.

“…Orientation, Organisation, Execution and Verification Strategies, and learning approaches, i.e. …”
Get full text

Wavefront subaperture stitching with Shack-Hartmann sensor by Li, Hongru, Feng, Guoying, Sun, Jianfei, Bourgade, Thomas, Zhou, Shouhuan, Asundi, Anand

“…Both theoretical principle and experimental verification are provided in this paper. A comparison between the present global optimization stitching scheme with the conventional sequential stitching method highlights the benefits of the new system. …”
Get full text
Get full text