Automatic ISA analysis for Secure Context Switching

Authors: Kalani, Neelu S., Bourgeat, Thomas, Hunt, Guerney D. H., Ozga, Wojciech

Subject Terms: Computer Science - Operating Systems, Computer Science - Cryptography and Security

Access URL: http://arxiv.org/abs/2502.06609

Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning

Authors: Bessa, Swann, Dabert, Darius, Bourgeat, Max, Rousseau, Louis-Martin, Cappart, Quentin

Subject Terms: Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2408.12695

RTL Verification for Secure Speculation Using Contract Shadow Logic

Authors: Tan, Qinhan, Yang, Yuheng, Bourgeat, Thomas, Malik, Sharad, Yan, Mengjia

Subject Terms: Computer Science - Hardware Architecture

Access URL: http://arxiv.org/abs/2407.12232

Parendi: Thousand-Way Parallel RTL Simulation

Authors: Emami, Mahyar, Bourgeat, Thomas, Larus, James

Subject Terms: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Hardware Architecture

Access URL: http://arxiv.org/abs/2403.04714

Citadel: Simple Spectre-Safe Isolation For Real-World Programs That Share Memory

Authors: Drean, Jules, Gomez-Garcia, Miguel, Jepsen, Fisher, Bourgeat, Thomas, Devadas, Srinivas

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

Access URL: http://arxiv.org/abs/2306.14882

CorticalFlow$^{++}$: Boosting Cortical Surface Reconstruction Accuracy, Regularity, and Interoperability

Authors: Cruz, Rodrigo Santa, Lebrat, Léo, Fu, Darren, Bourgeat, Pierrick, Fripp, Jurgen, Fookes, Clinton, Salvado, Olivier

Subject Terms: Electrical Engineering and Systems Science - Image and Video Processing, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2206.06598

CorticalFlow: A Diffeomorphic Mesh Deformation Module for Cortical Surface Reconstruction

Authors: Lebrat, Léo, Cruz, Rodrigo Santa, de Gournay, Frédéric, Fu, Darren, Bourgeat, Pierrick, Fripp, Jurgen, Fookes, Clinton, Salvado, Olivier

Subject Terms: Computer Science - Computer Vision and Pattern Recognition, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2206.02374

SA-LuT-Nets: Learning Sample-Adaptive Intensity Lookup Tables for Brain Tumor Segmentation

Authors: Yu, B., Zhou, L., Wang, L., Yang, W., Yang, M., Bourgeat, P., Fripp, J.

Source: IEEE Transactions on Medical Imaging IEEE Trans. Med. Imaging Medical Imaging, IEEE Transactions on. 40(5):1417-1427 May, 2021

Sample-Adaptive GANs: Linking Global and Local Mappings for Cross-Modality MR Image Synthesis

Authors: Yu, B., Zhou, L., Wang, L., Shi, Y., Fripp, J., Bourgeat, P.

Source: IEEE Transactions on Medical Imaging IEEE Trans. Med. Imaging Medical Imaging, IEEE Transactions on. 39(7):2339-2350 Jul, 2020

Flexible Instruction-Set Semantics via Type Classes

Authors: Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andrew, Chlipala, Adam

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2104.00762

Ea-GANs: Edge-Aware Generative Adversarial Networks for Cross-Modality MR Image Synthesis

Authors: Yu, B., Zhou, L., Wang, L., Shi, Y., Fripp, J., Bourgeat, P.

Source: IEEE Transactions on Medical Imaging IEEE Trans. Med. Imaging Medical Imaging, IEEE Transactions on. 38(7):1750-1762 Jul, 2019

DeepCSR: A 3D Deep Learning Approach for Cortical Surface Reconstruction

Authors: Cruz, Rodrigo Santa, Lebrat, Leo, Bourgeat, Pierrick, Fookes, Clinton, Fripp, Jurgen, Salvado, Olivier

Subject Terms: Electrical Engineering and Systems Science - Image and Video Processing, Computer Science - Computer Vision and Pattern Recognition

Access URL: http://arxiv.org/abs/2010.11423

Going deeper with brain morphometry using neural networks

Authors: Cruz, Rodrigo Santa, Lebrat, Léo, Bourgeat, Pierrick, Doré, Vincent, Dowling, Jason, Fripp, Jurgen, Fookes, Clinton, Salvado, Olivier

Subject Terms: Electrical Engineering and Systems Science - Image and Video Processing, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2009.03303

Differentially Private Sketches for Jaccard Similarity Estimation

Authors: Aumüller, Martin, Bourgeat, Anders, Schmurr, Jana

Subject Terms: Computer Science - Machine Learning, Computer Science - Cryptography and Security, Computer Science - Information Retrieval, Statistics - Machine Learning

Access URL: http://arxiv.org/abs/2008.08134

PET-only 18F-AV1451 tau quantification

Authors: Bourgeat, P., Villemagne, V. L., Dore, V., Masters, C. L., Ames, D., Rowe, C. C., Salvado, O., Fripp, J.

Source: 2017 IEEE 14th International Symposium on Biomedical Imaging (ISBI 2017) Biomedical Imaging (ISBI 2017), 2017 IEEE 14th International Symposium on. :1173-1176 Apr, 2017

Relation: 2017 IEEE 14th International Symposium on Biomedical Imaging (ISBI 2017)

Bayesian Modeling of Multiple Structural Connectivity Networks During the Progression of Alzheimer's Disease

Authors: Peterson, Christine B., Osborne, Nathan, Stingo, Francesco C., Bourgeat, Pierrick, Doecke, James D., Vannucci, Marina

Source: Biometrics. 76(4): 1120-1132, 2020

Subject Terms: Statistics - Methodology, Statistics - Applications

Access URL: http://arxiv.org/abs/1908.10965

Enforcing temporal consistency in Deep Learning segmentation of brain MR images

Authors: Bateriwala, Malav, Bourgeat, Pierrick

Subject Terms: Computer Science - Machine Learning, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Neural and Evolutionary Computing

Access URL: http://arxiv.org/abs/1906.07160

Anatomical hubs from spectral clustering of structural connectomes

Authors: Mitra, J., Ghose, S., Bourgeat, P., Fripp, J., Mathias, J.L., Rose, S., Salvado, O.

Source: 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI) Biomedical Imaging (ISBI), 2016 IEEE 13th International Symposium on. :894-897 Apr, 2016

Relation: 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI 2016)

MI6: Secure Enclaves in a Speculative Out-of-Order Processor

Authors: Bourgeat, Thomas, Lebedev, Ilia, Wright, Andrew, Zhang, Sizhuo, Arvind, Devadas, Srinivas

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Operating Systems

Access URL: http://arxiv.org/abs/1812.09822

Impact of Harsh Grinding on the Structure and Color of LiCoPO4 and LiNiPO4 Pigments.

Authors: Ravet, Hugo, Penin, Nicolas, Chiron, Anthony, Brochon, Cyril, Brunel, Fabrice, Duttine, Mathieu, Bourgeat-Lami, Elodie, Gaudon, Manuel

Source: Inorganic Chemistry; 1/13/2025, Vol. 64 Issue 1, p166-180, 15p