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 132-151 de um total de 1075 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al.ArtigoAcesso aberto
Jan-2019CAPAS: A context-aware system architecture for physical activities monitoringFerreira, Paulo; Freitas, Leandro O.; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
2023Capturing Qubit decoherence through paraconsistent transition systemsBarbosa, L. S.; Madeira, AlexandreArtigo em ata de conferênciaAcesso aberto
1-Jan-2020Caracterização de tráfego em dispositivos móveis: web e aplicacionalAreal, Nuno; Carvalho, Paulo; Lima, SolangeArtigo em ata de conferênciaAcesso restrito UMinho
1-Jan-2015A case based approach to concrete deterioration assessmentNeves, José; Gomes, Guida; Machado, José Manuel, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1-Jan-2016A case-based approach to nosocomial infection detectionFaria, Ricardo; Vicente, Henrique; Abelha, António, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2008Case-based reasoning approach to adaptive web-based educational systemsAlves, Paulo; Amaral, Luis; Pires, JoséArtigo em ata de conferênciaAcesso aberto
Set-2017Certification of workflows in a component-based cloud of high performance computing servicesde Oliveira Dantas, Allberson B.; de Carvalho Junior, F. Heron; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1-Set-2015CF4BPMN: a BPMN extension for controlled flexibility in business processesMartinho, Ricardo; Domingos, Dulce; Varajão, JoãoArtigo em ata de conferênciaAcesso aberto
2019ChamelIoT: An agnostic operating system framework for reconfigurable IoT devicesSilva, Miguel; Tavares, Adriano; Gomes, Tiago Manuel Ribeiro, et al.ArtigoAcesso restrito UMinho
2020Characterisation of unsolicited traffic advertisements in mobile devicesSilva, José Pedro Veiga; Carvalho, Paulo; Lima, SolangeArtigo em ata de conferênciaAcesso restrito UMinho
Jul-2021Characterization of a metric for web applications (web points)Salgado, Ana Sofia Mendes; Ribeiro, PedroArtigo em ata de conferênciaAcesso aberto
6-Out-2020Characterizing and revealing biomarkers on patients with Cerebral Amyloid Angiopathy using artificial intelligenceSilva, Fátima Solange Lima Rezende daDissertação de mestrado Acesso aberto
10-Jan-2018Characterizing attentive behavior in intelligent environmentsDurães, Dalila; Carneiro, Davide; Jimenez, Amparo, et al.ArtigoAcesso restrito UMinho
2018Chatbot Theory: A naïve and elementary theory for dialogue managementMarcondes, Francisco S.; Almeida, J. J.; Novais, PauloArtigo em ata de conferênciaAcesso aberto
2015Child abuse monitor system model: a health care critical knowledge monitor systemPereira, Tiago Rui Carvalho e; Santos, HenriqueArtigo em ata de conferênciaAcesso restrito UMinho
2016Choosing audio devices on the basis of listeners’ spatial perception: A case study of headphones vs in-earphonesSilva, Carlos César Loureiro; Mouta, Sandra; Santos, Jorge A.Artigo em ata de conferênciaAcesso aberto
28-Jun-2019A ciência de serviços na melhoria da educação a distância em uma organização pública de ensino superiorOliveira, Wagner deTese de doutoramentoAcesso aberto
19-Dez-2019Ciências da computação de Alan Turing: Uma viagem pessoalValença, José Manuel EsgalhadoCapítulo de livroAcesso aberto
Mostrar 132-151 de um total de 1075 resultados. < anterior   próximo >