Interactive partitioning of 3D models into printable parts by Jadoon, Aamir Khan, Wu, Chenming, Liu, Yong-Jin, He, Ying, Wang, Charlie C. L.

“…Our tool aims at improving Chopper by providing users three easy-to-use interactive operations: no-go region painting, cutting plane specification and components reunion. With these operations, we show that (1) exhaustive search in the BSP tree-the most time-consuming step in Chopper-can be avoided, (2) more flexible geometric configurations can be provided, (3) users design intention is considered naturally and efficiently, and customized 3D partitioning results can be obtained. …”
Get full text

Design of circular polarized micro-strip antenna by Shanmugam Bhaskar Vignesh

“…The antenna has fulfilled the design specifications suitable for applications of Wireless Power Transmission in the ISM band.…”
Get full text

Computational modeling of angiogenesis: the importance of cell rearrangements during vascular growth by Stepanova, D, Byrne, HM, Maini, PK, Alarcón, T

“…We start by describing the biological processes that occur during early angiogenesis, such as phenotype specification, cell rearrangements and cell interactions with the microenvironment. …”

Umwelt: Accessible Structured Editing of Multi-Modal Data Representations by Zong, Jonathan, Pedraza Pineros, Isabella, Chen, Mengzhu (Katie), Hajas, Daniel, Satyanarayan, Arvind

Get full text

On Modular Pluggable Analyses Using Set Interfaces by Lam, Patrick, Kuncak, Viktor, Rinard, Martin

“…Each analysis verifies that the implementation of themodule 1) preserves important internal data structure representationinvariants and 2) conforms to a specification that uses formulas in a setalgebra to characterize the effects of operations on the data structure.The analyses use the common set abstraction to 1) characterize howobjects participate in multiple data structures and to 2) enable the interanalysiscommunication required to verify properties that depend onmultiple modules analyzed by different analyses.We characterize the key soundness property that an analysis plugin mustsatisfy to successfully participate in our system and present several analysisplugins that satisfy this property: a flag plugin that analyzes modulesin which abstract set membership is determined by a flag field in eachobject, and a graph types plugin that analyzes modules in which abstractset membership is determined by reachability properties of objects storedin tree-like data structures.…”
Get full text

Exploring human computation via interactive online application by Lee, Ming Hua.

“…This is a FYP Final Report to document all relevant background information, the game specification, its test results and findings regarding the project "Exploring Human Computation via Interactive Online Application". …”
Get full text

SEM-I rational MT : enriching deep grammars with a semantic interface for scalable machine translation by Bond, Francis, Flickinger, Dan., Lønning, Jan Tore., Dyvik, Helge., Oepen, Stephan.

“…In the LOGON machine translation system where semantic transfer using Minimal Recursion Semantics is being developed in conjunction with two existing broad-coverage grammars of Norwegian and English, we motivate the use of a grammar-specific semantic interface (SEM-I) to facilitate the construction and maintenance of a scalable translation engine. …”
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

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

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

Complexity-Theoretic Limitations on Quantum Algorithms for Topological Data Analysis by Schmidhuber, Alexander, Lloyd, Seth

“…Finally, we argue that an exponential quantum advantage can be recovered if the input data is given as a specification of simplices rather than as a list of vertices and edges.…”
Get full text

Breast cancer diagnosis through an optimization-driven multispectral gamma correction (ODMGC) by Raj A, Arul Edwin, Ahmad, Nabihah, Durai S, Ananiah

“…The classifier results showed an accuracy of 96.4%, sensitivity of 98.1%, and specificity of 96.9%.…”
Get full text

Sure (EM)-Autometrics: An Automated Model Selection Procedure with Expectation Maximization Algorithm Estimation Method (S/O 14925) by Kamarudin, Nur Azulia

“…Three econometric models have been utilised as a testbed for true specification search. The results were divided into four categories where a tight significance level of 1% had contributed a high percentage of all equations in the model contain variables precisely comparable to the true specifications. …”
Get full text

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