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

Advanced omniphobic membrane: fabrication via NIPS method using PVDF-HFP, TEOS, and PFDTMS by Abid, Monis, Abdul Wahab, Roswanira, Gzara, Lassaad, Baig, Nadeem, Kormin, Faridah, Ahmed Moujdin, Iqbal, Salam, Mohamed Abdel

“…Amid the global water crisis, developing innovative solutions for sustainable water purification is crucial. Membrane distillation (MD) has emerged as a pivotal method with significant potential to address these challenges effectively. …”

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

Production and characterization of IFP1.4MINT by Ee, Shu Jing

“…This project involves the cloning, expression, purification and characterization of IFP1.4mINT. …”
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

Rejection of pharmaceuticals by forward osmosis membranes by Jin, Xue, Shan, Junhong, Wang, Can, Wei, Jing, Tang, Chuyang Y.

“…These results can be important for FO membrane synthesis, modification and their application in water purification.…”
Get full text
Get full text

New approaches for H2-driven NADH regeneration using carbon supports by Zhao, X

“…The first one is a carbon supported soluble hydrogenase system; a soluble hydrogenase lysate without further purification is immobilised on carbon support for NADH recycling. …”

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