Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

Get full text

Alkynone β-trifluoroborates: a new class of amine-specific biocompatible click reagents by Teng, Shenghan, Ng, Elvis Wang Hei, Zhang, Zhenguo, Soon, Chee Ning, Xu, Hailun, Li, Ruifang, Hirao, Hajime, Loh, Teck-Peng

Get full text

Adder and multiplier design for computing-in-memory architecture based on ReRAM by Zheng, Buyun

Get full text

Brazil-China Relations by Horta, Loro

“…The positive aspects of their relationship far outweigh the problems and tensions inherent in most relations among major powers. …”
Get full text
Get full text

Composite material production of nonmetallic printed circuit board waste with recycled high density polyethylene by Muniyandi, Shantha Kumari

Get full text

Design, fabrication and characterization of organic-inorganic hybrid solar cells by Ahmed Ali Said Ahmed

Get full text

Design and implementation of enhanced lightweight memory-based and monostable physical unclonable functions by Zhong, Hui Shu

“…The 128-bit monostable PUF prototype chip was fabricated in 40nm CMOS technology. It consumes 14400 µm2 and 17 pJ per bit. …”
Get full text
Get full text

Discrete differential geometry driven methods for architectural geometry by Yao, Sidan

Get full text

Strategies to modulate Amorphous Oxide Semiconductor properties for low temperature transparent transistors by Kulkarni, Mohit Rameshchandra

Get full text

Constrained neuro fuzzy inference methodology for explainable personalised modelling with applications on gene expression data by Singh, Balkaran, Doborjeh, Maryam, Doborjeh, Zohreh, Budhraja, Sugam, Tan, Samuel, Sumich, Alexander, Goh, Wilson, Lee, Jimmy, Lai, Edmund, Kasabov, Nikola

Get full text

Black hole binary formation and mergers in supermassive black hole discs by Rowan, C

Transport phenomena of immiscible fluids in microchannels by Yin, Shuai

Get full text

Curing effect on the strength of cement mortar with bamboo biochar by Pragalanathan, Selvanathan, Pravina, K. Gunasekaran, Lai, Yeng Fock, Anand, N., Chin, Siew Choo

“…The study aims to determine the optimal water/cement ratio (0.40, 0.45, and 0.50) for enhanced flowability in mortar mixtures with a cement:sand ratio of 1:2.25. …”
Get full text

Structural Characterization of La0.6Sr0.4CoO3−δ Thin Films Grown on (100)-, (110)-, and (111)-Oriented La0.95Sr0.05Ga0.95Mg0.05O3−δ by Ražnjević, Sergej, Drev, Sandra, Bumberger, Andreas E., Popov, Maxim N., Siebenhofer, Matthäus, Böhme, Christin, Chen, Zhuo, Huang, Yong, Riedl, Christoph, Fleig, Jürgen, Čeh, Miran, Kubicek, Markus, Zhang, Zaoli

Get full text

Comprehensive armature reaction modeling and flux weakening optimization of a surface permanent magnet vernier motor by Zhu, Jingwei, Fan, Ying, Chen, Hao, Chen, Jiahao, Zuo, Yuefei, Lee, Christopher Ho Tin

Get full text

Microfluidic plasma extraction from blood using wash-free pneumatic system by Lin, Yun Jia

Get full text

Development and design optimisation of digital intensity measurement system for shot peening by Tarani, Dinesh Kumar

“…The force sensor readings are recorded at different air pressures and mass flow rates, the two primary parameters that affect peening intensity. …”
Get full text

Synthesized tin-activated carbon adsorbent for purer and cheaper hydrogen by Iyuke, S.E.

“…This phenomenon then indicates a good future for the robustness of this promising adsorbent, since CO remains a major contributor to the current level of the global air pollution problems.…”
Get full text

Design of intrusion detection systems for vehicular networks by Liang, Junwei

“…In addition, the performance of the IDS with FM-HMM is still remarkable even when rogue vehicles are 40% of the total. Furthermore, an Efficient and Collaborative Framework with a Markov-based Reputation Scheme, called ECF-MRS, is proposed to make IDSs perfectly adaptive to VANETs. …”
Get full text

Observation of flat bands and Dirac cones in a pyrochlore lattice superconductor by Huang, Jianwei, Setty, Chandan, Deng, Liangzi, You, Jing-Yang, Liu, Hongxiong, Shao, Sen, Oh, Ji Seop, Guo, Yucheng, Zhang, Yichen, Yue, Ziqin, Yin, Jia-Xin, Hashimoto, Makoto, Lu, Donghui, Gorovikov, Sergey, Dai, Pengcheng, Denlinger, Jonathan D., Allen, J. W., Hasan, M. Zahid, Feng, Yuan-Ping, Birgeneau, Robert J., Shi, Youguo, Chu, Ching-Wu, Chang, Guoqing, Si, Qimiao, Yi, Ming

Get full text