Complete Quantum Relational Hoare Logics from Optimal Transport Duality

Authors: Barthe, Gilles, Gao, Minbo, Wang, Theo, Zhou, Li

Subject Terms: Computer Science - Logic in Computer Science, Quantum Physics

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

Transparent Decompilation for Timing Side-Channel Analyses

Authors: Olmos, Santiago Arranz, Barthe, Gilles, Blatter, Lionel, van der Wall, Sören, Zhang, Zhiyuan

Subject Terms: Computer Science - Programming Languages

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

Laws of Quantum Programming

Authors: Ying, Mingsheng, Zhou, Li, Barthe, Gilles

Subject Terms: Computer Science - Programming Languages

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

Universal approximation of continuous functions with minimal quantum circuits

Authors: Pérez-Salinas, Adrián, Rad, Mahtab Yaghubi, Barthe, Alice, Dunjko, Vedran

Subject Terms: Quantum Physics

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

New insight into quantifying vacancy distribution in self-ion irradiated tungsten: a combined experimental and computational study

Authors: Hu, Zhiwei, Wu, Jintong, Jomard, François, Granberg, Fredric, Barthe, Marie-France

Subject Terms: Condensed Matter - Materials Science

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

Automating Equational Proofs in Dirac Notation

Authors: Xu, Yingte, Barthe, Gilles, Zhou, Li

Source: Proc. ACM Program. Lang. 9, POPL, Article 42 (January 2025), 33 pages

Subject Terms: Computer Science - Programming Languages

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

SAMHD1 agit sur les fourches de réplication bloquées pour empêcher l’induction d’interféron

Authors: Coquel, F., Silva, M. J., Técher, H., Zadorozhny, K., Sharma, S., Nieminuszczy, J., Mettling, C., Dardillac, E., Barthe, A., Schmitz, A. L., Promonet, A., Cribier, A., Sarrazin, A., Niedzwiedz, W., Lopez, B., Costanzo, V., Krejci, L., Chabes, A., Benkirane, M., Lin, Y. L., Pasero, P.

Source: Comptes Rendus Biologies, Vol 343, Iss 1, Pp 9-21 (2020)

Subject Terms: Biology (General), QH301-705.5

File Description: electronic resource

Relation: https://comptes-rendus.academie-sciences.fr/biologies/articles/10.5802/crbiol.10/; https://doaj.org/toc/1768-3238

Access URL: https://doaj.org/article/423e20217a6a47bdb1b6b9d665aa51eb

High-dose long-time defect evolution in tungsten studied by atomistically informed Object Kinetic Monte Carlo simulations

Authors: Wu, Jintong, Balbuena, Juan-Pablo, Hu, Zhiwei, Jantunen, Ville, Barthe, Marie-France, Caturla, Maria Jose, Granberg, Fredric

Subject Terms: Condensed Matter - Materials Science

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

A quantitative probabilistic relational Hoare logic

Authors: Avanzini, Martin, Barthe, Gilles, Davoli, Davide, Grégoire, Benjamin

Subject Terms: Computer Science - Logic in Computer Science

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

Gate-based quantum simulation of Gaussian bosonic circuits on exponentially many modes

Authors: Barthe, Alice, Cerezo, M., Sornborger, Andrew T., Larocca, Martin, García-Martín, Diego

Source: Phys. Rev. Lett. 134 (2025)

Subject Terms: Quantum Physics, Computer Science - Computational Complexity

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

ImmersiveIML – Immersive interactive machine learning for 3D point cloud classification: the neural network at your fingertips

Authors: Cordeil, Maxime, Billy, Thomas, Mellado, Nicolas, Barthe, Loic, Couture, Nadine, Reuter, Patrick

Source: 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct) ISMAR-ADJUNCT Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), 2023 IEEE International Symposium on. :81-85 Oct, 2023

Relation: 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct)

Continuous Variables Quantum Algorithm for Solving Ordinary Differential Equations

Authors: Barthe, Alice, Grossi, Michele, Tura, Jordi, Dunjko, Vedran

Source: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) QCE Quantum Computing and Engineering (QCE), 2023 IEEE International Conference on. 02:48-53 Sep, 2023

Relation: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE)

Credit Risk Prediction using Genetic Algorithm and Stacking Ensemble

Authors: Barthe, Shashank, Biswas, Saroj Kumar, Sanyal, Saptarsi, Purkayastha, Biswajit

Source: 2023 International Conference on Computer, Electronics & Electrical Engineering & their Applications (IC2E3) Computer, Electronics & Electrical Engineering & their Applications (IC2E3), 2023 International Conference on. :1-6 Jun, 2023

Relation: 2023 International Conference on Computer, Electronics & Electrical Engineering & their Applications (IC2E3)

LDPC Codes with Low Error Floors and Efficient Encoders

Authors: Gadat, Benjamin, Barthe, Lyonel, Matuz, Balazs, Poulliat, Charly

Source: ICC 2023 - IEEE International Conference on Communications Communications, ICC 2023 - IEEE International Conference on. :6658-6663 May, 2023

Relation: ICC 2023 - IEEE International Conference on Communications

Spectre Declassified: Reading from the Right Place at the Wrong Time

Authors: Shivakumar, Basavesh Ammanaghatta, Barnes, Jack, Barthe, Gilles, Cauligi, Sunjay, Chuengsatiansup, Chitchanok, Genkin, Daniel, O'Connell, Sioli, Schwabe, Peter, Sim, Rui Qi, Yarom, Yuval

Source: 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :1753-1770 May, 2023

Relation: 2023 IEEE Symposium on Security and Privacy (SP)

Typing High-Speed Cryptography against Spectre v1

Authors: Shivakumar, Basavesh Ammanaghatta, Barthe, Gilles, Gregoire, Benjamin, Laporte, Vincent, Oliveira, Tiago, Priya, Swarn, Schwabe, Peter, Tabary-Maujean, Lucas

Source: 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :1094-1111 May, 2023

Relation: 2023 IEEE Symposium on Security and Privacy (SP)

Parameterized quantum circuits as universal generative models for continuous multivariate distributions

Authors: Barthe, Alice, Grossi, Michele, Vallecorsa, Sofia, Tura, Jordi, Dunjko, Vedran

Subject Terms: Quantum Physics

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

Testing side-channel security of cryptographic implementations against future microarchitectures

Authors: Barthe, Gilles, Böhme, Marcel, Cauligi, Sunjay, Chuengsatiansup, Chitchanok, Genkin, Daniel, Guarnieri, Marco, Romero, David Mateos, Schwabe, Peter, Wu, David, Yarom, Yuval

Subject Terms: Computer Science - Cryptography and Security

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

RING-NeRF : Rethinking Inductive Biases for Versatile and Efficient Neural Fields

Authors: Petit, Doriand, Bourgeois, Steve, Pavel, Dumitru, Gay-Bellile, Vincent, Chabot, Florian, Barthe, Loic

Subject Terms: Computer Science - Computer Vision and Pattern Recognition

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

Gradients and frequency profiles of quantum re-uploading models

Authors: Barthe, Alice, Pérez-Salinas, Adrián

Source: Quantum 8, 1523 (2024)

Subject Terms: Quantum Physics

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