A microfluidic platform to study pathogen-host interactions at single cell level by Zhang, Rui

“…On-chip quantitative PCR was carried out with species-specific primer and probe sets to quantify the adhered bacteria. …”
Get full text

Design of passive SIW based mmWave devices for a six-port receiver-based sensor for automotive radar applications by Lui, Jin Jiang

“…This final year project contains designs and specifications based on the application of Substrate Integrated Waveguide (SIW) technology. …”
Get full text

Rejection of pharmaceuticals by forward osmosis membranes by Jin, Xue, Shan, Junhong, Wang, Can, Wei, Jing, Tang, Chuyang Y.

“…These results can be important for FO membrane synthesis, modification and their application in water purification.…”
Get full text
Get full text

Synthesis and application of titanium dioxide nanotube and composites by Liang, Kun

“…The second application is on photocatalysis for water purification. Various TiO2 nanotube and TiO2-carbon composite with 3D structures (TiO2 nanotube– CNT, 3D Graphite – TiO2 coating and CNT – TiO2 coating) were fabricated and tested for their photocatalytic properties in water purification. …”
Get full text

Polyphenoloxidase from guava (Psidium guajava L.) by Augustin, M.A., Ghazali, Hasanah M., Hashim, Hasimah

“…Polyphenoloxidase (PPO) was isolated from guava (Psidium guajava L., cv. Kampuchea). Purification by acetone precipitation and dialysis of the Amicon concentrate resulted in 4.9‐fold and 17.2‐fold purification of the dialysed crude extract respectively. …”

Agent-Based Model of Virtual Community Cohesion (S/O: 13443) by Yusop, Nor Iadah, Mat Aji, Zahurin, Ab. Aziz, Azizi, Md Dahalin, Zulkhairi

“…Moreover, this model has been evaluated using mathematical analysis (whereby theoretical analysis and value substitution analysis are performed) and automated logical verification (internal validation based on selected previous empirical study. …”
Get full text

Facial spoofing indicator using deep learning by Lim, Eugen Wei Jie

“…Out of all the biometric verification, facial biometric verification is the most common. …”
Get full text

Reactive synthesis of dominant strategies by Aminof, B, De Giacomo, G, Rubin, S

“…We study the synthesis under environment specifications problem for LTL/LTLf which, in particular, generalizes FOND (strong) planning with these temporal goals. …”

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

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

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq by Gross, Jason, Erbsen, Andres, Philipoom, Jade, Agrawal, Rajashree, Chlipala, Adam

“…The resulting extracted command-line compiler is about 1000× faster while featuring simpler compiler-specific proofs. This work lays some foundation for scaling verification efforts and contributes to the broader goal of developing a proof engine with good asymptotic performance, ultimately aimed at enabling the verification of larger and more complex systems.…”
Get full text

Establishment of optimise strategies in production of recombinant Hepatitis B surface antigen for chip-based antibody detection approach by Tam, Yew Joon

“…In this, the HBsAg protein plays a vital role as the basic component for anti-HBs detection assays due to its high reactivity and specificity. As such, the present thesis focuses on assessing and optimising key areas related to the downstream processing conditions specifically in the production of HBsAg from recombinant Pichia pastoris and in the establishment of chip-based anti-HBs detection prototype. …”
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

Age group classification via face images by Lee, Lai Soon.

“…The comparison was based on the accuracy of verifications and the time taken for each simulation. …”
Get full text

Design of a low-voltage low-power WiMAX low noise amplifier by Zeng, Wei

“…CMOS 0.18m CSM technology was used for the proposed design and WiMAX specifications are met satisfactorily.…”
Get full text

Particles in a box: Novel design and evaluation of an adaptable engineering control enclosure for a common split tube furnace to eliminate occupational exposure to refractory ceram... by Janković, Nina Z., Leong, Wei Lee, Ryan, Andrew I., Tantawi, Omar N., Smith, Brian S., Plat, Desiree L.

“…Technical drawings and specifications of the split tube furnace enclosure design are available for ready recreation and implementation, in light industry or laboratory settings, thereby providing low-cost modification to protect the health of workers and researchers.…”
Get full text

Structure and subunit arrangement of Mycobacterial F1FO ATP synthase and novel features of the unique mycobacterial subunit δ by Kamariah, Neelagandan, Huber, Roland G., Nartey, Wilson, Bhushan, Shashi, Bond, Peter J., Grüber, Gerhard

“…Expression and purification of the fused mycobacterial b-δ24-446 construct, excluding the membrane-embedded N-terminal amino acids, provided insight into its secondary structure. …”
Get full text

Optimised “green solvent” extraction of long-chain menaquinones (Vitamin K2) from wet Lactococcus lactis biomass by Lee, Sze Ying, Hu, Xiao, Stuckey, David C.

Get full text

Fisher vector faces in the wild by Simonyan, K, Parkhi, O, Vedaldi, A, Zisserman, A

“…Several recent papers on automatic face verification have significantly raised the performance bar by developing novel, specialised representations that outperform standard features such as SIFT for this problem. …”

Enhancing Protein Crystal Nucleation Using In Situ Templating on Bioconjugate-Functionalized Nanoparticles and Machine Learning by McCue, Caroline, Girard, Henri-Louis, Varanasi, Kripa K.

“…Although protein crystallization offers a promising alternative to chromatography for lower-cost protein purification, slow nucleation kinetics and high protein concentration requirements are major barriers for using crystallization as a viable strategy in downstream protein purification. …”
Get full text