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 1075 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2019Using deep learning for mobile marketing user conversion predictionMatos, Luís Miguel; Cortez, Paulo; Mendes, Rui, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2021Using jason framework to develop a multi-agent system to manage users and spaces in an adaptive environment systemOliveira, Pedro Filipe; Novais, Paulo; Matos, PauloArtigo em ata de conferênciaAcesso aberto
27-Jun-2019Utilizando ambientes virtuais e objetos de aprendizagem adaptados às capacidades individuais: uma abordagem sobre a teoria dos estilos de aprendizagem em cursos da modalidade a distânciaLemos, Elizama das ChagasTese de doutoramentoAcesso aberto
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
Mostrar 1035-1054 de um total de 1075 resultados. < anterior   próximo >