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 40 to 59 of 133 < previous   next >
Issue DateTitleAuthor(s)Type
2012-11-27Classificação Hierárquica da Atividade Económica das Empresas a partir de Texto da WebMaria da Conceição da Silva FerreiraDissertação
2017-05-10Communities and Anomaly Detection in Large Edged-Labeled GraphsMiguel Ramos de AraújoTese
2016-04-18Computation of equilibria on integer programming gamesMaria Margarida da Silva CarvalhoTese
2009Controlling Complex Multimedia Systems via Reflection and OntologiesDaniel Oancea; Rui Jorge Moreira; João Correia LopesArtigo em Livro de Atas de Conferência Internacional
2017-09-22Cutting & Packing Problems: General Arc-flow Formulation with Graph CompressionFilipe Daniel Alves BrandãoTese
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