Zobrazeno 1 - 10
of 4 388
pro vyhledávání: '"A, Krook"'
We address recovery of the three-dimensional backbone structure of single polypeptide proteins from single-particle cryo-electron microscopy (Cryo-SPA) data. Cryo-SPA produces noisy tomographic projections of electrostatic potentials of macromolecule
Externí odkaz:
http://arxiv.org/abs/2410.00833
Autor:
Schneiders, Eike, Seabrooke, Tina, Krook, Joshua, Hyde, Richard, Leesakul, Natalie, Clos, Jeremie, Fischer, Joel
Large Language Models (LLMs) are seemingly infiltrating every domain, and the legal context is no exception. In this paper, we present the results of three experiments (total N=288) that investigated lay people's willingness to act upon, and their ab
Externí odkaz:
http://arxiv.org/abs/2409.07871
This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multiple tests for a single property in parallel, using the available cores.
Externí odkaz:
http://arxiv.org/abs/2404.16062
Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code and data
Externí odkaz:
http://arxiv.org/abs/2307.13172
Autor:
Dimitrius Santiago P. S. F. Guimarães, Ninon M. F. Barrios, André Gustavo deOliveira, David Rizo‐Roca, Maxence Jollet, Jonathon A.B. Smith, Thiago R. Araujo, Marcos Vinicius daCruz, Emilio Marconato Jr., Sandro M. Hirabara, André S. Vieira, Anna Krook, Juleen R. Zierath, Leonardo R. Silveira
Publikováno v:
Journal of Cachexia, Sarcopenia and Muscle, Vol 15, Iss 4, Pp 1335-1347 (2024)
Abstract Background The maintenance of skeletal muscle plasticity upon changes in the environment, nutrient supply, and exercise depends on regulatory mechanisms that couple structural and metabolic adaptations. The mechanisms that interconnect both
Externí odkaz:
https://doaj.org/article/d0a4d88491184486a67364d8ba2b1567
Autor:
Adriana Guerta de Souza, Melissa Zattoni Antoneli, Patrick Pedreira Silva, Maria Inês Pegoraro-Krook, Gabriela Aparecida Prearo, Jeniffer de Cássia Rillo Dutka
Publikováno v:
Audiology: Communication Research, Vol 29 (2024)
RESUMO Objetivo Caracterizar e comparar a audição e o estado da orelha média na fissura labiopalatina nas condições com ou sem história de tubo de ventilação. Métodos Estudo retrospectivo de 463 prontuários de pacientes com fissura transfor
Externí odkaz:
https://doaj.org/article/9e804eaffb76466b9f839716bb13e8b3
Autor:
Darliana Soares Gomes de Lima, Rita Tonocchi, Bianca Lopes Cavalcante Leão, Diana Conceição da Rocha Cardoso, Camila de Castro Corrêa, Maria Inês Pegoraro-Krook, Jeniffer de Cássia Rillo Dutka
Publikováno v:
RGO: Revista Gaúcha de Odontologia, Vol 72 (2024)
ABSTRACT Objective: To compare the knowledge of Dental and Speech-Language Pathology undergraduate students about prosthesis treatment of velopharyngeal dysfunction in cases of cleft lip and palate before and after using educational multimedia materi
Externí odkaz:
https://doaj.org/article/2e6201afd3494cfda29ea1e3eddc1002
Autor:
Melo da Silva, Crislayne1 crislaynemelo@usp.com, Pegoraro-Krook, Maria Inês1,2,3, de Cássia Rillo Dutka, Jeniffer1,2,3
Publikováno v:
Revista CEFAC. 2024, Vol. 26 Issue 6, p1-11. 11p.
The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads. This persuasi
Externí odkaz:
http://arxiv.org/abs/2210.07798
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee correctness. Though these methods have shown their usefulness, care must
Externí odkaz:
http://arxiv.org/abs/2207.05854