Component-based security under partial compromise by Dehnel-Wild, M

“…During design and implementation, the foremost of these is formal verification. Large, real-world systems and protocols made up of multiple computers or components are rarely designed with verification or analysis in mind. …”

Research and comparison of deepfake audio detection algorithms by Mo, Fei

“…Similar to other biometric systems, speaker verification systems are easy to be affected by various spoofing attacks. …”
Get full text

Control strategy for islanded DC microgrids by Zhang, Shilong

“…The designed experiments verify the feasibility of the proposed method from the perspectives of validity verification, load switching and voltage variation.…”
Get full text

Finite element analysis on post-buckling of thin-walled structures using ANSYS by Theint, Yi Mon

“…During the course of verification for lipped column of previous study, it was discovered that there was an error in location of the neutral axis which would affect the loading location and revisions were done to ensure accurate and complete coverage of the current and previous specimens. …”
Get full text

Security enhancement of the communication-efficient AUTHMAC_DH protocols by Lv, Chao, Ma, Maode, Li, Hui, Ma, Jianfeng, Niu, Ben

“…Security analysis and formal verification by using AVISPA toolkit show that the proposed protocol can keep all the previous properties and is secure against the off-line guessing attack.…”
Get full text
Get full text

Identifying individuals in video by combining 'generative' and discriminative head models by Everingham, M, Zisserman, A

“…Images rendered using the head model are used to train a discriminative tree-structured classifier giving efficient detection and pose estimates over a very wide pose range with three degrees of freedom. Subsequent verification of the identity is obtained using the head model in a 'generative' framework. …”

Parallel and distributed algorithms for computational fluid flow simulations by Vu, Thanh Tung

“…In this thesis, after describing the mathematical formulation of an incompressible Newtonian fluid flow based on the Navier- Stokes equations, the standard numerical methods as well as alternative Lattice Boltzmann approaches are discussed. The verification for the models' accuracy verification is then presented, which show the excellent agreement of the simulation results and reference values for the simulation cases. …”
Get full text

Performance-based blast resistant design of reinforced concrete frame structures under distant explosions by Rong, Haicheng

“…The implementation of the design method is demonstrated from practical design examples and followed by the numerical verification study…”
Get full text

Singlet fission materials for improved solar cells by Heng, Zhi Yin

“…From the H-NMR spectroscopy, it can be observed that compound 5 has been obtained through the Suzuki coupling. However, further verification is needed through other characterization methods, such as UV-Vis and Fluorescence spectroscopy, and Mass spectroscopy, as C-13 NMR result was unable to be obtained due to the low solubility of compound 5.…”
Get full text

Develop of wideband acoustic sensor by Li,Yueqi

“…After the circuit verification and simulation, the performance of the circuit meets the design requirements.…”
Get full text

Integrated 3D inductors by Ong, Shi Qi

“…This Final Year Project pertains to the design and verification of integrated 3D inductors for high-frequency applications, such as integrated power management systems and wireless communications. …”
Get full text

A three dimensional kinematic method for determining the effectiveness of arm segment rotations in producing clubhead speed by Teu, Koon Kiat

Get full text

General synthesis method for symmetrical even-order Chebyshev bandpass filter by Zhang, Songbai, Zhu, Lei

“…Subsequently, a 4th-order Chebyshev bandpass filter based on λ/2 microstrip-line resonators centering at 2.4 GHz with a fractional bandwidth of 10.0% are synthesized and fabricated, the measured results provide strong verification for the proposed synthesis method.…”
Get full text
Get full text

Lost in quantization: improving particular object retrieval in large scale image databases by Philbin, J, Chum, O, Isard, M, Sivic, J, Zisserman, A

“…We describe how this representation may be incorporated into a standard tf-idf architecture, and how spatial verification is modified in the case of this soft-assignment. …”

Handbook Of Marine Craft Hydrodynamics And Motion Control / by Fossen, Thor I., author 571020, John Wiley & Sons (Online service) 647106

“…The text establishes how the implementation of mathematical models and modern control theory can be used for simulation and verification of control systems, decision-support systems, and situational awareness systems. …”
Get full text

Realising the non-Hermitian skin effect with a nonlinear circuit by Lo, Hsuan

“…The study also proposes a comprehensive experimental verification setup, which includes a printed circuit board designed specifically for observing NHSE in nonlinear circuits.…”
Get full text

Development of runoff simulation model using excel by Loo, Wai Leong.

“…In addition to that, a reservoir routing model has also been developed. For verification, the runoff simulation model has been applied to two artificial and one natural catchment. …”
Get full text

Development of an intelligent solar energy system for off-grid application by Ng, Cindy Shi Hui.

“…Simulations were carried out using PSIM software for verification before hardware circuits were developed for actual implementation.…”
Get full text

Face recognition in unconstrained images and videos by Nguyen, Bich Hoang Anh

“…Motivated from the results on image datasets, a novel framework is proposed for face verification in unconstrained videos. By leveraging the pose angle information, we employ a divide and conquer approach through the following steps (a) divide the keyframes of the original video into several pose categories from extreme left to right profile face and synthesize the appearance at all missing poses (b) propose the ensemble cross-pose classifiers to recognize human faces despite pose differences by cross reference the subset of the original training data with the same pose categories. …”
Get full text

Design and implementation of responsive registration and feedback system using unity3D by Liu, Hao

“…Furthermore, this registration system also provides various additional features like verification, login and gaming. Meanwhile, the feedback function can help on continuous improvement of the project. …”
Get full text