skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Recursos Textuais remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Papers based on the School and Workshop on Theory and Technology in Quantum Information, Communication, Computation and Cryptography : Miramare, Trieste, Italy, 12-23 June 2006

Fabio Benatti 1960-; School and Workshop on Theory and Technology in Quantum Information, Communication, Computation and Cryptography (2006 : Trieste, Italy)

Bristol, UK : IOP Pub. c2007

Localização: IF - Instituto de Física    (J.Phys.A v.40 n.28 2007 )(Acessar)

2
Une approche générique à la vérification quantitative
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Une approche générique à la vérification quantitative

Fahrenberg, Uli ; Fahrenberg, Aline

2023

Sem texto completo

3
Proofs in theories
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Proofs in theories

Dowek, Gilles

2022

Sem texto completo

4
A note on generalization bounds for losses with finite moments
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

A note on generalization bounds for losses with finite moments

Rodríguez-Gálvez, Borja ; Rivasplata, Omar ; Thobaben, Ragnar ; Skoglund, Mikael

arXiv.org, 2024

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

5
Federated Learning for Medical Applications: A Taxonomy, Current Trends, Challenges, and Future Research Directions
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Federated Learning for Medical Applications: A Taxonomy, Current Trends, Challenges, and Future Research Directions

Rauniyar, Ashish ; Hagos, Desta Haileselassie ; Jha, Debesh ; Håkegård, Jan Erik ; Bagci, Ulas ; Rawat, Danda B ; Vlassov, Vladimir

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

6
Deep Neural Network approaches for Analysing Videos of Music Performances
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Deep Neural Network approaches for Analysing Videos of Music Performances

Liwicki, Foteini Simistira ; Upadhyay, Richa ; Chhipa, Prakash Chandra ; Murphy, Killian ; Visi, Federico ; Östersjö, Stefan ; Liwicki, Marcus

arXiv.org, 2022

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

7
Computer-Based Scaffolding In Computer Science Education
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Computer-Based Scaffolding In Computer Science Education

Trinh, Rebecca ; Levy, Simone

VCU Scholars Compass 2022

Texto completo disponível

8
From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem

Heijltjes, Willem ; Strassburger, Lutz

2021

Sem texto completo

9
Dans l'air du temps : logiciel R
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Dans l'air du temps : logiciel R

Boutry, Sébastien

2023

Sem texto completo

10
An introduction to cognitive planning
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

An introduction to cognitive planning

Fernandez Davila, Jorge Luis ; Longin, Dominique ; Lorini, Emiliano ; Maris, Frédéric

2022

Sem texto completo

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (798)
  2. Disponível na Biblioteca (1)

Data de Publicação 

De até
  1. Antes de1970  (170)
  2. 1970Até1982  (254)
  3. 1983Até1995  (209)
  4. 1996Até2009  (1.700)
  5. Após 2009  (4.003)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (4.477)
  2. Francês  (2.076)
  3. Alemão  (152)
  4. Espanhol  (126)
  5. Catalão  (17)
  6. Russo  (13)
  7. Italiano  (9)
  8. Português  (7)
  9. Chinês  (7)
  10. Holandês  (4)
  11. Búlgaro  (4)
  12. Dinamarquês  (4)
  13. Tcheco  (3)
  14. Interlingue  (3)
  15. Eslovaco  (2)
  16. Húngaro  (1)
  17. Suaíle  (1)
  18. Romeno  (1)
  19. Persa  (1)
  20. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.