Engineering a surface to enhance endothelial cell adhesion towards creating a 'roll-up' blood vessel prosthesis by Chua, Hui Yee.

“…Firstly, cell adhesion on the modified surface of electrospun Polycaprolactone (PCL) fibers improved significantly, after verification using the centrifugation assisted cell adhesion assay. …”
Get full text

Longitudinal shear behaviour in composite slab with profiled steel decking by Ang, Yi Wen

“…In this project, in-depth analysis of longitudinal behaviour in composite slab and verification of the conservativeness of m-k method and Partial Interaction method will be shown. …”
Get full text

Exploring students' hypertext reading behaviour and social media use in their learning by Sharifah Maisharah Mohamed

“…The level of hypertext reading behaviour needs intervention, as seen by the rare occasions students evaluate information based on verification or refrain from being distracted. It is found that students in general frequently use social media for their schoolwork and that the more frequent their use, the more frequently they will conduct certain information literacy practices. …”
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. …”

Experimental characterization and modeling of the mechanical properties of Cu–Cu thermocompression bonds for three-dimensional integrated circuits by Made, Riko I., Thompson, Carl V., Gan, Chee Lip, Yan, Li Ling, Kor, Katherine Hwee Boon, Chia, Hong Ling, Pey, Kin Leong

“…The model allows calculation of the true contact area of rough surfaces, based on a creep-dominated plastic deformation. Verification of the model was provided through experiments on Cu–Cuthermocompressionbonds of electroplated Cu on diced silicon wafers with chemically/mechanically polished surfaces. …”
Get full text
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

Ground crash area estimation of quadrotor aircraft under propulsion failure by Mohd Hasrizam Che Man, Sivakumar, Anush Kumar, Hu, Haoliang, Low, Kin Huat

“…The experimental data for modeling and simulation verification of multirotor aircraft are limited. So far, crash trajectory prediction has been limited to point mass or ballistic methods, and these methods are usually only suitable for complete power failure and without any control system. …”
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

Predictive Modelling and Analysis of Process Parameters on Material Removal Characteristics in Abrasive Belt Grinding Process by Pandiyan, Vigneashwara, Caesarendra, Wahyu, Tjahjowidodo, Tegoeh, Praveen, Gunasekaran

“…Compared with the experimental results, the model accurately predicts the stock removal. With further verification of the empirical model, a better understanding of the grinding parameters involved in material removal, particularly the influence of the individual process variables and their interaction, can be obtained.…”
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

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

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

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

Report for project A1017-101on hybrid solar PV thermal (PVT) system using a tracking solar trough I by Cheung, Wai Kin.

“…With the knowledge gained from the literature review on the possible heat effects on the cell, and understanding that converging heat on the focal area of the trough is and inevitable by-product, the project implemented a cooling system to mitigate this factor. A simple verification study on the effects of heat on the cell output was therefore performed in conjunction with an investigation on the possibility of harnessing of warm water from the output of the cooling system for domestic purposes to maximise the potential of the application. …”
Get full text

Open-Water Disposal of Barged Sediments by Adams, E. Eric, Er, Jenn Wei, Law, Adrian Wing-Keung, Zhao, Bing

Get full text
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. …”

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