Design and analysis of multiple degree-of-freedom electrical machines with helical motion by He, Yaojie

“…Finally, a prototype has been manufactured for verification in practical scenario.…”
Get full text

Automatic program repair and synthesis using genetic programming by Lee, Yue Yu

“…When bugs in a program are identified by a debugger or a program verifier, the developer of the program would have to manually interpret the bugs, refine the program, and perform verification for the fix until the program is bug free. …”
Get full text

Identification of alternative-splicing events in human monocyte differentiation by Sim, Donald Yuhui

“…The data obtained from RNA-seq still required verification through traditional methods, such as RT-PCR. …”
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.…”

Sepiolite/PVDF nanocomposite films for Ionic polymer metal composites actuators by Koh, Faith Jun Ning

“…The modification of SEP is carried out using ionic liquid and Li+, which helps to increase the compatibility of the SEP with the PVDF matrix. …”
Get full text

Recognition of human actions by Xiao, Xu

“…Hu Moments approach was carried out for each body part and recognition was realized by combining effect of the 4 body parts. Although the modification improved the recognition performance, however, the increasing computational complexity and some subjective operations were not desired for the recognition. …”
Get full text

Testing platform for autonomous ground robot by Yong, We Seen.

“…This report document the modification process of Complex Programming Logic Device (CPLD) embedded wheeled robot for the EE3072 Project, Module P313 Semicustom IC Implementation. …”
Get full text

16.358J / 16.863J System Safety, Spring 2005 by Leveson, Nancy

“…Topics covered include: the nature of risk, formal accident and human error models, causes of accidents, fundamental concepts of system safety engineering, system and software hazard analysis, designing for safety, fault tolerance, safety issues in the design of human-machine interaction, verification of safety, creating a safety culture, and management of safety-critical projects. …”
Get full text

Game theoretical security detection strategy for networked systems by Wu, Hao, Wang, Wei, Wen, Changyun, Li, Zhengguo

“…Finally, a sampling based Nash equilibrium verification and calculation approach is proposed for the game model with continuous kernels. …”
Get full text

DDA based grouting prediction and linkage between fracture aperture distribution and grouting characteristics by Xiao, Fei, Shang, Junlong, Zhao, Zhiye

“…The observed agreement can be treated as an indirect verification of the robustness of our proposed grouting module. …”
Get full text

Protecting FPGA design with elliptic curve cryptography by Wei, Wei

“…This report discusses the complete FPGA design process, including architectural design, scheduling, Verilog coding, simulation and on-board verification.…”
Get full text

Investigation and enhancement of viola jones face detection algorithm performance using contrast-limited adaptive histogram equalization by Mulyadi, Erina

“…Face detection is the first and the most important steps to the entire face analysis algorithms, including face alignment, face relighting, face modeling, face recognition, head pose tracking, face verification/authentication, facial expression tracking/recognition, gender or age recognition, and many more. [1] While this sound like a simple task for humans, it is still an extremely challenging task for computers. …”
Get full text

Determining the impact of unexpected disruptions to a complex supply chain by Aw, Waldron Jun Jie

“…A FlexSim model was created to study the propagation of disruptions in a supply chain. Verification was done by checking the structure, code and animated flow of the entities. …”
Get full text

Heterologous expression of cannabidiolic acid synthase in a microbial host for cannabinoid production by Toh, Wing Loon

“…DsbA CBDAS appears to have yielded some success in obtaining a soluble protein but further verification is required. Fusion with expression reporter mCherry produced a soluble, and correctly folded mCherry protein but appeared to show degradation of CBDAS despite a correctly constructed plasmid. …”
Get full text

3D Printing for Marketing and Advertisement Industry by Wu, Wenjin, Tor, Shu Beng

“…3D printing provides a new dimension for the communication of value of products and services to the audience through concept modelling, which prevents ambiguity of design throughout the product life cycle for design, visualisation, verification and presentation purposes. It provides near identical model of the prelaunch product for the customer to touch and see, and even to test the product functionality. …”
Get full text
Get full text

Efficient visual search for objects in videos by Sivic, J, Zisserman, A

“…We discuss three research directions for the presented video retrieval approach and review some recent work addressing them: 1) building visual vocabularies for very large-scale retrieval; 2) retrieval of 3-D objects; and 3) more thorough verification and ranking using the spatial structure of objects.…”

Rapid and Scalable Production of Functional SARS-CoV-2 Virus-like Particles (VLPs) by a Stable HEK293 Cell Pool by Puarattana-aroonkorn, Sitthiphol, Tharakaraman, Kannan, Suriyawipada, Disapan, Ruchirawat, Mathuros, Fuangthong, Mayuree, Sasisekharan, Ram, Artpradit, Charlermchai

“…Notably, this work reports a practical and cost-effective manufacturing platform for scalable SARS-CoV-2 VLPs production and chromatographic purification.…”
Get full text

Extraordinary catalysis induced by titanium foil cathode plasma for degradation of water pollutant by Li, Chaojiang, Rao, Yuhan, Zhang, Bowei, Huang, Kang, Cao, Xun, Peng, Dongdong, Wu, Junsheng, Xiao, Longqiang, Huang, Yizhong

“…In fact, this bifunctional plasma discharge process to the degradation of water pollutant provides an insight into more applications such as chemical conversion, water purification and dust pollution.…”
Get full text

Plant-based amyloids from food waste for removal of heavy metals from contaminated water by Soon, Wei Long, Peydayesh, Mohammad, Mezzenga, Raffaele, Miserez, Ali

“…Technologies currently used to treat polluted wastewaters of heavy metals employ chemical, ion-exchange, and membrane purification methods. However, these techniques are energy-intensive due to high pressure and power requirements for membrane-based technologies, or highly selective, as in ion-exchange resins, making drinking water less affordable in developing countries. …”
Get full text

Extracellular vesicles are rapidly purified from human plasma by PRotein Organic Solvent PRecipitation (PROSPR) by Gallart-Palau, Xavier, Serra, Aida, Wong, Andrew See Weng, Sandin, Sara, Lai, Mitchell K. P., Chen, Christopher P., Kon, Oi Lian, Sze, Siu Kwan

“…We foresee that PROSPR-based purification of EVs will significantly accelerate the discovery of new disease biomarkers and the characterization of EVs with potential for clinical applications.…”
Get full text
Get full text