1
|
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
|
2
|
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
|
3
|
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
|
4
|
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
|
5
|
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] Cham: Springer International Publishing
Sem texto completo
|
6
|
Material Type: Capítulo de Livro
|
|
Complexity Challenges in Development of Cyber-Physical Systems
Törngren, Martin ; Sellgren, Ulf
Principles of Modeling, 2018, p.478-503
[Periódico revisado por pares] Cham: Springer International Publishing
Sem texto completo
|
7
|
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
|
8
|
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
|
9
|
Material Type: Capítulo de Livro
|
|
Tissue Engineered Skin Substitutes
Goodarzi, Parisa ; Falahzadeh, Khadijeh ; Nematizadeh, Mehran ; Farazandeh, Parham ; Payab, Moloud ; Larijani, Bagher ; Tayanloo Beik, Akram ; Arjmand, Babak
Advances in experimental medicine and biology, 2018, Vol.1107, p.143-188
[Periódico revisado por pares] Cham: Springer International Publishing
Sem texto completo
|
10
|
Material Type: Capítulo de Livro
|
|
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances
de Lemos, Rogério ; Garlan, David ; Ghezzi, Carlo ; Giese, Holger ; Andersson, Jesper ; Litoiu, Marin ; Schmerl, Bradley ; Weyns, Danny ; Baresi, Luciano ; Bencomo, Nelly ; Brun, Yuriy ; Camara, Javier ; Calinescu, Radu ; Cohen, Myra B. ; Gorla, Alessandra ; Grassi, Vincenzo ; Grunske, Lars ; Inverardi, Paola ; Jezequel, Jean-Marc ; Malek, Sam ; Mirandola, Raffaela ; Mori, Marco ; Müller, Hausi A. ; Rouvoy, Romain ; Rubira, Cecília M. F. ; Rutten, Eric ; Shaw, Mary ; Tamburrelli, Giordano ; Tamura, Gabriel ; Villegas, Norha M. ; Vogel, Thomas ; Zambonelli, Franco
Software Engineering for Self-Adaptive Systems III. Assurances, p.3-30
[Periódico revisado por pares] Cham: Springer International Publishing
Sem texto completo
|