Zobrazeno 1 - 10
of 245
pro vyhledávání: '"Chede A"'
Autor:
Chede, Sravanthi, Shukla, Anil
Merge Resolution (MRes [Beyersdorff et al. J. Autom. Reason.'2021]) is a recently introduced proof system for false QBFs. It stores the countermodels as merge maps. Merge maps are deterministic branching programs in which isomorphism checking is effi
Externí odkaz:
http://arxiv.org/abs/2112.11044
Autor:
Zabot, Gabriel Casagrande, Medeiros, Eduarda Behenck, Macarini, Bárbara Machado Naspolini, Peruchi, Bruno Búrigo, Keller, Gabriela Serafim, Lídio, Adrielly Vargas, Boaventura, Amanda, de Jesus, Laura Ceolin, de Bem Silveira, Gustavo, Silveira, Paulo Cesar Lock, Chede, Beatriz Costa, Réus, Gislaine Zilli, Budni, Josiane
Publikováno v:
In Progress in Neuropsychopharmacology & Biological Psychiatry 13 July 2024 133
Autor:
Henry Secaira-Morocho, Abhinav Chede, Luis Gonzalez-de-Salceda, Ferran Garcia-Pichel, Qiyun Zhu
Publikováno v:
Cell Reports, Vol 43, Iss 6, Pp 114268- (2024)
Summary: We investigate the distribution and evolution of prokaryotic cell size based on a compilation of 5,380 species. Size spans four orders of magnitude, from 100 nm (Mycoplasma) to more than 1 cm (Thiomargarita); however, most species congregate
Externí odkaz:
https://doaj.org/article/f2e655ab182c4d52af245d134059d83f
Autor:
Chede, Sravanthi, Shukla, Anil
Merge Resolution (MRes [Beyersdorff et al. J. Autom. Reason.'2021] ) is a refutational proof system for quantified Boolean formulas (QBF). Each line of MRes consists of clauses with only existential literals, together with information of countermodel
Externí odkaz:
http://arxiv.org/abs/2107.09320
Autor:
Chede, Sravanthi, Shukla, Anil
We show that the QRAT simulation algorithm of $\forall$Exp+Res from [B. Kiesl and M. Seidl, 2019] cannot be lifted to IR-calc.
Comment: 9 pages, 2 figures
Comment: 9 pages, 2 figures
Externí odkaz:
http://arxiv.org/abs/2107.04547
Autor:
Secaira-Morocho, Henry, Chede, Abhinav, Gonzalez-de-Salceda, Luis, Garcia-Pichel, Ferran, Zhu, Qiyun
Publikováno v:
In Cell Reports 25 June 2024 43(6)
Publikováno v:
Social Network Analysis and Mining (Springer Nature), Volume 11 Issue 1, December 2021, Article No 107 (2021)
In the recent period of time with a lot of social platforms emerging, the relationships among various units can be framed with respect to either positive, negative or no relation. These units can be individuals, countries or others that form the basi
Externí odkaz:
http://arxiv.org/abs/2105.12460
Publikováno v:
Microbiome, Vol 11, Iss 1, Pp 1-14 (2023)
Abstract Background Exploring metagenomic contigs and “binning” them into metagenome-assembled genomes (MAGs) are essential for the delineation of functional and evolutionary guilds within microbial communities. Despite the advances in automated
Externí odkaz:
https://doaj.org/article/57c65705fe9740cdb1dbf9283643eb68
Publikováno v:
In International Journal of Pharmaceutics 25 July 2023 642
Autor:
Chede, Bernardo S., Venancio, Igor M., Figueiredo, Thiago S., Albuquerque, Ana Luiza S., Silva-Filho, Emmanoel Vieira
Publikováno v:
In Palaeogeography, Palaeoclimatology, Palaeoecology 1 September 2022 601