1. Repositório Aberto da Universidade do Porto

Browsing by Subject Ciência de computadores, 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 1 to 20 of 36  next >
Issue DateTitleAuthor(s)Type
2010A Contribution to the E-Framework: a Specification of a Programming Exercise Evaluation ServiceJosé Paulo Leal; Ricardo Queirós; Duarte FerreiraRelatório Técnico
2005A Data Webhouse to monitor the use of a Web Based Higher Education Information SystemCarla Teixeira Lopes; Gabriel DavidArtigo em Livro de Atas de Conferência Internacional
2010A Fast Constrained Sphere Decoder for Ill Conditioned Communication SystemsI. Kanaras; A. Chorti; Miguel Rodrigues; I. DarwazehArtigo em Revista Científica Internacional
2009A multi-agent system for airline operations controlAntónio J. M. Castro; Eugénio OliveiraArtigo em Livro de Atas de Conferência Internacional
2012A simulation system to support computer poker researchLuís Filipe Teófilo; Rosaldo Rossetti; Luís Paulo Reis; Henrique Lopes CardosoArtigo em Livro de Atas de Conferência Internacional
2010A tool for automatic model extraction of Ada/SPARK programsAndré Carvalho; Nuno Silva; Simão Melo de Sousa; Nelma MoreiraCapítulo ou Parte de Relatório
2010An Interactive Simulation of a Distributed Traffic Control System based on a VANETH. C. Conceição; Ricardo Fernandes; Michel FerreiraArtigo em Livro de Atas de Conferência Internacional
2004As ciências documentais e a construção da Web semânticaCristina RibeiroArtigo em Livro de Atas de Conferência Nacional
2010Deployment and evaluation of a usage based collaborative filtering recommendation system with blacklistsLuís Lemos; Alípio M. Jorge; José Paulo LealArtigo em Livro de Atas de Conferência Internacional
2010DIVERT for realistic simulation of heterogeneous vehicular networksFernandes, R; Pedro M. d'Orey; Michel FerreiraArtigo em Livro de Atas de Conferência Internacional
2010Efficient Parallel Subgraph Counting Using G-TriesPedro Ribeiro; Silva, F; Lopes, LArtigo em Livro de Atas de Conferência Internacional
2009Emotion-based multimedia retrieval and delivery through online user biosignals: multichannel online biosignals towards adaptative GUI and content deliveryV. Vinhas; Luís Paulo Reis; Eugénio OliveiraArtigo em Livro de Atas de Conferência Internacional
2016Generating error control codes with automata and transducersKonstantinidis, S; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
2010GUItar and FAgoo: Graphical interface for automata visualization, editing, and interactionAndré Almeida; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Nacional
2010Heuristics and exact methods for number partitioningJoao Pedro Pedroso; Kubo, MArtigo em Revista Científica Internacional
2010Inferência de tipos em PythonEva Maia; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Nacional
2002Issues in Spatio-temporal Database Systems: Data Models, Languages and Moving ObjectsJosé Moreira; Cristina Ribeiro; Jean-Marc Saglio; Michel SchollCapítulo ou Parte de Livro
2010Modelling the decoder and demapper EXIT chart curves in BICM-ID systems: BEC approximationsW. Carson; Miguel Rodrigues; I. J. WassellArtigo em Livro de Atas de Conferência Internacional
2010On Applying Linear Tabling to Logic ProgramsMIGUEL AREIASDissertação
2010On the Average Number of States of Partial Derivative AutomataBroda, S; António Machiavelo; Nelma Moreira; Rogério ReisArtigo em Livro de Atas de Conferência Internacional
Showing results 1 to 20 of 36  next >