The mean specific gravity of the earth by Henck, J. B.

Get full text

On-the-fly specific person retrieval by Parkhi, OM, Vedaldi, A, Zisserman, A

Purifications and characterizations of cholinesterase from different organs of Lates calcarifer Bloch by Mohd Hayat@Ahmad, Nursabrina

“…Ten heavy metals namely argentum (Ag), arsenic (As),cadmium (Cd), chromium (Cr), copper (Cu), cobalt (Co), mercury (Hg), nickel (Ni), lead (Pb), and zinc (Zn) were chosen for the inhibition study. When tested with a specific substrate for each organ, the results showed that the brain ChE was inhibited by Ag, As, Cd, Cr, and Hg. …”
Get full text

Specification and Planning of UAV Missions: A Process Algebra Approach by Karaman, Sertac, Rasmussen, Steven, Kingston, Derek, Frazzoli, Emilio

“…Formal languages have recently come under attention as a powerful tool to describe in a precise and rigorous way mission specifications (i.e., mission objectives and constraints) for robotic systems, and to design planning and control algorithms that provably achieve the specifications. …”
Get full text
Get full text
Get full text

UVM-based PCIe interrupt model for verification of networking platform IP by Liu, Nanxi

“…Nowadays, callback are widely applied in interrupt function for verification of a Network System IP. Engineers manually trigger the interrupt by call that function, which is not reusable and application scenario is specific. …”
Get full text

Separation microkernel security studies and its formal verification related work by Lu, Shengliang

“…In order to guarantee that it is free of bugs and is following security policies, completely formal verification on XtratuM is conducted by Securify team. …”
Get full text

Enhanced anti-fouling and catalytic performance of nanocomposite membrane to improve water purification by Goh, Natalie Sze Min

“…Overall, the project underlines how surface modification of nanomaterials in membranes improves membrane technology and thus provides a viable sustainable solution for water treatment and purification. The findings underscore the potential of the Co2(OH)2CO3-MXene- CA membrane as an attractive option for practical applications because it exhibits excellent performance attributes crucial to addressing the challenges faced in water treatment and purification on a wider scale.…”
Get full text

Purification, crystallization and structure determination of Thermotoga maritima CorA Magnesium transporter. by Nurhuda Nordin.

“…We have also experimented purifying TMCorA by heating and centrifugation only. This form of purification has produced a relatively pure sample and formed crystals in the presence of lipids. …”
Get full text

Purification of miraculin from miracle fruit [Synsepalum dulcifium (Schumach. & Thonn.) Daniell] by He, Zuxing

“…An efficient and low cost purification method to extract this protein needs to be developed. …”
Get full text

Machine translation of software-specific documentations by Tee, Li Yin

“…In software text, there are some unique characteristics, for example, application specific naming, context-sensitive translation, domain-specific rare words that general machine translation tools such as Google Translate cannot properly translate it. …”
Get full text

An object category specific mrf for segmentation by Kumar, MP, Torr, PHS, Zisserman, A

“…The resulting combination, which we call the object category specific mrf, suggests a solution to the problem that has long dogged mrfs namely that they provide a poor prior for specific shapes. …”

kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models by Carretero Chavez, Willow, Krantz, Marcus, Klipp, Edda, Kufareva, Irina

“…The verification script VerifyModel.R checks for responsiveness to repeated stimulations as well as consistency of steady state behavior. …”
Get full text

Design and verification of carefree maneuvering protection for a high performance fighter aircraft by Jebakumar, S. K., Pashilkar, Abhay A., Sundararajan, Narasimhan

Subjects: Get full text

Platform development for control of induction machine (Part II control algorithm verification) by Kang, Jia Yi

Get full text

Analysis and systematic verifications of a low-IF RF receiver targeting GNSS applications by Pramoda, Damle

Get full text

An efficient soft error protection scheme for MPSoC and FPGA-based verification by Liu, Weichen, Zhang, Wei, Mao, Fubing

Get full text
Get full text

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds by Zaiser, F

“…Overall, these contributions mark a significant step towards formal verification of Bayesian inference results in probabilistic programming.…”

Sulfate radical based advanced oxidation processes coupled with ceramic membranes for water purification by Bao, Yueping

“…On the other hand, membrane separation has been proved to be a promising technology for water purification in recent decades because of the high yield of production and low energy consumption. …”
Get full text

Development of sensor and inverter building boards for a self sustainable water purification system by Lim, Carol Yening.

“…A Water Purification System is a system to purify sea water to pure water. …”
Get full text

Molecular cloning, expression, purification and crystallization of BcsG for structural analysis in escherichia coli by Lee, Jin

Get full text