A Coq Mechanization of JavaScript Regular Expression Semantics by De Santo, Noé, Barrière, Aurèle, Pit-Claudel, Clément

Get full text

A Coq Mechanization of JavaScript Regular Expression Semantics by De Santo, Noé, Barrière, Aurèle, Pit-Claudel, Clément

Get full text

Human IFN-γ immunity to mycobacteria is governed by both IL-12 and IL-23 by Martínez-Barricarte, Rubén, Markle, Janet G, Ma, Cindy S, Deenick, Elissa K, Ramírez-Alejo, Noé, Mele, Federico, Latorre, Daniela, Mahdaviani, Seyed Alireza, Aytekin, Caner, Mansouri, Davood, Bryant, Vanessa L, Jabot-Hanin, Fabienne, Deswarte, Caroline, Nieto-Patlán, Alejandro, Surace, Laura, Kerner, Gaspard, Itan, Yuval, Jovic, Sandra, Avery, Danielle T, Wong, Natalie, Rao, Geetha, Patin, Etienne, Okada, Satoshi, Bigio, Benedetta, Boisson, Bertrand, Rapaport, Franck, Seeleuthner, Yoann, Schmidt, Monika, Ikinciogullari, Aydan, Dogu, Figen, Tanir, Gonul, Tabarsi, Payam, Bloursaz, Mohammed Reza, Joseph, Julia K, Heer, Avneet, Kong, Xiao-Fei, Migaud, Mélanie, Lazarov, Tomi, Geissmann, Frédéric, Fleckenstein, Bernhard, Arlehamn, Cecilia Lindestam, Sette, Alessandro, Puel, Anne, Emile, Jean-François, van de Vosse, Esther, Quintana-Murci, Lluis, Di Santo, James P, Abel, Laurent, Boisson-Dupuis, Stéphanie, Bustamante, Jacinta, Tangye, Stuart G, Sallusto, Federica, Casanova, Jean-Laurent

Get full text

A multifaceted intervention to improve treatment with oral anticoagulants in atrial fibrillation (IMPACT-AF): an international, cluster-randomised trial by Vinereanu, Dragos, Bahit, M Cecilia, Xavier, Denis, Jiang, Jie, He, Wensheng, Kamath, Deepak Y, Pokorney, Sean D, Tajer, Carlos, Granger, Christopher B, Carbajales, Justo, Gómez, Javier Neri Ceferino, Acunzo, Jorge Galperín Rafael Salvador, Ciampi, Natalia, Panigadi, Cristian Gustavo, Pastura, Silvia Gabriela, Onetto, Leonardo Martín, Moya, Cecilia Rafaela, Camerini, Daniel, Medesani, Luis, Ferroni, Fabián, Fassi, Daniel Omar, Bosio, Fernando Javier Díaz, Baztarrica, Gabriel Edgardo Pérez, Vico, Marisa Liliana, Poy, Carlos Alberto, Laspina, Marcela Julieta, Poy, María Laura, de Barros e Silva, Pedro Gabriel Melo, Berwanger, Otavio, Egydio, Flávia, Restelli, Elissa, Valois, Mayara Vioto, Barbosa, Lilian Mazza, Pimenta, Thiago Librelon, Lemos, Maria Angelica Teixeira, Costa, Osana Maria Coelho, Demore, Ana Paula, Brito, Roberta Parra, Melo, Camila Dal Bon, de Lima, Tiago Aparecido Maschio, Rodrigues, Milena Pozzatto, dos Santos, Tais Alves, da Silveira Kaross, Níncia Lucca, Cantarelli, Maiara, do Amarante, Luciano, Foscarini, Priscila, Fialho, Lisa, God, Epotamenides Maria Good, Figueiredo, Estêvão Lanna, Werner, Gustavo Fonseca, de Faria Garcia, Jose Carlos, Barbosa, Luiz Carlos Vianna, Pardi, Ernaldo, Oliveira, Márcia Domingos, de Moraes, Michele Santos Montoni, Filho, Adalberto Menezes Lorga, Queirantes, Clotildes S.P., He, Pengkang, Zhao, Mingzhong, Yu, Juan, Wang, Lijun, Liu, Lili, Liu, Shuwang, Xia, Guangwei, Wang, Zhirong, Chen, Wensu, Tang, Qiang, Xu, Weiting, Zhu, Xinyi, Jin, Qiaoyun, Xie, Xiaojie, Thomas, Joby K., Rathi, Gaurav, Doshi, Dhruval, MA, Srilakshmi, Kumar, Shantha, Rao, Malipeddi Bhaskara, Rao, Kodem Damodara, Vuriya, Anjan Kumar, Khandelwal, Bidita, Khatri, Dheeraj, Sharma, Mukesh, Jathappa, Narendra, Lokesh, B.H., Leela, A.C., Someshwara, K.C., Desai, Soaham, Patel, Kunj, Patel, Sujal, Bhartiya, Maulik, Mishra, Ashok Kumar, Singh, Akansha, Carstea, Nicolae, Chitoiu, Gabriel Tatu, Cornaciu, Stelian, Gaita, Dan, Pleava, Roxana, Sinescu, Crina J., Magda, Stefania L., Matei, Lavinia

Get full text

Physical activity patterns in type 1 diabetes in Spain: The SED1 study by Gómez-Peralta, F, Menéndez, E, Conde, S, Conget, I, Novials, A

Get full text