Center potential by Tan, Hu Soon

“…To ensure the safety and trustworthiness of tutors, this application incorporates a rigorous verification process, which includes background checks, identity verification, and qualification validation. …”
Get full text

Verifying Correctness of the Number Theoretic Transform and Fast Number Theoretic Transform in F⋆ by Ono, Rick R.

“…As engineers continue to develop more sophisticated algorithms to optimize cryptographic algorithms, their often simple mathematical specifications become convoluted in the algorithms, from which a class of correctness bugs arise. …”
Get full text

A Formal Framework for Modular Synchronous System Design by Marinescu, Maria-Cristina V, Rinard, Martin C

“…Our compiler automatically transforms modular and asynchronous specifications of circuits written in our specification language, into tightly coupled, fully synchronous implementations in synthesizable Verilog. …”
Get full text

Design of circular polarized micro-strip antenna by Shanmugam Bhaskar Vignesh

“…The antenna has fulfilled the design specifications suitable for applications of Wireless Power Transmission in the ISM band.…”
Get full text

Discovery of stabilized functional mutants of human aquaporin 1 by Soh, Miao Yi

“…. ~ 5% of mutants from a total of 2816 screened from thirty-three 96-well plates were identified after a series of initial and verification screens. In future, we hope to characterize these mutants for increased stability as they may be useful in structural studies, drug discovery in human cancers related to AQP1 overexpression as well as in biotechnological applications, such as water purification, in particular.…”
Get full text

Sure (EM)-Autometrics: An Automated Model Selection Procedure with Expectation Maximization Algorithm Estimation Method (S/O 14925) by Kamarudin, Nur Azulia

“…Three econometric models have been utilised as a testbed for true specification search. The results were divided into four categories where a tight significance level of 1% had contributed a high percentage of all equations in the model contain variables precisely comparable to the true specifications. …”
Get full text

Feasibility of Vector Instruction-Set Semantics Using Abstract Monads by De Belen, Arthur Reiner

“…Formalizations of instruction-set semantics help establish formal proofs of correctness of both hardware designed to implement these instruction sets and the software implemented against this specification. One such prior work1 formalizes a specification of a subset of the RISC-V instruction-set architecture using a general-purpose language, Haskell, using its monad and typeclass support to abstract over effects. …”
Get full text

Conformational design characterization of a truncated diamine oxidase by Razali, Nur Nadia

“…Surprisingly, the mini protein had also interacted with spermidine, a long side-chain ligand, which showed that its specificity towards different substrates had broadened up. …”
Get full text

3D game development cube-it : modular furniture and product design by Ng, Esther Xin Yi

“…While this report provides new ideas and prospects for the joining device, additional tests and verifications have to be done to ensure its actual effectiveness and practicality in the real world.…”
Get full text

A study of air molecular contamination (AMC) and volatile organic compounds (VOC) in new AMC/VOC controlled cleanroom by Wong, Chee Kong

“…The required VOC specifications of the new cleanroom were met based on test results from 1 to 4. …”
Get full text

Solublizing the insoluble by Ang, Grace Pei Ting

“…Biochemical and structural research on target proteins has often been hindered by the difficulties faced in protein purification as proteins are known to aggregate in unsuitable environments. …”
Get full text

Co-translational integration of the light harvesting complex II and its associated pigments into polymeric membranes by Zapf, Thomas

“…Centrifugal microfiltration in means of polymersome purification as well as the development of a novel silica nanoparticles based purification method are further presented in this work. …”
Get full text

Design and construction of a low cost compliant hand robot by Yu, Wei Shin., Choo, Fook Hoong.

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

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

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

A heuristic-based scheduling algorithm for high level synthesis of digital systems by Gulam Mohamed.

“…High level synthesis involves tasks that will transform an abstract or algorithmic level specification to a register transfer level structure while at the same time satisfying a set of constraints and achieving a set of goals. …”
Get full text

Rationale management tool for software engineering by Fwu, Stanislaus Benfa.

“…It is normally stored in the form of functional specification document or the design specification document. …”
Get full text

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

“…Those relationships were then modelled using a set of mathematical equations. The formal specifications (differential equations) equations form the basis of algorithm development, which preceded the development of a virtual community cohesion prediction simulator. …”
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