1
|
Material Type: Capítulo de Livro
|
|
A 2-Level Domain Decomposition Preconditioner for KKT Systems with Heat-Equation Constraints
Cyr, Eric C. Dostál, Zdeněk ; Kozubek, Tomáš ; Klawonn, Axel ; Langer, Ulrich ; Šístek, Jakub ; Widlund, Olof B. ; Pavarino, Luca F.
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. Zheng, Yefeng ; Padoy, Nicolas ; Speidel, Stefanie ; de Bruijne, Marleen ; Essert, Caroline ; Cattin, Philippe C. ; Cotin, Stéphane
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 ; 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 Takagi, Tsuyoshi ; Peyrin, Thomas
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 Zheng, Yefeng ; Padoy, Nicolas ; Speidel, Stefanie ; de Bruijne, Marleen ; Essert, Caroline ; Cattin, Philippe C. ; Cotin, Stéphane
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 Zheng, Yefeng ; Padoy, Nicolas ; Speidel, Stefanie ; de Bruijne, Marleen ; Essert, Caroline ; Cattin, Philippe C. ; Cotin, Stéphane
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. Jawahar, C. V. ; Schindler, Konrad ; Mori, Greg ; Li, Hongdong
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 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
|
|
Introduction to Runtime Verification
Bartocci, Ezio ; Falcone, Yliès ; Francalanza, Adrian ; Reger, Giles Falcone, Yliès ; Bartocci, Ezio
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. Zheng, Yefeng ; Padoy, Nicolas ; Speidel, Stefanie ; de Bruijne, Marleen ; Essert, Caroline ; Cattin, Philippe C. ; Cotin, Stéphane
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, p.61-71
[Periódico revisado por pares] Cham: Springer International Publishing
Sem texto completo
|