Hybrid biometric authentication for automatic teller machine by Arokiasamy, Steven R., Tomal, Md Raihanul Islam, Moorthy, Kohbalan, Mohd Daud, Kauthar

“…By integrating biometric strategies with ATMs for single verification, we aim to reduce the risks associated with PIN-based authentication and improve overall security. …”
Get full text

Development of a carbon fiber/polyamide 12 composite via selective laser sintering by Oh, Chan Yong

“…When 3D printing was first introduced, it was only used for design prototyping and parts verification. Its technologies have evolved over the decades and 3D printing now meets the demand for production of end-use parts in almost all industrial sectors. …”
Get full text

Housing price prediction using convolutional transformer by Ma, Weilun

“…The final 20% of the validation set data, covering the period from 2009 to 2010, is employed for verification and the computation of house price prediction errors. …”
Get full text

Intelligent type 2 diabetes modelling by Quah, Jerome En Zhe.

“…The system design is in its initial stages of testing and verification. A better understanding on the dynamics of T2DM is also needed to improve the system. …”
Get full text

Security protocol design against malicious attacks in neighborhood area network in smart grid by Li, Xiaochen

“…All of my analysis, comparison and verification are based on simulator named Process Analysis Toolkit (PAT) as well as the logical derivation using BAN Logic.…”
Get full text

Mobile visual product search by Heng, Yann Wu

“…Other than that, Geometric Verification was used to compare the accuracy and time taken to process all the images in the database. …”
Get full text

Climate change and Singapore by Lee, Kay Li

“…A general research was performed to gain an overall understanding of the undertaking before raising research questions and propositions relevant to the issues of each work package for verification. Findings and results revealed that the NSR will not threaten Singapore’s position as a maritime hub. …”
Get full text
Get full text

Indoor Tracking With the Generalized t-Distribution Noise Model by Yin, Le, Liu, Shuo, Ho, Weng Khuen, Ling, Keck Voon

“…An equation to compute the variance of the estimation error is also derived in this paper. For verification, 200 tracking experiments were conducted. …”
Get full text
Get full text

Financial option insurance by Wang, Qi-Wen, Shu, Jian-Jun

“…It consists of two portions: the business strategy of matching and a verification-and-modification process. The proposed model enables the option investors with calls and puts of different moneyness to be protected by the issued option insurance. …”
Get full text
Get full text

An Efficient EAP-Based Pre-Authentication for Inter-WRAN Handover in TV White Space by Wang, Cong, Ma, Maode, Zhang, Lei

“…Through logic derivation by Burrows, Abadi, and Needham logic and formal verification by automated validation of Internet security protocols and applications, we conclude that the proposed EPW scheme can obtain mutual authentication and maintain key secrecy with a high resistance to attack. …”
Get full text
Get full text

Optimizing material selection for brushed DC motor components using the VIKOR method: A comprehensive performance evaluation by Muhammad Nor Azril, Zulkafli, Mohd Azri Hizami, Rasid, Daing Mohamad Nafiz, Daing Idris

“…The proposed combinations were evaluated using a validated lumped parameter thermal network (LPTN) model, with further verification through finite element (FE) magnetic torque analysis and cost assessments. …”
Get full text

Location identification of line supports using experimental modal analysis by Wu, Lei, Yang, Yaowen, Maheshwari, Muneesh

“…In the experimental verification, fiber Bragg grating (FBG) sensors were employed to measure the dynamic responses of a scaled multi-span rectangular plate structure subjected to hammer impact. …”
Get full text

Decoupling analysis of brushless dual-mechanical-port dual-electrical-port machines by Cao, Libing, Zhou, You, Yang, Guanghui, He, Yaojie, Xie, Shuangchun, Lee, Christopher Ho Tin

“…With the aid of finite-element analysis (FEA), the coupling degree of BLDD machines with various slot-pole combinations has been analyzed for verification. Other performances, such as torque density and PM utilization, are also compared among the five types of BLDD machines to provide a more comprehensive view of their characteristics. …”
Get full text

Modeling the clustering strength of connected autonomous vehicles and its impact on mixed traffic capacity by Zhao, Peilin, Wong, Yiik Diew, Zhu, Feng

“…This study then moves on to formulate the capacity of mixed traffic, taking into account CAV penetration rate, API, and stochastic headway. Numerical verification of the estimated mixed traffic capacity reveals a negligible error (less than 1%) compared to simulated capacity. …”
Get full text

Probability-Based Design of Reinforced Rock Slopes Using Coupled FORM and Monte Carlo Methods by Low, Bak K., Boon, Chia W.

“…In the case of the reinforced pentahedral block, direct MCS shows that there is only one dominant failure mode, for which the efficient method of importance sampling at the FORM design point provides fast verification of the revised design. In the case of the reinforced tetrahedral block, there are multiple failure modes contributing to the total failure probability, for which the proposed MCS-enhanced FORM procedure is demonstrated to be essential. …”
Get full text

Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

“…To turn this observation into an effective verification methodology, we developed the Logic for Graceful Tensor Manipulation (LGTM), a new Hoare-style relational separation logic for specifying and verifying computations over structured data. …”
Get full text

Parameter Estimation of Multiple Frequency-Hopping Signals with Two Sensors by Zuo, Le, Pan, Jin, Ma, Boyuan

“…The Cramer-Rao lower bound is derived for understanding the estimation accuracy and performance comparison. The verification of the proposed method is demonstrated with simulations.…”
Get full text
Get full text

Communication challenges in private finance initiative projects at facilities management stage by Kipli, Kumalasari, Sidek, Norazizah, Mustapa, Fara Diva, Syed Jamaluddin, Shariffah Zatil Hidayah, Zaini, Favilla

“…To ensure smooth communication when conveying information during the operational and maintenance, the following item suggested being done by the respondents; verification from the end-user, conducting a technical meeting, following the procedure in executing works, and having a good relationship between both parties. …”
Get full text

Looting the LUTs : FPGA optimization of AES and AES-like ciphers for authenticated encryption by Khairallah, Mustafa, Chattopadhyay, Anupam, Peyrin, Thomas

“…We consider the encryption/decryption and the authentication/verification structures of OCB-like modes (like OTR or SCT modes). …”
Get full text

Design and development for a mobile-based Co-housing application for MSc students transition by Luo, Chongwei

“…Furthermore, extra procedures have been explored to protect the system's safety and security, such as content and text control; monitoring and filtering data, such as roommate profiles and messages. User verification is also implemented to ensure users are legitimate users. …”
Get full text