Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Eric, Rodriguez"'
Autor:
Brasca, Riccardo, Birkbeck, Christopher, Boidi, Eric Rodriguez, Best, Alex, van De Velde, Ruben, Yang, Andrew
We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather than follow
Externí odkaz:
http://arxiv.org/abs/2410.01466
We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an important 19th century result that motivated the development of modern a
Externí odkaz:
http://arxiv.org/abs/2305.08955
Autor:
Mkhitar A. Hobosyan, Andrea Pelayo Carvajal, Bhupendra B. Srivastava, Tamanna Zakia, Mohammed Jasim Uddin, Karen S. Martirosyan, Eric Rodriguez, Kofi Nketia Ackaah-Gyasi, Nicholas Dimakis
Publikováno v:
Data in Brief, Vol 56, Iss , Pp 110771- (2024)
The density functional theory (DFT) and experimental data presented in this paper refer to the research article “Computational and experimental study on undoped and Er-doped lithium tantalate nano fluorescent probes”. The DFT data contain electro
Externí odkaz:
https://doaj.org/article/b3bafcbf185e47aea89dd740844c6d87
Autor:
Elli Leontsini, Sean Maloney, Margarita Ramírez, Eric Rodriguez, Tilly Gurman, Anne Ballard Sara, Gabrielle C. Hunter
Publikováno v:
BMC Public Health, Vol 20, Iss 1, Pp 1-14 (2020)
Abstract Background In El Salvador, Aedes aegypti mosquitoes transmitting Zika and other arboviruses use water storage containers as important oviposition sites. Promotion of water storage container cleaning is a key element of prevention programs. W
Externí odkaz:
https://doaj.org/article/93f6621fcab14a18b524d249d42727cf
Publikováno v:
Cerebral Circulation - Cognition and Behavior, Vol 3, Iss , Pp 100147- (2022)
Background: Cognitive-communication disorder (CCD) results from the association of language and cognition impairment that may follow right hemisphere (RH) damage and impair the quality of life of affected persons. Objective: We studied a set of 1,625
Externí odkaz:
https://doaj.org/article/0bdfefa09dd24ae8821e3dc9f58806d4
Autor:
James E. Galvin, Paul Aisen, Jessica B. Langbaum, Eric Rodriguez, Marwan Sabbagh, Richard Stefanacci, Robert A. Stern, Elizabeth A. Vassey, Arno de Wilde, Neva West, Ivana Rubino
Publikováno v:
Frontiers in Neurology, Vol 11 (2021)
Alzheimer's disease (AD) is a progressive, neurodegenerative disease that creates complex challenges and a significant burden for patients and caregivers. Although underlying pathological changes due to AD may be detected in research studies decades
Externí odkaz:
https://doaj.org/article/08b446c7652441e4add7c8865f31891b
Publikováno v:
Journal of Research in Crime and Delinquency. 60:112-164
Objectives Police use of excessive—even fatal—force is a significant social issue, one at the symbolic heart of the Black Lives Matter civil rights movement. However, a substantial number of Americans—disproportionately White—tend to minimize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::517ec85aa217c7c352658b1af3d64da0
https://doi.org/10.1177/00224278221120781
https://doi.org/10.1177/00224278221120781
Publikováno v:
Du Bois Review: Social Science Research on Race. 20:57-88
It matters how people view the police—and that there is a substantial racial gap in these views. Research has primarily focused on police experiences to explain generally less-positive views among Black Americans. We recommend a subtle but vital sh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b007350f8be2dc354cef52f0275bc3aa
https://doi.org/10.1017/s1742058x22000133
https://doi.org/10.1017/s1742058x22000133
Autor:
Mkhitar A. Hobosyan, Andrea Pelayo Carvajal, Bhupendra B. Srivastava, Tamanna Zakia, Mohammed Jasim Uddin, Karen S. Martirosyan, Eric Rodriguez, Kofi Nketia Ackaah-Gyasi, Nicholas Dimakis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6470280a484fa919c8e3dd50ed97234
https://doi.org/10.2139/ssrn.4458954
https://doi.org/10.2139/ssrn.4458954
Publikováno v:
Journal of Applied Social Psychology. 51:1170-1175
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f3e01c3e6e9a33c7faa4aac07270711
https://doi.org/10.1111/jasp.12770
https://doi.org/10.1111/jasp.12770