Tech Reports
2019
- TR2019-001 (Geometry Automated Theorem Provers Systems Competition 0.2 Report)
2018
- TR 2018-002 (Monitoring Industrial Wireless Sensor Networks)
- TR 2018-001 (Adaptive Supervisory Framework for Cyber-Physical Systems)
2017
- TR 2017-005 (Active Learning Metamodels for Transportation Simulators)
- TR 2017-004 (GAIT Analysis: Methods & Data Review)
- TR 2017-003 (Comparison of Machine Learning Algorithms to Build a Model for Predicting Defects in Sheet Metal Forming Processes)
- TR 2017-002 (Computational Concept Modeling for Student Centric Lifestyle Analysis: A Technical Report on SOCIALITE Case Study)
- TR 2017-001 (Computing and Updating Hypervolume Contributions in Up to Four Dimensions)
2016
- TR 2016-001 (Proceedings of the 4th International Workshop on Theorem proving components for Educational software Affliated to CICM 2015)
2015
- TR 2015-002 (Recovering a labeling algorithm for the disjoint-set problem to improve Kruskal's eciency on dense graphs)
- TR 2015-001 (Studying the Properties of Structured Grammatical Evolution)
2014
- TR 2014-004 (Actas da “Videojogos2013” - Conferência de Ciências e Artes dos Videojogos Arte em Jogo)
- TR 2014-003 (Design and Development of a Fault-Tolerant Multi-Threaded Acceptor-Connector Design Pattern)
- TR 2014-002 (Joint Proceedings NLCS 2014 & NLSR 2014)
- TR 2014-001 (Preliminary Proceedings ADG 2014)
2013
- TR 2013-004 (Towards Building User Affect Models from Tweets: a comparative study with various datasets, features and algorithms)
- TR 2013-003 (BiMuSA: An implementation for biobjective multiple sequence alignment problems)
- TR 2013-002 (MOSAL:software tools for multiobjective sequence alignment)
- TR 2013-001 (Towards Affect-based User Models: a comparative study with various datasets, features and algorithms, for multi-labeled, probabilistic affect detection)
2011
- TR 2011-003 (Algorithmic Improvements on Dynamic Programming for the Bi-objective {0,1} Knapsack Problem)
- TR 2011-002 (Improvements on Dynamic Programming for Bicriteria Pairwise Sequence Alignment)
- TR 2011-001 (Preliminary Proceedings ThEdu'11)
2010
- TR 2010-002 (Dealine Queries: Using Elastic MapReduce to Produce On-Time Results)
- TR 2010-001 (Evolving Strategies for Updating Pheromone Trails: a Case Study with the TSP)
2009
- TR 2009-006 (The Area Method, Rigorous Proofs of Lemmas in Hilbert’s Style Axiom System)
- TR 2009-004 (Preliminary Proceedings LOPSTR 2009)
- TR 2009-003 (Computational Experiments with Multicriteria Sequence Alignment)
- TR 2009-002 (Happy Actors, Lasting Relations: How to Design a Sustainable Inter-Organizational Business Model)
- TR 2009-001 (Prediction in Evolutionary Algorithms for Dynamic Environments using Markov Chains and Nonlinear Regression)
2008
- TR 2008-004 (Evaluating Predictor's Accuracy in Evolutionary Algorithms for Dynamic Environments)
- TR 2008-003 (Frequency Analysis of the Portuguese Language)
- TR 2008-002 (The Influence of Population and Memory Sizes on the Evolutionary Algorithm’s Performance for Dynamic Environments)
- TR 2008-001 (Evolutionary Algorithms for Dynamic Environments: Prediction using Linear Regression and Markov Chains)
2007
- TR 2007-005 (Using Linear Regression to Predict Changes in Evolutionary Algorithms dealing with Dynamic Environments)
- TR 2007-004 (Improving Memory-based Evolutionary Algorithms in Changing Environments)
- TR 2007-003 (Multidimensional Knapsack Problem: The Influence of Representation)
- TR 2007-002 (Niching Techniques: a Study on the Cluster Geometry Optimization Problem)
- TR 2007-001 (Variable-size Memory Evolutionary Algorithm)
2006
- TR 2006-004 (Variable-size Memory Evolutionary Algorithm to Deal with Dynamic Environments: an empirical study)
- TR 2006-003 (Single-Step Creation of Localized Delaunay Triangulations)
- TR 2006-002 (GeoThms - Geometry Framework)
- TR 2006-001 (Framework for Constructive Geometry - Based on the Area Method)
2005
- TR 2005-001 (Predicting Protein Secondary Structure using Artificial Neural Networks)
2002
- TR 2002-001 (Logical Specification of Commutative Diagrams in a (La)TEX Document)
2001
- TR 2001-002 (An Algorithm for Rankin Optimal Paths)
- TR 2001-001
1999
- TR 1999-003 (Using Genetic Algorithms with Asexual Transposition)