1. Repositório Aberto da Universidade do Porto

Browsing by Subject Ciências da computação e da informação

Jump to: 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
or enter first few letters:  
Showing results 73 to 92 of 178 < previous   next >
Issue DateTitleAuthor(s)Type
2007Formal verification of a group membership protocol using model checkingValério Rosset; Pedro F. Souto; Francisco VasquesArtigo em Livro de Atas de Conferência Internacional
2018-12-03Fundamental Topics in Machine Intelligence and their Application to Digital ColposcopyKelwin Alexander Fernandes CorreiaTese
2017-07-18Gestão da Informação no UPTEC: um caso de estudoAna Gomes Teixeira Pericão MontenegroDissertação
2020-07-21Gestão Documental e Gestão de Recursos Humanos: contribuição para o desenvolvimento do Módulo iPortalDoc - RHCatarina Maria Gouveia da FonsecaDissertação
2021-01-26Graph-Based Entity-Oriented SearchJosé Luís da Silva DevezasTese
2022-09-05High-speed and High-assurance Cryptographic SoftwareTiago Filipe Azevedo OliveiraTese
2008ILP - Just trie itRui Camacho; Nuno A. Fonseca; Ricardo Rocha; Vítor Santos CostaArtigo em Livro de Atas de Conferência Internacional
2017-05-10Improving Algorithm Selection Methods using Meta-Learning by Considering Accuracy and Run TimeSalisu Mamman AbdulrahmanTese
2004Improving numerical reasoning capabilities of inductive logic programming systemsAlexessander Alves; Rui Camacho; Eugénio OliveiraArtigo em Revista Científica Internacional
2009Improving the efficiency of inductive logic programming systemsNuno A. Fonseca; Vítor Santos Costa; Ricardo Rocha; Rui Camacho; Fernando SilvaArtigo em Revista Científica Internacional
2015-06-11Improving Variable Selection and Mammography-based Machine Learning Classifiers for Breast Cancer CADxNoel Pérez PérezTese
2015Incomplete operational transition complexity of regular languagesEva Maia; Nelma Moreira; Rogerio ReisArtigo em Revista Científica Internacional
2018-12-06Informatização do Partograma: Conceção e Implementação de um Sistema para monitorização do partoCristina Malheiro LopesDissertação
2020-04-29Integrated Verification of Cryptographic Security Proofs and ImplementationsVítor Manuel Parreira PereiraTese
2010Integration of Domain and Social Ontologies in a CMS Based Collaborative PlatformLuís Carlos Carneiro; Cristovão Sousa; António Lucas SoaresCapítulo ou Parte de Livro
2017-12-11Intelligent facial animation: Creating emphatic characters with stimuli based animationJosé Mário Figueiredo SerraTese
2017-10-17Internship at PwC Belgium: Entity extractionTomáš ZdražilDissertação
2020-07-17Knowledge-Based Engineering supported by the Digital-Twin: the case of the Power Transformer at EFACECMiguel Alves de AzevedoDissertação
2021-12-10Learning from multi-entity dataDiogo Pernes da CunhaTese
2023-01-19Learning Word Sense Representations from Neural Language ModelsDaniel Alexandre Bouçanova LoureiroTese
Showing results 73 to 92 of 178 < previous   next >