The cellular characterization of SARS-CoV-2 spike protein in virus-infected cells using the receptor binding domain binding specific human monoclonal antibodies by Chan, Conrad En-Zuo, Ng, Ching-Ging, Lim, Angeline Pei-Chew, Seah, Shirley Lay-Kheng, Chye, De-Hoe, Wong, Steven Ka-Khuen, Lim, Jie-Hui, Lim, Vanessa Zi-Yun, Lai, Soak-Kuan, Wong, Pui-San, Leong, Kok-Mun, Liu, Yi-Chun, Sugrue, Richard J., Tan, Boon Huan

“…While all five antibodies bound conformational-specific epitopes within SARS-CoV-2 spike (S) protein, only PD5, PD7, and SC23 were able to bind to the receptor binding domain (RBD). …”
Get full text

Symbolic verification and strategy synthesis for turn-based stochastic games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

“…Probabilistic model checking techniques for this class of models allow us to formally specify quantitative specifications of either collective or individual behaviour and then automatically synthesise strategies for the agents under which these specifications are guaranteed to be satisfied. …”

Analyses of human vaccine-specific circulating and bone marrow-resident B cell populations reveal benefit of delayed vaccine booster dosing with blood-stage malaria antigens by Barrett, JR, Silk, SE, Mkindi, CG, Kwiatkowska, KM, Hou, MM, Lias, AM, Kalinga, WF, Mtaka, IM, McHugh, K, Bardelli, M, Davies, H, King, LDW, Edwards, NJ, Chauhan, VS, Mukherjee, P, Rwezaula, S, Chitnis, CE, Olotu, AI, Minassian, AM, Draper, SJ, Nielsen, CM

“…Here, using flow cytometry – including agnostic definition of B cell populations with the clustering tool CITRUS – we report enhanced induction of DBPRII-specific plasma cell and memory B cell responses in protein/adjuvant versus viral vector vaccinees. …”

Psychoacoustic model compensation for robust speaker verification in environmental noise by Panda, Ashish, Srikanthan, Thambipillai

“…We investigate the problem of speaker verification in noisy conditions in this paper. Our work is motivated by the fact that environmental noise severely degrades the performance of speaker verification systems. …”
Get full text
Get full text

Experiment verification of second harmonic generation from ENZ material by Lai, Si Ting

Get full text

2D + 3D approach in face verification algorithm by Hendinata, Joshua

“…This project aimed to combine best of both worlds by using ubiquitous gadget such as laptop and mobile camera to create a low-cost and robust, yet accurate face verification system. The system implements a stereo camera setup to calculate face disparity map which capture face depth information. …”
Get full text

A contract negotiation scheme for safety verification of interconnected systems by Tan, X, Papachristodoulou, A, Dimarogonas, DV

“…This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. …”

Vehicle number plate detection and verification using yolo frameworks. by H. Hussein, S. Y. S., M. Ariff, M. H., A. Rahman, M. A.

“…The system aims to compare the effectiveness of different frameworks by outlining each one's unique advantages and disadvantages by determining the best performance in terms of confidence level and accuracy. The verification is applied to the Malaysian number plates following the regulation of the Malaysian transportation system. …”
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

Waning of specific antibodies against Delta and Omicron variants five months after a third dose of BNT162b2 SARS-CoV-2 vaccine in elderly individuals by Goh, Yun Shan, Rouers, Angeline, Fong, Siew-Wai, Zhuo, Nicole Ziyi, Hor, Pei Xiang, Loh, Chiew Yee, Huang, Yuling, Neo, Vanessa Kexin, Kam, Isaac Kai Jie, Wang, Bei, Ngoh, Eve Zi Xian, Salleh, Siti Nazihah Mohd, Lee, Raphael Tze Chuen, Pada, Surinder, Sun, Louisa Jin, Ong, Desmond Luan Seng, Somani, Jyoti, Lee, Eng Sing, Maurer-Stroh, Sebastian, Wang, Cheng-I., Leo, Yee Sin, Ren, Ee Chee, Lye, David C., Young, Barnaby Edward, Ng, Lisa F. P., Renia, Laurent

Get full text

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.…”

Dose verification of 3D printed male pelvic phantom for radiotherapy quality assurance by Maniam, Peraveen M

“…Prostate cancer is a serious health concern worldwide, and its treatment includes advanced radiotherapy techniques that requires patient-specific quality assurance (PSQA) for safety and accuracy of the treatment. …”
Get full text

Implementation of industry-standard functional coverage in UVM testbench for SoC level verification by Zhang, Shaoyan

“…As ICs（Integrated Circuits）process technologies and SoC (system-on-chip) design techniques continue to advance, IC chip designs continue to grow in size and complexity. Verification IP automates the generation of test stimulus, data comparison and coverage statistics, and its verification components are well integrated and reused in the SoC system-level verification environment. …”
Get full text

Chebyshev Functional Link Neural Network-based modeling and experimental verification for photovoltaic arrays by Jiang, Lian Lian., Maskell, Douglas L., Patra, Jagdish C.

“…In the experimental section, the operating current predicted by CFLNN is compared with the outputs from other two modeling methods - MLP and the two-diode model. Finally, verification is performed using experimental datasets. …”
Get full text
Get full text