Dissertações
2023/2024
-
Euclidean Distance Matrix Completion and Related Problems EVALUATED
Author: David Silveira de Sousa (ist192624)
Coordenação: Lina Maria Mateus de Oliveira (ist12383) Maria do Rosário De Oliveira Silva (ist12954)
-
Applying robust regression to assess Portuguese exposure to bisphenols EVALUATED
Author: Joana Hiromi Ogura (ist1102114)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954)
-
Aproximação Numérica de Soluções de Problemas de Obstáculo EVALUATED
Author: Rui Manuel Lança dos Santos (ist190549)
Coordenação: Juha Hans Videman (ist13212)
-
Multiple Boundary Control of Elliptic Problems EVALUATED
Author: Joana De Matos Ribeiro (ist164941)
Coordenação: Jorge Filipe Duarte Tiago (ist90590)
-
Evaluating player off-the-ball movement in football with reinforcement learning EVALUATED
Author: Martim Martins Baptista do Rosário Rêgo (ist186480)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Dirichlet Boundary Control of the Poisson Equation with Mixed Boundary Conditions EVALUATED
Author: Dinis Lopes Ferreira Garcia da Rocha (ist190385)
Coordenação: Jorge Filipe Duarte Tiago (ist90590)
-
Enhancing the numerical approximation of parametrized optimal control problems through proper orthogonal decomposition and artificial neural networks CONFIRMED
Author: Carlo Andrea Venturini (ist1104958)
Coordenação: Jorge Filipe Duarte Tiago (ist90590)
-
BOUNDEDNESS AND DECAY OF SOLUTIONS OF THE WAVE EQUATION IN MINKOWSKI’S AND SCHWARZSCHILD’S SPACETIMES EVALUATED
Author: Luís Fernando Gonçalves Machado (ist196550)
Coordenação: José António Maciel Natário (ist13389) Jorge Filipe Drumond Pinto da Silva (ist13224)
-
Kähler Geometry Applied to the Study of Chern Insulators APPROVED
Author: Joana Catarina Jorge dos Santos Pombo Belo (ist193387)
Coordenação: Bruno Miguel Santos Mera (ist158423) Gonçalo Marques Fernandes de Oliveira (ist156809)
-
From Diophantine equations to exponential sums: decoupling theory and the Vinagradov mean value theorem APPROVED
Author: Daniel Alexandre das Neves Fonseca (ist1105734)
Coordenação: DIOGO GASPAR TEIXEIRA DE OLIVEIRA E SILVA (ist429204)
-
TBA DRAFT
Author: Telmo André Bernardes da Cunha (ist173487)
Coordenação: Pedro Alves Martins da Silva Girão (ist12376)
2022/2023
-
New toric polarizations in CP1 EVALUATED
Author: António Agostinho Freitas Gouveia (ist192621)
Coordenação: João Luís Pimentel Nunes (ist12894)
-
Distance Backbones of Weighted Graphs - Computing path-lengths EVALUATED
Author: Miguel Bernardo Guerreiro Pereira (ist1102211)
Coordenação:
-
Fisher Discriminant Analysis for Interval-Valued Data APPROVED
Author: Diogo Gonçalo Lopes Pinheiro (ist189622)
Coordenação: Igor Kravchenko (ist148661) Maria do Rosário De Oliveira Silva (ist12954)
-
Matrix population models : Leslie Model Studies on demographic parameters, Malthusian parameter and entropy EVALUATED
Author: Marisa Monteiro Pereira (ist188174)
Coordenação: Henrique Manuel Dos Santos Silveira de Oliveira (ist13299)
-
Long Range Dependency in Option Pricing EVALUATED
Author: Bárbara Rafaela dos Santos Gomes (ist1102207)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Deep Multi-Task Learning Optimization in Finance EVALUATED
Author: José Duarte De Azevedo e Cunha (ist190298)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
The Yamabe problem EVALUATED
Author: João Gonçalves da Silva (ist1102133)
Coordenação: José António Maciel Natário (ist13389) Hugo Ricardo Nabais Tavares (ist27898)
-
Quantum Entanglement Purification using Hashing and Noise Guessing Decoding EVALUATED
Author: André Jorge Vinagre Roque (ist186694)
Coordenação: Francisco Miguel Alves Campos de Sousa Dionísio (ist12220) Bruno Gabriel Coelho Coutinho (ist427804)
-
Vicinity Characterization of Monotone Non-Degenerate Boolean Functions EVALUATED
Author: Patrícia Alexandra Tenera Roxo (ist192643)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963) Vasco Miguel Gomes Nunes Manquinho (ist14221)
-
Statistical Analysis to Identify Protein Adducts by Mass Spectrometry: A tool for biomarker investigation EVALUATED
Author: Filipa Barros Costa (ist192626)
Coordenação: Alexandra Maria Moita Antunes (ist24874) Maria da Conceição Esperança Amado (ist13493)
-
Interval-valued Symbolic data: a brief review and hypothesis testing EVALUATED
Author: Catarina Alexandra Saleiro Rodrigues (ist192434)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Classical and Robust Estimation in Homoscedastic Nonlinear Regression EVALUATED
Author: Matilde Carvalho Lourenço (ist1102110)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
A Study of Simpleminded Scientists EVALUATED
Author: Anthony Guilherme (ist1101343)
Coordenação: José Félix Gomes da Costa (ist12623)
-
Flow-Model Capacity for Large Scale Quantum Complex Networks EVALUATED
Author: Ricardo Freitas Quintas (ist1102154)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Model Checking with the Event-Based Time-Stamped Claim Logic EVALUATED
Author: Simão Ferreira Rodrigues Graça Leal (ist192648)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184) Jaime Arsénio de Brito Ramos (ist13113)
-
Routing for the Quantum Internet — A Multi-Objective Approach Using Fidelity Curves EVALUATED
Author: João Daniel Monteiro Duarte (ist194260)
Coordenação: Yasser Rashid Revez Omar (ist30513) Bruno Gabriel Coelho Coutinho (ist427804)
-
A numerical study of the Dirac spectrum and transmission problems employing the Method of Fundamental Solutions EVALUATED
Author: Francisco Alves Bento (ist1102153)
Coordenação: Juha Hans Videman (ist13212) Pedro Ricardo Simão Antunes (ist14345)
-
Deep Learning for Short-Term Stock Price Prediction: Comparing LSTM, BiLSTM, WaveNet, and Attention-Based Models EVALUATED
Author: Filipa Leitão Bento (ist424701)
Coordenação: Mário Alexandre Teles de Figueiredo (ist12403)
-
On Rasmussen's s-invariant and the search for exotic definite 4-manifolds EVALUATED
Author: João Miguel Rebelo de Oliveira (ist182490)
Coordenação: Roger Francis Picken (ist12921)
-
Real models of configuration categories EVALUATED
Author: João Salgado Canha Xavier Candeias (ist176195)
Coordenação: Pedro Boavida de Brito (ist166230)
-
Introduction to Resurgence Theory. Painlevé I and Yang-Lee EVALUATED
Author: Bruno Miguel Teixeira Raposo (ist187307)
Coordenação: Ricardo Pina Schiappa de Carvalho (ist24821)
-
Weakly Non-computable Processes Described by Evolving Recursive Functions EVALUATED
Author: Henrique Miguel de Andrade Campos Navas (ist189628)
Coordenação: José Félix Gomes da Costa (ist12623)
-
Natural Gas Spot Price Modelling using Lévy Processes EVALUATED
Author: Bruno Miguel Simões Pires (ist1102223)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Modeling Coinfection Dynamics with Interacting Strains across patches EVALUATED
Author: Miguel Baleia Maroco (ist1102268)
Coordenação: Erida Gjini (ist428854)
-
Delay equations: from admissibility to hyperbolicity and back EVALUATED
Author: Pedro Vieira Alves da Fonseca (ist192717)
Coordenação: Luís Manuel Gonçalves Barreira (ist12881)
-
Theorem Proving over Temporal Logics EVALUATED
Author: Francisco Luís Carvalho (ist190072)
Coordenação: Francisco Miguel Alves Campos de Sousa Dionísio (ist12220) Jaime Arsénio de Brito Ramos (ist13113)
-
A Geometric approach to the string topology of spheres EVALUATED
Author: Ricardo Cabral Basto Rodrigues (ist190424)
Coordenação: Gustavo Rui Gonçalves Fernandes de Oliveira Granja (ist13229)
-
Koszul Duality EVALUATED
Author: Guilherme Miguel Viegas Rodrigues (ist192632)
Coordenação: Pedro Boavida de Brito (ist166230)
-
Vertex Superalgebras from Factorization Algebras - Reconstructing Affine Kac-Moody Vertex Superalgebras from Holomorphic Prefactorization Algebras EVALUATED
Author: Rui Miguel Mendes Peixoto (ist1102163)
Coordenação: John Gmerek Huerta (ist25760)
-
Fractional Brownian motion and applications EVALUATED
Author: Luís José Anastácio da Maia (ist192638)
Coordenação: Ana Bela Ferreira Cruzeiro Zambrini (ist14228)
-
Asymptotic analysis of a clamped thin multidomain allowing for fractures and discontinuities EVALUATED
Author: Gabriel Vidal de Carvalho (ist189625)
Coordenação: José Carlos Pedro Cardoso Matias (ist12211)
-
Controlo Otimo com Horizontes Aleatórios EVALUATED
Author: Pedro Augusto da Silva Traila (ist187346)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
On the foundations of homotopy type theory and the implemetation of boolean algebras in cubical agda EVALUATED
Author: João Miguel Correia Faria (ist189631)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184)
2021/2022
-
Kolyvagin’s Euler Systems EVALUATED
Author: Guilherme Puim de Azevedo (ist187201)
Coordenação: Pedro Ferreira dos Santos (ist13119)
-
Matrix Models in Population Dynamics EVALUATED
Author: Mónica Ferreira de Sousa (ist181741)
Coordenação: Henrique Manuel Dos Santos Silveira de Oliveira (ist13299)
-
Ajuste de modelos compartimentais SIRD e SEIRD à pandemia de COVID-19 em Portugal EVALUATED
Author: Miguel Ângelo Cardoso Engrossa (ist425442)
Coordenação: Henrique Manuel Dos Santos Silveira de Oliveira (ist13299)
-
Mathematical Modelling and Forecasting of Water Demand EVALUATED
Author: Carolina Adriana Messias Ruivo (ist198540)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Gradient Boosting Algorithms for Pipe Failure Prediction in Water Supply Systems EVALUATED
Author: Carolina Francisco Constantino (ist189618)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
A first study on robust estimation of the hurdle Poisson model EVALUATED
Author: Jean-Sébastien Emmanuel Abessouguie Bayiha (ist197971)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
A descoberta de Novas Progressões de Acordes com base na Entropia Harmónica EVALUATED
Author: Miguel Figueiredo Vieira (ist424950)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Modelos Cinzentos e SARIMA com aplicação à previsão do consumo urbano de água EVALUATED
Author: Ruotong Yang (ist189638)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Optimal uniform bounds for competing variational elliptic systems with variable coefficients EVALUATED
Author: Manuel Afonso Guerreiro Grosso Dias (ist189494)
Coordenação: Hugo Ricardo Nabais Tavares (ist27898)
-
Modeling multi-drug antibiotic resistance evolution in space EVALUATED
Author: Tomás Ferreira Amaro Freire (ist189640)
Coordenação: Erida Gjini (ist428854)
-
Design of Punishing Institutions for Common Pool Resource Games EVALUATED
Author: Óscar Afonso Sampaio Ribeiro (ist189635)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308) Maria do Rosário De Oliveira Silva (ist12954)
-
Outlier detection for nominal and continuous data: robust distances and robust balancing techniques EVALUATED
Author: Armando Sobrinho Assembleia (ist189614)
Coordenação: Igor Kravchenko (ist148661) Maria do Rosário De Oliveira Silva (ist12954)
-
Satisfiability problem and its tractable cases EVALUATED
Author: Miguel Gonçalves Cóias (ist197137)
Coordenação: Francisco Miguel Alves Campos de Sousa Dionísio (ist12220) Jaime Arsénio de Brito Ramos (ist13113)
-
Measurement spaces associated to Fell bundles EVALUATED
Author: Luís Carlos Miguelote Dias (ist198819)
Coordenação: Pedro Manuel Agostinho Resende (ist12482)
-
Multi-Armed Bandits for Selection of Risk-Based Portfolios with Transaction Costs EVALUATED
Author: Pedro Miguel Martins Chanca (ist187101)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953) José Alberto Rodrigues Pereira Sardinha (ist25149)
-
Distilled PLASTIC-Policy: Distillation in Ad Hoc Teamwork EVALUATED
Author: Inês Loução Vieira (ist424937)
Coordenação: Francisco António Chaves Saraiva de Melo (ist409280) Pedro Alexandre Simões dos Santos (ist12886)
-
Galois Covers of Curves and Splittings of the Jacobian Variety EVALUATED
Author: Francisco Eduardo Monteiro Matias (ist197065)
Coordenação: Thomas Gernot Baier (ist33856)
-
New Approach for Dispersion Trading: The Role of Dispersion Correlation and the ”Sliding vs. Converging”Conjecture EVALUATED
Author: Guilherme Luís Borges Varela Rodrigues (ist189626)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Estimation of Future Hedging Costs EVALUATED
Author: Diogo Jorge dos Santos (ist198529)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Computing Maslov Indices in Two Dimensions and Filtered Floer Homology of a few Hamiltonians on the Torus EVALUATED
Author: Duarte Luís Maia Nascimento (ist189623)
Coordenação: Miguel Tribolet de Abreu (ist12812)
-
On moduli spaces of vector bundles over smooth projective curves EVALUATED
Author: Pedro Marques Lima da Silva (ist186600)
Coordenação: Emílio Franco Gómez (ist428517)
-
Multi-Armed Bandits for Selection of Risk-Based Portfolios with Transaction Costs APPROVED
Author: Pedro Miguel Martins Chanca (ist187101)
Coordenação: José Alberto Rodrigues Pereira Sardinha (ist25149) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
A Roadmap to Quantum Cohomology, From J- holomorphic curves to quantum cohomology EVALUATED
Author: Ana Alexandra Carvalho Reis (ist188019)
Coordenação: Sílvia Nogueira da Rocha Ravasco dos Anjos (ist13372)
-
Sparse Medical Time Series Modeling with Neural Differential Equations EVALUATED
Author: Pedro Miguel Gonçalves Lopes (ist424953)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783) Alexandra Sofia Martins de Carvalho (ist45173)
-
Normal forms via uniform spectrum for nonautonomous dynamics EVALUATED
Author: Tomé Filipe Silvestre Graxinha (ist193949)
Coordenação: Luís Manuel Gonçalves Barreira (ist12881)
-
Lagrangian Floer homology of cotangent bundles EVALUATED
Author: Pedro Miguel Alves Santos (ist189636)
Coordenação: Leonardo Magalhães Macarini (ist424145)
-
Quantum Hall States on Deformed Tori EVALUATED
Author: Carolina Branco Albergaria Paiva (ist190382)
Coordenação: Bruno Miguel Santos Mera (ist158423) João Luís Pimentel Nunes (ist12894)
-
ResNets from a dynamical systems viewpoint EVALUATED
Author: Adrien Julien Marc Jamelot (ist197966)
Coordenação: José Manuel Vergueiro Monteiro Cidade Mourão (ist12816)
-
Análise comparativa de métodos numéricos para a equação do campo neuronal EVALUATED
Author: Alexandre Luís Gonçalves Cabral (ist424929)
Coordenação: Pedro Miguel Rita da Trindade e Lima (ist12846)
-
Measuring quantities with analogue-digital systems EVALUATED
Author: Eduardo Skapinakis (ist198811)
Coordenação: José Félix Gomes da Costa (ist12623)
2020/2021
-
An analysis of the Rudvalis Shuffle EVALUATED
Author: David Tadeu Lopes Moreira (ist186585)
Coordenação: Ana Patrícia Carvalho Gonçalves (ist426915)
-
Numerical Simulations of One- and Two-dimensional Stochastic Neural Field Equations with Delay EVALUATED
Author: Tiago Filipe Pereira Sequeira (ist187890)
Coordenação: Pedro Miguel Rita da Trindade e Lima (ist12846)
-
Robust Anomaly Detection with Variational Autoencoders EVALUATED
Author: Luís Martins Baptista Franco (ist178670)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954) Mário Alexandre Teles de Figueiredo (ist12403)
-
Many Particle Quantum Hall Sates on Deformed Spheres EVALUATED
Author: Paulo Duarte Mourão (ist425713)
Coordenação: Bruno Miguel Santos Mera (ist158423) João Luís Pimentel Nunes (ist12894)
-
Conformal limit of the planar Ising model with disorder lines EVALUATED
Author: Henrique Cravo Esteves dos Santos (ist424933)
Coordenação: Ana Patrícia Carvalho Gonçalves (ist426915)
-
Deep Energy Networks for Data Completion EVALUATED
Author: Olavo Gonçalves Bacelar (ist193811)
Coordenação: Maria da Conceição Esperança Amado (ist13493) Bruno Emanuel Da Graça Martins (ist24686)
-
A Note on "A Note on the (∞, n)−Category of Bordisms" EVALUATED
Author: Violeta Borges Marques (ist425686)
Coordenação: Gustavo Rui Gonçalves Fernandes de Oliveira Granja (ist13229)
-
Derived categories of coherent sheaves and integral functors EVALUATED
Author: João Gabriel Santos Ruano (ist425693)
Coordenação: Emílio Franco Gómez (ist428517)
-
Study of Market Influence on Tender Performance EVALUATED
Author: Bruno Miguel Repolho Pires (ist186579)
Coordenação: Igor Kravchenko (ist148661) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
An Adaptive and Transferable Dialog Management System for Social Aware Task Execution EVALUATED
Author: António Pedro Pinto Capela (ist181424)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
A Sound Type System for the Meta Language of the JavaScript Standard EVALUATED
Author: Pedro José Fernandes Nunes (ist186599)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Paulo Alexandre Carreira Mateus (ist13783)
-
Surgical Annotated 3D Model Fusion Automatic Alignment Calibration using Computer Vision EVALUATED
Author: Inês Sofia Nunes Duarte (ist181603)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Optimal boundary control of the time-dependent Stokes equations with mixed boundary conditions EVALUATED
Author: Pedro Mendes Nogueira (ist187266)
Coordenação: Jorge Filipe Duarte Tiago (ist90590)
-
Da Lógica Proposicional Dinâmica à Lógica Quântica Dinâmica EVALUATED
Author: Mariana Figueira Ribeiro (ist197009)
Coordenação: Maria Cristina De Sales Viana Serôdio Sernadas (ist12466)
-
Quantum Dynamic Logic EVALUATED
Author: João Miguel Neves Coelho (ist186588)
Coordenação: Maria Cristina De Sales Viana Serôdio Sernadas (ist12466)
-
Epidemiological Models: SARS-CoV-2 in Portugal EVALUATED
Author: Maria Beatriz Silva Santiago (ist186592)
Coordenação: Henrique Manuel Dos Santos Silveira de Oliveira (ist13299)
-
Prediction of Conjunction Data Messages for Collision Avoidance in Satellites using Machine Learning EVALUATED
Author: Francisco Miguel Aranda de Paiva Caldas (ist425071)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Bar recursion with abstract types// a study on the bounded functional interpretation EVALUATED
Author: João Rafael Oliveira Mira da Silva (ist186589)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184)
-
Milnor invariants, clasper surgery and grope cobordism EVALUATED
Author: Carlos Miguel Alexandre Carteiro (ist186580)
Coordenação: Pedro Boavida de Brito (ist166230)
-
Oblivious Transfer for Quantum Secure Multi-Party Computation EVALUATED
Author: Bruno Filipe Antunes Costa (ist424931)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Event-Based Time-Stamped Claim Logic EVALUATED
Author: Bernardo Miguel Coelho Almeida (ist186577)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113)
-
Stochastic Duality for Symmetric Simple Exclusion and Inclusion in contact with reservoirs EVALUATED
Author: Beatriz da Costa Salvador (ist196990)
Coordenação: Ana Patrícia Carvalho Gonçalves (ist426915) Chiara Franceschini (ist428304)
-
On the action of homeomorphism groups on configuration spaces of low-dimensional manifolds EVALUATED
Author: Miguel Lourenço Henriques Barata (ist186598)
Coordenação: Pedro Boavida de Brito (ist166230)
-
On the 3-dimensional Geroch Conjecture and the Positive Mass Theorem EVALUATED
Author: Gonçalo Ruivo Lopes da Fonseca (ist190980)
Coordenação: José António Maciel Natário (ist13389)
-
Computing Geodesic Tree Distances with the GTP Algorithm EVALUATED
Author: Miguel António Gomes Caires (ist186597)
Coordenação: Francisco Miguel Alves Campos de Sousa Dionísio (ist12220) Alexandre Paulo Lourenço Francisco (ist14152)
-
Point and model-based estimation of volatility for S&P 500 and Bitcoin EVALUATED
Author: Bruno Miguel Dos Reis Melgão (ist425059)
Coordenação: Isabel Maria Alves Rodrigues (ist13196) Maria da Conceição Esperança Amado (ist13493)
-
Brain Functional Connectivity in Schizophrenia - Disrupted network dynamics revealed by functional magnetic resonance imaging EVALUATED
Author: Miguel Lourenço Figueira Francisco Farinha (ist186798)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Water Quality Analysis in Water Distributions Systems using Multivariate Statistics and Water Quality Indexes EVALUATED
Author: Rodrigo Mendes Ribeiro (ist187936)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Boolean Leximax Optimisation using Iterative SAT Solving EVALUATED
Author: Miguel Bettencourt Moniz Cabral (ist424948)
Coordenação: Vasco Miguel Gomes Nunes Manquinho (ist14221) Mikolas Janota (Inesc-Id) (ist419954)
-
On the integer matrix conjugacy problem and p-adic numbers EVALUATED
Author: Alberto Cavaleiro Pacheco (ist196954)
Coordenação: Pedro Alves Martins Rodrigues (ist13317)
-
Thom Polynomials for Degeneracy Loci of 2-forms and Maps to an Almost Symplectic Manifold EVALUATED
Author: Pedro Miguel Meneses Magalhães (ist187348)
Coordenação: Gustavo Rui Gonçalves Fernandes de Oliveira Granja (ist13229)
-
Improving telecommunication customer service through text analysis and categorization using semi-supervised learning EVALUATED
Author: Maria Seabra Dourado Eusébio (ist424941)
Coordenação: Isabel Maria Alves Rodrigues (ist13196) Maria do Rosário De Oliveira Silva (ist12954)
-
Private Constrained Pseudorandom Functions with Succinct Keys EVALUATED
Author: Pedro Rocha Peixoto Capitão (ist186602)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
2019/2020
-
Modelos ARMA espaço-temporais e a sua aplicação na modelação da radioatividade no ambiente em Portugal EVALUATED
Author: Salvador Menano de Figueiredo Malfeito Freire (ist176439)
Coordenação: Manuel Gonzalez Scotto (ist30194)
-
DTL: Translation, SMT Verification, Separation and Interpolation EVALUATED
Author: Miguel de Lacerda e Costa Serra do Nascimento (ist424949)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184) Jaime Arsénio de Brito Ramos (ist13113)
-
Water Distribution Networks Design with Mixed Integer Non-Linear Programming EVALUATED
Author: Gilberto Daniel Ferreira Pires da Silva (ist169813)
Coordenação: José Rui De Matos Figueira (ist14525) Maria da Conceição Esperança Amado (ist13493)
-
Exact controllability of a fluid-solid interaction system at very low Reynolds number EVALUATED
Author: Filipe Correia Malho Reinas Martins (ist150710)
Coordenação: Ana Leonor Mestre Vicente Silvestre (ist13382)
-
On the Performance of GANs for Estimating Univariate Distributions EVALUATED
Author: Carolina Gonçalves Guerra (ist181376)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Robust Anomaly Detection with Variational Autoencoders DRAFT
Author: Luís Martins Baptista Franco (ist178670)
Coordenação: Mário Alexandre Teles de Figueiredo (ist12403) Maria do Rosário De Oliveira Silva (ist12954)
-
Automatic Categorization of the IST’s Acquis Digital Images EVALUATED
Author: Sandra Gabriela Coimbra Monteiro (ist193952)
Coordenação: Francisco Miguel Alves Campos de Sousa Dionísio (ist12220) David Manuel Martins de Matos (ist13500)
-
Analysis of water quality of Cávado-Rabagão-Homem hydroelectric system EVALUATED
Author: Mariana Margarida Angeja Filipe (ist424944)
Coordenação: Cláudia Alexandra Magalhães Soares (ist152210) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Symbolic Formulation for Principal Component Analysis of Interval Valued Data EVALUATED
Author: Rodrigo Girão Marques Rodrigues Serrão (ist424957)
Coordenação: Lina Maria Mateus de Oliveira (ist12383) Maria do Rosário De Oliveira Silva (ist12954)
-
Modal Logic: A Survey EVALUATED
Author: Pedro Luís Santos Velosa (ist167486)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113)
-
A financial health classification of companies using multivariate ordering EVALUATED
Author: Maria Beatriz De Bivar Weinholtz Roseiro (ist190820)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
The computational power of infinite precision measurements EVALUATED
Author: Luís Filipe Barreiros Fonseca (ist424939)
Coordenação: José Félix Gomes da Costa (ist12623)
-
Copula-based joint survival modelling of overall survival and disease free times: A study of breast cancer data EVALUATED
Author: Beatriz Dos Santos Lourenço (ist181194)
Coordenação: Giovani Loiola da Silva (ist13231)
-
Levenberg-Marquat algorithm and Bayesian inference for SABR implied volatility smile parameter estimation EVALUATED
Author: Francisco Pedro Furtado Simões (ist187816)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
A Semi-device-independent Quantum Key Distribution Protocol based on a Coherence Equality EVALUATED
Author: Mário Alberto Machado da Silva (ist193799)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Lattice Attacks against ECDSA assuming a weak pseudo-random number generator was used to generate the nonces EVALUATED
Author: Tiago Vaz Mendes (ist176561)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Supervised Learning Methodologies to Improve Customer Support. Development of a recommendation system to help diagnose telecommunication issues EVALUATED
Author: Inês Ferreira Marques (ist424936)
Coordenação: Isabel Maria Alves Rodrigues (ist13196) Paulo José de Jesus Soares (ist13185)
-
Unevenly time series modelling of water flow data: a first approach EVALUATED
Author: Tiago André Anciães dos Santos (ist424960)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Churn Prediction within a Competitive Game EVALUATED
Author: Leonor Martins da Silva (ist181561)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Bandit-Based Strategies for Monte Carlo Planning in Continuous Action Spaces EVALUATED
Author: Ricardo Manuel Quinteiro Lopes dos Santos (ist424956)
Coordenação: Francisco António Chaves Saraiva de Melo (ist40236) Pedro Alexandre Simões dos Santos (ist12886)
-
Automatic Nativeness Assessment EVALUATED
Author: João Diogo Pereira da Silva Dionísio Botelheiro (ist426091)
Coordenação: Alberto Abad Gareta (ist90700)
-
Clustering methods and finite sampling approaches to estimate the billed water consumption in a District Metered Area (DMA) EVALUATED
Author: Ana Sofia Mendes Agostinho (ist193942)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Text analytics to improve telecommunication customers service management from unstructured data EVALUATED
Author: Mariana Esteves Oliva (ist424943)
Coordenação: Paulo José de Jesus Soares (ist13185) Maria da Conceição Esperança Amado (ist13493)
-
Predator-prey reaction diffusion systems with application to population dynamics EVALUATED
Author: Renata Gomes Amado (ist424955)
Coordenação: Hugo Ricardo Nabais Tavares (ist27898) Juha Hans Videman (ist13212)
-
Tube categories and 3d TQFTs EVALUATED
Author: Diogo Maria Marques Coelho Freire de Andrade (ist179592)
Coordenação: John Gmerek Huerta (ist25760)
-
Impacto da terapêutica com anticoagulantes orais na ocorrência de acidentes vasculares cerebrais em doentes com fibrilhação auricular em Portugal EVALUATED
Author: Madalena Ribeiro Gil (ist193948)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954)
-
Modeling and prediction of a stride score EVALUATED
Author: Ana Teresa Goucha Neves (ist190843)
Coordenação: Andreas Miroslaus Wichert (ist24622) Maria da Conceição Esperança Amado (ist13493)
-
Model checking DTL - Automata theoretic and bounded approaches EVALUATED
Author: Augusto Luís Cavaco Reis Peres (ist181821)
Coordenação: Francisco Miguel Alves Campos de Sousa Dionísio (ist12220) Jaime Arsénio de Brito Ramos (ist13113)
-
On the cohomological index of a p-cyclic covering EVALUATED
Author: Rafael Maurício Duarte Gomes (ist181463)
Coordenação: Gustavo Rui Gonçalves Fernandes de Oliveira Granja (ist13229)
-
Abduction Algorithm for First-Order Logic Reasoning Frameworks EVALUATED
Author: André de Almeida Tavares Cruz de Carvalho (ist181825)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113)
-
On the derivation of the Navier-Stokes equations from a nondeterministic variational principle EVALUATED
Author: Marcos Jorge Martins Carvalho Latas (ist164811)
Coordenação: Ana Bela Ferreira Cruzeiro Zambrini (ist14228)
2018/2019
-
Numerical investigation of one-dimensional stochastic neural field equations with delay DRAFT
Author: Madalena França Martins Rolão Nabais (ist178419)
Coordenação: Pedro Miguel Rita da Trindade e Lima (ist12846)
-
Model-checking Ethereum smart contracts written in Vyper EVALUATED
Author: Francisco Moreira da Silva Rogado Domingues (ist181656)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) Paulo Alexandre Carreira Mateus (ist13783)
-
Formal verification of Ethereum smart contracts using Isabelle/HOL EVALUATED
Author: Maria Saraiva de Campos Mendes Ribeiro (ist181490)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) Paulo Alexandre Carreira Mateus (ist13783)
-
Formal Analysis of Ethereum Virtual Machine Bytecode Patterns EVALUATED
Author: Bernardo Gastão Varanda da Silva Prates (ist181222)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) Paulo Alexandre Carreira Mateus (ist13783)
-
Formal results on logics with probability EVALUATED
Author: Tiago Figueiredo Pereira Afonso (ist178986)
Coordenação: Maria Cristina De Sales Viana Serôdio Sernadas (ist12466)
-
Symbolic Outlier Detection Applied to the Analysis of Drinking Water Consumption EVALUATED
Author: Pedro Borralho Gonçalves (ist181775)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954)
-
Incremental hypervolume calculation in d dimensions EVALUATED
Author: Kyrylo Yefimenko (ist178270)
Coordenação: Francisco Miguel Alves Campos de Sousa Dionísio (ist12220) Alexandre Paulo Lourenço Francisco (ist14152)
-
STE - A Survival Tree Ensemble: Application to the Prediction of Pipe Failures in Water Supply Systems EVALUATED
Author: Inês Margarida Ribeiro de Oliveira (ist180973)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Histogram Algebra: an Application to Histogram Principal Component Analysis EVALUATED
Author: Eduardo Manuel Jubilot Mendes (ist176091)
Coordenação: Lina Maria Mateus de Oliveira (ist12383) Maria do Rosário De Oliveira Silva (ist12954)
-
Generalized Additive Model and Artificial Neural Networks for Water Demand EVALUATED
Author: Bruna Alexandra Gregório Mason (ist178686)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Simulation based approach to bacterial evolution EVALUATED
Author: Mariana de Jesus Rosário de Oliveira e Costa (ist190837)
Coordenação: Alexandre Paulo Lourenço Francisco (ist14152) Maria da Conceição Esperança Amado (ist13493)
-
Model Checking with Distributed Temporal Logic EVALUATED
Author: Fernando Miguel Carvalho Subtil (ist181085)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113)
-
Neutral population-genetics evolution for Wright-Fisher and Moran models EVALUATED
Author: Leonor Botelho de Sousa Barata (ist179178)
Coordenação: Chiara Franceschini (ist428304) Ana Patrícia Carvalho Gonçalves (ist426915)
-
Numerical methods for differential equations with non integer order derivatives EVALUATED
Author: Mariana Vieira Mendes (ist190838)
Coordenação: Pedro Miguel Rita da Trindade e Lima (ist12846)
-
Esquemas CUSUM com ARL sem viés para processos i.i.d. e INAR(1) com marginais de Poisson EVALUATED
Author: Mafalda Filipa Vicente Clara (ist178388)
Coordenação: Manuel João Cabral Morais (ist13114)
-
Automated Search of Functions and Synthesis of Code EVALUATED
Author: Bruno Miguel Carrajola Patrício (ist181005)
Coordenação: José Félix Gomes da Costa (ist12623)
-
A convergent variant of Q-learning with linear function approximation EVALUATED
Author: Diogo Filipe de Sousa Carvalho (ist181831)
Coordenação: Francisco António Chaves Saraiva de Melo (ist40236) Pedro Alexandre Simões dos Santos (ist12886)
-
Kneading Theory in Non-Continuous Maps The Unimodal Case EVALUATED
Author: Frederico Oliveira Toulson (ist175273)
Coordenação: Henrique Manuel Dos Santos Silveira de Oliveira (ist13299)
-
Attacks on ECDSA when the nonces are generated with a weak pseudo random number generator EVALUATED
Author: Pedro Afonso Gama Caldas de Miranda (ist178314)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Quantum Bit String Commitment Protocols with an EPR Pair Trusted Source EVALUATED
Author: Mariana Botelho da Gama (ist178731)
Coordenação: André Nuno Carvalho Souto (ist90766) Paulo Alexandre Carreira Mateus (ist13783)
-
Supersingular Isogeny Diffie-Hellman and related Cryptosystems EVALUATED
Author: João Augusto Ferreira Machado (ist178740)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Floer homology for global quotient orbifolds EVALUATED
Author: Miguel Miranda Ribeiro Moreira (ist181071)
Coordenação: Miguel Tribolet de Abreu (ist12812) Leonardo Magalhães Macarini (ist424145)
-
Stochastic Population Dynamics under Repeated Collective-Risk Dilemmas EVALUATED
Author: Sofia Boavida de Brito (ist179171)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308) Maria da Conceição Esperança Amado (ist13493)
-
On the optimization of neural networks for sensorimotor coordination EVALUATED
Author: Sara Filipa Carvalho Fernandes Alves (ist176126)
Coordenação: Alexandre José Malheiro Bernardino (ist13761) Maria da Conceição Esperança Amado (ist13493)
-
Mathematical Modelling of Water Demand: Time Series Clustering and GAM models EVALUATED
Author: Marília Rodrigues dos Santos (ist178143)
Coordenação: Dália Susana dos Santos da Cruz Loureiro (ist140820) Maria da Conceição Esperança Amado (ist13493)
-
Cartas com ARL sem viés para processos i.i.d. e AR(1) com marginais binomiais EVALUATED
Author: Camila Jeppesen Cruz (ist187782)
Coordenação: Manuel João Cabral Morais (ist13114)
-
Solving the Operational Crew Rescheduling Problem EVALUATED
Author: Miguel Alexandre Cerejo Frazão (ist181403)
Coordenação: João Emílio Segurado Pavão Martins (ist11416) Pedro Alexandre Simões dos Santos (ist12886)
-
Outlier Detection in Functional Time Series EVALUATED
Author: Catarina Padrela Loureiro (ist180868)
Coordenação: Isabel Maria Alves Rodrigues (ist13196)
-
Exploratory Topological Data Analysis of Resting-State fMRI Data EVALUATED
Author: Marta Raquel Azevedo de Castro (ist190835)
Coordenação: Roger Francis Picken (ist12921)
-
Numerical investigation of one-dimensional stochastic neural field equations with delay EVALUATED
Author: Madalena França Martins Rolão Nabais (ist178419)
Coordenação: Pedro Miguel Rita da Trindade e Lima (ist12846)
-
Green investment under time-dependent subsidy retraction risk EVALUATED
Author: Manuel Maria da Costa Lorga Dias Portela (ist181027)
Coordenação: Carlos Miguel dos Santos Oliveira (ist177244) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Bayesian Generalized Additive Models for Car Insurance Data EVALUATED
Author: João Pedro Rodrigues Gois (ist181208)
Coordenação: Giovani Loiola da Silva (ist13231)
-
Space-time trends and dependence of wind extremes in north-western Germany EVALUATED
Author: Rafael Medeiros Cabral (ist181292)
Coordenação: Ana Maria Santos Ferreira Gorjão Henriques (ist132007)
-
Equilibrium Propagation for Complete Directed Neural Networks EVALUATED
Author: Matilde Sequeira Guedes Tristany Farinha (ist181240)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886) Mário Alexandre Teles de Figueiredo (ist12403)
-
The Fall of Homo Economicus - The Role of Cognitive Biases and Theory of Mind in Human Coordination EVALUATED
Author: Pedro Alexandre Caetano Lopes Ferreira (ist423145)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308) Maria da Conceição Esperança Amado (ist13493)
-
Modeling Time Series of Counts: an Application to Basketball Analytics EVALUATED
Author: António Bernardo de Andrade Amorim Vieira (ist187934)
Coordenação: Manuel Gonzalez Scotto (ist30194)
-
Machine learning of strategies for efficiently solving QBF with abstraction refinement EVALUATED
Author: Ricardo Joel Marques dos Santos Silva (ist14226)
Coordenação: Mikolas Janota (ist90879) Carlos Manuel Costa Lourenço Caleiro (ist13222)
-
Geometry dependence of quantum Hall states on surfaces EVALUATED
Author: Gabriel da Fonseca Matos (ist423246)
Coordenação: José Manuel Vergueiro Monteiro Cidade Mourão (ist12816)
2017/2018
-
Symbolic clustering and anomaly detection for business analytics EVALUATED
Author: Ana Teresa Assunção Fernandes (ist179207)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954) Maria da Conceição Esperança Amado (ist13493)
-
Mathematical Modelling of Aircraft High-Speed Performance Characteristics EVALUATED
Author: Gonçalo Amaro Graça (ist175405)
Coordenação: Manuel Gonzalez Scotto (ist30194) António José Nobre Martins Aguiar (ist12226)
-
Complex flows and geodesics in the space of Kähler metrics EVALUATED
Author: Pedro Miguel Silva (ist187910)
Coordenação: José Manuel Vergueiro Monteiro Cidade Mourão (ist12816)
-
Formal analysis and gas estimation for Ethereum smart contracts EVALUATED
Author: Beatriz Henriques Xavier (ist178736)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Bimodules of nest algebras on Banach spaces EVALUATED
Author: Luís Pedro Lopes Duarte (ist178096)
Coordenação: Lina Maria Mateus de Oliveira (ist12383)
-
An analysis of the Geodesic Distance and other comparative metrics for tree-like structures EVALUATED
Author: Bernardo Lopo Tavares Fernandes (ist170209)
Coordenação: Alexandre Paulo Lourenço Francisco (ist14152) Pedro Alves Martins Rodrigues (ist13317)
-
Resolução Numérica de Problemas de Obstáculo com Aplicações à Matemática Financeira EVALUATED
Author: Ana Raquel Brites Gonçalves (ist173166)
Coordenação: Juha Hans Videman (ist13212)
-
On Cyclic Quandles with Several Fixed Points EVALUATED
Author: António José Marcos Lages (ist175484)
Coordenação: Pedro Miguel Marques Francisco Lopes (ist13369)
-
Cluster Analysis of the Iberian Peninsula Temperatures Time Series EVALUATED
Author: João Carlos de Sá Nogueira Sousa Dias (ist134444)
Coordenação: Manuel Gonzalez Scotto (ist30194)
-
Mathematical modeling of garden watering demand EVALUATED
Author: Ana Rosa da Cruz Lopes Marques (ist175283)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Analytic classic-like tableaux for non-deterministic many-valued logics EVALUATED
Author: Filipa da Silva Montez (ist173238)
Coordenação: Carlos Manuel Costa Lourenço Caleiro (ist13222)
-
Anomaly Detection and Classification for Streaming Data EVALUATED
Author: João Pedro Ribeiro Brazuna (ist178881)
Coordenação: Paulo José de Jesus Soares (ist13185) Maria da Conceição Esperança Amado (ist13493)
-
Cartas com ARL sem viés para processos i.i.d. e AR(1) com marginais binomiais APPROVED
Author: Camila Jeppesen Cruz (ist187782)
Coordenação: Manuel João Cabral Morais (ist13114)
-
Numerical Solution of the Two-dimensional Neural Field Equation EVALUATED
Author: Paula Alexandra Canais Guerreiro (ist169804)
Coordenação: Pedro Miguel Rita da Trindade e Lima (ist12846)
-
Asymptotic behaviour of exclusion processes with non-linear boundary dynamics EVALUATED
Author: Gabriel Silva Nahum (ist179688)
Coordenação: Ana Patrícia Carvalho Gonçalves (ist426915)
-
Information Flow Security with Encryption EVALUATED
Author: Diana Zorro Nobre Mesquita Macedo (ist176256)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) Paulo Alexandre Carreira Mateus (ist13783)
-
Investment Decisions Upon Innovative Technological Products EVALUATED
Author: Ana Branca Medeiros Pais (ist178251)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
The Arnol'd conjecture and Floer Homology EVALUATED
Author: Miguel Martins dos Santos (ist179186)
Coordenação: Leonardo Magalhães Macarini (ist424145) Miguel Tribolet de Abreu (ist12812)
2016/2017
-
The Lebesgue Measure and Large Cardinals EVALUATED
Author: Jacinto Carlos Ferreira Monteiro de Freitas França (ist150898)
Coordenação: António Marques Fernandes (ist13130)
-
Analysis of pedestrian injury severity using Data Mining techniques EVALUATED
Author: Joana Alexandre de Sousa (ist169969)
Coordenação: João Manuel Pereira Dias (ist13209) Maria da Conceição Esperança Amado (ist13493)
-
A New LDPC-based McEliece Cryptosystem EVALUATED
Author: Pedro de Melo Branco (ist173464)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Cryptography on a Customized Network EVALUATED
Author: Ricardo Martinho Ferreira Miranda (ist173659)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
On the Application of Model Checking Techniques to Real-Time Hypervisors in the Context of Integrated Modular Avionics Systems EVALUATED
Author: Inês Jorge Pedro (ist176181)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Simulation of liquid emptying from horizontal and inclined tubes with Smoothed Particle Hydrodynamics EVALUATED
Author: Ana Cláudia Paulo Galhoz (ist173013)
Coordenação: Ana Leonor Mestre Vicente Silvestre (ist13382)
-
Writing a pricer in a recombining tree for CDS Options using a HJM model (Cheyette) EVALUATED
Author: Daniela Caeiro Miranda (ist175941)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Detection of Internet-Scale Traffic Redirection EVALUATED
Author: Filipa Alexandra Romão Piedade (ist173371)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954)
-
Complexified Symplectomorphisms and Geometric Quantization EVALUATED
Author: Miguel Barbosa Pereira (ist172688)
Coordenação: João Luís Pimentel Nunes (ist12894)
-
The Power of Unreliability in Analogue-digital Computation EVALUATED
Author: Vasco Boavida de Brito (ist173764)
Coordenação: José Félix Gomes da Costa (ist12623)
-
Clustering of Load Curves to Support Demand and Generation Forecast EVALUATED
Author: Ana Catarina Constantino Vaz (ist175786)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Modeling Implied Volatility EVALUATED
Author: Rongjiao Ji (ist424529)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
On Pure Vertex Decomposable Graphs and Their Dominating Shedding Vertices EVALUATED
Author: Nuno Miguel Januário Alves (ist169683)
Coordenação: Pedro Ferreira dos Santos (ist13119) Maria da Conceição Pizarro de Melo Telo Rasquilha Vaz Pinto (ist13938)
-
Advances in Probabilistic Graphical Models EVALUATED
Author: Margarida Nunes de Almeida Rodrigues de Sousa (ist175293)
Coordenação: Alexandra Sofia Martins de Carvalho (ist45173) Mário Alexandre Teles de Figueiredo (ist12403)
-
Linear Temporal Logic: Separation and Translation EVALUATED
Author: Daniel Rebelo de Oliveira (ist162447)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184)
-
Space Bounded Scatter Machines EVALUATED
Author: João Alves Alírio (ist423127)
Coordenação: José Félix Gomes da Costa (ist12623)
-
Analysis of the Optimal Exercise Time of an American Call Option for Jump-Diffusions EVALUATED
Author: João Paulo Bettencourt Duro (ist168522)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Structured Population Dynamics in a Real World Context EVALUATED
Author: Ana Carolina Loureiro Martins (ist176078)
Coordenação: Henrique Manuel Dos Santos Silveira de Oliveira (ist13299)
-
A topoi characterization of Gödel intermediate logics EVALUATED
Author: Pedro Gonçalo Godinho Filipe (ist167690)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184)
-
Study of the switching problem with abandonment option – application to petroleum production EVALUATED
Author: Bárbara Fernandes Simões (ist173348)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Numerical Reconstructions from Reflected Global Navigation Satellite Data EVALUATED
Author: Jéssica Raquel Luís Perfeito (ist173646)
Coordenação: Carlos José Santos Alves (ist12831)
2015/2016
-
Quantum Cryptography applied to Electronic-Voting Protocols EVALUATED
Author: Miguel Maria Rodrigues Perlico da Cruz Sabino (ist172689)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
-
Identifying Empirical Laws EVALUATED
Author: Martim Maria Mathias Cortez de Lobão (ist164944)
Coordenação: José Félix Gomes da Costa (ist12623)
-
On the herbrandised interpretation for nonstandard arithmetic EVALUATED
Author: Ana De Almeida Gabriel Vieira Borges (ist173501)
Coordenação: Carlos Manuel Costa Lourenço Caleiro (ist13222)
-
Optimal stopping problems involving polynomial profit functions EVALUATED
Author: Francisco Stefano Sobrito de Almeida (ist179270)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
On control charts and the detection of increases in the traffic intensity of queueing systems EVALUATED
Author: Marta David Marques dos Santos (ist173726)
Coordenação: António Manuel Pacheco Pires (ist12634) Manuel João Cabral Morais (ist13114)
-
A numerical approximation for the Navier-Stokes equations using the finite element method EVALUATED
Author: João Francisco Fragão Rocha Marques (ist167160)
Coordenação: Jorge Filipe Duarte Tiago (ist90590)
-
Modelação da Despesa com Medicamentos nos Hospitais do Serviço Nacional de Saúde EVALUATED
Author: Maria Beatriz Malveiro Jorge (ist174318)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954)
-
Escoamento de água num canal na hipótese de pequenas perturbações EVALUATED
Author: Joana Vaz Baltazar (ist165196)
Coordenação: Ana Leonor Mestre Vicente Silvestre (ist13382)
-
Comparação estatística de medidas de qualidade de imagem: da visualização à quantificação EVALUATED
Author: Patrícia Manuel Branco das Neves (ist173711)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Modelação da Incerteza e Deteção de Outliers para Melhoria do Diagnóstico de Perdas em Sistemas de Abastecimento de Água EVALUATED
Author: Maria José De Almeida e Silva (ist423209)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Metric Integer Interval Temporal Logic EVALUATED
Author: Samuel Lukas Vogel (ist169302)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184)
-
Modelação de conceitos económicos em programação matemática EVALUATED
Author: Maria Mafalda de Lancastre e Távora Ceyrat (ist177109)
Coordenação: José Rui De Matos Figueira (ist14525) Carlos José Santos Alves (ist12831)
-
Barrier Option Pricing under the 2-Hypergeometric Stochastic Volatility Model EVALUATED
Author: Rúben Azevedo de Sousa (ist423329)
Coordenação: Ana Bela Ferreira Cruzeiro Zambrini (ist14228)
-
Numerical Methods for Stochastic Differential Equations with Applications to Finance EVALUATED
Author: Matilde Lopes Rosa Araújo (ist176976)
Coordenação: Carlos José Santos Alves (ist12831)
2014/2015
-
Classical and Robust Symbolic Principal Component Analysis for Interval Data EVALUATED
Author: Margarida Azeitona Sequeira Vilela (ist170320)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954)
-
Deciding Distributed Temporal Logic EVALUATED
Author: Catarina Inácio Marques Neves (ist167150)
Coordenação: Maria Paula Antunes Abrantes Gouveia (ist12851)
-
O valor-p do Teste dos Sinais EVALUATED
Author: Ana Marta Lisboa Vila Fernandes (ist170253)
Coordenação: Isabel Maria Alves Rodrigues (ist13196)
-
A one-dimensional dynamics approach to hyperbolic boundary value problems EVALUATED
Author: Pedro Filipe Ganhão Peres (ist167938)
Coordenação: Henrique Manuel Dos Santos Silveira de Oliveira (ist13299)
-
The hyperfinite II_1 factor and Connes embedding conjecture EVALUATED
Author: João Pedro Guerreiro do Carmo Paulos (ist167926)
Coordenação: Paulo Jorge da Rocha Pinto (ist13402)
-
BPP//log (Random Walks as Oracles) EVALUATED
Author: Pedro Cortez Rodrigues (ist176638)
Coordenação: José Félix Gomes da Costa (ist12623)
-
On ARL-unbiased c-charts for i.i.d. and INAR(1) Poisson counts EVALUATED
Author: Sofia Raquel Bastos Benvindo Paulino (ist167172)
Coordenação: Manuel João Cabral Morais (ist13114)
-
Nonlinear Tolerance Analysis and Cost Optimization EVALUATED
Author: Manuela Barros de Almeida (ist167165)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954) Carlos José Santos Alves (ist12831)
-
(G)ARCH processes and the phenomenon of misleading and unambiguous signals EVALUATED
Author: Ana Beatriz Torres de Sousa (ist170169)
Coordenação: Manuel João Cabral Morais (ist13114)
-
Classificação de grãos de café de acordo com a origem geográfica: uma abordagem estatística. Análise de regiões produtoras do Havai, Brasil, Etiópia e Quénia EVALUATED
Author: Jéssica Filipa Antunes Vieira (ist170238)
Coordenação: Manuel João Cabral Morais (ist13114) Maria do Rosário De Oliveira Silva (ist12954)
-
Cross-lingual Text Classification EVALUATED
Author: Daniel Luís Cavaco Ferreira (ist169406)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954)
-
Data reconstruction of flow time series in water distribution networks EVALUATED
Author: Rui Miguel de Sousa Guerra Barrela (ist164947)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Bootstrap Confidence Intervals on Symbolic Data Domain: A preliminary Study EVALUATED
Author: Catarina Abrantes Dinis (ist164929)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Data mining techniques to predict sewer condition EVALUATED
Author: Guilherme Firmino de Carvalho Nunes de Carvalho (ist162668)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Algebraic and Combinatorial Properties of Binomial Edge Ideals EVALUATED
Author: João Pedro Martins dos Santos (ist169318)
Coordenação: Maria da Conceição Pizarro de Melo Telo Rasquilha Vaz Pinto (ist13938)
-
The Ordinary RO(C_2)-Graded Bredon Cohomology of a Point EVALUATED
Author: Tiago Duarte Guerreiro (ist164952)
Coordenação: Pedro Ferreira dos Santos (ist13119)
2013/2014
-
Sinais válidos em esquemas conjuntos para a localização e a dispersão com exemplos em R EVALUATED
Author: Tânia Isabel Cavaco Ralha (ist157664)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954) Manuel João Cabral Morais (ist13114)
-
Metric Entropy and Topological Entropy: The Variational Principle EVALUATED
Author: João Pedro Casimiro Rijo (ist158462)
Coordenação: Cláudia Valls Angles (ist14675)
-
Unsupervised learning algorithm for pharmacokinetic responses EVALUATED
Author: Élson Júlio Jacinto Tomás (ist167155)
Coordenação: Susana de Almeida Mendes Vinga Martins (ist14109) Paulo Alexandre Carreira Mateus (ist13783)
-
Investment in Clean Energy: a Real Options Approach EVALUATED
Author: Hugo Miguel Ladeiro Pinto (ist167157)
Coordenação: Daniel Schwarz (ist423486) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Consonance in Music and Mathematics. Applications to Temperaments and Orchestration EVALUATED
Author: Constança Martins de Castro Simas (ist167152)
Coordenação: Henrique Manuel Dos Santos Silveira de Oliveira (ist13299)
-
Towards Coarse Handle Reduction Convergence EVALUATED
Author: Ricardo Manuel Pereira Vieira Lisboa (ist167170)
Coordenação: Pedro Miguel Marques Francisco Lopes (ist13369)
-
A fluid-structure interaction model for the study of eathquake response in a dam-water system EVALUATED
Author: Ricardo Manuel Melo Faria (ist177112)
Coordenação: Sérgio Bruno Martins de Oliveira (ist126352) Ana Leonor Mestre Vicente Silvestre (ist13382)
-
On trapdoor Kolmogorov one-way functions and elliptic curves cryptography EVALUATED
Author: Francisco Mantero Morais Pavão Martins (ist164935)
Coordenação: André Nuno Carvalho Souto (ist90766) Paulo Alexandre Carreira Mateus (ist13783)
-
Theory of Two-sided Experiments (A new insight on measurable numbers) EVALUATED
Author: Tânia Filipa do Nascimento Ambaram (ist167174)
Coordenação: José Félix Gomes da Costa (ist12623)
-
Investment under two sources of uncertainty - strategic decisions in offshore petroleum production. EVALUATED
Author: Inês Bento Gonçalves Pratas Leitão (ist176710)
Coordenação: Verena Hagspiel (ist422495) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
2012/2013
-
A Not So Short Introduction To Grothendieck Topoi EVALUATED
Author: João Frederico Pinto Basto de Carvalho (ist157881)
Coordenação: Wojciech Chachólski (ist422198) Pedro Manuel Agostinho Resende (ist12482)
-
An Algorithm for Validating ARINC 653 Configurations EVALUATED
Author: Bruno Neto de Oliveira Tavares (ist164928)
Coordenação: João Cintra (ist422157) Paulo Alexandre Carreira Mateus (ist13783)
-
O efeito de um ground truth imperfeito na avaliação do desempenho de um classificador EVALUATED
Author: João Jorge Dias Neves (ist162671)
Coordenação: Maria do Rosário De Oliveira Silva (ist12954)
-
Decision support tools for urban drainage system management EVALUATED
Author: Pedro Filipe Carvalho Santos (ist164946)
Coordenação: João Paulo Correia Leitão (ist417114) Maria da Conceição Esperança Amado (ist13493)
-
An Artificial Bidimensional Model for Bursting Behaviour in Neurons EVALUATED
Author: Pedro Duarte Lima de Almeida Faria (ist153791)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113) Carlos Eduardo Ramos dos Santos Lourenço (ist421807)
-
Structural Hybrid Systems EVALUATED
Author: Guilherme Henrique Caçador Ramos (ist164938)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113) António Pedro Rodrigues de Aguiar (ist419999)
-
On Nelson-Oppen techniques EVALUATED
Author: Filipe Manuel Rodrigues Casal (ist164934)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184)
-
Notação de risco - apenas uma questão de ordenação multivariada? EVALUATED
Author: Marta Eirô Pinto (ist162670)
Coordenação: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente (ist12438) Maria da Conceição Esperança Amado (ist13493)
-
Métodos Estatísticos de Classificação de Géneros Musicais EVALUATED
Author: Tiago Filipe Beato Mourato de Matos (ist162664)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Controlo e Planeamento de Mãos Robóticas Antropomórficas utilizando Sinergias EVALUATED
Author: Marco André Martins Henriques (ist158450)
Coordenação: Maria da Conceição Esperança Amado (ist13493) Alexandre José Malheiro Bernardino (ist13761)
-
Castelnuovo-Mumford regularity and Ulrich ideals EVALUATED
Author: Eloísa Rebelo Grifo Pires (ist164933)
Coordenação: Maria da Conceição Pizarro de Melo Telo Rasquilha Vaz Pinto (ist13938)
-
Complexity with Costing and Stochastic Oracles EVALUATED
Author: Diogo Miguel Ferreira Poças (ist164932)
Coordenação: José Félix Gomes da Costa (ist12623)
-
Symplectic embeddings EVALUATED
Author: Manuel Luís Henriques de Araújo (ist163115)
Coordenação: Gustavo Rui Gonçalves Fernandes de Oliveira Granja (ist13229)
-
Viscosity Solutions, Diffusions and Elliptic Operators and the Adjoint Method EVALUATED
Author: João Henrique Branco Meireles (ist170862)
Coordenação: Filippo Cagnetti (ist33653) Diogo Luís de Castro Vasconcelos de Aguiar Gomes (ist13502)
-
From Cuntz-Krieger algebras to C*-algebras associated with shift spaces EVALUATED
Author: Maria Catarina Lopes Dias (ist157241)
Coordenação: Nuno Miguel Matos Ramos Martins (ist13403)
-
Investment Policies in Competitive Products - Further Results and Extensions EVALUATED
Author: Francisco Santos Paredes Quartin de Macedo (ist164936)
Coordenação: Peter Kort (ist419176) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
2011/2012
-
Numerical Methods for Inverse Problems in Front Propagation EVALUATED
Author: Rui Filipe Fonseca Barreiro (ist155695)
Coordenação: Diogo Luís de Castro Vasconcelos de Aguiar Gomes (ist13502)
-
Investment in R&D centers in the Technology Adoption problem EVALUATED
Author: Pedro Miguel Sousa Carqueija de Jesus (ist162680)
Coordenação: Verena Hagspiel (ist419291) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Sequent calculi labelled with worlds for modal logics. EVALUATED
Author: Teresa Cristina Alves de Matos (ist154149)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184)
-
"Optimal Technology Adoption when the Arrival Rate of New Technology Changes: Further Results and Extensions EVALUATED
Author: Verónica Pamplona Côrte-Real Martins (ist162683)
Coordenação: Verena Hagspiel (ist419291) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Espaço de Fock e Operadores de Fock-Toeplitz EVALUATED
Author: Pedro Tiago da Costa Soares (ist158620)
Coordenação: Luís Filipe Serrazes Ventura de Barros Pessoa (ist13765)
-
Classification of fiber bundles over the Riemann sphere EVALUATED
Author: João Pedro Correia Matias (ist162677)
Coordenação: Carlos Armindo Arango Florentino (ist12892)
-
Primos associados às potências de um ideal de arestas de um grafo EVALUATED
Author: Pedro Alexandre Marques Ramalhinho (ist158429)
Coordenação: Maria da Conceição Pizarro de Melo Telo Rasquilha Vaz Pinto (ist13938)
-
Convergence of Numerical Methods for Viscosity Solutions through the Adjoint Method EVALUATED
Author: Tiago Miguel Saldanha Salvador (ist162669)
Coordenação: Diogo Luís de Castro Vasconcelos de Aguiar Gomes (ist13502)
-
Identificação de Perfis de Hábitos de Consumo Através da Utilização de Cartões Bancários EVALUATED
Author: Ana Luísa Rodrigues Ferreira (ist158507)
Coordenação: Cláudia Marisa Figueiredo Rodrigues de Carvalho Sousa (ist418533) Maria do Rosário De Oliveira Silva (ist12954)
2010/2011
-
A Survey of Cryptanalytic Attacks on RSA EVALUATED
Author: Filipe da Costa Boucinha (ist155693)
Coordenação: Vilius Stakenas (ist417166) Carlos Manuel Costa Lourenço Caleiro (ist13222)
-
Stochastic models for prediction of pipe failures in water supply systems EVALUATED
Author: André Damião da Costa Martins (ist158570)
Coordenação: João Paulo Correia Leitão (ist417114) Maria da Conceição Esperança Amado (ist13493)
-
Game Theory Models for Wireless Network Problems EVALUATED
Author: Alberto José Morais da Cruz (ist156332)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Dynamic probabilistic epistemic logic: towards information security EVALUATED
Author: Andreia Filipa Torcato Mordido (ist166780)
Coordenação: Carlos Manuel Costa Lourenço Caleiro (ist13222)
-
Kolmogorov Generic Bases EVALUATED
Author: Ana Luísa Mendes Lima Pereira (ist157236)
Coordenação: João Filipe Quintas dos Santos Rasga (ist14184)
-
Análise Estatística para identificação de factores discriminantes de progressão da doença de Parkinson EVALUATED
Author: Ana Rita Ribeiro Sousa (ist157229)
Coordenação: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente (ist12438) João António Branco (ist10600)
-
Tableaux for Distributed Temporal Logic: Applications to Security Protocols EVALUATED
Author: Joana Margarida Simões de Abreu (ist158371)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113) Carlos Manuel Costa Lourenço Caleiro (ist13222)
-
On Stochastic Optimal Control and Homogenization of Hamilton-Jacobi equations EVALUATED
Author: João Tiago Martins Pereira de Almeida Saúde (ist154761)
Coordenação: António Pedro Rodrigues de Aguiar (ist30039) Diogo Luís de Castro Vasconcelos de Aguiar Gomes (ist13502)
-
Detecção de pedestres em imagens: Uma nova abordagem baseada na redução de dimensionalidade e regras de detecção de outliers EVALUATED
Author: Fábio Ivan Maia Roque dos Reis (ist157665)
Coordenação: Alexandre José Malheiro Bernardino (ist13761) Maria da Conceição Esperança Amado (ist13493)
-
Optimal Investment Policy in Competitive Products - A Real Options Approach EVALUATED
Author: Nuno Filipe Pires Alves e Calaim (ist157243)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
On the Hilbert Coefficients of a Cohen-Macaulay Local Ring EVALUATED
Author: Jaime Augusto Delgado Mancelos Silva (ist166032)
Coordenação: Maria da Conceição Pizarro de Melo Telo Rasquilha Vaz Pinto (ist13938)
-
Generalizações de Movimento Geométrico Browniano com Saltos: Aplicação à Política Óptima de Investimento em Linha de Alta Velocidade EVALUATED
Author: Débora Cristóvão Ricardo (ist158562)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Modelação de incertezas múltiplas em opções reais - aplicação à avaliação do investimento do novo transporte de alta velocidade ferroviário EVALUATED
Author: Iris Sofia Dourado Ferreira (ist155698)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Product type actions with Rokhlin properties EVALUATED
Author: Ricardo Simões do Canto de Loura (ist157230)
Coordenação: Norman Christopher Phillips (ist416209) Maria Amélia Duarte Reis Bastos (ist11808)
-
TagSNP Selection Using Maximum Satisfiability EVALUATED
Author: Pedro Miguel Reis Santos Nabais Antunes (ist155713)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113) Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
Probabilistic Distributed Temporal Logic EVALUATED
Author: Luís Gonçalves Silva Nina Morão (ist157248)
Coordenação: Jaime Arsénio de Brito Ramos (ist13113)
-
Modal Logics for Reasoning about Distance Spaces EVALUATED
Author: Filipe Sá Pereira Lopes da Cunha (ist157232)
Coordenação: Maria Cristina De Sales Viana Serôdio Sernadas (ist12466)
2009/2010
-
Tempos de primeira passagem de um movimento Browniano com incrementos temporais exponenciais EVALUATED
Author: Ana Lúcia Truta Filipe Batista (ist154153)
Coordenação: Juan António Acebron de Torres (ist24873) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Geometry and Quantization EVALUATED
Author: Gonçalo Marques Fernandes de Oliveira (ist156809)
Coordenação: João Luís Pimentel Nunes (ist12894)
-
Relativizations of P == NP and P =/= NP in the ARNN model EVALUATED
Author: Raimundo Coelho Leong (ist164647)
Coordenação: José Félix Gomes da Costa (ist12623)
-
On the existence of categorical connections EVALUATED
Author: Nelson Henrique Quintas Batalha (ist152709)
Coordenação: Gustavo Rui Gonçalves Fernandes de Oliveira Granja (ist13229)
-
Odd Khovanov homology for virtual knots EVALUATED
Author: Diana Manuel Fernandes Tavares (ist148656)
Coordenação: Roger Francis Picken (ist12921)
-
A weak dynamic programming principle for zero-sum stochastic differential games EVALUATED
Author: Pedro Miguel Almeida Serra Costa Vitória (ist156816)
Coordenação: Diogo Luís de Castro Vasconcelos de Aguiar Gomes (ist13502)
-
Étale Cohomology EVALUATED
Author: Edgar José Martins Dias Costa (ist157245)
Coordenação: Roy Skjelnes (ist414624) Pedro Ferreira dos Santos (ist13119)
-
Análise Numérica para as Equações de Águas Rasas em Duas Camadas EVALUATED
Author: Pedro Emanuel Silvério Gonçalves (ist163848)
Coordenação: Juha Hans Videman (ist13212)
-
Supervisory Control of Petri Nets using Linear Temporal Logic EVALUATED
Author: Manuel Biscaia Martins (ist154145)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783) Pedro Manuel Urbano de Almeida Lima (ist12116)
2008/2009
-
Obesidade e PHDA infantil: Modelo de Regressão Logística EVALUATED
Author: Raquel Maria Jacinto Escola (ist154596)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Modelação estatística do consumo nocturno doméstico de água EVALUATED
Author: Rodrigo Beirão Borba (ist152703)
Coordenação: Maria da Conceição Esperança Amado (ist13493)
-
Modelos de Previsão de Preços de Electricidade EVALUATED
Author: Daniel José Ramos Peixeiro (ist154142)
Coordenação: Tânia Cristina Silva (ist409188) Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Welded Braids and the Crossed Module Invariant EVALUATED
Author: Marta Carvalho Afonso Carreteiro (ist154144)
Coordenação: João Nuno Gonçalves Faria Martins (ist409260) Francisco Miguel Alves Campos de Sousa Dionísio (ist12220)
-
Equações Diferenciais Estocásticas em Modelos Financeiros EVALUATED
Author: Catarina Andreia Rodrigo Vaz (ist155716)
Coordenação: Ana Bela Ferreira Cruzeiro Zambrini (ist14228) Carlos José Santos Alves (ist12831)
-
Diferenças Finitas na Valoração de Opções Europeias e Americanas EVALUATED
Author: Margarida Mirador Fernandes (ist152695)
Coordenação: Ana Bela Ferreira Cruzeiro Zambrini (ist14228) Carlos José Santos Alves (ist12831)
-
Galois Theory Towards Dessins d'Enfants EVALUATED
Author: Marco António Delgado Robalo (ist155298)
Coordenação: José Manuel Vergueiro Monteiro Cidade Mourão (ist12816)
-
The Entropy Penalized Minimum Energy Estimator EVALUATED
Author: Sérgio Daniel Gonçalves Melo Pequito (ist154156)
Coordenação: António Pedro Rodrigues de Aguiar (ist30039) Diogo Luís de Castro Vasconcelos de Aguiar Gomes (ist13502)
-
Modelação e Previsão da Procura de um Serviço: Aplicação de Métodos Estatísticos EVALUATED
Author: Bruno Emanuel Pereira Coelho (ist154147)
Coordenação: João Libano Monteiro (ist408281) Ana Maria Nobre Vilhena Nunes Pires de Melo Parente (ist12438)
-
Testes t e F: Robustos ou não, eis a questão! EVALUATED
Author: Daniela Neves Pontes (ist154143)
Coordenação: Maria da Conceição Esperança Amado (ist13493) João António Branco (ist10600)
-
Pseudo-Boolean Approaches to Comparative Genomics EVALUATED
Author: João Benigno Delgado (ist151591)
Coordenação: Maria Inês Camarate de Campos Lynce de Faria (ist14029) Vasco Miguel Gomes Nunes Manquinho (ist14221)
-
Métodos de classificação supervisionada para detecção de erros em transacções de mercado externo EVALUATED
Author: Cátia Sofia Correia da Cunha (ist141895)
Coordenação: Carlos Manuel Milheiro de Oliveira Pinto Soares (ist403152) Ana Maria Nobre Vilhena Nunes Pires de Melo Parente (ist12438)
-
Model Checking Probabilistic Systems EVALUATED
Author: David João Barros Henriques (ist154136)
Coordenação: Paulo Alexandre Carreira Mateus (ist13783)
2007/2008
-
Gaussian Foveation EVALUATED
Author: Daniela Filipa Gonçalves Pamplona (ist152699)
Coordenação: Carlos José Santos Alves (ist12831) Alexandre José Malheiro Bernardino (ist13761)
-
Um Método de Soluções Fundamentais Aplicado ao Tratamento de Imagem EVALUATED
Author: Inês Filipa Estrela de Oliveira (ist152450)
Coordenação: Carlos José Santos Alves (ist12831)
-
O Conceito de Profundidade em Estatística EVALUATED
Author: Maria Raquel Bengelsdorff Regueiras Neto (ist152689)
Coordenação: João António Branco (ist10600)
-
Valor prognóstico da citometria de fluxo de ADN no carcinoma do colo do útero EVALUATED
Author: Ausenda Filipa Rosa Pires (ist151281)
Coordenação: António Evaristo Pinto (ist406176) Giovani Loiola da Silva (ist13231)
-
Modelling an Adversary with Cryptanalytical Capabilities EVALUATED
Author: Bruno José Conchinha Montalto (ist154150)
Coordenação: Carlos Manuel Costa Lourenço Caleiro (ist13222)
-
Produtos Cruzados C*. Invertibilidade numa Álgebra de Operadores Funcionais. EVALUATED
Author: Rui Miguel Coutinho Palma (ist154161)
Coordenação: Maria Amélia Duarte Reis Bastos (ist11808)
-
First Passage Times in Ito Processes Considering a Jump Scenario: Applications in Finance EVALUATED
Author: Sílvia Quina Nobre (ist154159)
Coordenação: Cláudia Rita Ribeiro Coelho Nunes Philippart (ist12953)
-
Integrability of Lie algebroids by proper Lie groupoids EVALUATED
Author: Luís Alexandre Meira Fernandes Alves Pereira (ist154162)
Coordenação: Rui António Loja Fernandes (ist12530)
-
A Combinatorial Approach to the HOMFLY n-Specializations EVALUATED
Author: Nuno Ricardo Barroso de Freitas (ist152683)
Coordenação: Roger Francis Picken (ist12921)
-
Correspondência de Galois não-comutativa EVALUATED
Author: Eduardo Carrilho Jordão do Rosário Monteiro (ist139315)
Coordenação: Paulo Jorge da Rocha Pinto (ist13402)
-
Infinite Time Turing Machines EVALUATED
Author: Jorge Humberto Antunes Serras dos Santos (ist136809)
Coordenação: António Marques Fernandes (ist13130)