skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A 2-Level Domain Decomposition Preconditioner for KKT Systems with Heat-Equation Constraints
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A 2-Level Domain Decomposition Preconditioner for KKT Systems with Heat-Equation Constraints

Cyr, Eric C.

Domain Decomposition Methods in Science and Engineering XXVII, 2024, Vol.149, p.463-470 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

2
Medical Transformer: Gated Axial-Attention for Medical Image Segmentation
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Medical Transformer: Gated Axial-Attention for Medical Image Segmentation

Valanarasu, Jeya Maria Jose ; Oza, Poojan ; Hacihaliloglu, Ilker ; Patel, Vishal M.

Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, p.36-46 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

3
Homomorphic Encryption for Arithmetic of Approximate Numbers
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Homomorphic Encryption for Arithmetic of Approximate Numbers

Cheon, Jung Hee ; Kim, Andrey ; Kim, Miran ; Song, Yongsoo

Advances in Cryptology – ASIACRYPT 2017, p.409-437 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

4
GANomaly: Semi-supervised Anomaly Detection via Adversarial Training
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

GANomaly: Semi-supervised Anomaly Detection via Adversarial Training

Akcay, Samet ; Atapour-Abarghouei, Amir ; Breckon, Toby P.

Computer Vision – ACCV 2018, p.622-637 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

5
TransFuse: Fusing Transformers and CNNs for Medical Image Segmentation
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

TransFuse: Fusing Transformers and CNNs for Medical Image Segmentation

Zhang, Yundong ; Liu, Huiye ; Hu, Qiang

Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, p.14-24 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

6
TransBTS: Multimodal Brain Tumor Segmentation Using Transformer
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

TransBTS: Multimodal Brain Tumor Segmentation Using Transformer

Wang, Wenxuan ; Chen, Chen ; Ding, Meng ; Yu, Hong ; Zha, Sen ; Li, Jiangyun

Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, p.109-119 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

7
Introduction to Runtime Verification
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Introduction to Runtime Verification

Bartocci, Ezio ; Falcone, Yliès

Lectures on Runtime Verification, 2018, Vol.10457, p.1-33 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

8
Complexity Challenges in Development of Cyber-Physical Systems
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Complexity Challenges in Development of Cyber-Physical Systems

Lohstroh, Marten ; Derler, Patricia ; Sirjani, Marjan

Principles of Modeling, 2018, Vol.10760, p.478-503 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

9
UTNet: A Hybrid Transformer Architecture for Medical Image Segmentation
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

UTNet: A Hybrid Transformer Architecture for Medical Image Segmentation

Gao, Yunhe ; Zhou, Mu ; Metaxas, Dimitris N.

Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, p.61-71 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

10
Optimizing the Dice Score and Jaccard Index for Medical Image Segmentation: Theory and Practice
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Optimizing the Dice Score and Jaccard Index for Medical Image Segmentation: Theory and Practice

Bertels, Jeroen ; Eelbode, Tom ; Berman, Maxim ; Vandermeulen, Dirk ; Maes, Frederik ; Bisschops, Raf ; Blaschko, Matthew B.

Medical Image Computing and Computer Assisted Intervention – MICCAI 2019, 2019, p.92-100 [Periódico revisado por pares]

Cham: Springer International Publishing

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 (248.332)
  2. Revistas revisadas por pares (54.468)

Data de Publicação 

De até
  1. Antes de1960  (541)
  2. 1960Até1975  (9.657)
  3. 1976Até1991  (27.191)
  4. 1992Até2008  (157.624)
  5. Após 2008  (493.957)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (602.016)
  2. Alemão  (16.798)
  3. Japonês  (2.555)
  4. Francês  (2.022)
  5. Italiano  (444)
  6. Espanhol  (233)
  7. Português  (147)
  8. Holandês  (143)
  9. Dinamarquês  (38)
  10. Norueguês  (19)
  11. Sueco  (8)
  12. Interlingue  (6)
  13. Indonésio  (3)
  14. Romeno  (3)
  15. Vietnamita  (3)
  16. Russo  (2)
  17. Chinês  (2)
  18. Eslovaco  (1)
  19. Ucraniano  (1)
  20. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.