Combining Data and Theory for Derivable Scientific Discovery with AI-Descartes
- Cristina Cornelio
- Sanjeeb Dash
- et al.
- 2023
- Nature Communications
Publications
Date
Featured collections
Popular topics
3523 results for Mathematical Sciences
Understanding repertoire sequencing data through a multiscale computational model of the germinal center
- Rodrigo García-Valiente
- Elena Merino Tejero
- et al.
- 2023
- npj Systems Biology and Applications
Optimization with Constraint Learning
- S. Ilker Birbil
- Donato Maragno
- et al.
- 2023
- AAAI 2023
Robust high-dimensional memory-augmented neural networks
- Geethan Karunaratne
- Manuel Schmuck
- et al.
- 2021
- Nature Communications
Robust multi-property combiners for hash functions
- Marc Fischlin
- Anja Lehmann
- et al.
- 2013
- Journal of Cryptology
Batch verification of short signatures
- Jan Camenisch
- Susan Hohenberger
- et al.
- 2011
- Journal of Cryptology
Bonsai trees, or how to delegate a lattice basis
- David Cash
- Dennis Hofheinz
- et al.
- 2011
- Journal of Cryptology
Smooth projective hashing and two-message oblivious transfer
- Shai Halevi
- Yael Tauman Kalai
- 2010
- Journal of Cryptology
Secure computation without authentication
- Boaz Barak
- Ran Canetti
- et al.
- 2010
- Journal of Cryptology
Wildcarded identity-based encryption
- Michel Abdalla
- James Birkett
- et al.
- 2010
- Journal of Cryptology