Formal Verification of OAuth 2.0 Using Alloy Framework by Pai, S., Sharma, Y., Kumar, S., Pai, R. M., Singh, S.

Request full text

Multimodal transit scheduler: An actor-based concurrent approach by Talasila, Prasad, Haldar, Aparajita, Pai, Suhas S., Goveas, Neena, Deshpande, Bharat M.

Request full text

ESL: building the bridge between systems to silicon by Bacchini, Francine, Maliniak, David, Doherty, Terry, McShane, Peter, Pai, Suhas A., Sundararajan, Sriram, Eo, Soo-Kwan, Urard, Pascal

Get full text

Aurora-M: The First Open Source Multilingual Language Model Red-teamed according to the U.S. Executive Order by Nakamura, Taishi, Mishra, Mayank, Tedeschi, Simone, Chai, Yekun, Stillerman, Jason T, Friedrich, Felix, Yadav, Prateek, Laud, Tanmay, Chien, Vu Minh, Terry Yue Zhuo, Misra, Diganta, Bogin, Ben, Xuan-Son Vu, Karpinska, Marzena, Arnav Varma Dantuluri, Kusa, Wojciech, Furlanello, Tommaso, Yokota, Rio, Muennighoff, Niklas, Pai, Suhas, Adewumi, Tosin, Laippala, Veronika, Yao, Xiaozhe, Junior, Adalberto, Alpay Ariyak, Drozd, Aleksandr, Jordan, Clive, Gupta, Kshitij, Chen, Liangyu, Sun, Qi, Tsui, Ken, Persaud, Noah, Fahmy, Nour, Chen, Tianlong, Bansal, Mohit, Monti, Nicolo, Dang, Tai, Luo, Ziyang, Tien-Tung Bui, Navigli, Roberto, Mehta, Virendra, Blumberg, Matthew, May, Victor, Nguyen, Huu, Pyysalo, Sampo

Get full text

The BigScience ROOTS Corpus: A 1.6TB Composite Multilingual Dataset by Laurençon, Hugo, Saulnier, Lucile, Wang, Thomas, Akiki, Christopher, Albert Villanova del Moral, Teven Le Scao, Leandro Von Werra, Mou, Chenghao, Eduardo González Ponferrada, Nguyen, Huu, Frohberg, Jörg, Šaško, Mario, Lhoest, Quentin, McMillan-Major, Angelina, Dupont, Gerard, Biderman, Stella, Rogers, Anna, Loubna Ben allal, De Toni, Francesco, Pistilli, Giada, Nguyen, Olivier, Nikpoor, Somaieh, Maraim Masoud, Colombo, Pierre, de la Rosa, Javier, Villegas, Paulo, Thrush, Tristan, Longpre, Shayne, Nagel, Sebastian, Weber, Leon, Muñoz, Manuel, Zhu, Jian, Daniel Van Strien, Alyafeai, Zaid, Almubarak, Khalid, Minh Chien Vu, Gonzalez-Dios, Itziar, Soroa, Aitor, Lo, Kyle, Dey, Manan, Pedro Ortiz Suarez, Gokaslan, Aaron, Bose, Shamik, Adelani, David, Long, Phan, Tran, Hieu, Yu, Ian, Pai, Suhas, Chim, Jenny, Lepercq, Violette, Ilic, Suzana, Mitchell, Margaret, Luccioni, Sasha Alexandra, Jernite, Yacine

Get full text

Virtual Roundtable: User Perspectives

Get full text

Fiber metal laminates for high strain rate applications with layerwise shock impedance tuning by Pai, Anand, Rodriguez-Millan, Marcos, Kini, Chandrakant R., Mallya, Ravindra, Bekal, Chandrakantha, Yeshwant Nayak, Suhas, Shenoy, Satish B.

Get full text

An in vitro evaluation of dentinal microcrack formation during root canal preparations by three different nickel–titanium systems: ProTaper Gold, HyFlex CM, and Silk by Prasada, L. Krishna, Suhas, K., Pai, U. Akshay Kumar

Get full text

Cu–Cl Thermochemical Water Splitting Cycle: Probing Temperature-Dependent CuCl2 Hydrolysis and Thermolysis Reaction Using In Situ XAS by Singh, Rajendra V., Pai, Mrinal R., Banerjee, Atindra M., Nayak, Chandrani, Phapale, Suhas, Bhattacharyya, Dibyendu, Tripathi, Arvind K.

Get full text

Studies on Reaction Products, Byproducts, and Intermediates in Thermal Steps of the Cu–Cl Thermochemical Cycle for Hydrogen Generation by Singh, Rajendra V., Pai, Mrinal R., Banerjee, Atindra M., Thomas, Deepa, Patkare, Geeta S., Phapale, Suhas, Nayak, Chandrani, Bhasin, Vidha, Tripathi, Arvind K.

Get full text

Cu-Cl Thermochemical Water Splitting Cycle: Probing Temperature-Dependent CuCl.sub.2 Hydrolysis and Thermolysis Reaction Using In Situ XAS by Singh, Rajendra V, Pai, Mrinal R, Banerjee, Atindra M, Nayak, Chandrani, Phapale, Suhas, Bhattacharyya, Dibyendu, Tripathi, Arvind K

Get full text

Revisiting current distribution and future habitat suitability models for the endemic Malabar Tree Toad (Pedostibes tuberculosus) using citizen science data by Aravind, C. K., Priti, Hebbar, Harikrishnan, S., Ravi, Chellam, Gururaja, Kotambylu Vasudeva

Get full text

Effects of labial and lingual retraction and intrusion force on maxillary central incisor with varying collum angles: A three-dimensional finite elemental analysis by Pai, Sandesh, Panda, Suchareeta, Pai, Vinaya, Anandu, M, Vishwanath, E, Suhas, A

Get full text

Localization of impacted maxillary canines using panoramic radiography by Nagpal, Archna, Pai, Keerthilatha M., Setty, Suhas, Sharma, Gaurav

Get full text

Oral manifestations in HIV/AIDS infected patients from India by Sharma, G, Pai, KM, Suhas, S, Ramapuram, JT, Doshi, D, Anup, N

Get full text

Determination of Saturated Solubility of Naproxen using UV Visible Spectrophotometer by Kumar, Lalit, Suhas, BS, Pai, Girish K, Verma, Ruchi

Get full text

Discriminatory protein binding by a library of 96 new affinity resins: A novel dye-affinity chromatography tool-kit by Kumar, Sunil, Dalvi, Darshan B., Moorthy, Masana, Korde, Shilpa S., Fondekar, Kamalesh Pai, Sahasrabudhe, Suhas D., Schacht, Hans-Thomas, Ekkundi, Vadiraj S., Halik, Christine, Choudhury, Rajarshi, Kumar, Awanit, Punekar, Narayan S.

Get full text

Effects of labial and lingual retraction and intrusion force on maxillary central incisor with varying collum angles: A three-dimensional finite elemental analysis by Pai, Sandesh S, Panda, Suchareeta, Pai, Vinaya, Anandu, M, Vishwanath, E, Suhas, A S

Get full text

Green Chemical Route for Process Development of Atenolol Intermediate by Pai, Nandini R, Patil, Swapnali Suhas

Get full text

A Novel RP-HPLC Method for Quantitative Determination of an Angina Pectoris Drug and Related Substance by Pai, Nandini R, Patil, Swapnali Suhas

Get full text