Zobrazeno 1 - 10
of 1 278
pro vyhledávání: '"Bourgeat P"'
Lagrangian decomposition (LD) is a relaxation method that provides a dual bound for constrained optimization problems by decomposing them into more manageable sub-problems. This bound can be used in branch-and-bound algorithms to prune the search spa
Externí odkaz:
http://arxiv.org/abs/2408.12695
Modern out-of-order processors face speculative execution attacks. Despite various proposed software and hardware mitigations to prevent such attacks, new attacks keep arising from unknown vulnerabilities. Thus, a formal and rigorous evaluation of th
Externí odkaz:
http://arxiv.org/abs/2407.12232
Hardware development relies on simulations, particularly cycle-accurate RTL (Register Transfer Level) simulations, which consume significant time. As single-processor performance grows only slowly, conventional, single-threaded RTL simulation is beco
Externí odkaz:
http://arxiv.org/abs/2403.04714
Hardware isolation primitives such as secure enclaves aim to protect sensitive programs, but remain vulnerable to transient execution attacks. Complete microarchitectural isolation is not a satisfactory defense mechanism as it leaves out public share
Externí odkaz:
http://arxiv.org/abs/2306.14882
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract The Advanced Trauma Life Support (ATLS) approach is generally accepted as the standard of care for the initial management of severely injured patients. While whole body computed tomography (WBCT) is still considered a contraindication in hae
Externí odkaz:
https://doaj.org/article/78fac0090149488ea510db6f51208838
Autor:
Cruz, Rodrigo Santa, Lebrat, Léo, Fu, Darren, Bourgeat, Pierrick, Fripp, Jurgen, Fookes, Clinton, Salvado, Olivier
The problem of Cortical Surface Reconstruction from magnetic resonance imaging has been traditionally addressed using lengthy pipelines of image processing techniques like FreeSurfer, CAT, or CIVET. These frameworks require very long runtimes deemed
Externí odkaz:
http://arxiv.org/abs/2206.06598
Autor:
Lebrat, Léo, Cruz, Rodrigo Santa, de Gournay, Frédéric, Fu, Darren, Bourgeat, Pierrick, Fripp, Jurgen, Fookes, Clinton, Salvado, Olivier
In this paper we introduce CorticalFlow, a new geometric deep-learning model that, given a 3-dimensional image, learns to deform a reference template towards a targeted object. To conserve the template mesh's topological properties, we train our mode
Externí odkaz:
http://arxiv.org/abs/2206.02374
Autor:
Yi‐En Quek, Yi Leng Fung, Pierrick Bourgeat, Simon J. Vogrin, Steven J. Collins, Stephen C. Bowden
Publikováno v:
Brain and Behavior, Vol 14, Iss 5, Pp n/a-n/a (2024)
Abstract Introduction The current study examined the contributions of comprehensive neuropsychological assessment and volumetric assessment of selected mesial temporal subregions on structural magnetic resonance imaging (MRI) to identify patients wit
Externí odkaz:
https://doaj.org/article/10f0823dda2d40129bb7f999f45e3fe4
Autor:
Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andrew, Chlipala, Adam
Instruction sets, from families like x86 and ARM, are at the center of many ambitious formal-methods projects. Many verification, synthesis, programming, and debugging tools rely on formal semantics of instruction sets, but different tools can use se
Externí odkaz:
http://arxiv.org/abs/2104.00762
Publikováno v:
Revista Metropolitana de Ciencias Aplicadas, Vol 6, Iss Sup. 2, Pp 133-141 (2023)
De acuerdo con la Constitución en la República del Ecuador, las comunidades, pueblos y nacionalidades indígenas están facultados para ejercer funciones jurisdiccionales en su ámbito territorial, de acuerdo con sus tradiciones ancestrales y su de
Externí odkaz:
https://doaj.org/article/04bcb95a64e345999a2d0a9b3197c5e5