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

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

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

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

Medical informatics in medical research - the Severe Malaria in African Children (SMAC) Network's experience by Olola, CHO, Missinou, MA, Issifou, S, Anane-Sarpong, E, Abubakar, I, Gandi, JN, Chagomerana, M, Pinder, M, Agbenyega, T, Kremsner, PG, Newton, CRJC, Wypij, D, Taylor, TE

“…After prototyping, relational database management systems were implemented for data entry and verification, data submission and quality assurance monitoring.…”

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

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

Authentication and key agreement based on three factors and PUF for UAVs-assisted post-disaster emergency communication by Wang, Di, Cao, Yue, Lam, Kwok-Yan, Hu, Yulin, Kaiwartya Omprakash

“…We then provide a formal security proof under the Real-Or-Random (ROR) model and formal security verification by AVISPA. This is followed by a security analysis to show that AKAEC meets the security goals defined for emergency situations. …”
Get full text

Design of recursive digital filters using frequency-response masking technique by Liu, Qinglai

“…For a given magnitude response specification and a given number of pipeline stages in the feedback loop, our two-stage FRM approach requires fewer multipliers than the one-stage FRM approach if the number of pipeline stages is larger than four. …”
Get full text

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

“…By automated assembly analysis, we were able to find new efficient DFA attacks on SPECK and PRIDE, exploiting implementation specific vulnerabilities, and previously published DFA on SIMON and AES. …”
Get full text

Post-fire behaviour and resistances of S690 high strength steel welded I-section stub columns by Su, Andi, Jiang, Ke, Liang, Yating, Zhao, Ou

“…Given that there are currently no available design standards for high strength steel structures after exposure to elevated temperatures, the relevant ambient temperature design rules, as set out in the European code, American specification and Australian standard, were assessed, using post-fire material properties, for their applicability to S690 high strength steel welded I-section stub columns after exposure to elevated temperatures up to 950 °C. …”
Get full text

Artificial intelligence in optical lens design by Yow, Ai Ping, Wong, Damon, Zhang, Yueqian, Menke, Christoph, Wolleschensky, Ralf, Török, Peter

“…Starting-point design selection has always been the major hurdle for most optical design problem, and different designers might produce different final lens designs even if using the same initial specification. Lens designers typically choose designs from existing lens databases, analyse relevant lens structures, or explore patent literature and technical publications. …”
Get full text

Metamaterial inspired re-configurable monopole antenna for RF energy harvesting by Jagadeesan Aswin Babu

“…The goal is to design an antenna for energy harvesting, which requires omnidirectional radiation pattern, and should be functional at wideband/multiband. Hence to be specific the objective is to design, fabricate and test frequency reconfigurable widebandAnultiband antenna. …”
Get full text

Modeling and technique to improve PSRR and PS-IMD in analog PWM class-D amplifiers by Ge, Tong, Chang, Joseph Sylvester

“…The model and analyses provide practical insight to the mechanisms of PSRR and PS-IMD, and how various parameters may be varied to meet a given specification.…”
Get full text
Get full text

Grid integration and coordinated control of voltage source inverters with energy storage systems by Qi, Yang

“…Finally, simulation and experimental results are provided for verification. In addition to the reactive power sharing, the unbalanced power introduced by negative-sequence load currents should also be accurately shared among DESSs based on the power ratings of VSIs. …”
Get full text

Intellectual property authentication by watermarking scan chain in design-for-testability flow by Cui, Aijiao, Chang, Chip Hong

“…The advantage of this scheme is the ownership legitimacy can be publicly authenticated on-site by IP buyers after the chip has been packaged by loading a specific verification code into the scan chain. …”
Get full text
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