Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Recurso Textual
|
![]() |
Papers based on the School and Workshop on Theory and Technology in Quantum Information, Communication, Computation and Cryptography : Miramare, Trieste, Italy, 12-23 June 2006Fabio Benatti 1960-; School and Workshop on Theory and Technology in Quantum Information, Communication, Computation and Cryptography (2006 : Trieste, Italy)Bristol, UK : IOP Pub. c2007Localização: IF - Instituto de Física (J.Phys.A v.40 n.28 2007 )(Acessar) |
2 |
Material Type: Recurso Textual
|
![]() |
Une approche générique à la vérification quantitativeFahrenberg, Uli ; Fahrenberg, Aline2023Sem texto completo |
3 |
Material Type: Recurso Textual
|
![]() |
Proofs in theoriesDowek, Gilles2022Sem texto completo |
4 |
Material Type: Recurso Textual
|
![]() |
A note on generalization bounds for losses with finite momentsRodríguez-Gálvez, Borja ; Rivasplata, Omar ; Thobaben, Ragnar ; Skoglund, MikaelarXiv.org, 2024Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
5 |
Material Type: Recurso Textual
|
![]() |
Federated Learning for Medical Applications: A Taxonomy, Current Trends, Challenges, and Future Research DirectionsRauniyar, Ashish ; Hagos, Desta Haileselassie ; Jha, Debesh ; Håkegård, Jan Erik ; Bagci, Ulas ; Rawat, Danda B ; Vlassov, VladimirarXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
6 |
Material Type: Recurso Textual
|
![]() |
Deep Neural Network approaches for Analysing Videos of Music PerformancesLiwicki, Foteini Simistira ; Upadhyay, Richa ; Chhipa, Prakash Chandra ; Murphy, Killian ; Visi, Federico ; Östersjö, Stefan ; Liwicki, MarcusarXiv.org, 2022Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
7 |
Material Type: Recurso Textual
|
![]() |
Computer-Based Scaffolding In Computer Science EducationTrinh, Rebecca ; Levy, SimoneVCU Scholars Compass 2022Texto completo disponível |
8 |
Material Type: Recurso Textual
|
![]() |
From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th ProblemHeijltjes, Willem ; Strassburger, Lutz2021Sem texto completo |
9 |
Material Type: Recurso Textual
|
![]() |
Dans l'air du temps : logiciel RBoutry, Sébastien2023Sem texto completo |
10 |
Material Type: Recurso Textual
|
![]() |
An introduction to cognitive planningFernandez Davila, Jorge Luis ; Longin, Dominique ; Lorini, Emiliano ; Maris, Frédéric2022Sem texto completo |