Embedded computing for high performance: efficient mapping of computations using customization, code transformations and compilation

por Cardoso, João M P, Coutinho, José Gabriel de Figueiredo, Diniz, Pedro C
Publicado 2017

Formal verification of Matrix based MATLAB models using interactive theorem proving

por Gauhar, Ayesha, Rashid, Adnan, Hasan, Osman, Bispo, João, Cardoso, João M.P.
Publicado 2021

Architecture of computing systems - ARCS 2016: 29th international conference, Nuremberg, Germany, April 4-7, 2016, proceedings

por Hannig, Frank, Cardoso, João M P, Pionteck, Thilo, Fey, Dietmar, Schröder-Preikschat, Wolfgang, Teich, Jürgen
Publicado 2016

Evaluation of COVID-19 chest computed tomography: A texture analysis based on three-dimensional entropy()

por Gaudêncio, Andreia S., Vaz, Pedro G., Hilal, Mirvana, Mahé, Guillaume, Lederlin, Mathieu, Humeau-Heurtier, Anne, Cardoso, João M.
Publicado 2021

Impact on sexual function of surgical treatment in rectal cancer

por Costa, Pedro, Cardoso, João M., Louro, Hugo, Dias, Jorge, Costa, Luís, Rodrigues, Raquel, Espiridião, Paulo, Maciel, Jorge, Ferraz, Luís
Publicado 2018

Ag(I) camphorimine complexes with antimicrobial activity towards clinically important bacteria and species of the Candida genus

por Cardoso, João M. S., Guerreiro, Soraia I., Lourenço, Andreia, Alves, Marta M., Montemor, M. Fátima, Mira, Nuno P., Leitão, Jorge H., Carvalho, M. Fernanda N. N.
Publicado 2017