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

Peripheral Nervous System Modulation with Wireless Cellular Sized Freestanding Injectable Devices by Patel, Preet

“…Optogenetics can address these issues but fundamentally requires genetic modifications which makes it difficult to implement in-vivo and has issues of muscle atrophy and toxicity specifically in the Peripheral Nervous System (PNS). …”
Get full text

Optimizing Cas9-mediated HDR in HEK293 by Lee, Cheryl

“…With its programmable guide RNA sequence for specific gene targeting, it allows for precise genome editing including substitutions, knock-outs, and knock-ins. …”
Get full text

Development of a light aircraft model for the NTU flight simulator by Lee, Kok Vui.

“…In order to validate the accuracy of the modifications, simulation flights were conducted and relevant data was extracted for comparison with theoretical values. …”
Get full text

Stability of peptide nucleic acid influenced by peptoid-like sidechains : MD simulation study. by Yeo, Sven Hwea Jie.

“…In this report, MD simulations of decamer heteroduplexes involving modified PNA were performed under periodic boundary conditions. Modifications are based on a recent work of Prof Liu’s lab, involving γ-N modification of PNA aeg backbone with amino-peptoid sidechain (APS) experimentally shown to retain its hybridisation affinity with DNA/RNA. …”
Get full text

First-in-man study of the PSMA Minibody IR800-IAB2M for molecularly targeted intraoperative fluorescence guidance during radical prostatectomy by Hamdy, FC, Lamb, AD, Tullis, IDC, Verrill, C, Rombach, I, Rao, SR, Colling, R, Barber, PR, Volpi, D, Barbera-Martin, L, Lopez, JF, Omer, A, Hewitt, A, Lovell, S, Niederer, J, Lambert, A, Snoeck, J, Thomson, C, Leslie, T, Bryant, RJ, Mascioni, A, Jia, F, Torgov, M, Wilson, I, Gudas, J, Wu, AM, Olafsen, T, Vojnovic, B

“…Histopathological evaluation of intraoperative and postoperative microscopic fluorescence imaging was undertaken for verification. <p><strong> Results</strong></p> Twenty-three patients were evaluated to optimise both the dose of the reagent and the interval between injection and surgery and secure the best possible specificity of fluorescence images. …”

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

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

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

The role of bacteriophages in an aerobic biogranulation system by A R Balamurugan

“…However, it was found that the original protocol, which involves heat treatment, was not suitable for the studying of the phage community in our systems. Therefore modifications will be made to the protocol in future studies to exclude this treatment. …”
Get full text

Development of an engine control module and dashboard display based on electric vehicle system by Low, Alex Boon Hwee

“…Along the design process, numerous changes have been made to incorporate new features such as conversion to a 4 seater sedan, inclusion of battery packs, wireless charging features and such. With the modifications involved, the original S2000 on board systems have to be revised and changed as accordingly. …”
Get full text

Effects of engine oil additives on engine performance and temperature by Law, Zheng Yi

“…How to get the engine efficiency as good as the new one without doing any hardware modifications? The answer is engine oil. Therefore, this project is to study the effects of different engine oils and engine oil additives on the fuel consumption rate and the engine temperature of the diesel engine, Perkins 103-10. …”
Get full text

Adaptive average arterial pressure control by multi-agent on-policy reinforcement learning by Hong, X, Ayadi, W, Alattas, KA, Mohammadzadeh, A, Salimi, M, Zhang, C

“…This approach enhances the adaptability of the controller by allowing for dynamic modifications to dosage and blood pressure control parameters. …”

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