Analysis & design of intelligent automation systems (II) by Sundararajan, Narasimhan.

“…The principle objective of this project is to develop the theory, experimental verification and applications in the area of intelligent automation systems.…”
Get full text

Computation fluid dynamics on drag reduction II by Zang, Bin

“…In this project, a number of Reynolds-Average Navier-Stokes (RANS) models are verified with benchmark values of Direct Numerical Solutions (DNS) provided by the past research to identify appropriate RANS models which allow the simulation of dimpled flow with specific Reynolds number and initial conditions in a 3D channel. …”
Get full text

First-in-man study of the PSMA Minibody IR800-IAB2M for molecularly targeted intraoperative fluorescence guidance during radical prostatectomy by Hamdy, FC, Lamb, AD, Tullis, IDC, Verrill, C, Rombach, I, Rao, SR, Colling, R, Barber, PR, Volpi, D, Barbera-Martin, L, Lopez, JF, Omer, A, Hewitt, A, Lovell, S, Niederer, J, Lambert, A, Snoeck, J, Thomson, C, Leslie, T, Bryant, RJ, Mascioni, A, Jia, F, Torgov, M, Wilson, I, Gudas, J, Wu, AM, Olafsen, T, Vojnovic, B

“…Histopathological evaluation of intraoperative and postoperative microscopic fluorescence imaging was undertaken for verification. <p><strong> Results</strong></p> Twenty-three patients were evaluated to optimise both the dose of the reagent and the interval between injection and surgery and secure the best possible specificity of fluorescence images. …”

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

Fisher vector faces in the wild by Simonyan, K, Parkhi, O, Vedaldi, A, Zisserman, A

“…Several recent papers on automatic face verification have significantly raised the performance bar by developing novel, specialised representations that outperform standard features such as SIFT for this problem. …”

Three dimensional numerical manifold method and rock engineering applications by He, Lei

“…A total of ten numerical examples are analyzed in the present thesis, including verification of the 3-D NMM formula, analysis of a discrete blocky system, verification of the contact algorithm, and two scenarios in rock engineering, i.e., stability analysis of rock slopes and tunnels. …”
Get full text

Extreme learning machine based speaker recognition by Hu, Zongjiang.

“…Speaker Recognition is basically classified into speaker identification and speaker verification. It can be used in many fields such as banking by telephone, voice dialling, voice mail, and security control for secret information areas. …”
Get full text

Intellectual property authentication by watermarking scan chain in design-for-testability flow by Cui, Aijiao, Chang, Chip Hong

“…The advantage of this scheme is the ownership legitimacy can be publicly authenticated on-site by IP buyers after the chip has been packaged by loading a specific verification code into the scan chain. …”
Get full text
Get full text

Press ECCS to Doubt (Your Causal Graph) by Markakis, Markos, Zhang, Ziyu, Shahout, Rana, Gao, Trinity, Liu, Chunwei, Sabek, Ibrahim, Cafarella, Michael

Get full text

Dosimetric study of fletcher’s applicator in high-dose-rate (HDR) brachytherapy for cervical cancer: TLD measurements in pelvic water phantom by Sallehudin,, Muhammad Nursyabil

“…To ensure the accurate treatment of brachytherapy, the dose verification of the treatment must be done before the treatment delivery. …”
Get full text

Financial option insurance by Wang, Qi-Wen, Shu, Jian-Jun

“…The “loopholes” of the prevailing financial market are addressed and the void is filled by introducing a stable three-entity framework. Moreover, a specifically designed mathematical model is proposed. …”
Get full text
Get full text

Doppelgänger spotting in biomedical gene expression data by Wang, Li Rong, Choy, Xin Yun, Goh, Wilson Wen Bin

“…We suggest doppelgänger verification as a useful procedure to establish baselines for model evaluation that may inform on whether feature selection and ML on the data set may yield meaningful insights.…”
Get full text

Fast timing analysis of clock networks considering environmental uncertainty by Wang, Hai, Yu, Hao, Tan, Sheldon X. D.

“…This can bring many challenges for the system-level timing verification such as for global clock networks. This paper presents a fast verification of clock-skew by an incremental-SVD-based compact modeling assisted with adaptive sampling. …”
Get full text
Get full text

Fingerprint recognition with line segment Hausdorff distance by Liu, Chuan.

“…Personal identification and verification are playing more and more important role in the society. …”
Get full text

Automatic generation of optimal reductions of distributions by Masopust, Tomáš, Su, Rong, Lin, Liyong, Wonham, W. Murray

“…The notion of reduction of distributions has previously been proposed to improve the complexity of decomposability verification. In this work, we address the problem of generating (optimal) reductions of distributions automatically. …”
Get full text
Get full text
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

Automated detection and localization of myocardial infarction with staked sparse autoencoder and TreeBagger by Zhang, Jieshuo, Lin, Feng, Xiong, Peng, Du, Haiman, Zhang, Hong, Liu, Ming, Hou, Zengguang, Liu, Xiuling

“…For MI detection, the accuracy, the sensitivity, and the specificity rates achieve as high as 99.90%, 99.98%, and 99.52%, respectively. …”
Get full text
Get full text

Heuristic approach to understanding sexual symbolism in advertising. by Goh, Wee Ni., Han, Li Ann., Yeo, Nancy Mei Ling.

“…This research has as its objective the verification that phallic symbolism in advertisements does appeal to consumers on a subconscious level if, and only if, the setting of the advertisement is an appropriate, romantic setting. …”
Get full text

Studies of wafer level electromigration test for ULSI by Sum, Heng Keong.

“…Microelectronic test structures are used for wide variety of tasks which include equipment characterizations, reliability evaluations, defect monitoring, transistor parameter extraction and process verification and development. Similarly, test structures are used in electromigration evaluation. …”
Get full text

Design of test setup for asynchronous digital signal processor by Chua, Qijing.

“…This poses special challenges in testing and verification. In this report, a test setup was designed on Altera DE2 FPGA board to allow for testing and verification of an asynchronous chip. …”
Get full text