Design methodologies for complexity reduction of FIR filters by Faust, Mathias

“…First of all, a platform for design automation of FIR filters is introduced with enhanced features added onto this tool for result generation and functional verification. For research convenience and fair evaluation of MCM and SA optimization algorithms, a new benchmark suite has been established and introduced in this thesis. …”
Get full text

Non-invasive nanosensor monitoring of mRNA expression for regenerative medicine application by Wiraja, Christian

“…Conventionally, such verification is achieved through end-point, population-based methods like polymerase chain reaction (PCR; for mRNA expression) or western blotting (for protein expression). …”
Get full text

Voice conversion with parallel/non-parallel data and synthetic speech detection by Tian, Xiaohai

“…On the other hand, voice conversion also presents a threat to Automatic Speaker Verification (ASV) systems. Synthetic speech detection is a technique to discriminate between live and synthetic speech. …”
Get full text
Get full text

Efficient optimization of network metrics in large uncertain graphs by Saha, Arkaprava

“…The proposed solution improves the existing filtering-and-verification framework by coupling Dijkstra’s algorithm with Monte Carlo sampling to reduce the running time by some orders of magnitude, with end-to-end accuracy guarantees. …”
Get full text

Geometric hashing for camera based localization by Tan, Wei Chian

“…During online retrieval, the query signature is quantized and a voting mechanism is used to identify good candidates (camera pose) for further verification. Experiments show that significant speed gains have been obtained through the system, from direct search of ten minutes to removal of large pool of candidates within ten seconds in our Matlab [4] implementation. …”
Get full text

Online estimation of key battery states for management of vanadium redox flow battery by Wei, Zhongbao

“…The proposed peak power estimator is verified with a “two-step verification” method. The influence of prediction time horizon on the peak power is also analyzed. …”
Get full text

Conformational design characterization of a truncated diamine oxidase by Razali, Nur Nadia

“…Quality assessments of the native and mini protein were also conducted using several types of verification software. Subsequently, a number of model structures were generated using a biomolecular method where the native and mini protein has been successfully cloned into vector pET102/TOPO during the first stage. …”
Get full text

Advanced data analytics for future smart grid stability assessment by Ren, Chao

“…Fourthly, in order to accurately quantify the robustness of the ML-based model under adversarial perturbations on safety-critical power system stability problem, an adversarial robustness verification method for data-driven stability models is proposed. …”
Get full text

Physical unclonable function based solutions to unification of user, device and data authentication by Zheng, Yue

“…At a time of rampant public media manipulation and ease of fake image/video fabrication, verification of benign and malicious image transformations is necessary but not sufficient for fact checking of visual artefacts presented in the court of law. …”
Get full text

Clustering-based solutions for energy efficiency, adaptability and resilience in IoT networks by Shivaraman, Nitin

“…E.g. fault-resilient solutions use complex computations for verification of devices and data that inadvertently reduce the energy efficiency in a resource-constrained environment. …”
Get full text

Design and analysis of high torque density machines for aerospace applications by Shen, Fawen

“…A prototype of the UV-FSPM is fabricated and tested for verification of the investigated concepts. In Chapter 5, a novel vernier machine with Spoke-V (SV) array permanent magnet arrangement, referred to as SV-VPMM, is investigated. …”
Get full text

In-situ infrared spectroscopy studies of surface reactions over irradiated photocatalysts by Gong, Dangguo

“…Commercial material, Degussa P25 TiO2, was used mainly for system verification and fundamental studies on the state of material under bandgap excitation, especially ATR-FTIR, and as a benchmark (in pristine and metalized form) for novel visible-sensitized photocatalysts prepared in this thesis. …”
Get full text

Reduced cell and stack modeling of planar solid oxide fuel cells by He, Zhongjie

“…Good agreement is achieved for the verification in view of the relative errors between the solutions from the 3D and reduced models. …”
Get full text

Investigations into high resolution imaging and contouring for diagnostic bio-applications by Valiyambath, Krishnan Mohankumar

“…The effects of perfusion and simulated mucus layer were investigated. Experimental verification was carried out on silicone phantoms and to a limited extent, with animal model, with abnormality sizes ranging from about 5 mm to 8 mm. …”
Get full text

3D game development cube-it : modular furniture and product design by Ng, Esther Xin Yi

“…While this report provides new ideas and prospects for the joining device, additional tests and verifications have to be done to ensure its actual effectiveness and practicality in the real world.…”
Get full text

Higher-order Dirac semimetal in a photonic crystal by Wang, Zihao, Liu, Dongjue, Teo, Hau Tian, Wang, Qiang, Xue, Haoran, Zhang, Baile

“…Thus far, realistic models and experimental verifications on higher-order topological semimetals are still very limited. …”
Get full text

Development and evaluation of network utilities using Python for efficient management by Sharma, Richa, Salekzamankhani, Shahram, Virdee, Bal Singh, Awan, Muhammad Umair

“…To this end, automated tools have been developed to handle various networking tasks such as port scanning, WHOIS retrieval, traceroute operations, subnet calculations, speed evaluations, router configurations, DNS resolutions, and IP verifications. This paper presents a new set of utilities created using Python and integrated seamlessly into the PyQt5 framework. …”
Get full text

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