APB bus IWDG verification based on universal verification methodology by Ma, Yue

“…This thesis investigates the verification of the Independent Watchdog (IWDG) module in Microcontroller Units (MCUs) using Universal Verification Methodology (UVM), an advanced approach enhancing system reliability and integrity. …”
Get full text

Photocatalytic cement for air purification by Lee, Shih Yin.

Get full text

Water purification chemicals for emergency application by Huang, Zi Rui.

“…By focusing on the two major water treatment parameters, namely turbidity and fecal coliform, the project aims to formulate water purification chemicals that can be universally applied to different post-disaster situations. …”
Get full text

Purification and molecular properties of papaya pectinesterase by Fayyaz, A., Asbi, B.A., Ghazali, H.M., Che Man, Y.B., Jinap, S.

“…The procedure adopted for purification resulted in an approximate 250-fold purification (784 units/mg protein) with a 45% recovery of the pectinesterase activity. …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. Program verification requires loop invariants, which are hard to find and tedious to spell out. …”
Get full text

Speed up verification with hardware accelerator by Liu, Yi

“…It also makes the normal ways of verification a bottleneck in the Integrated Circuit (IC) design process due to the cost and time-to-market requirement. …”
Get full text

Counterexample computation in compositional nonblocking verification by Malik, Robi, Ware, Simon

Subjects: “…Verification…”
Get full text
Get full text

Probabilistic verification beyond context-freeness by Li, G

“…Originating from the Restricted Tree-Stack Automaton (rTSA), the rPTSA model inherits broad connections to various fields, including linguistics and higher-order verification. Building on these connections, the research also introduces Probabilistic Additive HORS (PAHORS), which incorporates an affineness constraint and pair-product structures into PHORS.…”

The development of electronic publication in China by Kuang, Wenbo

“…The article discusses the current situation of electronic publication in China: its achievement and its problems. …”
Get full text

Unprinted: publication beyond the press by Kohler, D, Wakelin, D, Domeisen, N, Jones, E, Mackay, M, Maxton, R, Moore, BM, Noble, K, Simon, FM, Haywood, D, Wojahn, D

“…This Element explores the idea of publication in media used before, alongside, and after print. …”

Biodiesel purification from cellulose-containing materials by Lim, Leonard Chin Boon.

“…With the overall intention of providing a low cost biodiesel purification method so that rural communities can be empowered with the benefits of a clean and sustainable source of energy, the feasibility of using various cellulose-containing materials,namely saw dust, wood shavings, orange peel and coconut husk, for biodiesel purification was qualitatively examined. …”
Get full text

Incorporation of aquaporins into polymeric membranes for water purification by Shen, Wenming

“…Biomimetic membrane desalination is proposed as the most promising among various technologies of water purification, using the aquaporin as robust water channel with high transport efficiency. …”
Get full text

American Society for Echocardiography Software Suite for Verification and by Claesen, S, Heart, G, Li, W, Bharath, A, Chandra, S, Kitney, R, Dewey, CF Jr, Thomas, JD

“…In this paper, we discuss a software suite soon to be released into the public domain for reading, parsing and verifying DICOM 3.0 ultrasonic objects. …”
Get full text

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

“…We used very different formal-reasoning techniques throughout the stack, ranging from computer algebra, symbolic execution, and verification-condition generation to interactive verification of functional programs including compilers for C-like and functional languages. …”
Get full text

Contextualizing formal verification for systems security engineering by Shaked, A, Melham, T

Web service architecture for scholarly publication / by Ummu Hani' Hair Zaki, 1990-, author 603684, Roliana Ibrahim, supervisor 603000, Fakulti Komputeran 538688

Effects of purification on the hydrogen production in biomass gasification process by Muhammad Bilal, Muslim, Suriyati, Saleh, Noor Asma Fazli, Abdul Samad

“…The previous research did not focus on hydrogen gas purification produced from biomass gasification process. …”
Get full text

Optimising expression and purification of Dengue soluble E protein by Poh, Nina Yong Xin

“…This study explores the significance of expression and purification of soluble dengue Envelope (E) protein which has strong applications in viral biology, vaccine development, and therapeutic strategies. …”
Get full text

Production and purification of protein nanocages displaying binding domains by Lam, Ngo Cheung

“…Seven gene fusions were designed and constructed, of which four were expressed in E. coli as soluble recombinant proteins. Purification using heat treatment, hydrophobic interaction chromatography and ion exchange chromatography were attempted. …”
Get full text

Development of a vacuum distillation system for water purification by Low, Seow Chay, Jeyaseelan, S., Tay, Joo Hwa

Get full text