Zobrazeno 1 - 10
of 323
pro vyhledávání: '"Gibson, Erin"'
Gordeev and Haeusler [GH19] claim that each tautology $\rho$ of minimal propositional logic can be proved with a natural deduction of size polynomial in $|\rho|$. This builds on work from Hudelmaier [Hud93] that found a similar result for intuitionis
Externí odkaz:
http://arxiv.org/abs/2212.12150
Autor:
Beaulac, Cédric, Wu, Sidi, Gibson, Erin, Miranda, Michelle F., Cao, Jiguo, Rocha, Leno, Beg, Mirza Faisal, Nathoo, Farouk S.
Publikováno v:
BMC Bioinformatics 24, 271 (2023)
A major issue in the association of genes to neuroimaging phenotypes is the high dimension of both genetic data and neuroimaging data. In this article, we tackle the latter problem with an eye toward developing solutions that are relevant for disease
Externí odkaz:
http://arxiv.org/abs/2207.10794
Publikováno v:
In Computers in Human Behavior: Artificial Humans August-December 2024 2(2)
Autor:
Gibson, Erin A.
Publikováno v:
In Veterinary Clinics of North America: Small Animal Practice July 2024 54(4):721-733
Autor:
Mehl, Lindsey C., Gibson, Erin M.
Publikováno v:
In Trends in Cancer May 2024 10(5):386-388
Autor:
Cesare, Nina, Lines, Lisa M., Chandler, Redonna, Gibson, Erin B., Vickers-Smith, Rachel, Jackson, Rebecca, Bazzi, Angela R., Goddard-Eckrich, Dawn, Sabounchi, Nasim, Chisolm, Deena J., Vandergrift, Nathan, Oga, Emmanuel
Publikováno v:
In Journal of Substance Use and Addiction Treatment February 2024 157
Autor:
Rojo, Daniela, Dal Cengio, Louisa, Badner, Anna, Kim, Samuel, Sakai, Noriaki, Greene, Jacob, Dierckx, Tess, Mehl, Lindsey C., Eisinger, Ella, Ransom, Julia, Arellano-Garcia, Caroline, Gumma, Mohammad E., Soyk, Rebecca L., Lewis, Cheyanne M., Lam, Mable, Weigel, Maya K., Damonte, Valentina Martinez, Yalçın, Belgin, Jones, Samuel E., Ollila, Hanna M., Nishino, Seiji, Gibson, Erin M.
Publikováno v:
In Neuron 15 November 2023 111(22):3604-3618
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Computers in Human Behavior August 2023 145