Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
CSP Specification and Verification of a Relay-Based Railway Interlocking SystemBezerra, P. E. R. ; Oliveira, M. V. M. ; Lecomte, Thierry ; de Almeida Pereira, D.I.Formal Methods: Foundations and Applications, p.36-54 [Periódico revisado por pares]Cham: Springer Nature SwitzerlandSem texto completo |
2 |
Material Type: Capítulo de Livro
|
![]() |
Fundamentals and Current Strategies for Peripheral Nerve Repair and RegenerationCarvalho, Cristiana R. ; Reis, Rui L. ; Oliveira, Joaquim M.Advances in experimental medicine and biology, 2020, Vol.1249, p.173-201 [Periódico revisado por pares]Singapore: Springer SingaporeSem texto completo |
3 |
Material Type: Capítulo de Livro
|
![]() |
Nanoparticles and Microfluidic Devices in Cancer ResearchMaia, F. Raquel ; Reis, Rui L. ; Oliveira, Joaquim M.Advances in experimental medicine and biology, 2020, Vol.1230, p.161-171 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
4 |
Material Type: Capítulo de Livro
|
![]() |
Dynamic Culture Systems and 3D Interfaces Models for Cancer Drugs TestingFernandes, Diogo C. ; Canadas, Raphaël F. ; Reis, Rui L. ; Oliveira, Joaquim M.Advances in experimental medicine and biology, 2020, Vol.1230, p.137-159 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
5 |
Material Type: Capítulo de Livro
|
![]() |
Biomaterials and Microfluidics for Liver Modelsda Silva Morais, Alain ; Oliveira, Joaquim M. ; Reis, Rui L.Advances in experimental medicine and biology, 2020, Vol.1230, p.65-86 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
6 |
Material Type: Capítulo de Livro
|
![]() |
Microfluidic Devices and Three Dimensional-Printing Strategies for in vitro Models of BoneMaia, F. Raquel ; Reis, Rui L. ; Correlo, Vitor M. ; Oliveira, Joaquim M.Advances in experimental medicine and biology, 2020, Vol.1230, p.1-14 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
7 |
Material Type: Capítulo de Livro
|
![]() |
Protocol for Analysis of Root Causes of Problems Affecting the Quality of the Diagnosis Related Group-Based Hospital Data: A Rapid Review and Delphi ProcessLobo, M. F. ; Oliveira, M. ; Oliveira, A. R. ; Santos, J. V. ; Alonso, V. ; Lopes, F. ; Ramalho, A. ; Souza, J. ; Viana, J. ; Caballero, I. ; Freitas, A.Trends and Innovations in Information Systems and Technologies, p.93-103Cham: Springer International PublishingSem texto completo |
8 |
Material Type: Capítulo de Livro
|
![]() |
Dietary Protein Modulates the Efficacy of Taurine Supplementation on Adaptive Islet Function and Morphology in ObesityBatista, Thiago M. ; Vettorazzi, Jean Franciesco ; Santos-Silva, Junia Carolina ; Camargo, Rafael L. ; Branco, Renato Chaves Souto ; da Silva Junior, Joel Alves ; Oliveira, Kênia M. ; da Silva, Priscilla M. R. ; Boschero, Antonio Carlos ; Ribeiro, Rosane Aparecida ; Carneiro, Everardo MagalhãesAdvances in experimental medicine and biology, 2022, Vol.1370, p.267-278 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
9 |
Material Type: Capítulo de Livro
|
![]() |
Planning the Closure Procedure: Additive Manufacture of a Left Atrial AppendageValvez, S. ; Oliveira-Santos, M. ; Piedade, A. P. ; Gonçalves, L. ; Amaro, A. M.Proceedings of the 10th Congress of the Portuguese Society of Biomechanics, p.89-95 [Periódico revisado por pares]Cham: Springer Nature SwitzerlandSem texto completo |
10 |
Material Type: Capítulo de Livro
|
![]() |
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent HardwareMacário, F. J. S. ; Oliveira, M. V. M.Formal Methods: Foundations and Applications, p.3-18 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |