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

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

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

Ideal type-II Weyl points in topological circuits by Li, Rujiang, Lv, Bo, Tao, Huibin, Shi, Jinhui, Chong, Yidong, Zhang, Baile, Chen, Hongsheng

Get full text

Structural and biochemical characterisation of bacterial metallo-β-lactamases by Makena, A

“…The progress made in this quest thus far is discussed at length in the introduction (Chapter 1).…”

Tonsillectomy or adenotonsillectomy versus non‐surgical treatment for chronic/recurrent acute tonsillitis by Burton, MJ, Glasziou, PP, Chong, LY, Venekamp, RP

“…An eighth trial in adults (40 participants) was at high risk of bias and did not provide any data for analysis. …”

Interfacial mechanics investigation of transmission components under non-Newtonian lubrication conditions by Bai, Xueyu

Get full text

Perovskite superstructures and heterostructures for enhanced optical performance by Chan, Wen Kiat

Get full text

AI is a viable alternative to high throughput screening: a 318-target study by Wallach, Izhar, Bernard, Denzil, Nguyen, Kong, Ho, Gregory, Morrison, Adrian, Stecula, Adrian, Rosnik, Andreana, O’Sullivan, Ann Marie, Davtyan, Aram, Samudio, Ben, Thomas, Bill, Worley, Brad, Butler, Brittany, Laggner, Christian, Thayer, Desiree, Moharreri, Ehsan, Friedland, Greg, Truong, Ha, van den Bedem, Henry, Ng, Ho Leung, Stafford, Kate, Sarangapani, Krishna, Giesler, Kyle, Ngo, Lien, Mysinger, Michael, Ahmed, Mostafa, Anthis, Nicholas J., Henriksen, Niel, Gniewek, Pawel, Eckert, Sam, de Oliveira, Saulo, Suterwala, Shabbir, PrasadPrasad, Srimukh Veccham Krishna, Shek, Stefani, Contreras, Stephanie, Hare, Stephanie, Palazzo, Teresa, O’Brien, Terrence E., Van Grack, Tessa, Williams, Tiffany, Chern, Ting-Rong, Kenyon, Victor, Lee, Andreia H., Cann, Andrew B., Bergman, Bastiaan, Anderson, Brandon M., Cox, Bryan D., Warrington, Jeffrey M., Sorenson, Jon M., Goldenberg, Joshua M., Young, Matthew A., DeHaan, Nicholas, Pemberton, Ryan P., Schroedl, Stefan, Abramyan, Tigran M., Gupta, Tushita, Mysore, Venkatesh, Presser, Adam G., Ferrando, Adolfo A., Andricopulo, Adriano D., Ghosh, Agnidipta, Ayachi, Aicha Gharbi, Mushtaq, Aisha, Shaqra, Ala M., Toh, Alan Kie Leong, Smrcka, Alan V., Ciccia, Alberto, de Oliveira, Aldo Sena, Sverzhinsky, Aleksandr, de Sousa, Alessandra Mara, Agoulnik, Alexander I., Kushnir, Alexander, Freiberg, Alexander N., Statsyuk, Alexander V., Gingras, Alexandre R., Degterev, Alexei, Tomilov, Alexey, Vrielink, Alice, Garaeva, Alisa A., Bryant-Friedrich, Amanda, Caflisch, Amedeo, Patel, Amit K., Rangarajan, Amith Vikram, Matheeussen, An, Battistoni, Andrea, Caporali, Andrea, Chini, Andrea, Ilari, Andrea, Mattevi, Andrea, Foote, Andrea Talbot, Trabocchi, Andrea, Stahl, Andreas, Herr, Andrew B., Berti, Andrew, Freywald, Andrew, Reidenbach, Andrew G., Lam, Andrew, Cuddihy, Andrew R., White, Andrew, Taglialatela, Angelo

Get full text

Synthesis and optical characterization of cadmium sulfide (CdS) single crystals for laser cooling effect by Zhang, Chiyuan

“…CdS has been proved very promising in laser cooling effect where nanobelts of CdS can be cooled down 40 K from room temperature and 20 K from 100K if excited by certain lasers1. …”
Get full text

Solution processed transition metal oxides selective contacts for Si heterojunction solar cells by Lu, Chenjin

Get full text

Bad touch theme park and other stories : a collection of short stories and an exegesis by Nurulhuda Mohammed Arslan

Get full text

Coordinated power management for islanded microgrids by Lin, Pengfeng

Get full text

Data driven and learning based approaches for integrated landside airside operations optimization by Ali, Hasnain

Get full text