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

Examining diabetes management apps recommended from a Google search : content analysis by Jimenez, Geronimo, Lum, Elaine, Car, Josip

Get full text
Get full text

Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings / by Diagrams (Conference) (12th : 2021 : Online) 643173, Basu, Amrita, 1953-, editor 643175, Stapleton, Gem, editor 643176, Linker, Sven, editor 643177, Legg, Catherine, editor 643178, Manalo, Emmanuel, editor 643179, Viana, Petrucio, editor 643180

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).…”

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

Three essays on corporate finance by Koh, Jee Youn

Get full text

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

Get full text

The Next Race : The Geostrategic Contest in Space by Johnson-Freese, Joan

Get full text
Get full text