Search

.

Current filters:

Use filters to refine the search results.

 |          

Item hits: Results 21-30 of 67 (Search time: 0.126 seconds).
Issue DateTitleAuthor(s)TypeAccess
28-Nov-2013A bounded model checker for SPARK programsLourenço, Cláudio Filipe Belo da SilvaMaster thesis Open access
2013Conceção e linhas de orientação para o desevolvimento de aplicações em HTML5 : o case study Primavera BSSCosta, Vítor Nuno RodriguesMaster thesis Open access
2013Modelação de padrões de conectividade cerebral funcionalMagalhães, Ricardo José SilvaMaster thesis Open access
16-Sep-2013Efficient processing of ATLAS events analysis in homogeneous and heterogeneous platforms with accelerator devicesPereira, André MartinsMaster thesis Open access
20-Mar-2013Support Vector Machines na previsão do comportamento de uma ETARRibeiro, Daniel José SilvaMaster thesis Open access
9-Oct-2013Ambient intelligence for monitoring weight and physical activityFerreira, João Manuel RodriguesMaster thesis Open access
2013Mining images of microbial communities for morphological characteristics in a support of clinical decision makingDomingues, Ana Catarina de JesusMaster thesis Open access
27-Sep-2013A toolkit for music processing and analysisAzevedo, Bruno Miguel CorreiaMaster thesis Open access
17-Jul-2013Revisão e reestruturação da arquitetura da plataforma Vortal Next : Vortal Software Development KitSantos, Bruno Miguel AlmeidaMaster thesis Open access
31-Oct-2013Querying for model-driven spreadsheetsdPereira, Rui Alexandre AfonsoMaster thesis Open access