Agent-Based Model of Virtual Community Cohesion (S/O: 13443) by Yusop, Nor Iadah, Mat Aji, Zahurin, Ab. Aziz, Azizi, Md Dahalin, Zulkhairi

“…Moreover, this model has been evaluated using mathematical analysis (whereby theoretical analysis and value substitution analysis are performed) and automated logical verification (internal validation based on selected previous empirical study. …”
Get full text

Myocardial injury is distinguished from stable angina by a set of candidate plasma biomarkers identified using iTRAQ/MRM-based approach by Cheow, Esther Sok Hwee, Cheng, Woo Chin, Yap, Terence, Dutta, Bamaprasad, Lee, Chuen Neng, Kleijn, Dominique P. V. de, Sorokin, Vitaly, Sze, Siu Kwan

“…We detected a total of 371 proteins with high confidence (FDR < 1%, p < 0.05) including 53 preliminary biomarkers that displayed ≥2-fold modulated expression in patients with CAD (27 associated with atherosclerotic stable angina, 26 with myocardial injury). In the verification phase, we used label-free LC–MRM-MS-based targeted method to verify the preliminary biomarkers in pooled plasma, excluded peptides that were poorly distinguished from background, and performed further validation of the remaining candidates in 49 individual plasma samples. …”
Get full text
Get full text

Preparation for and performance of a Pseudomonas aeruginosa biofilm experiment on board the International Space Station by Flores, Pamela, Schauer, Rylee, McBride, Samantha A., Luo, Jiaqi, Hoehn, Carla, Doraisingam, Shankini, Widhalm, Dean, Chadha, Jasmin, Selman, Leah, Mueller, Daniel Wyn, Floyd, Shannon, Rupert, Mark, Gorti, Sridahr, Reagan, Shawn, Varanasi, Kripa K., Koch, Christina, Meir, Jessica U., Muecklich, Frank, Moeller, Ralf, Stodieck, Louis, Countryman, Stefanie, Zea, Luis

“…This campaign ended with the Experiment Verification Test (EVT), from which we present example morphology and transcriptomic results. …”
Get full text

Analysis and design of curved steel beam member in elevation using Eurocode 3 by Yandarmadi, Kelvin

“…The first part is the formula derivation and verification of stress resultants for general arch and shallow arch for curved beam in elevation under uniformly gravitational distributed load. …”
Get full text

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