Percorrer por áreas do conhecimento (FOS/OCDE) Ciências Naturais::Ciências da Computação e da Informação

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1035-1054 de um total de 1072 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
Abr-2018Validation of a novel software tool for automatic aortic annular sizing in three-dimensional transesophageal echocardiographic imagesQueirós, Sandro Filipe Monteiro; Morais, Pedro; Dubois, Christophe, et al.ArtigoAcesso restrito UMinho
15-Dez-2020O valor da informação cientifica: abordagem na perspectiva dos sistemas de informaçãoCruz, Maria Aparecida Lopes daTese de doutoramentoAcesso aberto
2010Value trees usefulness in assessment of enterprise architectures valueRodrigues, Luís Silva; Amaral, LuisArtigo em ata de conferênciaAcesso aberto
4-Jun-2019Venham mais 10! Uma década de gestão da qualidade e melhoria contínua nas Bibliotecas da Universidade do MinhoCardoso, Edward Acácio Gomes; Rodrigues, EloyComunicação oral Acesso aberto
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
23-Out-2022Verification of railway network models with EVERESTMartins, João; Fonseca, José M.; Costa, Rafael, et al.Artigo em ata de conferênciaAcesso aberto
2020Verification of system-wide safety properties of ROS applicationsCarvalho, Renato; Cunha, Alcino; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
10-Ago-2016Verifying constant-time implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
2023Verifying temporal relational models with PardinusMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.Artigo em ata de conferênciaAcesso aberto
Dez-2019Very high-order accurate polygonal mesh finite volume scheme for conjugate heat transfer problems with curved interfaces and imperfect contactsCosta, Ricardo; Nóbrega, J. M.; Clain, Stéphane, et al.ArtigoAcesso restrito autor
12-Nov-2018A virtual factory for smart city service integrationCledou, María GuillerminaTese de doutoramentoAcesso aberto
2019Visual analytics for spatiotemporal eventsSilva, Ricardo Almeida; Pires, Joao Moura; Datia, Nuno, et al.ArtigoAcesso aberto
2018Visualising hidden spatiotemporal patterns at multiple levels of detailSilva, Ricardo Almeida; Pires, Joao Moura; Datia, Nuno, et al.Artigo em ata de conferênciaAcesso restrito UMinho
1-Jan-2016Waiting time screening in diagnostic medical imaging – A case-based viewEsteves, Marisa; Vicente, Henrique; Gomes, Sabino, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2019Watch out for that tree! A tutorial on shortcut deforestationFernandes, João Paulo; Cunha, Jácome; Saraiva, João, et al.Artigo em ata de conferênciaAcesso aberto
2014Weak morphisms of higher dimensional automataKahl, ThomasArtigoAcesso restrito UMinho
Fev-2021Web based object annotation tool using a Triplet-ReID sorting approachCosta, Afonso; Ferreira, André Leite; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto
1-Nov-2009Web crawler profiling and containment through navigation pattern miningLourenço, Anália Maria Garcia; Belo, OrlandoArtigo em ata de conferênciaAcesso restrito autor
2018Web intelligence in higher education: A study on the usage of business intelligence techniques in educationMaia, Adriano; Portela, Filipe; Santos, ManuelArtigo em ata de conferênciaAcesso aberto
1-Jan-2020A WEB tool for identifying and monitoring technology trendsMoreno, Edward David; Mota, Alan Felix Da; Aragão, Victor Daniel Silva, et al.Artigo em ata de conferênciaAcesso restrito autor
Mostrar 1035-1054 de um total de 1072 resultados. < anterior   próximo >