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
|
|
Ex Vivo Working Porcine Heart Model
Pigot, Henry ; Soltesz, Kristian ; Steen, Stig Ishikawa, Kiyotake
Experimental Models of Cardiovascular Diseases, 2024, Vol.2803, p.87-107
New York, NY: Springer US
Sem texto completo
|
4
|
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
|
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
|
|
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
|
8
|
Material Type: Capítulo de Livro
|
|
Complexity Challenges in Development of Cyber-Physical Systems
Törngren, Martin ; Sellgren, Ulf
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
|
|
Introduction to Runtime Verification
Bartocci, Ezio ; Falcone, Yliès ; Francalanza, Adrian ; Reger, Giles
Lectures on Runtime Verification, 2018, Vol.10457, p.1-33
[Periódico revisado por pares] Switzerland: Springer International Publishing AG
Sem texto completo
|
10
|
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
|