Expectation vs. reality: towards verification of psychological games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

“…In the context of formal verification, these ideas can be used to produce guarantees on the correctness of multi-agent systems, with a diverse range of applications from computer security to autonomous driving. …”

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

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

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

Role of posttranslational modifications of histone proteins in epigenetics by Raj, R

“…<p>Nature has evolved an additional level of genetic regulation by-passing direct changes in genetic code through the means of posttranslational modifications (PTMs) of nucleobases and histone proteins. …”

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

“…This means there is currently no appropriate interrupt model for verification of Network system IP at both the IP and SoC levels. …”
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

Residual soil modification using ureolytic bacteria and lime / by Low, Yee Hwa 1991-, author 644926, Khairul Anuar Kassim, supervisor 562339, Fakulti Kejuruteraan Awam 8022

Model reduction and stochastic analysis of the histone modification circuit by Bruno, Simone, Williams, Ruth J., Del Vecchio, Domitilla

Get full text

Biophysical studies of oligonucleotides containing duplex stabilising modifications by Marafini, P

“…To enable easier access to this modification, a reductive amination labelling strategy was developed to produce pyrene-functionalised nucleobase analogues which allowed an easier synthesis of X-pyrene. …”

Investigating the impact of ligand modification on luminescent lanthanide complexes by Simms, CH

“…It describes the various methods in which ligand choice and modification has allowed for the development of responsive luminescent lanthanide probes.…”

Effect of dye modification on the sorption of copper by coconut husk by Low, K. S., Lee, C. K., Wong, S. L.

“…The equilibrium data obey the Langmuir isotherms for the natural and dye-coated husk-Cu systems. Dye modification led to an enhancement in Cu sorption.…”

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