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

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

Determining the location of localized defect in the perpendicular junction configuration with the use of electron beam induced current by Phua, Poh Chin., Ong, Vincent K. S.

“…An electron beam with an extended generation profile was used in a two-dimensional (2-D) device simulator, for the verification of the theory.…”
Get full text
Get full text

Security challenges in automotive hardware/software architecture design by Sagstetter, Florian, Lukasiewycz, Martin, Steinhorst, Sebastian, Wolf, Marko, Bouard, Alexandre, Peyrin, Thomas, Poschmann, Axel, Chakraborty, Samarjit, Harris, William R., Jha, Somesh.

“…Finally, we discuss future automotive architectures based on Ethernet/IP and how formal verification methods might be used to increase their security.…”
Get full text
Get full text

The potential of eight plasma proteins as biomarkers in redefining leptospirosis diagnosis by Fish-Low, Cheng-Yee, Than, Leslie Thian Lung, Ling, King-Hwa, Sekawi, Zamberi

“…Following a study on a verification cohort, a panel of eight plasma protein biomarkers was identified for potential leptospirosis diagnosis: CRP, LRG1, LBP, MYH9, PPBP, PF4, SAA1, and THBS1. …”

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

Vascular tissue engineering: investigation of endothelial cell function by Heng, Jolyn Xiuhui

“…Hence, NaOH treated surfaces are promising modification to enhance surface topology for EC functions.…”
Get full text

Multivariate adaptive regression splines model for reliability assessment of serviceability limit state of twin caverns by Zhang, Wengang, Goh, Anthony Teck Chee

“…Construction of a new cavern close to an existing cavern will result in a modification of the state of stresses in a zone around the existing cavern as interaction between the twin caverns takes place. …”
Get full text
Get full text
Get full text

Opinion spreading and evolution in complex social networks: a simulation study by Wu, Yujie

“…The study focuses on an innovative modification to traditional models, introducing the concept of interaction capacity. …”
Get full text

Analysis of wettability effects on thermal performance of vapor chamber with a hybrid lattice Boltzmann method by Ji, Ruiyang, Qin, Siyu, Liu, Yijia, Jin, Liwen, Yang, Chun, Meng, Xiangzhao

“…For condensation surface modification, the hydrophilic condensation surface is preferred for the faster thermal response. …”
Get full text

Multi jet fusion of ZnO nanorod-reinforced PA12 nanocomposites by Seah, Ying Ting

“…Results demonstrate successful synthesis and modification of ZnO nanorods, improved flowability in composite powders, and enhanced mechanical properties at optimal filler loading levels. …”
Get full text

A human atlas of DNA methylation and hydroxymethylation by Inoue, M

“…<p>5-methylcytosine (5mC) and 5-hydroxymethylcytosine (5hmC) are fundamental and distinct DNA modifications for gene regulation. To fully understand tissue-specific epigenetic mechanisms, a comprehensive human tissue atlas of these modifications is indispensable. …”

Assessment of the biological durability of oil palm trunk modified with 1,3-dimethylol-4,5-dihydroxy-ethyleneurea (DMDHEU) following subsequent curing at elevated temperatures by Rosli, Siti Nurul Ashikin, Chin, Kit Ling, Lee, Chuan Li, Maminski, Mariusz, Abdullah, Luqman Chuah, Toczylowska-Maminska, Renata

“…As a non-biocidal wood modification, homogeneous dispersion of DMDHEU with adequate concentration and curing temperature is important to fully prevent OPT degradation by wood-destroying fungi and termites. …”
Get full text

Mechanical and microstructural characteristics of high-strength self-compacting concrete (HSSCC) with optimal silica fume and fly ash cement replacement by Aliyu Azare, Ahmed, Mohd Haziman, Wan Ibrahim, Faisal Alshalif, Alshalif, Putra Jaya, Ramadhansyah, Nindyawati, Nindyawati

“…These aspects entailed fresh properties’ verification, slump flow, T500, J-ring, segregation resistance, and compressive strength on newly incorporated properties. …”
Get full text

A Verified Compiler for a Functional Tensor Language by Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

“…We present a formal correctness proof for an implementation of the compilation algorithm, marking the first verification of a lowering algorithm targeting imperative loop nests from a source functional language that enables separate control of compute and storage ordering. …”
Get full text

CMOS image sensor based physical unclonable function for smart phone security applications by Cao, Yuan, Zalivaka, Siarhei S., Zhang, Le, Chang, Chip-Hong, Chen, Shoushun

“…Existing anti-counterfeiting, authentification and identification methods, which rely on the verification of the IDs stored in the phone memory, are vulnerable to attack. …”
Get full text
Get full text
Get full text

Efficiency analysis for active rectifier in more electric aircraft (MEA) generator by Lim, Sin Guang

“…Various hardware will be configured to incorporate it into the lab prototype for future experimental verification. The objectives of this project are to investigate the power losses of the semiconductors in various topologies and identify the semiconductor and topology that will bring the maximum efficiency of the rectifier.…”
Get full text

Development of a 3D vehicle driving simulator (cross platform simulation of CAV) by Feng, Zhen

“…A significant amount of recent research has been on extending software testing approaches to automated systems with massive quantities of inputs, such as defect identification or model verification of the fundamental decision algorithm. Though this can give some runtime guarantees for the software's resilience, it provides little or no information on how the automated system will function throughout mission execution. …”
Get full text

Load-carrying capacity of ultra-thin shells with and without CNTs reinforcement by Nguyen, Tan N., Dang, L. Minh, Lee, Jaehong, Nguyen, Pho Van

“…Accordingly, the present formulation can be applied adaptively and naturally to various types of FG-CNTRC structures: plates, shells and membranes. A verification study is conducted to show the high accuracy of the present approach and formulation. …”
Get full text

ASIC implementation of a high speed and low power scalar product computation unit by Low, Jeremy Yung Shern.

“…This report discusses the entire application-specific integrated circuit implementation process, from RTL coding and functional simulations of the proposed architecture to synthesis and timing verification of the design, and finally the placement and routing of the synthesized design. …”
Get full text