Browsing by Subject Computer and information sciences

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 45 to 64 of 133 < previous   next >
Issue DateTitleAuthor(s)Type
2018-07-18Data Mining para estudos de interacção entre fármacos e previsão de Efeitos Adversos de FármacosMarta Milheiro Soeiro Nunes LopesDissertação
2015Deciding Kleene algebra terms equivalence in CoqNelma Moreira; David Pereira; Simao Melo de SousaArtigo em Revista Científica Internacional
2012-11-22Descoberta de Subgrupos e Conjuntos de Contraste - Estudo de um caso real - Caraterização do perfil do cliente de Companhias de Seguro DiretoKarina dos Santos CarvalhoDissertação
2010Design an extensible metadata editor based on RDFJosé Paulo Leal; Ricardo QueirósArtigo em Livro de Atas de Conferência Internacional
2018-06-26Diagnosis of Rheumatic Heart Disease Based on Echocardiography VideosMalik Saad SultanTese
2018-04-10Dynamic contracts for verification and enforcement of real-time systems propertiesAndré de Matos PedroTese
2016-07-06Email Classification: a case studyAndré Ricardo Azevedo Gonçalves da SilvaDissertação
2006Enriching a MAS environment with institutional servicesAndreia Malucelli; Henrique Lopes Cardoso; Eugénio OliveiraArtigo em Revista Científica Internacional
2014-07-14Ensemble methods in ordinal data classificationJoão David Pereira da CostaDissertação
2017-07-11Estudo e caraterização dos hábitos de utilização e navegação em jornais onlineJoão Miguel Falcão MorgadoDissertação
2016-07-18EUDAT Link: Integração da plataforma Dendro com a rede de gestão de dados europeia EUDATFábio Filipe Jesus da SilvaDissertação
2018-07-17Evaluation and development of algorithms and computational tools for metabolic pathway optimizationFilipe Alexandre Wang LiuTese
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
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