Big data analytics and automation in post-silicon by Wang, Yifei

“…This paper presents the authors’ knowledge of silicon post-processing during their internship at MediaTek and the verification of how to solve the problems of high manual mechanical workload, low efficiency, and high error rate in this field. …”
Get full text

Programming language implementations with multiparty session types by Yoshida, N

“…We also survey MPST implementations with dynamic (runtime) verification which target active object programming languages.…”

Metacognitive strategy in solving mathematics problems, learning approach and mathematics achievement of students from a junior college by Lo, Chee Lin.

“…Orientation, Organisation, Execution and Verification Strategies, and learning approaches, i.e. …”
Get full text

A web-based computer-program grading system by Zhu, Wu.

“…The first phase focuses on developing a web portal to accept programming course assignment submission according to problems set by instructors and conduct verification on submitted source code by running through test cases. …”
Get full text

Incentivizing consensus propagation in proof-of-stake based consortium blockchain networks by Kang, Jiawen, Xiong, Zehui, Niyato, Dusit, Wang, Ping, Ye, Dongdong, Kim, Dong In

“…When the puzzle is solved, the miners are encouraged to take part in mined block propagation for verification to win a transaction fee from the blockchain user. …”
Get full text

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

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

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

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

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

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

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

Advances in Software Engineering, Education, and e-Learning : Proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 / by International Conference on Frontiers in Education: Computer Science and Computer Engineering + STEM (16th : 2020 : Las Vegas, N.V.), jointly held conference 643292, Arabnia, Hamid, editor 444181, Deligiannidis, Leonidas, editor 643297, Tinetti, Fernando G., editor 643298, Tran, Quoc-Nam, editor 643300, International Conference on Foundations of Computer Science (16th : 2020 : Las Vegas, N.V.), jointly held conference 643301, International Conference on Software Engineering Research and Practice (18th : 2020 : Las Vegas, N.V.), jointly held conference 643302, International Conference on E-Learning, E-Business, Enterprise Information Systems, and E-Government (19th : 2020 : Las Vegas, N.V.), jointly held conference 643303, World Congress in Computer Science, Computer Engineering, & Applied Computing (2020 : Las Vegas, N.V.) 643305