Bounded model checking of C++ programs based on the Qt cross‐platform framework by Monteiro, Felipe R., Garcia, Mário A. P., Cordeiro, Lucas C., Lima Filho, Eddie B.

Get full text

Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract) by Monteiro, Felipe R., Garcia, Mario A. P., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Request full text

Lacrimal Cytokines Assessment in Subjects Exposed to Different Levels of Ambient Air Pollution in a Large Metropolitan Area by Matsuda, Monique, Bonatti, Rodolfo, Marquezini, Mônica V, Garcia, Maria L B, Santos, Ubiratan P, Braga, Alfésio L F, Alves, Milton R, Saldiva, Paulo H N, Monteiro, Mário L R

Get full text

ASTEROSEISMIC ESTIMATE OF HELIUM ABUNDANCE OF A SOLAR ANALOG BINARY SYSTEM by Verma, Kuldeep, Faria, Joao P, Antia, H M, Basu, Sarbani, MAZUMDAR, ANWESH, MONTEIRO, MARIO J P F G, APPOURCHAUX, THIERRY, Chaplin, William J, Garcia, Rafael A, Metcalfe, Travis S

Get full text

The protective role of commensal gut microbes and their metabolites against bacterial pathogens by Cheng, Liqin, Correia, Mário S. P., Higdon, Shawn M., Romero Garcia, Fabricio, Tsiara, Ioanna, Joffré, Enrique, Sjöling, Åsa, Boulund, Fredrik, Norin, Elisabeth Lissa, Engstrand, Lars, Globisch, Daniel, Du, Juan

Get full text

Reduced running performance and greater perceived exertion, but similar post-exercise neuromuscular fatigue in tropical natives subjected to a 10 km self-paced run in a hot compare... by Rodrigues, Jefferson F. C, Mendes, Thiago T, Gomes, Patrícia F, Silami-Garcia, Emerson, Amorim, Fabiano T, Sevilio, Mário N. O, Rossi, Fabrício E, Wanner, Samuel P

Get full text

Status and recommendations for sustainable freshwater aquaculture in Brazil by Nobile, André B., Cunico, Almir M., Vitule, Jean R. S., Queiroz, Jamile, Vidotto‐Magnoni, Ana P., Garcia, Diego A. Z., Orsi, Mário L., Lima, Felipe P., Acosta, Aline A., da Silva, Reinaldo J., do Prado, Fernanda D., Porto‐Foresti, Fábio, Brandão, Heleno, Foresti, Fausto, Oliveira, Claudio, Ramos, Igor P.

Get full text

Melatonin improves insulin sensitivity independently of weight loss in old obese rats by Zanuto, Ricardo, Siqueira-Filho, Mário A., Caperuto, Luciana C., Bacurau, Reury F. P., Hirata, Emiko, Peliciari-Garcia, Rodrigo A., do Amaral, Fernanda Gaspar, Marçal, Anderson C., Ribeiro, Luciene M., Camporez, João P. G., Carpinelli, Ângelo Rafael, Bordin, Silvana, Cipolla-Neto, José, Carvalho, Carla R. O.

Get full text

Water deficit tolerance in sugarcane is dependent on the accumulation of sugar in the leaf by Garcia, Fernando H. S., Chagas Mendonça, Ane M., Rodrigues, Marcelo, Matias, Filipe I., Silva Filho, Mário P., Santos, Hugo R. B., Taffner, Julian, Barbosa, João P. R. A. D.

Get full text

Viral manipulation of functionally distinct interneurons in mice, non-human primates and humans by Vormstein-Schneider, Douglas, Lin, Jessica D., Pelkey, Kenneth A., Chittajallu, Ramesh, Guo, Baolin, Arias-Garcia, Mario A., Allaway, Kathryn, Sakopoulos, Sofia, Schneider, Gates, Stevenson, Olivia, Vergara, Josselyn, Sharma, Jitendra, Zhang, Qiangge, Franken, Tom P., Smith, Jared, Ibrahim, Leena A., Mastro, Kevin J., Sabri, Ehsan, Huang, Shuhan, Favuzzi, Emilia, Burbridge, Timothy, Xu, Qing, Guo, Lihua, Vogel, Ian, Sanchez, Vanessa, Saldi, Giuseppe A., Gorissen, Bram L., Yuan, Xiaoqing, Zaghloul, Kareem A., Devinsky, Orrin, Sabatini, Bernardo L., Batista-Brito, Renata, Reynolds, John, Feng, Guoping, Fu, Zhanyan, McBain, Chris J., Fishell, Gord, Dimidschstein, Jordane

Get full text

Population biology of Astyanax lacustris (Pisces, Characiformes) in a Neotropical reservoir and its tributaries by VIDOTTO-MAGNONI, ANA P., KURCHEVSKI, GREGÓRIO, DE LIMA, FELIPE P., NOBILE, ANDRÉ B., GARCIA, DIEGO A.Z., CASIMIRO, ARMANDO C.R., PEREIRA, ALAN D., ORSI, MÁRIO L.

Get full text

Asteroseismic modelling of solar-type stars: a deeper look at the treatment of initial helium abundance by Nsamba, Benard, Moedas, Nuno, Campante, Tiago L, Cunha, Margarida S, Hernández, Antonio García, Suárez, Juan C, Monteiro, Mário J P F G, Fernandes, João, Jiang, Chen, Akinsanmi, Babatunde

Request full text

Tissue coverage of a hydrophilic polymer-coated zotarolimus-eluting stent vs. a fluoropolymer-coated everolimus-eluting stent at 13-month follow-up: an optical coherence tomography... by Gutiérrez-Chico, Juan Luis, van Geuns, Robert Jan, Regar, Evelyn, van der Giessen, Willem J., Kelbæk, Henning, Saunamäki, Kari, Escaned, Javier, Gonzalo, Nieves, di Mario, Carlo, Borgia, Francesco, Nüesch, Eveline, García-García, Héctor M., Silber, Sigmund, Windecker, Stephan, Serruys, Patrick W.

Get full text

Human-iPSC-Derived Cardiac Stromal Cells Enhance Maturation in 3D Cardiac Microtissues and Reveal Non-cardiomyocyte Contributions to Heart Disease by Giacomelli, Elisa, Meraviglia, Viviana, Campostrini, Giulia, Cochrane, Amy, Cao, Xu, van Helden, Ruben W.J., Krotenberg Garcia, Ana, Mircea, Maria, Kostidis, Sarantos, Davis, Richard P., van Meer, Berend J., Jost, Carolina R., Koster, Abraham J., Mei, Hailiang, Míguez, David G., Mulder, Aat A., Ledesma-Terrón, Mario, Pompilio, Giulio, Sala, Luca, Salvatori, Daniela C.F., Slieker, Roderick C., Sommariva, Elena, de Vries, Antoine A.F., Giera, Martin, Semrau, Stefan, Tertoolen, Leon G.J., Orlova, Valeria V., Bellin, Milena, Mummery, Christine L.

Get full text

Proton channels and exchangers in cancer by Spugnini, Enrico Pierluigi, Sonveaux, Pierre, Stock, Christian, Perez-Sayans, Mario, De Milito, Angelo, Avnet, Sofia, Garcìa, Abel Garcìa, Harguindey, Salvador, Fais, Stefano

Get full text

Multidimensional tropical forest recovery by Poorter, Lourens, Craven, Dylan, Jakovac, Catarina C, van der Sande, Masha T, Amissah, Lucy, Bongers, Frans, Chazdon, Robin L, Farrior, Caroline E, Kambach, Stephan, Meave, Jorge A, Muñoz, Rodrigo, Norden, Natalia, Rüger, Nadja, van Breugel, Michiel, Almeyda Zambrano, Angélica María, Amani, Bienvenu, Andrade, José Luis, Brancalion, Pedro H S, Broadbent, Eben N, de Foresta, Hubert, Dent, Daisy H, Derroire, Géraldine, DeWalt, Saara J, Dupuy, Juan M, Durán, Sandra M, Fantini, Alfredo C, Finegan, Bryan, Hernández-Jaramillo, Alma, Hernández-Stefanoni, José Luis, Hietz, Peter, Junqueira, André B, N'dja, Justin Kassi, Letcher, Susan G, Lohbeck, Madelon, López-Camacho, René, Martínez-Ramos, Miguel, Melo, Felipe P L, Mora, Francisco, Müller, Sandra C, N'Guessan, Anny E, Oberleitner, Florian, Ortiz-Malavassi, Edgar, Pérez-García, Eduardo A, Pinho, Bruno X, Piotto, Daniel, Powers, Jennifer S, Rodríguez-Buriticá, Susana, Rozendaal, Danaë M A, Ruíz, Jorge, Tabarelli, Marcelo, Teixeira, Heitor Mancini, Valadares de Sá Barretto Sampaio, Everardo, van der Wal, Hans, Villa, Pedro M, Fernandes, Geraldo W, Santos, Braulio A, Aguilar-Cano, José, de Almeida-Cortez, Jarcilene S, Alvarez-Davila, Esteban, Arreola-Villa, Felipe, Balvanera, Patricia, Becknell, Justin M, Cabral, George A L, Castellanos-Castro, Carolina, de Jong, Ben H J, Nieto, Jhon Edison, Espírito-Santo, Mário M, Fandino, Maria C, García, Hernando, García-Villalobos, Daniel, Hall, Jefferson S, Idárraga, Alvaro, Jiménez-Montoya, Jaider, Kennard, Deborah, Marín-Spiotta, Erika, Mesquita, Rita, Nunes, Yule R F, Ochoa-Gaona, Susana, Peña-Claros, Marielos, Pérez-Cárdenas, Nathalia, Rodríguez-Velázquez, Jorge, Villanueva, Lucía Sanaphre, Schwartz, Naomi B, Steininger, Marc K, Veloso, Maria D M, Vester, Henricus F M, Vieira, Ima C G, Williamson, G Bruce, Zanini, Kátia, Hérault, Bruno

Get full text

Quantum computation of dominant products in lithium–sulfur batteries by Rice, Julia E., Gujarati, Tanvi P., Motta, Mario, Takeshita, Tyler Y., Lee, Eunseok, Latone, Joseph A., Garcia, Jeannette M.

Get full text

Revisiting the Red Giant Branch Hosts KOI-3886 and ι Draconis. Detailed Asteroseismic Modeling and Consolidated Stellar Parameters by Campante, Tiago L., Li, Tanda, Ong, J. M. Joel, Corsaro, Enrico, Cunha, Margarida S., Bedding, Timothy R., Bossini, Diego, Breton, Sylvain N., Buzasi, Derek L., Chaplin, William J., Deal, Morgan, García, Rafael A., Hill, Michelle L., Hon, Marc, Huber, Daniel, Jiang, Chen, Kane, Stephen R., Kayhan, Cenk, Kuszlewicz, James S., Lillo-Box, Jorge, Mathur, Savita, F. G. Monteiro, Mário J. P., Pereira, Filipe, Santos, Nuno C., Serenelli, Aldo, Stello, Dennis

Get full text

Statin Use and In-Hospital Mortality in Patients With Diabetes Mellitus and COVID-19 by Saeed, Omar, Castagna, Francesco, Agalliu, Ilir, Xue, Xiaonan, Patel, Snehal R, Rochlani, Yogita, Kataria, Rachna, Vukelic, Sasa, Sims, Daniel B, Alvarez, Chikezie, Rivas-Lasarte, Mercedes, Garcia, Mario J, Jorde, Ulrich P

Get full text

The same old mistakes in aquaculture: the newly-available striped catfish Pangasianodon hypophthalmus is on its way to putting Brazilian freshwater ecosystems at risk by Garcia, Diego A. Z., Magalhães, André L. B., Vitule, Jean R. S., Casimiro, Armando C. R., Lima-Junior, Dilermando P., Cunico, Almir M., Brito, Marcelo F. G., Petrere-Junior, Miguel, Agostinho, Ângelo A., Orsi, Mário L.

Get full text