1
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|
Material Type: Capítulo de Livro
|
|
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
|