Provas académicas

Os graus de agregação, doutoramento e mestrado incluem provas públicas perante um júri. Esta página mostra o respectivo calendário e detalhes no que diz respeito aos graus de responsabilidade do Departamento de Matemática.

Agregação em Matemática

Quinta, 5 de Janeiro de 2012, 16h 00m, PA-3 Edifício de Matemática
Sexta, 6 de Janeiro de 2012, 14h 00m, PA-3 Edifício de Matemática

João Luís Pimentel Nunes
Relatório: Differential Topology.
Lição de síntese: Quantization and Reality.

Quinta, 20 de Janeiro de 2011, 14h 30m, Anfiteatro VA-2 (Piso -1, Pavilhão de Civil)
Sexta, 21 de Janeiro de 2011, 14h 30m, Anfiteatro VA-2 (Piso -1, Pavilhão de Civil)

Gabriel Czerwionka Lopes Cardoso
Relatório: Topics in String Theory: The \(N=2\) Black Hole Jigsaw Puzzle.
Lição de síntese: Black Holes, Attractors and the OSV Conjecture.

Segunda, 21 de Junho de 2010, 14h 00m, Anfiteatro PA-3 Edifício de Matemática
Terça, 22 de Junho de 2010, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Ana Margarida de Lencastre Godinho Cannas da Silva
Relatório: Geometria Diferencial.
Lição de síntese: Folded Symplectic Manifolds.

Segunda, 21 de Dezembro de 2009, 14h 30m, Anfiteatro VA-4 (Pavilhão de Civil)
Terça, 22 de Dezembro de 2009, 14h 30m, Anfiteatro VA-4 (Pavilhão de Civil)

Ricardo Pina Schiappa de Carvalho
Relatório: Área Científica de Física-Matemática.
Lição de síntese: Stokes Resurgence of Random Matrices and Strings.

Segunda, 21 de Dezembro de 2009, 10h 30m, Anfiteatro PA-3 Edifício de Matemática
Terça, 22 de Dezembro de 2009, 10h 30m, Anfiteatro PA-3 Edifício de Matemática

Rahul Vijay Pandharipande
Relatório: Algebraic Geometry: An Introduction.
Lição de síntese: Maps, Sheaves, and K3 Surfaces.

Quinta, 18 de Junho de 2009, 15h 00m, PA-3 Edifício da Matemática
Sexta, 19 de Junho de 2009, 15h 00m, PA-3 Edifício da Matemática

Maria Amélia Duarte Reis Bastos
Relatório: Álgebra de Operadores.
Lição de síntese: Representações de produtos Cruzados \(C^\ast\) e Símbolos Operatoriais de Álgebras Não-Locais de Operadores Singulares.

Terça, 7 de Outubro de 2008, 10h 30m, Anfiteatro do Complexo I
Quarta, 8 de Outubro de 2008, 10h 30m, Anfiteatro do Complexo I

Carlos Armindo Arango Florentino
Relatório: Superfícies de Riemann e Curvas Algébricas.
Lição de síntese: Representations of Surface Groups into Lie Groups: Álgebra, Geometry and Quantization.

Quinta, 17 de Julho de 2008, 15h 00m, PA-3 Edifício da Matemática
Sexta, 18 de Julho de 2008, 15h 00m, PA-3 Edifício da Matemática

Carlos José Santos Alves
Relatório: Análise Numérica de Equações Diferenciais Parciais.
Lição de síntese: Ill Conditionning and Accuracy in Numerical Methods for Direct and Inverse Problems in Partial Differential Equations.

Segunda, 14 de Julho de 2008, 14h 00m, Anfiteatro PA-3 Edifício de Matemática
Terça, 15 de Julho de 2008, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Aleksander Mikovic
Relatório: Representação de Grupos e Álgebras de Lie.
Lição de síntese: Redes e Espumas de Spin em Teorias de Campo Quânticas Topológicas e em Gravitação Quântica.

Terça, 19 de Fevereiro de 2008, 11h 00m, Anfiteatro do Complexo I do IST
Quarta, 20 de Fevereiro de 2008, 15h 30m, Anfiteatro do Complexo I do IST

Ana Maria Nobre Vilhena Nunes Pires Parente
Relatório: Análise de Modelos Lineares - Na Licenciatura (1º Ciclo) em Matemática Aplicada e Computação.
Lição de síntese: Um Panorama da Estatística Robusta.

Segunda, 21 de Janeiro de 2008, 10h 00m, Anfiteatro do Complexo I
Terça, 22 de Janeiro de 2008, 10h 00m, Anfiteatro do Complexo I

Miguel Tribolet de Abreu
Relatório: Geometria Simplética.
Lição de síntese: Overview Lecture - A Personal Tour Through Sympletic Topology and Geometry.

Quinta, 22 de Fevereiro de 2007, 14h 30m, Instituto Superior Técnico
Sexta, 23 de Fevereiro de 2007, 14h 30m, Instituto Superior Técnico

Jorge Sebastião de Lemos Carvalhão Buescu
Relatório: Sistemas Dinâmicos e Teoria de Números.
Lição de síntese: Positividade e núcleos reprodutores em alguns aspectos de Análise Matemática.

Quarta, 21 de Junho de 2006, 15h 00m, Anfiteatro do Complexo Interdisciplinar
Quinta, 22 de Junho de 2006, 15h 00m, Anfiteatro do Complexo Interdisciplinar

António Manuel Pacheco Pires
Relatório: Processos Estocásticos.
Lição de síntese: Ordenação estocástica de tempos de primeira passagem: contribuições em controlo de qualidade e na comparação de processos estocásticos com excedência de nível.

Quinta, 27 de Abril de 2006, 10h 00m, Anfiteatro do Complexo Interdisciplinar
Sexta, 28 de Abril de 2006, 10h 00m, Anfiteatro do Complexo Interdisciplinar

Pedro Miguel Rita da Trindade Lima
Relatório: Métodos Numéricos para Equações Diferenciais Ordinárias.
Lição de síntese: Aceleração de Convergência de Métodos Computacionais para Equações Diferenciais e Integrais.

Segunda, 27 de Março de 2006, 14h 30m, Anfiteatro do Complexo Interdisciplinar
Terça, 28 de Março de 2006, 14h 30m, Anfiteatro do Complexo Interdisciplinar

Paulo Alexandre Carreira Mateus
Relatório: Matemática Discreta.
Lição de síntese: Análise de Sistemas de Prova de Conhecimento Nulo.

Quinta, 19 de Janeiro de 2006, 11h 00m, Pa3
Sexta, 20 de Janeiro de 2006, 11h 00m, Pa3

Marcos Mariño Beiras
Relatório: Aspectos Geométricos de Teoria do Campo.
Lição de síntese: Teoria de Cordas e Invariantes de Nós.

Segunda, 16 de Janeiro de 2006, 14h 30m, Pa3
Terça, 17 de Janeiro de 2006, 14h 30m, Pa3

Diogo Luís de Castro Vasconcelos de Aguiar Gomes
Relatório: Transformações Integrais e Distribuições.
Lição de síntese: Equações de Hamilton-Jacobi e Dinâmica Hamiltoniana.

Doutoramento em Matemática

Sexta, 27 de Abril de 2012, 14h 30m, Anfiteatro do Complexo Interdisciplinar

Karina Girardi Roggia
Fusion of General Modal Logics Labelled with Truth Values.
Orientador: Maria Cristina Sales Viana Serôdio Sernadas, Departamento de Matemática do Instituto Superior Técnico

Segunda, 16 de Abril de 2012, 15h 00m, PA-3 Edifício de Matemática

Levon Robert Nurbekian
Weak KAM Theory on the D-Infinite Dimensional Torus.
Orientador: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Departamento de Matemática do Instituto Superior Técnico

Doutoramento em Estatística e Processos Estocásticos

Quarta, 21 de Dezembro de 2011, 14h 30m, PA-1 (Pavilhão de Matemática)

Vanda Marisa da Rosa Milheiro Lourenço
Robust Linear Regression methods with Application to Genetic Association Studies of Quantitative Traits.
Orientador: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Departamento de Matemática, IST
Co-orientador: Matias Kirst, University of Florida, USA

Doutoramento em Matemática

Segunda, 5 de Setembro de 2011, 14h 30m, PA-3

Juan Pablo Roggiero Ayala
Lie Algebroids Over Quotient Spaces.
Orientador: Rui António Loja Fernandes, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa

Sexta, 24 de Junho de 2011, 12h 30m, PA-3

Pedro Walmsley Frejlich
\(h\)-Principles Around Poisson Geometry.
Orientador: Rui António Loja Fernandes, Departamento de Matemática do Instituto Superior Técnico

Segunda, 28 de Fevereiro de 2011, 14h 00m, PA-3

Gonçalo João Costa Jacinto
Modeling and Performance Evaluation of Mobile and ad hoc networks.
Orientador: António Manuel Pacheco Pires, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa

Sexta, 17 de Dezembro de 2010, 10h 00m, PA-3 Edifício de Matemática

Maxime Emile Gamboni
Statically Proving Behavioural Properties in the π-calculus via Dependency Analysis.
Orientador: António Maria Lobo César Alarcão Ravara, Faculdade de Ciências e Tecnologia, da Universidade Nova de Lisboa
Co-orientador: Carlos Manuel Costa Lourenço Caleiro, Departamento de Matemática do IST, UTL

Quinta, 9 de Dezembro de 2010, 15h 00m, 3.10 Pavilhão de Matemática

Pedro Alexandre Cardoso Baltazar
Probabilization of Logic Systems.
Orientador: Paulo Alexandre Carreira Mateus, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Co-orientador: Maria Cristina Sales Viana Serôdio Sernadas, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa

Terça, 27 de Julho de 2010, 10h 00m, PA-3 Edifício de Matemática

Magda Stela de Jesus Rebelo
Analytical and Numerical Methods for Nonlinear Volterra Integral Equations with Weakly Singular Kernel.
Orientador: Maria Teresa Romãozinho Marques Diogo,, Departamento de Matemática do IST, UTL
Co-orientador: Pedro Miguel Rita da Trindade e Lima, Departamento de Matemática, IST, UTL

Quarta, 23 de Dezembro de 2009, 10h 00m, PA-3 Edifício da Matemática

Thomas Baier
Geometric Quantization and Degenerations of Complex Strucutres for Two Families of Compact Manifolds.
Orientador: João Pimentel Nunes, D.M., Instituto Superior Técnico

Sexta, 4 de Dezembro de 2009, 14h 00m, PA3 - Pavilhão de Matemática

Sheila Sandon
Contact Homology, Capacity and Non-Squeezing in \( \mathbb{R}^{2n}\times S^1\) via Generating Functions.
Orientador: Miguel Tribolet de Abreu, D.M., Instituto Superior Técnico

Terça, 14 de Julho de 2009, 14h 30m, Anfiteatro PA-3 Edifício de Matemática

Euclides Augusto Luís
Mathematical and Computational Modelling of Instabilities in Deep-Water Island Wakes.
Orientador: Juha Hans Videman, Departamento de Matemática, I.S.T.

Sexta, 12 de Dezembro de 2008, 11h 00m, Anfiteatro PA-3 Edifício de Matemática

Pedro Ricardo Simão Antunes
The Method of Fundamental Solutions Applied to Eigenproblems .
Orientador: Carlos José dos Santos Alves, Departamento de Matemática, I.S.T.

Quinta, 11 de Dezembro de 2008, 10h 30m, Anfiteatro PA-3 Edifício de Matemática

João Paulo Vicente Janela
Mathematical and Numerical Modelling in Hemodynamics and Hemorheology .
Orientador: Adélia Sequeira dos Ramos Silva, Departamento de Matemática, I.S.T

Sexta, 5 de Dezembro de 2008, 11h 00m, PA-3 Edifício da Matemática

Svilen Stanimirov Valtchev
Numerical Analysis of Methods with Fundamental Solutions for Acoustic and Elastic Wave Propagation Problems.
Orientador: Carlos José dos Santos Alves, Departamento de Matemática, I.S.T.

Quarta, 5 de Novembro de 2008, 09h 30m, Anfiteatro do Complexo I

Misha Clarence Lewis Protin
Quantales de Grupóides Abertos.
Orientador: Pedro Manuel Resende, Departamento de Matemática, IST

Sexta, 31 de Outubro de 2008, 15h 00m, Anfiteatro do Complexo I

Paulo José Fernandes Louro Ribeiro Doutor
Formalismo Termodinâmico e Análise Multifractal .
Orientador: Luís Manuel Gonçalves Barreira, Departamento de Matemática,IST

Sexta, 26 de Setembro de 2008, 10h 00m, Sala de Reuniões do IST (Pav.Central)

Ricardo João Rodrigues Gonçalves
Behavioral Algebraization of Logics.
Orientador: Carlos Caleiro, DM, IST

Terça, 18 de Dezembro de 2007, 14h 00m, PA-3 (Piso -1 Pav. Matemática)

Maria Helena Coelho Ribeiro
Costumer loss probabilities and other performance measures of regular and oscillating systems.
Orientador: António Pacheco Pires, Instituto Superior Técnico
Nota: Data a ser corrigida

Quarta, 5 de Setembro de 2007, 09h 30m, Complexo Interdisciplinar

Daniel da Silva Graça
Computability with Polynomial Differential Equations.
Orientador: Manuel Lameiras de Figueiredo Campagnolo, Instituto Superior de Agronomia, UTL.
Co-orientador: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências de Lisboa

Terça, 12 de Junho de 2007, 14h 00m, PA-3 (Piso -1 Pav. Matemática)

Maria de Fátima Monteiro Ferreira
Embedding, Uniformization and Stochastic Ordering in the Analysis of Level-Crossing Times and \(GI^x/M(n)//c\) Systems.
Orientador: António Manuel Pacheco Pires, Instituto Superior Técnico
Nota: Data a ser corrigida

Quinta, 10 de Maio de 2007, 14h 30m, Anfiteatro PA-3, Pavilhão de Matemática

Vitor Diogo da Costa Saraiva
Densidades Médias, Partições de Markov e Rigidez Multifractal.
Orientador: Luis Manuel Gonçalves Barreira, Instituto Superior Técnico

Sexta, 22 de Dezembro de 2006, 13h 30m, Sala 3.10 - DM

Sofia Marta Lima Naique
On a class of oscillatory Riemann-Hilbert problems with triangular symbols.
Orientador: António Ferreira dos Santos, I.S.T.

Sexta, 22 de Dezembro de 2006, 10h 30m, Anfiteatro do Complexo I

Luis Ricardo Cardoso Gomes da Costa Borges
Domain Decomposition Methods for Non-Newtonian Fluids.
Orientador: Adélia Sequeira, DM-I.S.T.
Co-orientador: Nadir Arada, F.C.T. - Univ. Nova de Lisboa

Terça, 12 de Dezembro de 2006, 15h 00m, Anfiteatro PA3

Carlos Correia Ramos
Representações, C*-algebras e transformações do intervalo.
Orientador: Nuno Martins, I.S.T.

Terça, 5 de Dezembro de 2006, 14h 00m, Anfiteatro Complexo I

Pedro Miguel dos Santos Alves Madeira Adão
Formal methods for the analysis of security protocols.
Orientador: Paulo Mateus, I.S.T.
Co-orientador: André Scedrov, University of Pennsylvania, USA

Quarta, 13 de Setembro de 2006, 14h 30m, Salão Nobre - Ala Sul

Cláudio António Rainha Aires Fernandes
Álgebras C* de Operadores com deslocamentos e coeficientes oscilantes.
Orientador: Amélia Bastos, I. S. T.
Co-orientador: Yuri Karlovich, Univ. Aut. Morelos (Mexico)

Sexta, 9 de Junho de 2006, 13h 30m, Sala 02.1 - Centro de Congressos (Pav. Civil)

Rui Pedro da Silva Cabrita Carpentier
Representations of tangles by operators.
Orientador: Roger Picken, Instituto Superior Técnico

Quinta, 20 de Abril de 2006, 10h 30m, Anfiteatro do Complexo I

Nuno Filipe de Jesus Cirilo António
Quantum Integrable Systems with Jordanian Twist.
Orientador: Nenad Manojlovic, Universidade do Algarve
Co-orientador: António Ferreira dos Santos, I.S.T.

Sexta, 31 de Março de 2006, 11h 15m, Anfiteatro Pa3

Marko Stosic
Khovanov homology of links and graphs.
Orientador: Roger Picken, I.S.T.

Sexta, 17 de Fevereiro de 2006, 14h 30m, Anfiteatro PA3

Maria do Carmo Carvalho Sousa da Cunha Martins
Factorização generalizada de uma classe de símbolos triangulares quase-periódicos.
Orientador: Cristina Câmara, I.S.T.

Quinta, 2 de Fevereiro de 2006, 15h 00m, Anfiteatro PA3

Pedro Miguel Montes Martins Matias
Geometric Quantization and the Coherent State Transform.
Orientador: José Mourão, I.S.T.

Quinta, 26 de Janeiro de 2006, 13h 00m, Anfiteatro PA3

António Carlos dos Santos Paixão
On the algebraic, differential, integral and spectral properties of Mercer-like kernels.
Orientador: Jorge Buescu, I.S.T.

Terça, 10 de Janeiro de 2006, 14h 00m, PA3

Luis Filipe Serrazes Ventura de Barros Pessoa
Algebras of Bergman type operators with piecewise continuous coefficients.
Orientador: Yuri Karlovich, Univ. Autonoma de Morelos (Mexico)
Co-orientador: Amélia Bastos, I.S.T.

Segunda, 12 de Dezembro de 2005, 15h 00m, Anfiteatro PA3

Sara Luísa Dimas Fernandes
Teoria Espectral e Sistemas Dinâmicos Discretos.
Orientador: José Sousa Ramos, I.S.T.

Sexta, 23 de Setembro de 2005, 15h 15m, Anfiteatro do Complexo Interdisciplinar

Lucian Radu
Teoria de Dimensão de Sistemas Dinâmicos: Medidas Invariantes e Análise Multifractal.
Orientador: Luís Barreira, Instituto Superior Técnico

Terça, 19 de Julho de 2005, 11h 30m, Anfiteatro Complexo I

José Manuel Chagas Roquette
Os infinitésimos actuais e a caracterização do contínuo conexo.
Orientador: Augusto Franco de Oliveira, Universidade de Évora

Quarta, 13 de Julho de 2005, 16h 00m, Anfiteatro Complexo I

Marília da Conceição Valente de Oliveira Pires
Mathematical and Numerical Analysis of Non-Newtonian Fluids in Curved Pipes.
Orientador: Adélia Sequeira, I.S.T.

Quarta, 13 de Julho de 2005, 15h 00m, PA3

Diana Elisabeta Aldea Mendes
Produtos tensoriais em dinâmicas de aplicações triangulares.
Orientador: José Sousa Ramos, Instituto Superior Técnico, Universidade Técnica de Lisboa

Terça, 19 de Abril de 2005, 10h 00m, P3.10

Sandra Maria Santos Vinagre
Soluções caóticas em equações às derivadas parciais.
Orientador: José Sousa Ramos, I.S.T.

Terça, 5 de Abril de 2005, 14h 30m, Anfiteatro Pa3

Fernando Manuel Lucas Carapau
Development of 1D fluid models using the Cosserat theory. Numerical simulations and applications to Haemodynamics.
Orientador: Adélia Sequeira, Instituto Superior Técnico, Universidade Técnica de Lisboa

Sexta, 18 de Fevereiro de 2005, 16h 00m, Campinas, Brasil

João Marcos de Almeida
Logics of Formal Inconsistency.
Co-orientador: Carlos Caleiro, Instituto Superior Técnico, Universidade Técnica de Lisboa
Co-orientador: W. A. Carnielli, Universidade de Campinas, Brasil
Nota: em regime de cotutela com Universidade de Campinas, Brasil.

Mestrado em Matemática e Aplicações

Quarta, 7 de Dezembro de 2011, 10h 00m, PA2 Pavilhão de Matemática

André Damião da Costa Martins
Stochastic models for prediction of pipe failures in water supply systems.
Orientador: Maria da Conceicao Esperanca Amado, DM,Instituto Superior Técnico
Co-orientador: João Paulo Correia Leitão, LNEC

Quarta, 9 de Dezembro de 2009, 11h 00m, P1 Pavilhão de Matemática

Daniel José Ramos Peixeiro
Modelos de Previsão de Preços de Electricidade .
Orientador: Claudia Ribeiro Coelho Nunes Philippart , I.S.T., Departamento de Matemática

Segunda, 30 de Novembro de 2009, 11h 00m, P3 - Pavilhão de Matemática

Raquel Maria Jacinto Escola
Obesidade e PHDA infantil: Modelo de Regressão Logística.
Orientador: Maria da Conceição Esperança Amado, Departamento de Matemática, I.S.T.

Quinta, 26 de Novembro de 2009, 15h 00m, P3 - Pavilhão de Matemática

Rodrigo Beirão Borba
Modelação Estatística do Consumo Nocturno Doméstico de Água.
Orientador: Maria da Conceição Esperança Amado, Departamento de Matemática, I.S.T.

Sexta, 13 de Novembro de 2009, 14h 00m, P1 Pavilhão de Matemática

Marco Antonio Delgado Robalo
Galois Theory Towards Dessins d'Enfants.
Orientador: José Manuel Vergueiro Monteiro Cidade Mourão , D.M., IST.

Mestrado em Estatística

Quinta, 12 de Novembro de 2009, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

César Armindo Franco Correia
Mapeamento bayesiano para fenótipos binários complexos .
Orientador: Carlos Daniel Paulino, D.M., Instituto Superior Técnico

Mestrado em Matemática e Aplicações

Segunda, 9 de Novembro de 2009, 14h 00m, PA-2 (Edifício da Matemática)

Catarina Andreia Rodrigo Vaz
Equações Diferenciais Estocásticas em Modelos Financeiros.
Orientador: Carlos José dos Santos Alves, Departamento de Matemática, IST.
Co-orientador: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, IST.

Quinta, 5 de Novembro de 2009, 10h 00m, P1 Pavilhão de Matemática

Marta Carvalho Afonso Carreteiro
Welded Braids and the Crossed Module Invariant.
Orientador: Francisco Miguel Alves Campos de Sousa Dionísio, Departamento de Matemática, Instituto Superior Técnico
Co-orientador: João Nuno Gonçalves Faria Martins, Departamento de Matemática, Universidade Nova de Lisboa

Terça, 14 de Julho de 2009, 11h 00m, P3 - Pavilhão de Matemática

Sérgio Daniel Gonçalves Melo Pequito
The Entropy Penalized Minimum Energy Estimator.
Orientador: Diogo Aguiar Gomes, D.M., I.S.T.
Co-orientador: António Pedro Rodrigues de Aguiar, DEEC, I.S.T.

Quarta, 8 de Julho de 2009, 11h 00m, P1 Pavilhão de Matemática

Bruno Emanuel Pereira Coelho
Modelação e Previsão da Procura de um Serviço.
Orientador: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, D.M., IST

Sexta, 5 de Junho de 2009, 15h 30m, P6 - Pavilhão de Matemática

Daniela Neves Pontes
Testes t e F: Robustos ou não, eis a questão!
Orientador: João António Branco, D.M., IST

Mestrado em Matemática Aplicada

Terça, 26 de Maio de 2009, 14h 30m, P3 - Pavilhão de Matemática

Cátia Sofia Correia da Cunha
Métodos de Classificação supervisionada para detecção de erros em transacções de mercado.
Orientador: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Departamento de Matemática, IST

Mestrado em Estatística

Quarta, 18 de Fevereiro de 2009, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Cláudia Patricia Nunes Antunes
Avaliação do Impacto da Correlação em Sinais Erróneos de Esquemas Conjuntos para o Valor Esperado e a Variância. .
Orientador: António Manuel Pacheco Pires, D.M., Instituto Superior Técnico

Mestrado em Matemática Aplicada

Segunda, 16 de Fevereiro de 2009, 14h 00m, PA-2 (Edifício da Matemática)

Luís Miguel da Encarnação Sertório
Análise de Clusters de Utilizadores da Internet Baseada na Decomposição do Tráfego Semanal.
Orientador: Maria do Rosário de Oliveira Silva, DM, Instituto Superior Técnico
Co-orientador: Rui Jorge Morais Tomaz Valadas, Departamento de Electrónica, Telecomunicações e Informática da Universidade de Aveiro

Mestrado em Estatística

Terça, 10 de Fevereiro de 2009, 14h 30m, Anfiteatro PA-3 Edifício de Matemática

Sofia Raquel Cascais Ferreira Pinto
Bootstrap Robusto para Regressão Linear Multivariada.
Orientador: Maria da Conceição Esperança Amado, D.M., Instituto Superior Técnico

Mestrado em Matemática e Aplicações

Quinta, 22 de Janeiro de 2009, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Marta Catarina Silva Pereira Guanilho Casaca
Análise e Simulação Numérica de Fluídos Viscoelásticos de Tipo OLDROYD .
Orientador: Adélia Sequeira dos Ramos Silva, D.M., Instituto Superior Técnico

Mestrado em Estatística

Quarta, 21 de Janeiro de 2009, 15h 00m, Anfiteatro PA-3 Edifício de Matemática

Helena Maria Aleixo Pereira
Métodos Robustos para Regresão Linear e Não Linear.
Orientador: Maria da Conceição Esperança Amado, D.M., Instituto Superior Técnico

Quarta, 21 de Janeiro de 2009, 11h 00m, Sala V1.15 (Pavilhão Civil)

Ana Filipa Vieira da Encarnação
O Modelo de Classes Latentes com Restrições Aplicado à Análise do Desempenho de testes de Diagnóstico.
Orientador: Maria de Rosário de Oliveira Silva, DM, Instituto Superior Técnico
Co-orientador: Luzia Augusta Pires Gonçalves, Unidade de Epidemiologia e Biostatística do Instituto de Higiene e Medicina Tropical da Universidade Nova de Lisboa

Sexta, 16 de Janeiro de 2009, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Ana Isabel Borralho da Mota
Modelação Estatística Multivariada da procura de um Serviço.
Orientador: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, D.M., Instituto Superior Técnico

Segunda, 22 de Dezembro de 2008, 14h 00m, Anfiteatro VA-1 (Pavilhão de Cívil)

Bartolomeu André Rodrigues Fernandes Rabaçal
Análise Discriminante com Restrições na Estrutura de Covariâncias.
Orientador: Isabel Maria Alves Rodrigues , DM, IST

Segunda, 15 de Dezembro de 2008, 15h 00m, P1 Pavilhão de Matemática

Carla Sofia Coelho Ribeiro Miranda
Regressão Linear Múltipla com Erros Arma.
Orientador: Ana Maria Pires de Melo Parente, DM, Instituto Superior Técnico

Mestrado em Matemática e Aplicações

Quinta, 13 de Novembro de 2008, 14h 00m, Sala P1 Pavilhão de Matemática

Ausenda Filipa Rosa Pires
Valor prognóstico da citometria de fluxo de ADN no carcinoma do colo do útero .
Orientador: Giovani Loiola da Silva, DMIST

Quinta, 6 de Novembro de 2008, 14h 30m, Sala P1 Pavilhão de Matemática

Daniela Filipa Gonçalves Pamplona
Gaussian foveation .
Orientador: Alexandre Jose Malheiro Bernardino, DEEC

Mestrado em Matemática Aplicada

Sexta, 24 de Outubro de 2008, 14h 00m, Sala PA2

Maria Raquel Bengelsdorff Regueiras Neto
O Conceito de Profundidade em Estatística .
Orientador: João António Branco, DMIST

Mestrado em Matemática e Aplicações

Quinta, 23 de Outubro de 2008, 15h 00m, P1 Pavilhão de Matemática

Inês Estrela Oliveira
Um método de soluções fundamentais aplicado ao tratamento de imagem .
Orientador: Carlos Alves, DM, IST

Mestrado em Estatística

Segunda, 13 de Outubro de 2008, 15h 00m, PA-2 Pavilhão de Matemática

Teresa Maria Fazenda Risso
Regressão Logística Multinomial e ordinal.
Orientador: Ana Pires Parente, Departamento de Matemática, IST

Quinta, 24 de Julho de 2008, 11h 00m, P12 - Pavilhão de Matematica

Sílvia Quina Nobre
First Passage Times in Ito Processes Considering a Jump Scenario: Applications in Finance.
Orientador: Claudia Rita Ribeiro Coelho Nunes Philippart, DM, IST

Mestrado em Matemática e Aplicações

Sexta, 18 de Julho de 2008, 14h 30m, P1 Pavilhão de Matemática
Sexta, 18 de Julho de 2008, 14h 30m, P1 Pavilhão de Matemática

Rui Miguel Coutinho Palma
Produtos Cruzados \(C^\ast\). Invertibilidade numa álgebra de Operadores Funcionais.
Orientador: Maria Amélia Bastos, DM, IST

Quarta, 7 de Maio de 2008, 11h 00m, P1 Pavilhão de Matemática

Eduardo Carrilho Jordão do Rosário Monteiro
Correspondência de Galois não-comutativa.
Orientador: Paulo Jorge da Rocha Pinto, Departamento de Matemática do IST

Segunda, 24 de Março de 2008, 14h 30m, Anfiteatro Pa3, Pavilhão de Matemática

Maria Dolores Silvério Diogo
Teorema da Passagem da Montanha e suas Aplicações.
Orientador: Maria João Simões Nunes Borges teixeira, Instituto Superior Técnico

Sexta, 9 de Novembro de 2007, 11h 00m, P3 (Pavilhão de Matemática)

Catarina Maria Miranda de Sousa Rego
Métodos Robustos de Amostragem em Populações Finitas.
Orientador: Maria da Conceicao Esperanca Amado, DM, IST

Sexta, 9 de Novembro de 2007, 09h 00m, P3 (Pavilhão de Matemática)

Cláudia Margarida Lopes Pascoal
Distribuição Normal Bivariada Truncada com Aplicação ao Estudo de Fluxos de Tráfego de Internet .
Orientador: Maria do Rosario de Oliveira Silva, DM, IST

Quarta, 7 de Novembro de 2007, 09h 00m, Sala P1 (Pavilhão de Matemática)

Ausenda Filipa Rosa Pires
Valor prognóstico da citometria de fluxo ADN no carcinoma do colo do útero .
Orientador: Giovani Loiola da Silva, DM, IST

Sexta, 26 de Outubro de 2007, 11h 00m, Sala P3 (Pavilhão de Matemática)

Carla Patricia Fernandes dos Santos
Modelo de Regressão Logística no Estudo da Obesidade em Portugal.
Orientador: Maria da Conceicao Esperanca Amado, DM, IST

Sexta, 26 de Outubro de 2007, 09h 00m, P1 (Pav. Matemática)

Bruno Miguel Santos Silva
Estudo do Instante Óptimo de Relocalização .
Orientador: Claudia Rita Ribeiro Coelho Nunes Philippart, DM,IST

Terça, 23 de Outubro de 2007, 14h 30m, P1, Pavilhão de Matemática

Joana Oliveira dos Santos
Induced toric Kähler metrics.
Orientador: Miguel Tribolet de Abreu, Instituto Superior Técnico

Quarta, 10 de Outubro de 2007, 14h 00m, Sala P3 (Pavilhão de Matemática)

Andreia Maria Hortence Gomes
O Problema de Frobenius.
Orientador: Jose Luis Martins Borges e Fachada, DM, IST

Terça, 9 de Outubro de 2007, 14h 00m, P3 (Pavilhão de Matemática)

José Nuno Ferreira Maia Pereira
Raciocínio Abdutivo sobre Especificações de Agentes.
Orientador: Maria Paula Antunes Abrantes Gouveia, DM, IST
Co-orientador: Jaime Arsenio de Brito Ramos, DM, IST

Terça, 9 de Outubro de 2007, 11h 00m, P1 (Pav. Matemática)

Bruno Filipe Araújo Lacerda
Linear-Time Temporal Logic Control of Discrete Event Systems.
Orientador: Pedro Manuel Urbano de Almeida Lima, DEEC, IST
Co-orientador: Francisco Miguel Alves Campos de Sousa Dionísio, DM, IST

Terça, 9 de Outubro de 2007, 09h 00m, P3 (Pavilhão de Matemática)

Tiago Lança Matos Sucena de Carvalho
Spatial Types for Concurrency, A Spatial Logic to Specify and Verify Distributed Systems.
Orientador: Antonio Maria Alarcao Ravara, DM, IST

Quinta, 4 de Outubro de 2007, 14h 00m, PA-3 (Piso -1 Pav. Matemática)

Nelson Alexandre Carvalho de Sousa
Cohomologia Equivariante e Mecânica Quântica supersimétrica.
Orientador: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico

Quarta, 3 de Outubro de 2007, 14h 00m, P3 (Pavilhão de Matemática)

Iara Cristina Alvarinho Gonçalves
O Grupo Fundamental do Complementar de um Arranjo de Hiperplanos Complexos.
Orientador: Gustavo Oliveira Granja, DMIST

Quarta, 3 de Outubro de 2007, 14h 00m, PA2 (Pavilhão de Matemática)

Ruben Carlos Gonçalves Martins
O Impacto da Modelação na Resolução de Problemas de Satisfação Proposicional.
Orientador: Maria Inês Camarate Campos Lynce de Faria, DEI. IST
Co-orientador: Carlos Manuel Costa Lourenço Caleiro, DM, IST

Terça, 2 de Outubro de 2007, 09h 30m, PA2 (Pavilhão de Matemática)

Ana Maria Patrício Knopfli
Redundancy in CNF Formulas.
Orientador: Maria Inês Camarate Campos Lynce de Faria, DEI, IST
Co-orientador: Francisco Miguel Alves Campos de Sousa Dionísio, DM, IST

Sexta, 28 de Setembro de 2007, 10h 30m, V1.03 (Edif. Engª Civil)

Sílvia Isabel Belo Guerra
Integrabilidade do Fluxo Geodésico num Elipsóide.
Orientador: José António Maciel Natário, IST

Mestrado em Matemática Aplicada

Quinta, 20 de Setembro de 2007, 14h 00m, P1 (Pav. Matemática)

André Fernandes Vasconcelos
Detection of Outer Sound Sources Through Measurements of Amplitude on a Body Surface.
Orientador: Carlos dos Santos Alves, IST

Mestrado em Matemática e Aplicações

Sexta, 20 de Julho de 2007, 10h 30m, V1.41 Pavilhão de Engª Civil

Annabela Pelicano
Factorização de uma Classe de Símbolos Oscilatórios e Problemas de Riemann-Hilbert.
Orientador: Cristina Câmara, I.S.T.

Mestrado em Estatística

Quinta, 19 de Julho de 2007, 10h 30m, Salão Nobre (Pavilhão Central)

Alexandra Maria Pita Mayer da Silva Pereira
Previsão do Rendimento da Madeira de Eucalyptus Globylus com Base em Espectroscopia Nir.
Orientador: Maria de Rosário de Oliveira Silva, Matemática, IST

Mestrado em Matemática e Aplicações

Segunda, 28 de Maio de 2007, 11h 30m, Anfiteatro Pa3

Susana Raquel Carvalho Ferreira
Semiestabilidade de fibrados vectoriais e principais sobre curvas elípticas.
Orientador: Carlos Florentino, Instituto Superior Técnico

Sexta, 4 de Maio de 2007, 16h 00m, Anfiteatro PA-3 (Piso-1)Pavilhão de Matemática

Hugo Miguel Fernandes Campos
Sobre o Operador de Jacobi.
Orientador: Viktor Gregorovich Kravchenko, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Co-orientador: Amarino Brites Lebre, Instituto Superior Técnico
Nota: Data a ser corrigida

Terça, 17 de Abril de 2007, 11h 00m, Complexo Interdisciplinar

Tânia Cristina Dinis Marques e Silva
Statistical Models to Predictelectricity Prices.
Orientador: Cláudia Rita Ribeiro Coelho Nunes Philippart, Instituto Superior Técnico
Co-orientador: António Manuel Pacheco Pires, Instituto Superior Técnico

Mestrado em Estatística

Quarta, 24 de Janeiro de 2007, 10h 30m, a definir

Paulo Jorge Canas Rodrigues
Componentes Principais: o método e as suas generalizações.
Orientador: João António Branco, Instituto Superior Técnico

Quinta, 21 de Dezembro de 2006, 10h 30m, Anfiteatro Complexo I

Patrícia Alexandra de Azevedo Carvalho Ferreira
Análise de Correspondências: uma perspectiva em torno do método e das aplicações.
Orientador: João António Branco, Instituto Superior Técnico

Sexta, 28 de Julho de 2006, 14h 30m, Anfiteatro PA3

Delfina Rosa Moura Barbosa
Metodologias de Amostragem em Populações Finitas.
Orientador: Conceição Amado, I.S.T.

Quinta, 25 de Maio de 2006, 10h 30m, Anfiteatro PA3

Catarina da Cunha Santiago Soares
Análise de Dados de Microarrays.
Orientador: Ana Pires Parente, I.S.T.

Mestrado em Matemática e Aplicações

Quinta, 12 de Janeiro de 2006, 11h 00m, PA3

Maria João Costa Almeida Quintão Pereira Braga
Teorema da Coroa e Invertibilidade de Operadores tipo Convolução.
Orientador: Amélia Bastos, I.S.T.

Sexta, 4 de Novembro de 2005, 10h 30m, Anfiteatro PA3

Diogo Pedro Pereira Baptista
Atractores estranhos em aplicações do plano no plano.
Orientador: José Sousa Ramos, I.S.T.

Sexta, 22 de Julho de 2005, 15h 00m, local a indicar oportunamente

Gonçalo Nuno Rosado Morais
Dimensão pontual e decomposições ergódicas.
Orientador: Luís Barreira, Instituto Superior Técnico, Universidade Técnica de Lisboa

Sexta, 3 de Junho de 2005, 11h 00m, Anfiteatro PA3

Albino António Dias do Carmo
Símbolos de invertibilidade em Álgebras-Pi geradas por idempotentes.
Orientador: Paulo Lopes, Instituto Superior Técnico, Universidade Técnica de Lisboa

Terça, 19 de Abril de 2005, 15h 00m, Anfiteatro PA3

Pedro Ricardo Simão Antunes
Cálculo Numérico de Frequências de Ressonância e Modos de Vibração pelo Método das Soluções Fundamentais.
Orientador: Carlos J. S. Alves, I.S.T.
Co-orientador: Pedro Freitas, I.S.T.

Quarta, 30 de Março de 2005, 11h 00m, Anfiteatro Pa3

Maria Isabel de Magalhães Colaço
A variedade algébrica tórica de uma variedade simplética total.
Orientador: Miguel Abreu, Instituto Superior Técnico, Universidade Técnica de Lisboa

Terça, 8 de Março de 2005, 10h 00m, Anfiteatro Pa3

Bruno Miguel Almeida Martins Pereira
Estudo da difracção de ondas acústicas por fissuras não planas com particularidades geométricas.
Orientador: Carlos Alves, Instituto Superior Técnico, Universidade Técnica de Lisboa

Sexta, 4 de Março de 2005, 14h 00m, Anfiteatro Pa3

Lígia Isabel Marques de Carvalho
Fibrados quase-parabólicos sobre a recta projectiva.
Orientador: Peter Gothen, Faculdade de Ciências, Universidade do Porto
Co-orientador: Carlos Florentino, Instituto Superior Técnico, Universidade Técnica de Lisboa

Quinta, 13 de Janeiro de 2005, 10h 00m, Anfiteatro Pa3

Isabel Margarida Fialho Oliveira
Problemas de Riemann-Hilbert e Polinómios Ortogonais.
Orientador: Amélia Bastos, Instituto Superior Técnico, Universidade Técnica de Lisboa