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

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

Learning to generalize to new tasks/domains with limited data by Peng, Danni

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

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

Radiative corrections: from medium to high energy experiments by Afanasev, Andrei, Bernauer, Jan C., Blunden, Peter, Blümlein, Johannes, Cline, Ethan W., Friedrich, Jan M., Hagelstein, Franziska, Husek, Tomáš, Kohl, Michael, Myhrer, Fred, Paz, Gil, Schadmand, Susan, Schmidt, Axel, Sharkovska, Vladyslava, Signer, Adrian, Tomalak, Oleksandr, Tomasi-Gustafsson, Egle, Ulrich, Yannick, Vanderhaeghen, Marc

Get full text

No Simple Fix: How AI Harms Reflect Power and Jurisdiction in the Workplace by Nedzhvetskaya, Nataliya, Tan, JS

Get full text

Possession and syntactic categories: An argument from Äiwoo by Roversi, Giovanni

Get full text

Signatures of wave erosion in Titan’s coasts by Palermo, Rose V, Ashton, Andrew D, Soderblom, Jason M, Birch, Samuel PD, Hayes, Alexander G, Perron, J Taylor

Get full text

Paradoxes of Openness: Trans Experiences in Open Source Software by Frluckaj, Hana, Stevens, Nikki, Howison, James, Dabbish, Laura

Get full text

Schedule optimization for chemical library synthesis by Ai, Qianxiang, Meng, Fanwang, Wang, Runzhong, Klein, J Cullen, Godfrey, Alexander G, Coley, Connor W

Get full text