Provas académicas
O título académico de agregação e o grau de doutoramento incluem provas públicas perante um júri. Esta página mostra de forma não exaustiva o respectivo calendário e detalhes tanto no caso em que a respectiva responsabilidade é atribuída ao Departamento como no caso em que o orientador é membro do DMIST.
Agregação em Matemática
- Quinta, 16 de Novembro de 2023, 15h 00m, Online
Sexta, 17 de Novembro de 2023, 15h 00m, Online - Maria do Rosário de Oliveira Silva
Relatório: Multivariate Analysis.
Lição de síntese: Symbolic Principal Component Analysis for Interval-Valued Data.
Membro do júri: Lynne Billard, Franklin College of Arts and Sciences, University of Georgia, EUA
Membro do júri: Peter Filzmoser, Institute of Statistics and Mathematical Methods in Economics, Vienna University of Technology, Áustria
Membro do júri: Luis Angel Garcia Escudero, Escuela de Ingenieria Industriales, Universidad de Valladolid, Espanha
Membro do júri: Elizabeth de Azevedo Reis, ISCTE Business School
Membro do júri: Mário Alexandre Teles de Figueiredo, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Manuel Gonzalez Scotto, Instituto Superior Técnico da Universidade de Lisboa
- Terça, 11 de Julho de 2023, 14h 00m, Anfiteatro PA-3, Piso -1, Pavilhão de Matemática
Quarta, 12 de Julho de 2023, 14h 00m, Anfiteatro PA-3, Piso -1, Pavilhão de Matemática - James Bernard Kennedy
Relatório: Análise Matemática III.
Lição de síntese: Geometric spectral theory of quantum graphs.
Membro do júri: Peter Kuchment, College of Arts & Sciences, Texas A&M University, EUA
Membro do júri: Rafael Benguria, Facultat de Física, Pontificia Universidad Católica de Chile
Membro do júri: Ilaria Fragalà, Politecnico di Milano, Itália
Membro do júri: David Borthwick, Department of Mathematics, Emory University, USA.
Membro do júri: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: José António Maciel Natário, Instituto Superior Técnico da Universidade de Lisboa
- Segunda, 22 de Maio de 2023, 15h 30m, Online
Terça, 23 de Maio de 2023, 15h 30m, Online - Hugo Ricardo Nabais Tavares
Relatório: Partial Differential Equations.
Lição de síntese: Topics in elliptic problems: from semilinear equations to shape optimization.
Membro do júri: Thomas Bartsch, Mathematisches Institut, Justus-Liebig- Universitat GieBen, Alemanha
Membro do júri: Manuel del Pino, University of Bath, UK
Membro do júri: Louis Jeanjean, Laboratoire de Mathemátiques, Université de Franche-Comté, França
Membro do júri: Veronica Felli, Universitá di Milano, Bicocca, Itália
Membro do júri: Manuel Duque Pereira Monteiro Marques, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 20 de Abril de 2023, 14h 00m, Online
Sexta, 21 de Abril de 2023, 14h 00m, Online - Gunter Markus Shutz
Relatório: Stochastic interacting particle systems.
Lição de síntese: Dynamical Universality Classes in Driven Diffusive Systems.
Membro do júri: Herbert Spohn, Technical University of Munich, Germany
Membro do júri: Bernard Derrida, École Normale Supérieure , Collège de France, France
Membro do júri: Cristian Giardinà, Dipartimento di Fisica, Informatica e Matematica, Università di Modena e Reggio Emilia, Italy
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Kirone Mallick, Insitute de Physique Théorique, Paris, France
Membro do júri: Ellen Saada, Laboratoire MAP5, Université Paris Cité, France
- Terça, 21 de Março de 2023, 09h 00m, Online
Quarta, 22 de Março de 2023, 12h 00m, Online - Miguel Jorge Couceiro de Sousa Santos
Relatório: Lattice theory for symbolic knowledge discovery.
Lição de síntese: Galois theories for functions with applications in equational definability and analogy based classification.
Membro do júri: Anna Labella, Sapienza Università di Roma, Itália
Membro do júri: Vincenzo Marra, Università degli Studi di Milano, Itália
Membro do júri: Georg Struth, Ubiversity Of Sheffield, Reino Unido
Membro do júri: Jesús Medina Moreno, Universidade de Cádiz, Espanha
Membro do júri: Mário Alexandre Teles de Figueiredo, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Pedro Manuel Agostinho Resende, Instituto Superior Técnico, da Universidade de Lisboa.
- Quinta, 9 de Fevereiro de 2023, 17h 00m, Online
Sexta, 10 de Fevereiro de 2023, 17h 00m, Online - Diogo Gaspar Teixeira de Oliveira e Silva
Relatório: Harmonic Analysis.
Lição de síntese: Sharp Restriction Theory.
Membro do júri: James Robert Wright, School of Mathematics, College of Science and Engineering, The University of Edinburgh, UK.
Membro do júri: Malabika Pramanik, Faculty of Science, The University of British Columbia, Canadá.
Membro do júri: Lillian Beatrix Pierce, Trinity College of Arts & Science, Duke University, EUA.
Membro do júri: António Manuel Rosa Pereira Caetano, Universidade de Aveiro
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Pedro Simões Cristina de Freitas, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 2 de Fevereiro de 2023, 10h 00m, Online
Sexta, 3 de Fevereiro de 2023, 10h 00m, Online - Manuel João Cabral Morais
Relatório: Introduction to Stochastic Processes.
Lição de síntese: On the pivotal role of ARL-unbiased charts in SPC.
Membro do júri: Giovanna Capizzi, Scuola Di Scienze, Universitá di Padova, Itália
Membro do júri: Antonios Economou, School of Sciences, National and Kapodistrian University of Athens, Grécia
Membro do júri: Paulo Eduardo Aragão Aleixo e Neves de Oliveira, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Carlos Manuel Agra Coelho, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Ana Patrícia Carvalho Gonçalves, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Manuel Gonzalez Scotto, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 29 de Setembro de 2022, 13h 30m, Online
Sexta, 30 de Setembro de 2022, 13h 30m, Online - Carlos Manuel Costa Lourenço Caleiro
Relatório: Elements of Programming.
Lição de síntese: A manifesto for multiple conclusions in logic.
Membro do júri: Marcelo Finger, Instituto de Matemática e Estatística da Universidade de São Paulo, Brasil
Membro do júri: Simon John Gay, School of Computing Science, University of Glasgow, UK
Membro do júri: Maria Cristina de Sales Viana Serôdio Sernadas, Departamento de Matemática, Instituto Superior Técnico, da Universidade de Lisboa
Membro do júri: Jorge Orestes Lasbarrères Cerdeira, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: José Manuel Cunha Leal Molarinho Carmo, Faculdade de Ciências Exatas e da Engenharia da Universidade da Madeira
Membro do júri: Paulo Alexandre Carreira Mateus, Departamento de Matemática, Instituto Superior Técnico, da Universidade de Lisboa
Membro do júri: Pedro Manuel Agostinho Resende, Departamento de Matemática, Instituto Superior Técnico, da Universidade de Lisboa.
- Terça, 27 de Setembro de 2022, 15h 00m, Anfiteatro Pa3
Quarta, 28 de Setembro de 2022, 15h 00m, Anfiteatro Pa3 - Ana Leonor Mestre Vicente Silvestre
Relatório: Mathematical and Numerical Methods in Fluid Dynamics.
Lição de síntese: Mathematical fluid mechanics: steady incompressible viscous flows in exterior domains.
Membro do júri: Hugo Beirão da Veiga, University of Pisa, Itália
Membro do júri: Paolo Maremonti, Università degli Studi della Compania Luigi Vanvitelli, Itália
Membro do júri: Luca Formaggia, Politecnico di Milano, Itália
Membro do júri: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Manuel Duque Pereira Monteiro Marques, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, Instituto Superior Técnico, da Universidade de Lisboa
- Quinta, 16 de Dezembro de 2021, 09h 30m, Online
Sexta, 17 de Dezembro de 2021, 09h 30m, Online - Leonardo Magalhães Macarini
Relatório: Symplectic Geometry.
Lição de síntese: Applications of Symplectic Topology to Dynamics and Geometry.
Membro do júri: Yiming Long, Chem Institute of Mathematics, Nankai University, China
Membro do júri: Yael Karshon, School Of Mathematical Sciences, Raymond & Beverly Sackler, Faculty of Exact Sciences, Tel Aviv University, Israel
Membro do júri: Frédéric Bourgeois, Laboratoire of Mathématiques d'Orsay, Université Paris-Saclay, França
Membro do júri: Hansjörg Geiges, Mathematical Institute, University of Cologne, Alemanha
Membro do júri: José Manuel Vergueiro Monteiro Cidade Mourão, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: José António Maciel Natário, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 4 de Novembro de 2021, 10h 00m, Online
Sexta, 5 de Novembro de 2021, 10h 00m, Online - Cláudia Rita Ribeiro Coelho Nunes Philippart
Relatório: Introduction to Mathematical Finance.
Lição de síntese: Jump-Diffusion Processes in Optimal Stopping Application in Real Options.
Membro do júri: Jacco Thijssen, University of York, UK
Membro do júri: Stephane Villeneuve, Toulouse School of Economics, França
Membro do júri: Paulo Eduardo Aragão Aleixo e Neves de Oliveira, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Carlos Manuel Agra Coelho, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Maria de Rosário Lourenço Grossinho, ISEG - Lisbon School of Economics and Management da Universidade de Lisboa
Membro do júri: Alfredo Duarte Egídio dos Reis, ISEG - Lisbon School of Economics and Management da Universidade de Lisboa
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática do Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 24 de Setembro de 2020, 13h 30m, Online
Sexta, 25 de Setembro de 2020, 13h 30m, Online - João Lopes Costa
Relatório: Mathematics and numerical Methods for Economy and Finance I.
Lição de síntese: Topics in Mathematical Relativity.
Membro do júri: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Mihalis Dafermos, Princeton University, EUA
Membro do júri: Hans Gunnar Ringström, KTH Royal Institute of Technology; Suécia
Membro do júri: José Maria Martin Senovilla, Facultad de Ciencia y Tecnología, Universidad del País Vasco, Espanha
Membro do júri: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Philippe G. LeFloch, Laboratoire Jacques-Louis Lions & Centre National de la Recherche Scientifique, Sorbonne Université, França.
Membro do júri: Paul Tod, St John’s College, University of Oxford, UK
- Segunda, 6 de Julho de 2020, 15h 00m, Online
Terça, 7 de Julho de 2020, 15h 00m, Online - Henrique Manuel dos Santos Silveira de Oliveira
Relatório: Mathematics of Music.
Lição de síntese: Synchronization by small impacts.
Membro do júri: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Rafael Ortega Ríos, Facultad de Ciencias, Universidad de Granada, Espanha
Membro do júri: Francisco Balibrea Gallego, Facultad de Matemáticas, Universidad de Murcia, Espanha
Membro do júri: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Alberto Adrego Pinto, Faculdade de Ciências da Universidade do Porto
Membro do júri: Manuel Duque Pereira Monteiro Marques, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico, Universidade de Lisboa
- Quinta, 18 de Junho de 2020, 15h 00m, Online
Sexta, 19 de Junho de 2020, 15h 00m, Online - João Filipe Quintas dos Santos Rasga
Relatório: Decidability of First-Order Theories.
Lição de síntese: Combining Logics and Theories.
Membro do júri: Frank Wolter, Faculty of Science and Engineering, University of Liverpool, UK
Membro do júri: Silvio Gilhardi, Facoltà di Scienze e Tecnologie, Università degli Studi di Milano, Itália
Membro do júri: Luca Viganò, Faculty of Natural & Mathematical Sciences, King's College London, UK
Membro do júri: Jorge Orestes Lasbarrères Cerdeira, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Reinhard Josef Klaus Kahle, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Maria Cristina de Sales Viana Serôdio Sernadas, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico, Universidade de Lisboa
- Segunda, 3 de Fevereiro de 2020, 15h 00m, Anfiteatro Pa3
Terça, 4 de Fevereiro de 2020, 15h 00m, Anfiteatro Pa3 - Maria Luísa Ribeiro dos Santos Morgado
Relatório: Numerical Methods for Fractional Differential Equations: an Introduction.
Lição de síntese: Finite Difference Solution of Distributed-Order Diffusion Equations.
Membro do júri: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Kai Diethelm, Faculty of Applied Sciences and Humanities, University od Applied Sciences Wũrzburg-Schweinfurt, Alemanha
Membro do júri: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Stéphane Louis Clain, Escola de Ciências da Universidade do Minho
Membro do júri: Manuel Duque Pereira Monteiro Marques, Fauldade de Ciências da Universidade de Lisboa
Membro do júri: Adélia da Costa Sequeira dos Ramos Silva, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 4 de Julho de 2019, 13h 00m, Anfiteatro Pa3
Sexta, 5 de Julho de 2019, 13h 00m, Anfiteatro Pa3 - Paulo Jorge Canas Rodrigues
Relatório: Multivariate Statistics and Machine Learning.
Lição de síntese: Recent advances in Singular Spectrum Analysis.
Membro do júri: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Peter Filzmoser, Institute of Statistics ans Mathematical Methods in Economics, TU Wien, Austria
Membro do júri: Vladas Pipiras, Departmente of Statistics and Operation Research, The University of North Carolina at Chapel Hill, EUA
Membro do júri: Carlos Alberto dos Santos Braumann, Facudade de Ciência e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Carlos Manuel Agra Coelho, Faculdade de Ciências e tecnologia da Universidade Nova de Lisboa
Membro do júri: Maria Manuela Costa Neves Figueiredo, Instituto Superior de Agronomia da Universidade Nova de Lisboa
Membro do júri: António Manuel Pacheco Pires, Instituto Superior Técnico da Universidade de Lisboa
- Quarta, 8 de Maio de 2019, 14h 30m, Anfiteatro Pa3
Quinta, 9 de Maio de 2019, 14h 30m, Anfiteatro Pa3 - Pedro Manuel Agostinho Resende
Relatório: A Course in Category Theory.
Lição de síntese: Quantales.
Membro do júri: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Mark Verus Lawson, Heriot-Watt University
Membro do júri: Maria Manuel Pinto Lopes Ribeiro Clementino, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Jorge Manuel Senos da Fonseca Picado, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Pedro Ventura Alves da Silva, Faculdade de Ciências da Universidade do Porto
Membro do júri: Maria Cristina Sales Viana Serôdio Sernadas, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Miguel Tribolet de Abreu, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 28 de Junho de 2018, 11h 00m, Anfiteatro Pa3
Sexta, 29 de Junho de 2018, 11h 00m, Anfiteatro Pa3 - Ana Patrícia Carvalho Gonçalves
Relatório: Probability Theory.
Lição de síntese: Universality from Microscopic Stochastic Dynamics.
Membro do júri: Herbert Spohn, Technische Universität München, Germany
Membro do júri: Massimiliano Gubinelli, Institute of Applied Mathematics and Hausdorff Center for Mathematics, University of Bonn, Germany
Membro do júri: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: José Miguel Dordio Martinho de Almeida Urbano, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Pedro Simões Cristina de Freitas, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: António Manuel Pacheco Pires, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 7 de Junho de 2018, 14h 00m, Anfiteatro Pa3
Sexta, 8 de Junho de 2018, 14h 00m, Anfiteatro Pa3 - Daniel da Silva Graça
Relatório: Introduction to the Theory of Computation.
Lição de síntese: Computing with Continuous-Time Dynamical Systems.
Membro do júri: Vasco Brattka, Faculty of Computer Science, Universität der Bundeswehr München, Alemanha
Membro do júri: Olivier Bournez, École Polytechnique, Université Paris-Saclay, França
Membro do júri: Alberto Adrego Pinto, Faculdade de Ciências da Universidade do Porto
Membro do júri: Luís Manuel Marques da Costa Caires, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Jorge Orestes Lasbarrères Cerdeira, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: José Manuel Cunha Leal Molarinho Carmo, Faculdade de Ciências Exactas e da Engenharia da Universidade da Madeira
Membro do júri: Fernando Jorge Inocêncio Ferreira, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Maria Cristina de Sales Viana Serôdio Sernadas, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 1 de Março de 2018, 10h 00m, Anfiteatro Pa3
Sexta, 2 de Março de 2018, 10h 00m, Anfiteatro Pa3 - Pedro Alexandre Simões dos Santos
Relatório: Operator Algebras.
Lição de síntese: More than 40 years of algebric techniques in Numerical Analysis.
Membro do júri: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Albrecht Böttcher, Faculty of Mathematics, Technische Universität Chemnitz, Germany
Membro do júri: Stefano Serra Capizzano, Università degli Studi dell'Insubria, Como, Italy
Membro do júri: Yuri Karlovich, Centro de Investigación en Ciencias, Instituto en Ciencias Básicas y Aplicadas, Universidade Autónoma do Estado de Morelos, México
Membro do júri: Luís Filipe Pinheiro de Castro, Universidade de Aveiro
Membro do júri: Ana Maria Severino de Almeida e Paiva, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Pedro Simões Cristina de Freitas, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 4 de Janeiro de 2018, 10h 00m, Anfiteatro Pa3
Sexta, 5 de Janeiro de 2018, 10h 00m, Anfiteatro Pa3 - José Carlos Pedro Cardoso Matias
Relatório: A Course on Calculus of Variations.
Lição de síntese: A Survey on Structured Deformations.
Membro do júri: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Bernard Dacorogna, École Polytechnique Fédérale de Lausanne, Suiça
Membro do júri: Irene Maria Quintanilha Coelho da Fonseca, Carnegie Mellon University, USA
Membro do júri: Maria Luísa Martins Macedo de Faria Mascarenhas, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Manuel Duque Pereira Monteiro Marques, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 29 de Setembro de 2016, 15h 00m, Anfiteatro Pa3
Sexta, 30 de Setembro de 2016, 15h 00m, Anfiteatro Pa3 - José António Maciel Natário
Relatório: A Course on Riemannian Geometry.
Lição de síntese: Topics in Geometry and General Relativity.
Membro do júri: Gary William Gibbons, Cambridge University, UK
Membro do júri: Mihalis Dafermos, Cambridge University, UK
Membro do júri: Eduardo Garcia Rio, Universidade de Santiago de Compostela, Espanha
Membro do júri: Orfeu Bertolami Neto, Faculdade de Ciências da Universidade do Porto
Membro do júri: Estelita Graça Lopes Rodrigues Vaz, Escola de Ciências da Universidade do Minho
Membro do júri: José Pizarro de Sande Lemos, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 25 de Fevereiro de 2016, 14h 30m, Anfiteatro Pa3
Sexta, 26 de Fevereiro de 2016, 14h 30m, Anfiteatro Pa3 - Maria Cristina Carvalho de Aguiar Câmara
Relatório: Riemann-Hilbert Problems - A Course in the Scientific Area of Functional Analysis.
Lição de síntese: Asymetric Truncated Toeplitz Operators in Hardy Spaces of the Half-Plane.
Membro do júri: William Thomas Ross, Professor Catedrático, University of Richmond, USA
Membro do júri: Jonatham Richard Partington, Professor Catedrático, School of Mathematics, University of Leeds, UK
Membro do júri: Natália Isabel Quadros Bebiano Pinheiro da Providência e Costa, Professora Catedrática, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Luís Filipe Pinheiro de Castro, Professor Catedrático, Universidade de Aveiro
Membro do júri: António Francisco Ferreira dos Santos, Professor Catedrático Jubilado, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Carlos Alberto Varelas da Rocha, Professor Catedrático, Instituto Superior Técnico da Universidade de Lisboa
Membro do júri: Dan Grigore Timotin, Investigador Coordenador, Simion Stoilow Institute of Mathematicsof the Romanian Academy, Roménia
Membro do júri: Frank-Olme Ewald Speck, Especialista de Reconhecido Mérito, Center for Functional Analysis, Linear Structures and Applications do Instituto Superior Técnico da Universidade de Lisboa
- Quinta, 8 de Maio de 2014, 15h 00m, Anfiteatro Pa3
Sexta, 9 de Maio de 2014, 15h 00m, Anfiteatro Pa3 - Nelson Gomes Rodrigues Antunes
Relatório: Processos Estocásticos e Teoria das Filas de Espera.
Lição de síntese: Stochastic Modelling in Communication Networks.
Membro do júri: Onno Johan Boxma, Professor Catedrático da Eindhoven University of Technology, Holanda
Membro do júri: Laurent Decreusefond, Professor Catedrático da Telecom ParisTech, França
Membro do júri: Maria da Nazaré Simões Quadros Mendes Lopes, Professora Catedrática da Universidade de Coimbra
Membro do júri: Paulo Eduardo Aragão Aleixo Neves de Oliveira, Professor Catedrático da Universidade de Coimbra
Membro do júri: Carlos Alberto dos Santos Braumann, Professor Catedrático da Universidade de Évora
Membro do júri: Helena Maria Simões Ferreira, Professora Catedrática da Universidade da Beira Interior
Membro do júri: Maria Fernanda Neto Ramalhoto, Professora Catedrática Aposentada do Instituto Superior Técnico, UL
Membro do júri: Rui Jorge Morais Tomaz Valadas, Professor Catedrático do Instituto Superior Técnico, UL
Membro do júri: António Manuel Pacheco Pires, Professor Catedrático do Instituto Superior Técnico, UL
- Quinta, 5 de Janeiro de 2012, 16h 00m, Anfiteatro Pa3
Sexta, 6 de Janeiro de 2012, 14h 00m, Anfiteatro Pa3 - João Luís Pimentel Nunes
Relatório: Differential Topology.
Lição de síntese: Quantization and Reality.
Membro do júri: Brian C. Hall, Professor Catedrático do Departamento de Matemática da Universidade de Notre Dame, E.U.A.
Membro do júri: Alejandro Uribe, Professor Catedrático do Departamento de Matemática da Universidade de Michigan,E.U.A.
Membro do júri: Maria Teresa de Lemos Monteiro Fernandes, Professora Catedrática do Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa;
Membro do júri: Orfeu Bertolami Neto, Professor Catedrático do Departamento de Física e Astronomia da Faculdade de Ciências da Universidade do Porto;
Membro do júri: Rui António Loja Fernandes, Professor Catedrático do Departamento de Matemática do Instituto Superior Técnico, UTL
Membro do júri: Miguel Tribolet de Abreu, Departamento de Matemática do Instituto Superior Técnico, UTL
- 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.
Membro do júri: Philip Candelas, Professor Catedrático, Instituto de Matemática da Universidade de Oxford, Inglaterra
Membro do júri: Georgios Papadopoulos, Professor Catedrático, Departamento de Matemática da King's College London, Inglaterra
Membro do júri: Robertus Potting, Professor Catedrático, Departamento de Física da Faculdade de Ciências e Tecnologiada Universidade do Algarve
Membro do júri: Orfeu Bertolami, Professor Catedrático, Departamento de Física e Astronomia da Faculdade de Ciências da Universidade do Porto
Membro do júri: Jorge Manuel Rodrigues Crispim Romão, Professor Catedrático, Departamento de Física do Instituto Superior Técnico da Universidade Técnica de Lisboa;
Membro do júri: Carlos Alberto Varelas da Rocha, Professor Catedrático, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Membro do júri: Rui António Loja Fernandes, Professor Catedrático, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
- 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.
Arguente: Michèle Audin, Institut de Recherche Mathématique Avancée da Universidade de Estrasburgo, França
Arguente: Christopher Woodward, Departamento de Matemática da Universidade de Rutgers, USA
Membro do júri: Maria Teresa de Lemos Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Membro do júri: Rui António Loja Fernandes, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
- 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.
Membro do júri: Ugo Bruzzo, SISSA - International School for Advanced Studies, Italy
Membro do júri: Marcos Mariño Beiras, Secção de Matemática da Universidade de Genebra, Suiça
Membro do júri: Robertus Hendrikus Potting, Departamento de Física da Faculdade de Ciências e Tecnologia da Universidade do Algarve
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico
Membro do júri: Rui António Loja Fernandes, Departamento de Matemática do Instituto Superior Técnico
- 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.
Membro do júri: Carel Faber, School of Engineering Sciences, KTH-Royal Institute of Technology
Membro do júri: Ugo Bruzzo, SISSA - International School for Advanced Studies, Italy
Membro do júri: Teresa Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico
Membro do júri: Rui António Loja Fernandes, Departamento de Matemática do Instituto Superior Técnico
- 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.
Membro do júri: Rudolf Bernd Silbermann, Faculdade de Matemática da Universidade Técnica de Chemnitz, Alemanha
Membro do júri: Yuri Karlovich, Departamento de Matemática da Faculdade de Ciências da Universidade Autónoma do Estado de Morelos, México
Membro do júri: Stefan Gregorievich Samko, Departamento de Matemática da Faculdade de Ciência e Tecnologia da Universidade do Algarve
Membro do júri: Mário Sequeira Rodrigues Figueira, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Helmuth Robert Malonek, Departamento de Matemática da Universidade de Aveiro
Membro do júri: António Francisco Ferreira dos Santos, Departamento de Matemática do Instituto Superior Técnico
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática do Instituto Superior Técnico
Membro do júri: Luís Manuel Gonçalves Barreira, Departamento de Matemática do Instituto Superior Técnico
- 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.
Arguente: Oscar García-Prada, Departamento de Matemáticas do Instituto de Matemática e Física Fundamental, Espanha
Arguente: Maria Teresa de Lemos Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Jorge Dias de Deus, Departamento de Física, IST
Membro do júri: António Francisco Ferreira dos Santos, Departamento de Matemática, IST
Membro do júri: Luís Pereira de Quintanilha e Mendonça Dias Torres Magalhães, Departamento de Matemática, IST
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, IST
Membro do júri: Luís Manuel Gonçalves Barreira, Departamento de Matemática, IST
Membro do júri: Rui António Loja Fernandes, Departamento de Matemática, IST
Membro do júri: Peter Beier Gothen, Departamento de Matemática Pura da Faculdade de Ciências da Universidade do Porto
- 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.
Arguente: David Colton, Departamento de Ciências Matemáticas da Universidade de Delaware, Estados Unidos da América
Arguente: Mário Sequeira Rodrigues Figueira, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Maria Paula Martins Serra de Oliveira, Departamento de Matemática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Carlos Alberto Mota Soares, Departamento de Engenharia Mecânica, IST
Membro do júri: António Francisco Ferreira dos Santos, Departamento de Matemática, IST
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, IST
Membro do júri: Luís Manuel Gonçalves Barreira, Departamento de Matemática, IST
- 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.
Membro do júri: John Carlos Baez, Departamento de Matemática da Universidade da Califórnia, Riverside, Estados Unidos da América
Membro do júri: Louis Kauffman, Departamento de Matemática da Universidade de Illinois, Chicago, Estados Unidos da América
Membro do júri: Maria Teresa de Lemos Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Jorge Manuel Rodrigues Crispim Romão, Departamento de Física do Instituto Superior Técnico da Universidade Técnica de Lisboa
Membro do júri: Amílcar dos Santos Costa Sernadas, Departamento de Matemática do IST
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática do IST
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática do IST
Membro do júri: Luís Manuel Gonçalves Barreira, Departamento de Matemática do IST
Membro do júri: Rui António Loja Fernandes, Departamento de Matemática do IST
- 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.
Membro do júri: Frank Critchley, Open University, UK
Membro do júri: Graciela Boente, Faculdade de Ciências Exactas e Naturais da Universidadede Buenos Aires, Argentina
Membro do júri: Maria Ivette Leal de Carvalho Gomes, Departamento de Estatística e Investigação Operacional da Faculdade deCiências da Universidade de Lisboa
Membro do júri: Carlos António Pancada Guedes Soares, Secção Autónoma de Engenharia Naval, IST
Membro do júri: Maria Fernanda Neto Ramalhoto, DM, IST
Membro do júri: Maria Cristina Sales Viana Serôdio Sernadas, DM, IST
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, DM, IST
- 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.
Membro do júri: Dietmar Salamon, Departamento de Matemática do Instituto de Tecnologia de Zurique, Suiça
Membro do júri: Maria Luisa Fernandez Rodríguez, Departamento de Matemática da Faculdade de Ciência e Tecnologia da Universidade do País Basco
Membro do júri: Maria Teresa de Lemos Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: José Agostinho Basto Gonçalves, Departamento de Matemática Aplicada da Faculdade de Ciências da Universidade do Porto
Membro do júri: António Ferreira dos Santos, Departamento de Matemática do IST
Membro do júri: Luís Pereira Quintanilha e Mendonça Dias Torres Magalhães, Departamento de Matemática do IST
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática do IST
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática do IST
Membro do júri: Luís Manuel Gonçalves Barreira, Departamento de Matemática do IST
- 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.
Membro do júri: José Agostinho Basto Gonçalves, Faculdade de Ciências da Universidade do Porto
Membro do júri: Mário Sequeira Rodrigues Figueira, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Viktor Gregorievich Kravchenko, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Membro do júri: Carlos Eduardo do Rêgo da Costa Salema, IST, UTL.
Membro do júri: António Ferreira dos Santos, Matemática, IST, UTL.
Membro do júri: Amílcar dos Santos Costa Sernadas, Matemática, IST, UTL.
Membro do júri: Luís Pereira Quintanilha Torres Magalhães, Matemática, IST, UTL.
Membro do júri: Carlos Alberto Varelas da Rocha, Matemática, IST, UTL.
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Matemática, IST, UTL.
Membro do júri: Luis Manuel Gonçalves Barreira, Matemática, IST, UTL.
- 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.
Membro do júri: Onno Boxma, Eindhoven University of Technology, Netherlands
Membro do júri: Wolfgang Schmid, Europa-Universität Viadrina, Frankfurt
Membro do júri: Paulo Oliveira, U. Coimbra
Membro do júri: Teresa Alpuim, U. Lisboa
Membro do júri: Luís Borges de Almeida, Engenharia Electrotécnica, IST
Membro do júri: Fernanda Ramalhoto, Matemática, IST
Membro do júri: Cristina Sernadas, Matemática, IST
Membro do júri: Ana Bela Cruzeiro, Matemática, IST
Membro do júri: Luis Barreira, Matemática, IST
- 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.
Membro do júri: Neville Ford, Chester University, UK
Membro do júri: Luís Trabucho, Universidade de Lisboa
Membro do júri: Mário Figueira, Universidade de Lisboa
Membro do júri: Filomena Almeida, Universidade do Porto
Membro do júri: João Martins, IST, Eng. Civil
Membro do júri: António Ferreira do Santos, IST, Matemática
Membro do júri: Carlos Rocha, IST, Matemática
Membro do júri: Anabela Cruzeiro, IST, Matemática
- 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.
Membro do júri: Andre Scedrov, Univ. Pennsylvania
Membro do júri: Manuela Sobral, Univ. Coimbra
Membro do júri: Paulo Neves de Oliveira, Univ. Coimbra
Membro do júri: José Manuel Valença, Univ. Minho
Membro do júri: Jorge Dias de Deus, IST, Física
Membro do júri: João Pavão Martins, IST, Eng. Informática
Membro do júri: Maria Fernanda Ramalhoto, IST, Matemática
Membro do júri: Amílcar Sernadas, IST, Matemática
Membro do júri: Cristina Sernadas, IST, Matemática
Membro do júri: Ana Bela Cruzeiro, IST, Matemática
Membro do júri: Luís Barreira, IST, Matemática
- 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.
Membro do júri: Philip Candelas, Univ. Oxford, UK
Membro do júri: Rahul Pandharipande, Univ. Princeton
Membro do júri: José Basto Gonçalves, Univ. Porto
Membro do júri: Alfredo Barbosa Henriques, IST, Departamento de Física
Membro do júri: António Ferreira do Santos, IST
Membro do júri: Luís Magalhães, IST
Membro do júri: Carlos Rocha, IST
Membro do júri: Ana Bela Cruzeiro, IST
Membro do júri: Luís Barreira, IST
- 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.
Membro do júri: Constantin Dafermos, Univ. Brown, USA
Membro do júri: João Paulo Dias, U. Lisboa
Membro do júri: Luis Sanchez, U. Lisboa
Membro do júri: Miguel Ramos, U. Lisboa
Membro do júri: Luísa Mascarenhas, U. Nova de Lisboa
Membro do júri: Jorge Dias de Deus, Departamento de Física, I.S.T.
Membro do júri: Ana Bela Cruzeiro, Departamento de Matemática, I.S.T.
Membro do júri: António Ferreira dos Santos, Departamento de Matemática, I.S.T.
Membro do júri: Luís Magalhães, Departamento de Matemática, I.S.T.
Membro do júri: Carlos Rocha, Departamento de Matemática, I.S.T.
Membro do júri: Luís Barreira, Departamento de Matemática, I.S.T.
- Quinta, 28 de Fevereiro de 2002, 15h 00m, Faculdade de Ciências da Universidade de Lisboa
Sexta, 1 de Março de 2002, 15h 00m, Faculdade de Ciências da Universidade de Lisboa - Margarida Maria Nunes da Silva Rendeiro Marques Mendes Lopes
Relatório: Introdução à geometria algébrica.
Lição de síntese: A aplicação bicanónica de superfícies com \(p_g=0\).
Arguente: Arnaud Beauville, Laboratoire Dieudonne, Université de Nice, França.
Arguente: Eduardo Manuel Freire Marques de Sá, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: José Basto Gonçalves, Professor Catedrático, Faculdade de Ciências da Universidade do Porto
Membro do júri: Maria Luísa Melo de Noronha Galvão, Professora Catedrática, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Margarida Benito Ramalho, Professora Catedrática, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Armando Henrique Prazeres Machado, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: João Paulo de Carvalho Dias, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: António Jorge Brandão Lopes Pinto, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: João Cândido de Antas Furtado Coelho, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: José António Perdigão Dias da Silva, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Luís Fernando Sanchez Rodrigues, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: José Francisco da Silva Costa Rodrigues, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: José Francisco da Silva Costa Rodrigues, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Doutoramento em Matemática
- Terça, 18 de Junho de 2024, 14h 30m, Online
- Javier Orts Romero
Symmetric products of Galois-Maximal varieties.
Orientador: Pedro Ferreira dos Santos, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Paulo Lima-Filho, College of Arts and Sciences, Texas A&M University, EUA
Arguente: Clo, Faculty of Information Technology and Electrical Enginering, Norwegian University of Science and Technology (NTNU), Noruega
Membro do júri: Gonçalo Jorge Trigo Neri Tabuada, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Miguel Tribolet de Abreu, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: João Pedro Boavida de Brito, Instituto Superior Técnico, Universidade de Lisboa
- Quinta, 6 de Junho de 2024, 15h 00m, Anfiteatro Pa3
- Rodrigo de Sousa Leal de Oliveira Duarte
Applications of Dyadic Harmonic Analysis to Weighted Inequalities.
Orientador: Jorge Filipe Drumond Pinto da Silva, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Diogo Gaspar Teixeira de Oliveira e Silva, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Ioannis Parissis, University of the Basque Country & Ikerbasque, Espanha
Membro do júri: Mateus Costa de Sousa, Researcher, Basque Center for Applied Mathematics (BCAM), Espanha
- Quinta, 9 de Maio de 2024, 15h 00m, Anfiteatro Pa3
- Nino Tiziano Scalbi
Differential Cohomology as Diffeological Homotopy Theory.
Orientador: Roger Francis Picken, Instituto Superior Técnico, Universidade de Lisboa
Co-orientador: John Gmerek Huerta, Instituto Superior Técnico, Universidade de Lisboa
Arguente: John Daniel Christensen, University of Western Ontario, Canadá
Arguente: Daniel Grady, Wichita State University, EUA
- Sexta, 16 de Fevereiro de 2024, 10h 00m, Online
- Robert Stephen Hanson
The Dirac-Higgs complex on the stack of Higgs bundles.
Orientador: Emilio Franco Gómez, Facultad de Ciencias, Universidad Autónoma de Madrid, Espanha
Arguente: Peter Beier Gothen, Faculdade de Ciências da Universidade do Porto
Arguente: Ana Péon-Nieto, Universidade de Santiago de Compustela, Espanha
Membro do júri: João Luís Pimentel Nunes, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Francesco Sala, Università di Pisa, Itália
Membro do júri: John Gmerek Huerta, Instituto Superior Técnico, Universidade de Lisboa
- Quarta, 7 de Fevereiro de 2024, 15h 00m, Online
- António José Marcos Lages
Quandles and the Cyclic Structure of their Permutations.
Orientador: Pedro Miguel Marques Francisco Lopes, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Victor Samuel Nelson, Claremont McKenna College, USA
Arguente: João Jorge Ribeiro Soares Gonçalves de Araújo, FCT da Universidade Nova de Lisboa
Membro do júri: Petr Vojtechovsky, College of Natural Sciences and Mathematics, University of Denver, USA
Membro do júri: Lina Maria Mateus de Oliveira, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Maria Joana Mendes Bordalo Ventura, Instituto Superior Técnico, Universidade de Lisboa
- Segunda, 29 de Janeiro de 2024, 11h 00m, Anfiteatro Pa3
- Gabriel Silva Nahum
Non-linear problems in Interacting Particle Systems.
Orientador: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Bernard Derrida, École Normale Supérireure, Collége de France
Arguente: Funaki Tadahisa, Beijing Institute of Mathematical Sciences and Applications (BIMSA)
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Rodrigo Marinho de Souza, Universidade Federal de Santa Maria, Brasil
- Sexta, 19 de Maio de 2023, 14h 00m, Online
- Salvatore Baldino
WKB Methods for Finite Difference Schrödinger Equations.
Orientador: Ricardo Pina Schiappa de Carvalho, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Marcos Mariño Beiras, Faculté des Sciences, Université de Genève, Suiça
Arguente: Davide Masoero, Faculdade de Ciências, Universidade de Lisboa
Membro do júri: André Voros, Institut dePhysique Théorique, Commissariat à lenergie atomique et aux énergies alternatives (CEA) Saclay, França
Membro do júri: João Luis Pimentel Nunes, Instituto Superior Técnico, Universidade de Lisboa
- Quinta, 26 de Janeiro de 2023, 14h 00m, Online
- Maximilian Julius Karl Schwick
New Resurgence of Instantons in Old Matrix Models.
Orientador: Ricardo Pina Schiappa de Carvalho, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Jean Zinn-Justin, Institut de Pysique Théorique, Comissariat à l'énergie atomique et aux énergies alternatives (CEA), França
Arguente: David Sauzin, Observatoire de Paris, PSL, Research University, France
Membro do júri: João Luis Pimentel Nunes, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
- Sexta, 11 de Novembro de 2022, 14h 00m, Anfiteatro Pa3
- Pedro Gonçalo Godinho Filipe
Computability of logical problems associated to partial non-deterministic matrices.
Orientador: Carlos Manuel Costa Lourenço Caleiro, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Manuel António Gonçalves Martins, Universidade de Aveiro
Arguente: Yehonathan Zohar, Bar Ilan University, Israel
Membro do júri: João Filipe Quintas dos Santos Rasga, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
- Quarta, 26 de Outubro de 2022, 14h 00m, Online
- Roberto Vega Álvarez
Parametric Resurgences of the Second Painlevé Equation and the Case of 2 Dimensional Quantum Supergravity.
Orientador: Ricardo Pina Schiappa de Carvalho, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Yoshitsugu Takei, Faculty of Science and Engineering, Doshisha University, Japão
Arguente: José Daniel Edelstein Glaubach, Universidade, Facultade de Física, Universidade de Santiago de Compostela,
Membro do júri: João Luís Pimentel Nunes, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
- Sexta, 14 de Outubro de 2022, 11h 00m, Anfiteatro Pa3
- Augusto Cesar Silva Soares Pereira
Applications of flows in imaginary time to quantization.
Orientador: João Luís Pimentel Nunes, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Carlos Armindo Arango Florentino, Faculdade de Ciências da Universidade de Lisboa
Arguente: Ana Cristina Castro Ferreira, Escola de Ciências da Universidade do Minho
Membro do júri: Miguel Tribolet de Abreu, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Peter Beier Gothen, Faculdade de Ciências da Universidade do Porto
- Sexta, 23 de Setembro de 2022, 14h 00m, Online
- Pedro Paulo Gondim Cardoso
Hydrodynamic limit of symmetric exclusion process with long jumps and a slow barrier.
Orientador: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Sunder Sethuraman, University of Arizona, College of Science
Arguente: Patrik Ferrari, Institut für Angewandte Mathematik, Universität Bonn, Alemanha
Membro do júri: Hugo Ricardo Nabais Tavares, Instituto Superior Técnico da Universidade de Lisboa
- Sexta, 23 de Setembro de 2022, 10h 00m, Online
- Miguel Castilho Soares Duarte
Asymptotics in Generalized Harmonic Gauge.
Orientador: David Mathew Hilditch, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Juan A. Valiente Kroon, School of Mathematical Sciences, Queen Mary University of London, UK
Arguente: Alfonso García-Parrado Gómez-Lobo, Universidad de Córdoba, Espanha;
Membro do júri: Pedro Alves Martins da Silva Girão, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
Doutoramento em Segurança de Informação
- Quarta, 20 de Julho de 2022, 14h 00m, Online
- Pedro de Melo Branco
Reducing the Communication in Secure Computation.
Orientador: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico
Arguente: Peter Scholl, Aarhus University
Arguente: Julian Loss, CISPA Helmholtz Center for Information Security
Membro do júri: Miguel Nuno Dias Alves Pupo Correia, Instituto Superior Técnico
Doutoramento em Estatística e Processos Estocásticos
- Quinta, 14 de Julho de 2022, 14h 00m, Online
- Maria José de Almeida e Silva
Novel stochastic excursions to urban drinking water systems: flow measurement uncertainty and water loss control.
Orientador: Maria da Conceição Esperança Amado, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Isabel Maria Marques da Silva Magalhães, Faculdade de Engenharia da Universidade do Porto
Arguente: Isabel Maria Alves Rodrigues, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Álvaro Silva Ribeiro, Laboratório Nacional de Engenharia Civil
Membro do júri: Maria Eduarda da Rocha Pinto Augusto da Silva, Faculdade de Economia da Universidade do Porto
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrin, Instituto Superior Técnico, Universidade de Lisboa
Doutoramento em Matemática
- Quinta, 7 de Julho de 2022, 14h 00m, Anfiteatro Pa3
- Martí Rosselló Gómez
Quantum black hole entropy and the Rademacher expansion.
Orientador: Gabriel Czerwionka Lopes Cardoso, Instittuto Superior Técnico, Universidade de Lisboa
Arguente: Katrin Wendland, Trinity College, Dublin
Arguente: Alejandra Castro Anich, University of Amsterdam
Membro do júri: Miguel Tribolet de Abreu, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Marko Stošić, Instituto Superior Técnico, Universidade de Lisboa
Doutoramento em Segurança de Informação
- Quarta, 1 de Junho de 2022, 14h 30m, Anfiteatro Pa3
- Luís Filipe Xavier Cavaco de Mendonça Dias
Intrusion Detection using Clustering and Outlier Detection.
Orientador: Miguel Nuno Dias Alves Pupo Correia, Instituto Superior Técnico da Universidade de Lisboa;
Arguente: Henrique Manuel Dinís dos Santos, Escola de Engenharia da Universidade do Minho
Arguente: José Silvestre Serra da Silva, Academia Militar
Membro do júri: Pedro Miguel dos Santos Alves Madeira Adão, Instituto Superior Técnico da Universidade de Lisboa
Doutoramento em Matemática
- Sexta, 29 de Abril de 2022, 14h 00m, Online
- Carllos Eduardo Alves de Holanda
Nonadditive Thermodynamic Formalism and Multifractal Analysis for Flows.
Orientador: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Miaohua Jiang, Wake Forest University, USA
Arguente: Paulo Cesar Rodrigues Pinto Varandas, Instituto de Matemática da Universidade Federal da Bahia, Brasil
Membro do júri: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Cláudia Valls Anglés, Instituto Superior Técnico, Universidade de Lisboa
Doutoramento em Segurança de Informação
- Quinta, 17 de Fevereiro de 2022, 13h 00m, Online
- Riccardo Gozzi
Analog Characterization of Complexity Classes.
Orientador: João Filipe Quintas dos Santos Rasga, Instituto Superior Técnico, Universidade de Lisboa
Co-orientador: Daniel da Silva Graça, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Arguente: Eugene Asarin, Université de Paris, France
Arguente: Olivier Bournez, École Polytechnique, France
Membro do júri: Paulo Alexandre Carreira Mateus, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Pedro Miguel dos Santos Alves Madeira Adão, Departamento de Informática, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Bruno Serra Loff Barreto, Faculdade de Ciências da Universidade do Porto
Doutoramento em Matemática
- Sexta, 5 de Novembro de 2021, 15h 00m, Anfiteatro Pa3
- Grace Tusogwile Mwkyoma
Classification of Hamiltonian circle actions on compact symplectic orbifolds of dimension four.
Orientador: Leonor Pires Marques de Oliveira Godinho, Instituto Superior Técnico
Arguente: Margaret Fife Symington, College of Liberal Arts and Sciences, Mercer University, EUA
Arguente: Daniele Sepe, Universidade Fulminense, Brasil
Membro do júri: Miguel Tribolet de Abreu, Instituto Superior Técnico, Departamento de Matemática
- Sexta, 17 de Setembro de 2021, 14h 00m, Online
- Stefano Scotta
Asymptotic behavior of the boundary driven exclusion with long jumps.
Orientador: Ana Patrícia Carvalho Gonçalves, Insttituto Superior Técnico, Universidade de Lisboa
Arguente: Stefano Olla, Université Paris Dauphine, France
Arguente: Anna de Masi, Università degli Studi dell'Aquilla, Italy
Membro do júri: Hugo Ricardo Nabais Tavares, Instituto Superior Técnico, Departamento de Matemática
- Sexta, 3 de Setembro de 2021, 15h 00m, Online
- Rodrigo Marinho de Souza
Convergence to stationary states of interacting particle systems.
Orientador: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico
Arguente: Nina Gantert, Technishe Universitat Munchen
Arguente: Roberto Imbuzeiro Moraes Felinto de Oliveira, Instituto de Matemática Pura e Aplicada
Membro do júri: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico, Departamento de Matemática
- Sexta, 16 de Julho de 2021, 15h 00m, Online
- Vicente Lorenzo García
Group actions on surfaces of general type and moduli spaces.
Orientador: Margarida Maria Nunes da Silva Rendeiro Marques Mendes Lopes, Instituto Superior Técnico
Arguente: Rita Pardini, Universidade de Pisa, Itália
Arguente: Carlos Rito, Investigador do Centro de Matemática da Universidade do Porto
Membro do júri: Leonor Pires Marques de Oliveira Godinho, Instituto Superior Técnico, Departamento de Matemática
- Segunda, 28 de Junho de 2021, 15h 00m, Online
- Pedro Mendes Aniceto
Integrability and holography in dimensionally reduced theories of gravity in 2 dimensions.
Orientador: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico
Arguente: Nicholas Dorey, Department of Applied Mathematics and Theoretical Physics
Arguente: Thomas Mohaupt, University of Liverpool
Membro do júri: Maria Cristina Carvalho de Aguiar Câmara, Instituto Superior Técnico, Departamento de Matemática
- Sexta, 25 de Junho de 2021, 15h 00m, Online
- João Pedro Casimiro Rijo
Hyperbolicity in Difference Equations: Admissibility and Infinite Delay.
Orientador: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico
Arguente: Jaume Llibre i Saló, Universidad Autònoma de Barcelona
Arguente: Regilene Oliveira, Universidade de São Paulo
Membro do júri: Nuno Miguel Matos Ramos Martins, Instituto Superior Técnico, Departamento de Matemática
Doutoramento em Segurança de Informação
- Sexta, 6 de Novembro de 2020, 14h 00m, Online
- Preeti Yadav
Pratical Quantum Privacy Protocols.
Orientador: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico
Arguente: Ernesto Fagundes Galvão, Group Leader (Researcher), INL- International Iberian Nanotechnology Laboratory, Braga
Arguente: Vladimir Bozin, University of Belgrade , Sérvia
Membro do júri: João Filipe Quintas dos Santos Rasga, Departamento de Matemática, Instituto Superior Técnico
Membro do júri: Andreas Miroslaus Wichert, Departamento de Engenharia Informática, Instituto Superior Técnico
Doutoramento em Matemática
- Sexta, 31 de Janeiro de 2020, 15h 00m, Anfiteatro Pa3
- Ragaa Ahmed Abbas Ahmed
On the anomalous diffusion of Hamiltonian systems perturbed by a conserving noise.
Orientador: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico
Arguente: François Huveneers, CEREMADE, Université de Paris-Dauphine
Arguente: Milton David Jara Valenzuela, Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brasil
Membro do júri: Pedro Simões Cristina de Freitas, Instituto Superior Técnico
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Instituto Superior Técnico
Membro do júri: António Manuel Pacheco Pires, Instituto Superior Técnico
Doutoramento em Estatística e Processos Estocásticos
- Quarta, 15 de Janeiro de 2020, 15h 00m, Anfiteatro Pa3
- Ana Patrícia Subtil da Graça Freitas Garcia
Latent Class Models in the Evaluation of Biomedical Diagnostic Tests and Internet Traffic Anomaly Detection.
Orientador: Maria do Rosário de Oliveira Silva, Instituto Superior Técnico
Arguente: Maria da Conceição Esperança Amado, Instituto Superior Técnico
Arguente: José Manuel Gonçalves Dias, ISCTE-IUL
Membro do júri: Joaquim José Coutinho Ferreira, Faculdade de Medicina da Universidade de Lisboa
Membro do júri: Paulo Jorge Salvador Serra Ferreira, Universidade de Aveiro
Doutoramento em Matemática
- Segunda, 28 de Outubro de 2019, 15h 00m, Anfiteatro Pa3
- Nguyen Bin
Surfaces of General Type with non-biratonial Canonical Map.
Orientador: Margarida Maria Nunes da Silva Rendeiro Marques Mendes Lopes, Instituto Superior Técnico
Arguente: Rita Pardini, Università di Pisa, Italia
Arguente: Carlos Manuel dos Santos Gonçalves Rito, Centro de Matemática da Universidade do Porto
Membro do júri: Carlos Armindo Arango Florentino, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Miguel Tribolet de Abreu, Departamento de Matemática, Instituto Superior Técnico
- Segunda, 21 de Outubro de 2019, 15h 00m, Anfiteatro Pa3
- Davide Polini
Classifying and Counting $N=2$ BPS Black Holes in an STU Model.
Orientador: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico
Arguente: Sameer Murthy, King’s College London, UK
Arguente: Thomas Mohaupt, University of Liver
Membro do júri: Miguel Tierz, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Miguel Tribolet de Abreu, Departamento de Matemática, Instituto Superior Técnico
- Quarta, 24 de Julho de 2019, 15h 00m, Anfiteatro Pa3
- Hillal Mohammed Hillal Elshehabey
Mathematical Modeling and Numerical Simulation of an Anaerobic Digester.
Orientador: Ana Leonor Mestre Vicente Silvestre, Instituto Superior Técnico
Arguente: Adérito Luís Martins Araújo, Universidade de Coimbra
Arguente: Jorge Filipe Duarte Tiago, Instituto Superior Técnico
Membro do júri: Marília da Conceição Valente Oliveira Pires, Universidade de Évora
Membro do júri: Adélia da Costa Sequeira dos Ramos Silva, Instituto Superior Técnico, Universidade de Lisboa
Doutoramento em Segurança de Informação
- Quarta, 5 de Dezembro de 2018, 15h 00m, Anfiteatro Pa3
- Walter Priesnitz Filho
Privacy-Preserving Attribute Aggregation in eID Federations .
Orientador: Carlos Nuno da Cruz Ribeiro, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Herbert Leitold , Head of Technology and E-Government, A-SIT, Secure Information Technology Center
Arguente: Manuel Eduardo Carvalho Duarte Correia, Faculdade de Ciências da Universidade do Porto
Membro do júri: André Ferreira Ferrão Couto e Vasconcelos, Departamento de Informática do IST, Universidade de Lisboa
Membro do júri: André Ventura da Cruz Marnoto Zúquete, Departamento de Electrónica telecomunicações e informática, Universidade de Aveiro
Membro do júri: Fernando Mira da Silva, Departamento de Engenharia Electrotécnica e Computadores do Instituto Superior Técnico, Universidade de Lisboa.
Doutoramento em Estatística e Processos Estocásticos
- Terça, 4 de Dezembro de 2018, 14h 30m, Anfiteatro Pa3
- Anna Carolina Nametala Finamore do Couto
Academic Intelligence in Higher Education Institutions.
Orientador: António Manuel Pacheco Pires, Instituto Superior Técnico
Co-orientador: Ana Isabel Baptista Moura Santos, Instituto Superior Técnico
Arguente: Maria Manuela Souto de Miranda, Universidade de Aveiro
Arguente: Maria da Conceição Esperança Amado, Instituto Superior Técnico
Membro do júri: Fernando Albuquerque Costa, Instituto de Educação da Universidade de Lisboa
Membro do júri: Bernardo Pereira Nunes, Pontifícia Universidade Católica do Rio de Janeiro, Brasil
Doutoramento em Segurança de Informação
- Terça, 13 de Novembro de 2018, 14h 30m, Anfiteatro Pa3
- Guilherme Henrique Caçador Ramos
Improving Information Security in Ranking Recomender and Control Systems.
Orientador: Carlos Manuel Costa Lourenço Caleiro, Instituto Superior Técnico
Arguente: Alípio Mário Guedes Jorge, Faculdade de Ciências da Universidade do Porto
Arguente: André Nuno Carvalho Souto, Faculdade de Ciências, Universidade de Lisboa
Doutoramento em Matemática
- Sexta, 2 de Novembro de 2018, 14h 30m, Anfiteatro Pa3
- Pedro Fontoura Correia de Oliveira
Cosmic No-Hair for Spherically Symmetric Black Hole Spacetimes.
Orientador: José António Maciel Natário, Departamento de Matemática, IST
Co-orientador: João Lopes Costa, ISCTE, Instituto Universitário de Lisboa
Arguente: Pedro Alves Martins da Silva Girão, Departamento de Matemática, IST
Arguente: Irene Vitória Ribeiro Brito, Departamento de Matemática e Aplicações da Universidade do Minho
Membro do júri: Philippe G. LeFloch, Laboratoire Jacques-Louis Lions & Centre National de la Recherche Scientifique, Université Pierre et Marie Curie, Paris, France
Doutoramento em Segurança de Informação
- Terça, 11 de Setembro de 2018, 14h 30m, Anfiteatro Pa1
- Filipe Manuel Rodrigues Casal
Combining Satisfiability Procedures and Probabilistic Satisfiability.
Orientador: João Filipe Quintas dos Santos Rasga, Departamento de Matemática, IST
Arguente: Luca Viganò, King's College London, United Kingdom
Arguente: Manuel António Gonçalves Martins, Universidade de Aveiro
Membro do júri: Jaime Arsénio de Brito Ramos, Departamento de Matemática, IST
Doutoramento em Matemática
- Segunda, 25 de Junho de 2018, 14h 00m, Anfiteatro Pa3
- Juan Pablo Quijano Lotero
Sheaves and functoriality of groupoid quantales.
Orientador: Pedro Manuel Agostinho Resende, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Markus Verus Lawson, Heriot-Watt University, UK
Arguente: Chris Heunen, University of Edinburgh, UK
Membro do júri: João Paulo Neves Monteiro dos Santos, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Miguel Tribolet de Abreu, Instituto Superior Técnico, Universidade de Lisboa
- Segunda, 28 de Maio de 2018, 14h 30m, Anfiteatro Pa3
- Carlos Miguel Santos Oliveira
Stochastic optimization and decisions made under uncertainty.
Orientador: Cláudia Rita Ribeiro Coelho Nunes Philippart, Departamento de Matemática, IST
Arguente: José Carlos Gonçalves Dias, ISCTE-Instituto Universitário de Lisboa
Arguente: João Miguel Espiguinha Guerra, ISEG - Instituto Superior de Economia e Gestão da Universidade de Lisboa
Membro do júri: João Pedro Vidal Nunes, Departamento de Finanças, do ISCTE-Instituto Universitário de Lisboa
Membro do júri: Ana Patrícia Carvalho Gonçalves , Departamento de Matemática, IST
- Segunda, 30 de Abril de 2018, 14h 00m, Anfiteatro Pa3
- Jaime Augusto Delgado Mancelos Silva
Mixed Hodge Structures of Character Varieties.
Orientador: Carlos Armindo Arango Florentino, Faculdade de Ciências, Universidade de Lisboa
Arguente: Vicente Muñoz Vélazquez, Facultad de Ciencias Matemáticas, Universidade Complutense de Madrid, Espanha
Arguente: Peter Beier Gothen, Faculdade de Ciências da Universidade do Porto
Membro do júri: Margarida Maria Nunes da Silva Rendeiro Marques Mendes Lopes, Instituto Superior Técnico
Doutoramento em Estatística e Processos Estocásticos
- Terça, 24 de Abril de 2018, 14h 30m, Anfiteatro Pa3
- Rita Duarte Pimentel
Processes with jumps in finance.
Orientador: Cláudia Rita Ribeiro Coelho Nunes Philippart, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Peter Kort, Tilburg University
Arguente: José Carlos Gonçalves Dias, ISCTE, Instituto Universitário de Lisboa
Membro do júri: João Pedro Vidal Nunes, ISCTE, Instituto Universitário de Lisboa
Membro do júri: António Manuel Pacheco Pires, Instituto Superior Técnico, Universidade de Lisboa
Membro do júri: Manuel Gonzalez Scotto, Instituto Superior Técnico, Universidade de Lisboa
- Segunda, 8 de Janeiro de 2018, 14h 15m, Anfiteatro Pa3
- Francisco Santos Paredes Quartin de Macedo
Low-Rank Tensor Methods for Large Markov Chains and Forward Feature Selection Methods.
Orientador: António Manuel Pacheco Pires, Instituto Superior Técnico
Arguente: Paula Manuela Lemos Pereira Milheiro de Oliveira, Faculdade de Engenharia da Universidade do Porto
Arguente: Nelson Gomes Rodrigues Antunes, Faculdade de Ciências e Tecnologia do Algarve
Membro do júri: Carlos José Santos Alves, Departamento de Matemática, IST
Membro do júri: Maria do Rosário de Oliveira Silva, Departamento de Matemática, IST
- Quarta, 27 de Setembro de 2017, 14h 30m, Anfiteatro Pa3
- Teresa Maria Fazenda Risso
Confidence Intervals by the Minimum Distance Method.
Orientador: Maria da Conceição Esperança Amado, Departamento de Matemática, IST
Arguente: Maria Manuela Souto de Miranda, Universidade de Aveiro
Arguente: Vanda Marisa da Rosa Milheiro Lourenço, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: António Manuel Pacheco Pires, Departamento de Matemática, IST
Membro do júri: Maria do Rosário de Oliveira Silva, Departamento de Matemática, IST
Doutoramento em Segurança de Informação
- Sexta, 31 de Março de 2017, 14h 00m, Anfiteatro Pa3
- Ricardo Simões do Canto Loura
Quantum Measures, Noise and Measurement Errors in a Quantum Bit Commitment Protocol.
Orientador: Paulo Alexandre Carreira Mateus, Departamento de Matemática, IST
Arguente: Mikhail Vasilevskiy, Universidade do Minho
Arguente: Anthony Leverrier, INRIA Paris
Membro do júri: João Filipe Quintas dos Santos Rasga, Departamento de Matemática, IST
Membro do júri: Pedro Miguel dos Santos Alves Madeira Adão, Departamento de Engenharia Informática, IST
Doutoramento em Matemática
- Segunda, 27 de Março de 2017, 10h 00m, Anfiteatro Pa3
- Andreia Filipa Torcato Mordido
A probabilistic logic over equations and domain restrictions.
Orientador: Carlos Manuel Costa Lourenço Caleiro, Instituto Superior Técnico, Universidade de Lisboa
Arguente: Luca Viganó, King's College, London, United Kingdom
Arguente: Marcelo Finger, Instituto de Matemática e Estatística da Universidade de São Paulo
Membro do júri: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico, Universidade de Lisboa
Doutoramento em Engenharia Computacional
- Sexta, 20 de Janeiro de 2017, 13h 30m, 4.41 (2º Piso do Pavilhão de Civil)
- Ana Raquel Jantarada João
Medical Image Processing For Computational Hemodynamic Simulations: Reliability for Subject-Specific Studies.
Orientador: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST
Co-orientador: Alberto Gambaruto, University of Bristol, UK
Arguente: Sílvia Alexandra Alves Barreiro, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Arguente: Telma Margarida Cotovio Guerra Santos, Instituto Politécnico do Setúbal
Membro do júri: Carlos Alberto Mota Soares, Departamento de Mecânica, IST
Membro do júri: Patrícia Margarida Piedade Figueiredo, Departamento de Bioengenharia, IST
Doutoramento em Matemática
- Segunda, 21 de Novembro de 2016, 15h 15m, Anfiteatro Pa3
- Sinan Eden
The Homotopy Lie Algebra of Symplectomorphism Groups of 3-Fold Blow-Ups of $(S^2\times S^2, \sigma_{\operatorname{std}}\oplus \sigma_{\operatorname{std}})$.
Orientador: Sílvia Nogueira da Rocha Ravasco dos Anjos, Departamento de Matemática, IST
Arguente: Jaroslaw Kedra, University of Aberdeen
Arguente: Martin Pinsonnault, The University of Western Ontario
Membro do júri: Miguel Tribolet de Abreu, Departamento de Matemática, IST
- Terça, 4 de Outubro de 2016, 14h 15m, Sala 4.41 - 2º Piso Pavilhão de Civil do IST
- Telma Andrade Freire da Silva
Mathematical Modeling of the Atherosclerosis Physiopathology.
Orientador: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST
Arguente: Willi Jäger, University of Heidelberg, Germany
Arguente: Marília da Conceição Valente Oliveira Pires, Universidade de Évora
Membro do júri: Ana Leonor Mestre Vicente Silvestre, Departamento de Matemática, IST
Doutoramento em Segurança de Informação
- Quinta, 29 de Setembro de 2016, 14h 30m, 3.10 - 3º piso
- David João Barros Henriques
Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems: Exact And Approximate Procedures With Applications.
Orientador: Paulo Alexandre Carreira Mateus, Departamento de Matemática, IST
Arguente: Paolo Zulianil, Newcastle University, UK
Arguente: José Nuno Oliveira, Universidade do Minho
Membro do júri: Maria Cristina Sales Viana Serôdio Sernadas, Departamento de Matemática, IST
Membro do júri: José Félix Gomes da Costa, Departamento de Matemática, IST
- Sexta, 13 de Maio de 2016, 14h 00m, Anfiteatro Pa3
- Manuel Biscaia Martins
Interplay between probabilistic and temporal reasoning: applications to the analysis and synthesis of complex systems.
Orientador: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico, Universidade de Lisboa
Arguente: James Worrell, University of Oxford
Membro do júri: Luís Soares Barbosa, Universidade do Minho
Membro do júri: Carlos Manuel Costa Lourenço Caleiro, Instituto Superior Técnico, Universidade de Lisboa
Doutoramento em Matemática
- Segunda, 27 de Julho de 2015, 15h 00m, Anfiteatro Pa3
- Muna Khaled Khaleel Abu Alhalawa
Flip Bifurcations for $P$-Periodic Maps.
Orientador: Henrique Manuel Santos Silveira de Oliveira, Departamento de Matemática, IST
Arguente: Alberto Adrego Pinto, Faculdade de Ciências da Universidade do Porto
Arguente: Luís Manuel Ferreira da Silva, IPL ISEL
Membro do júri: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Nuno Miguel Matos Ramos Martins, Departamento de Matemática, IST
- Quinta, 23 de Julho de 2015, 15h 00m, Anfiteatro Pa1
- Sonia Seyed Allaei
The Numerical Solutions of Volterra Integral Equations of the Second and Third Kind.
Orientador: Maria Teresa Romãozinho Marques Diogo, Departamento de Matemática, IST
Arguente: Carlos José Santos Alves, Departamento de Matemática, IST
Arguente: Maria Luísa Ribeiro dos Santos Morgado, Universidade de Trás-os-Montes e Alto Douro
Membro do júri: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST
Membro do júri: Magda Stela de Jesus Rebelo, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Doutoramento em Estatística e Processos Estocásticos
- Segunda, 20 de Julho de 2015, 15h 00m, Anfiteatro Pa3
- Eunice Isabel Ganhão Carrasquinha Trigueirão
Principal Component Analysis and Circulant Matrices.
Orientador: Maria da Conceição Esperança Amado, Departamento de Matemática, IST
Arguente: António Pedro de Pinho de Brito Duarte Silva, Faculdade de Economia e Gestão da Universidade Católica Portuguesa
Arguente: Maria Manuela Souto de Miranda, Universidade de Aveiro
Membro do júri: António Manuel Pacheco Pires, Departamento de Matemática, IST
Membro do júri: Lina Maria Mateus de Oliveira, Departamento de Matemática, IST
Doutoramento em Matemática
- Quarta, 22 de Abril de 2015, 13h 30m, Anfiteatro Pa3
- Aleksandra Marinkovic
Displaceability and Fillability on Toric Symplectic and Contact Manifolds.
Orientador: Miguel Tribolet de Abreu, Instituto Superior Técnico
Arguente: Klaus Niederkrueger, Institut de Mathématiques de Toulouse, Université Paul Sabatier, France
Arguente: Sheila Sandon, Institut de Recherche Mathématique Avancée, Université de Strasbourg
Membro do júri: Sílvia Nogueira da Rocha Ravasco dos Anjos, Instituto Superior Técnico
- Segunda, 30 de Março de 2015, 15h 00m, Anfiteatro Pa3
- Dinh Thang Giang
Method of Orienting Curves for some 2D and 3D Geodesic Problems in Computational Geometry.
Orientador: Phan Thanh An, Centro de Matemática e Aplicações do IST
Arguente: António Ismael Freitas Vaz, Universidade do Minho
Arguente: Carlos José Santos Alves, Instituto Superior Técnico
Membro do júri: Juan Acebrón, Departamento de Ciências e Tecnologia da Informação do ISCTE-IUL
- Segunda, 24 de Novembro de 2014, 16h 00m, Anfiteatro Pa3
- Le Hong Trang
Optimization Approaches for Constrained Geometric Shortest Path and Convex Hull Problems.
Orientador: Phan Thanh An, Centro de Matemática e Aplicações, Instituto Superior Técnico
Co-orientador: Moritz Diehl, University of Freiburg
Arguente: Carlos José Santos Alves, Instituto Superior Técnico
Arguente: Sinai Robins, Brown University
Membro do júri: António Manuel Pacheco Pires, Instituto Superior Técnico
Membro do júri: Maria Teresa Romãozinho Marques Diogo, Instituto Superior Técnico
- Sexta, 31 de Outubro de 2014, 09h 30m, Anfiteatro Pa3
- Bruno Miguel Almeida Martins Pereira
Analysis and Simulation of Stability and Wave Trapping Conditions in Stratified Fluids.
Orientador: Juha Hans Videman, Departamento de Matemática, Instituto Superior Técnico
Co-orientador: Aires José Pinto dos Santos, Departamento de Engenharia Mecânica, Instituto Superior Técnico
Arguente: Fernando Manuel Pestana da Costa, Universidade Aberta
Arguente: Gabriel Esperança Pires, Departamento de Matemática, Instituto Superior Técnico
Membro do júri: José Miguel Dordio Martinho de Almeida Urbano, Faculdade de Ciências e Tecnologia, Universidade de Coimbra
Membro do júri: João Maria da Cruz Teixeira Pinto, Departamento de Matemática, Instituto Superior Técnico
- Terça, 22 de Julho de 2014, 16h 00m, Anfiteatro Pa3
- Filipe Santiago Cal
Wave Interaction with Fixed and Floating Structures in a Two-Layer Fluid.
Orientador: Juha Hans Videman, Departamento de Matemática, IST
Arguente: José Augusto Mendes Ferreira, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Arguente: Ana Leonor Mestre Vicente Silvestre, Departamento de Matemática, IST
Membro do júri: Luís Camilo do Canto de Loura, Aposentado do Instituto Superior de Engenharia de Lisboa
- Quinta, 17 de Julho de 2014, 14h 00m, EPFL, Lausanne, Switzerland
- Paolo Tricerri
Mathematical and Numerical Modeling of Healthy and Unhealthy Cerebral Arterial Tissues.
Orientador: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST
Co-orientador: Alfio Quarteroni, École Polytechnique Fédérale de Lausanne, Politecnico di Milano
Arguente: Davide Ambrosi, Politecnico di Milano
Arguente: Marco Picasso, École Polytechnique Fédérale de Lausanne
Membro do júri: Kathrin Hess Bellwalld, École Polytechnique Fédérale de Lausanne
Membro do júri: Anne M. Robertson, Pittsburgh University
Doutoramento em Estatística e Processos Estocásticos
- Sexta, 16 de Maio de 2014, 11h 00m, Anfiteatro Pa3
- Cláudia Margarida Lopes Pascoal
Contributions to Variable Selection and Robust Anomaly Detection in Telecommunications.
Orientador: Maria do Rosário de Oliveira Silva, Instituto Superior Técnico
Arguente: Peter Filzmoser, Vienna University of Techmology, Austria
Arguente: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Instituto Superior Técnico
Membro do júri: Rui Jorge Morais Tomaz Valadas, Instituto Superior Técnico
Membro do júri: Maria Paula de Pinho de Brito Duarte Silva, Faculdade de Economia da Universidade do Porto
Doutoramento em Matemática
- Quinta, 8 de Maio de 2014, 16h 00m, Anfiteatro Pa1
- Juliana Fernandes da Silva Pimentel
Asymptotic Behavior of Slowly Non-Dissipative Systems.
Orientador: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Arguente: Hildebrando Munhoz Rodrigues, Universidade de São Paulo
Arguente: Isabel Salgado Labouriau, Faculdade de Ciências da Universidade do Porto
Membro do júri: Gabriel Czerwionka Lopes Cardoso, Departamento de Matemática, IST
Membro do júri: Fernando Manuel Pestana da Costa, Universidade Aberta
Membro do júri: João Maria da Cruz Teixeira Pinto, Departamento de Matemática, IST
- Segunda, 27 de Janeiro de 2014, 17h 30m, IST-EPFL Joint Doctoral Initiative, Lausanne, EPFL, Auditoire MA11
- Simone Rossi
Anisotropic Modeling of Cardiac Mechanical Activation.
Orientador: Adélia Sequeira, Instituto Superior Técnico
Co-orientador: Alfio Quarteroni, École Polytechnique Fédérale de Lausanne, Politecnico de Milano
- Sexta, 20 de Dezembro de 2013, 15h 00m, Anfiteatro Pa2
- Edgard Almeida Pimentel
Time Dependent Mean-Field Games.
Orientador: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Departamento de Matemática, IST
Arguente: José Maria Nunes de Almeida Gonçalves Gomes, Faculdade de Ciências e Tecnologia da Universidade de Lisboa
Arguente: Dmitry Alexandrovich Vorotnikov , Centro de Matemática da Universidade de Coimbra
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Membro do júri: Pedro Alves Martins da Silva Girão, Departamento de Matemática, IST
Doutoramento em Estatística e Processos Estocásticos
- Quinta, 25 de Julho de 2013, 15h 00m, Anfiteatro Pa3
- Ana Cristina dos Santos Freitas Barqueira
Testes de Hipóteses para Comparação de Probabilidades de Recombinação .
Orientador: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Departamento de Matemática, IST
Arguente: Lisete Maria Ribeiro de Sousa, Faculdade de Ciências da Universidade de Lisboa
Arguente: Maria da Conceição Esperança Amado, Departamento de Matemática, IST
Membro do júri: António Manuel Pacheco Pires, Departamento de Matemática, IST
Membro do júri: Ana Luísa Trigoso Papoila da Silva, Departamento de Biosestatística e Informática da Faculdade de Ciências Médica da Universidade Nova de Lisboa
Membro do júri: Carina Soares da Silva Fortes , Escola Superior de Tecnologia da Saúde de Lisboa do Instituto Politécnico de Lisboa
- Quarta, 3 de Julho de 2013, 15h 00m, Anfiteatro Pa3
- Patrícia Alexandra de Azevedo Carvalho Ferreira e Pereira Ramos
Performance Analysis of Simultaneous Control Schemes for the Process Mean (Vector) and (CO) Variance (MATRIX).
Orientador: Manuel João Cabral Morais, Instituto Superior Técnico
Co-orientador: António Manuel Pacheco Pires, IST
Arguente: Sven Knoth, Helmut Schmidt University
Arguente: Fernanda Otília de Sousa Figueiredo , Faculdade de Economia da Universidade do Porto
Membro do júri: Maria Eduarda da Rocha Pinto Augusto da Silva, Faculdade de Economia da Universidade do Porto
Membro do júri: Maria de Rosário de Oliveira Silva, Departamento de Matemática, IST
Doutoramento em Matemática
- Segunda, 13 de Maio de 2013, 15h 00m, Anfiteatro Pa3
- Diego Marcon Farias
Weak Kam and Aubry-Mather Theories in an Optimal Switching Setting.
Orientador: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Instituto Superior Técnico
Co-orientador: Alessio Figalli, University of Texas, USA
Arguente: Diogo Martins de Almeida de Araújo Pinheiro , Instituto Superior de Economia e Gestão, UTL
Arguente: António Manuel Atalaia Carvalheiro Serra, Departamento de Matemática, IST
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Membro do júri: Filippo Cagnetti, University od Sussex, UK
- Segunda, 13 de Maio de 2013, 10h 00m, Anfiteatro Pa3
- Vardan Voskanyan
Extended mean field games.
Orientador: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Instituto Superior Técnico
Arguente: Alessio Figalli, University of Texas, USA
Arguente: Filipp Cagnetti, University od Sussex, UK
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Membro do júri: António Manuel Atalaia Carvalheiro Serra, Departamento de Matemática, IST
- Quarta, 27 de Março de 2013, 14h 00m, Anfiteatro Pa3
- Marcin Szamotulski
Galois Theory for \(H\)-Extensions.
Orientador: Roger Francis Picken, Instituto Superior Técnico da Universidade Técnica de Lisboa
Co-orientador: Christian Edgar Lomp, Faculdade de Ciências da Universidade do Porto
Arguente: Paulo Jorge da Rocha Pinto, Instituto Superior Técnico da Universidade Técnica de Lisboa
Arguente: Lars David Kadison, Faculdade de Ciências da Universidade do Porto
- Quarta, 13 de Março de 2013, 15h 00m, Anfiteatro Pa3
- Jing Mao
Eigenvalue Estimation and Some Results of Finite Topological Type.
Orientador: Isabel Maria da Costa Salavessa, Instituto Superior Técnico
Co-orientador: Pedro Simões Cristina de Freitas, Faculdade de Motricidade Humana da Universidade Técnica de Lisboa
Arguente: Miguel Tribolet de Abreu, Instituto Superior Técnico
Arguente: Alexandre Girouard, Université de Savoie, France
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Professora Catedrática do Departamento de Matemática, IST
Membro do júri: Rui Pedro Lima Pinto Ribeiro de Alburquerque, Professor Auxiliar da Universidade de Évora
- Quinta, 20 de Dezembro de 2012, 14h 30m, Anfiteatro Pa3
- Maria João Costa de Almeida Quintão Pereira Braga
Towards a Classification of \(T^2\)-Actions on Contact \(5\)-Manifolds.
Orientador: Miguel Tribolet de Abreu, Instituto Superior Técnico
Co-orientador: Leonor Pires Marques de Oliveira Godinho, Instituto Superior Técnico
Arguente: Sheila Sandon, Université de Nantes, França
Arguente: David Francisco Martinez Torres, Departamento de Matemática do Instituto Superior Técnico, UTL
Membro do júri: Silvia Sabatini, École Polytechnique Fédérale de Lausanne, Suiça
- Sexta, 14 de Dezembro de 2012, 15h 00m, Anfiteatro Pa2
- Hassan Najafi Alishah
KAM Theory, Presymplectic Dynamics and Lie Algebroids.
Orientador: Rui António Loja Fernandes, Instituto Superior Técnico
Arguente: Nguyen Tien Zung, Institut de Mathématiques de Toulouse, France
Arguente: José António Maciel Natário, Departamento de Matemática do Instituto Superior Técnico, UTL
Membro do júri: Rafael de la Llave, School of Mathematiques, Georgia Institute of Technology, USA
Membro do júri: Diogo Luís de Castro Vasconcelos de Aguiar Gomes , Departamento de Matemática do Instituto Superior Técnico, UTL
Membro do júri: Joana Margarida Mavigné Andrade Alves de Sousa Nunes da Costa, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
- Quarta, 18 de Julho de 2012, 15h 30m, PA-3 Edifício de Matemática
- Maria Filomena Alves Teodoro
Computational Methods for Functional Differential Equations with Deviating Arguments.
Orientador: Pedro Miguel Rita da Trindade Lima, Departamento de Matemática, IST, UTL
Arguente: Rafael Brigham Neves Ferreira Santos, Faculdade de Ciência e Tecnologia da Universidade do Algarve
Arguente: Maria de Fátima Fabião Ribeiro, Instituto Superior de Economia e Gstão, da Universidade Técnica de Lisboa
Membro do júri: Neville John Ford, Universidade de Chester, UK
Membro do júri: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST, UTL
Membro do júri: Maria Teresa Romãozinho Marques Diogo, Departamento de Matemática, IST, UTL
- Segunda, 16 de Julho de 2012, 10h 00m, Anfiteatro Pa1
- Davor Dragicevic
Stability of Nonuniformly Hyperbolic Dynamics and Lyapunov Functions.
Orientador: Cláudia Valls Anglés, Instituto Superior Técnico
Arguente: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico
Arguente: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Luís Fernando Sanchez Rodrigues, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Luís Manuel Gonçalves Barreira, Departamento de Matemática, Instituto Superior Técnico
- 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
Arguente: Doutor Luca Viganò, Departamento de Informática Università di Verona, Italy
Arguente: José Manuel Cunha Leal Molarinho Carmo, Departamento de Matemática e Engenharias da Universidade da Madeira
Membro do júri: Carlos Manuel Costa Lourenço Caleiro, Departamento de Matemática do Instituto Superior Técnico
Membro do júri: João Filipe Quintas dos Santos Rasga, Departamento de Matemática do Instituto Superior Técnico
- Segunda, 16 de Abril de 2012, 15h 00m, Anfiteatro Pa3
- Levon Robert Nurbekian
Weak KAM Theory on the \(D\)-Infinite Dimensional Torus.
Orientador: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Instituto Superior Técnico
Arguente: Enrico Valdinoci, Università Degli Studi di Milano
Arguente: José Miguel Dordio Martinho de Almeida Urbano, Universidade de Coimbra
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico
Membro do júri: Pedro Alves Martins da Silva Girão, 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
Arguente: João António Branco, Departamento de Matemática, IST
Arguente: Maria Manuela Souto de Miranda, Universidade de Aveiro
Membro do júri: Maria Manuela Costa Neves Figueiredo, Instituto Superior de Agronomia
Membro do júri: António Manuel Pacheco Pires, , Departamento de Matemática, IST
Membro do júri: Ana Teresa Correia de Freitas, Departamento de Engenharia de Informática,IST
Doutoramento em Matemática
- Segunda, 5 de Setembro de 2011, 14h 30m, Anfiteatro Pa3
- Juan Pablo Roggiero Ayala
Lie Algebroids Over Quotient Spaces.
Orientador: Rui António Loja Fernandes, Instituto Superior Técnico da Universidade Técnica de Lisboa
Arguente: Juan Carlos Marrero González, Universidade de la Laguna, Espanha
Arguente: Eduardo Martínez Fernández , Universidade de Zaragoza, Espanha
Membro do júri: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Membro do júri: David Martinez-Torres , Departamento de Matemática do Instituto Superior Técnico, da Universidade Técnica de Lisboa
- Sexta, 24 de Junho de 2011, 12h 30m, Anfiteatro Pa3
- Pedro Walmsley Frejlich
\(h\)-Principles Around Poisson Geometry.
Orientador: Rui António Loja Fernandes, Instituto Superior Técnico
Arguente: Camille Laurent-Gengoux, Université de Poitiers,France
Arguente: David Martinez-Torres, Instituto Superior Técnico
Membro do júri: Marius Crainic, Mathematical Institute , Utrecht University,The Netherlands
Membro do júri: Diogo Luís de Castro Vasconcelos de Aguiar Gomes, 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
Arguente: Christine Fricker, INRIA Rocquencourt,França
Arguente: Rui Jorge Morais Tomaz Valadas, Departamento de Engenharia Electrotécnica e Computadores do Instituto Superior Técnico da Universidade Técnica de Lisboa
Membro do júri: Luísa da Conceição dos Santos do Canto e Castro de Loura, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Nelson Gomes Rodrigues Antunes, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Membro do júri: Cláudia Rita Ribeiro Coelho Nunes Philippart, 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 \(\pi\)-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
Arguente: Uwe Nestamann , Technishe Universität Berlin, Germany
Arguente: Luis Manuel Marques da Costa Caires, Departamento de Informática, Faculdade de Ciências e Tecnologia, da Universidade Nova de Lisboa
Membro do júri: Amílcar dos Santos Costa Sernadas, Departamento de Matemática do IST, UTL
Membro do júri: Paulo Alexandre Carreira Mateus, Departamento de Matemática do IST, UTL
Membro do júri: Jaime Arsénio de Brito Ramos, 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
Arguente: José Luiz Fiadeiro, University of Leicester, UK
Arguente: Simon John Gay, University of Glasgow, UK
Membro do júri: João Filipe Quintas dos Santos Rasga, 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
Arguente: José Alberto Cuminato, epartamento de Matemática Aplicada e Estatística, do ICMC, São Carlos, Universidade de São Paulo, Brasil
Arguente: Maria Filomena Guimarães Dias d' Almeida, Departamento de Engenharia Mecânica, Secção de Matemática, FEUP, Universidade do Porto
Membro do júri: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Departamento de Matemática do IST, UTL
Membro do júri: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática do 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, Instituto Superior Técnico
Arguente: Ugo Bruzzo, SISSA - International School for Advanced Studies, Italy
Arguente: José Cidade Mourão, Instituto Superior Técnico
Membro do júri: Rui António Loja Fernandes, Departamento de Matemática, Instituto Superior Técnico
Membro do júri: Marco Ariën Mackaaij, Faculdade de Ciências e Tecnologia, Universidade do Algarve
Membro do júri: Miguel Tribolet de Abreu, Departamento de Matemática, Instituto Superior Técnico
- Sexta, 4 de Dezembro de 2009, 14h 00m, Anfiteatro Pa3
- Sheila Sandon
Contact Homology, Capacity and Non-Squeezing in \( \mathbb{R}^{2n}\times S^1\) via Generating Functions.
Orientador: Miguel Tribolet de Abreu, Instituto Superior Técnico
Membro do júri: Lisa Traynor, Department of MathematicsBryn Mawr College , USA
Membro do júri: Francisco Presas Mata, Departamento de ÁlgebraFacultad de Matemáticas da Universidad Complutense de Madrid
Membro do júri: David Martinez Torres, Departamento de Matemática, Instituto Superior Técnico
Membro do júri: Sílvia Nogueira da Rocha Ravasco dos Anjos, Departamento de Matemática, 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.
Membro do júri: José Miguel Dordio Martinho de Almeida Urbano , Departamento de Matemática, Universidade de Coimbra
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, I.S.T.
Membro do júri: Pablo Sangrà Inciarte , Departamento de Física, Universidad de Las Palmas de Gran Canária
Membro do júri: Adélia da Costa Sequeira dos Ramos Silva , Departamento de Matemática, I.S.T.
Membro do júri: Aires José Pinto dos Santos , Departamento de Engenharia Mecânica, IST
Membro do júri: Didier Bresch , Recherche au CNRS/Université de Savoie, Chambery, França
- 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.
Arguente: Tuong Ha Duong, Laboratório de Matemmática Aplicada de Compiègne da Universidade Tecnológica de Compiègne,França
Arguente: Pedro Simões Cristina de Freitas, Núcleo de Métodos Matemáticos da faculdade de Motricidade Humana da U.T.L.
Membro do júri: Maria Filomena Guimarães Dias de d'Almeida, Departamento de Engenharia Mecânica e Gastão da Faculdade de Engenharia da Universidade do Porto
Membro do júri: Vítor Manuel Azevedo Leitão , Departamento de Engenharia Cívil e Arquitectura do I.S.T.
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, I.S.T.
Membro do júri: Adélia da Costa Sequeira dos Ramos Silva, 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
Arguente: Antonio Fasano, Departamento de Matemática da da Universidade de Florença,Itália
Arguente: Anne Marie Robertson, Departamento de Engª Mecânica e Ciência dos Materiais da Faculdade de Engª da Universidade de Pittsburgh, U.S.A.
Membro do júri: José Carlos Fernandes Pereira, Departamento de Engª Mecânica, I.S.T.
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, I.S.T.
Membro do júri: Juha Videman, 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.
Arguente: Andreas Karageorghias, Departamento de Matemática e Estatística da Universidade do Chipre
Arguente: Ana Leonor Mestre Vicente Silvestre, Departamento de Matemática, I.S.T.
Membro do júri: António José Barreto Tadeu, Departamento de Engenharia Civil da Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, I.S.T.
Membro do júri: Maria Teresa Romãozinho Marques Diogo, 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
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Membro do júri: Christopher J. Mulvey, Departamento de Matemática da Universidade de Sussex, U.K.
Membro do júri: Gustavo Oliveira Granja, Departamento de Matemática, IST
Membro do júri: Isar Celia Jeroen Emma Stubbe, Investigador do Departamento de Matemática e Ciência da Computação da Fundação de Investigação da Flandres da Universidade de Antuérpia, Bélgica
- 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, Instituto Superior Técnico
Arguente: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências da Universidade de Lisboa
Arguente: Cláudia Valls Anglés, Centro de Análise Matemática, Geometria e Sistemas Dinâmicos do DM, IST.
Membro do júri: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Membro do júri: Pedro Jorge Santos Freitas, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa ,
- 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
Membro do júri: Amílcar dos Santos Costa Sernadas, DM, IST
Membro do júri: Maria Cristina Sales Viana Serôdio Sernadas, DM, IST
Membro do júri: Marcelo Esteban Coniglio, Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas da Universidade Estadual de Campinas, Brasil
Membro do júri: José Júlio Alferes, Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Membro do júri: Manuel António Gonçalves Martins, Departamento de Matemática da Universidade de Aveiro
Membro do júri: Jaime Arsénio de Brito Ramos, 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
Arguente: Rhonda Righter, Universidade de Berkeley, Califórnia
Arguente: Nelson Gomes Rodrigues Antunes, Faculdade de Ciências da Universidade do Algarve
Membro do júri: Maria Fernanda Neto Ramalhoto , Instituto Superior Técnico
Membro do júri: Luisa da Conceição S. Canto e Castro Loura, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Cláudia Rita Ribeiro Coelho Nunes Phillipart, Instituto Superior Técnico
- Segunda, 3 de Dezembro de 2007, 00h 00m, Instituto Superior Técnico, Lisboa
- César Augusto Teixeira Marques da Silva
Expoentes de Lyapunov, hiperbolicidade não-uniforme e variedades invariantes estáveis.
Orientador: Luis Manuel Gonçalves Barreira, Instituto Superior Técnico
Co-orientador: Claudia Valls Angles, Instituto Superior Técnico
Arguente: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências da Universidade de Lisboa
Arguente: Luís Manuel Ferreira Silva, Universidade de Évora
Membro do júri: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico
- 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
Arguente: Olivier Bournez, Institut National de Recherche en Informatique et en Automatique, França.
Arguente: Isabel Salgado Laboriau, Faculdade de Ciências do Porto.
Membro do júri: Amílcar dos Santos Costa Sernadas, Instituto Superior Técnico.
Membro do júri: José Félix Gomes da Costa, Instituto Superior Técnico
- 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
Arguente: Luísa da Conceição Canto e Castro Loura, Faculdade Ciências, Universidade de Lisboa
Arguente: Antonis Economou, Universidade de Atenas
Membro do júri: Nelson Gomes Rodrigues Antunes, Universidade do Algarve
Membro do júri: Maria Fernando Neto Ramalhoto, Instituto Superior Técnico
Membro do júri: Manuel João Cabral Morais, 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
Arguente: Luis Manuel Ferreira Silva, Universidade de Évora
Arguente: João Luís Gonçalves Dias Ferreira Alves, Instituto Superior Técnico.
Membro do júri: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico
Membro do júri: Fernando Manuel Pestana da Costa, Universidade Aberta
- 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.
Arguente: Yuri Karlovich, Univ. Autonoma de Morelos, Mexico
Arguente: Luis Castro, Univ. de Aveiro
Membro do júri: Amélia Bastos, I.S.T.
Membro do júri: Cristina Câmara, 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
Arguente: Luigi Carlo Berselli, Univ. degli Studi di Pisa, Italia
Arguente: Juha Videman, DM-I.S.T.
Membro do júri: Bento José Carrilho Miguens Louro, F.C.T. - Univ. Nova de Lisboa
Membro do júri: José Carlos Pereira, Dep. Eng. Mecânica - I.S.T.
Membro do júri: Pedro Lima, DM-I.S.T.
- Terça, 12 de Dezembro de 2006, 15h 00m, Anfiteatro PA3
- Carlos Correia Ramos
Representações, \(C^\ast\)-álgebras e transformações do intervalo.
Orientador: Nuno Miguel Matos Ramos Martins, Instituto Superior Técnico
Arguente: Yuri Karlovich, Centro de Investigación y de Estudios Avanzados, Morelos, Mexico
Arguente: Ricardo Severino, Univ. do Minho
Membro do júri: António Ferreira dos Santos, I.S.T.
Membro do júri: Maria Amélia Bastos, I.S.T.
Membro do júri: Paulo Rocha Pinto, 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
Arguente: Luca Viganó, ETH Zurich, Switzerland
Arguente: José Manuel Esgalhado Valença, Univ. do Minho
Membro do júri: Amílcar Sernadas, I.S.T.
Membro do júri: Carlos Caleiro, I.S.T.
Membro do júri: Jaime Ramos, I.S.T.
- 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)
Arguente: Bernd Silbermann, Univ. Chemnitz (Alemanha)
Arguente: Frank Speck, I.S.T.
Membro do júri: António Ferreira dos Santos, I.S.T.
Membro do júri: Manuel Esquível, Univ. Nova de Lisboa
- 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 Francis Picken, Instituto Superior Técnico
Arguente: Louis H. Kauffman, Univ. Illinois at Chicago (USA)
Arguente: Pedro Resende, Instituto Superior Técnico
Membro do júri: Ana Bela Cruzeiro, Instituto Superior Técnico
Membro do júri: João Nuno Tavares, FCUP (Univ. Porto)
- 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.
Arguente: Petr Kulish, Steklov Institute St. Petersburg (Russia)
Arguente: Andreas Fring, City University London (UK)
Membro do júri: Ana Bela Cruzeiro, I.S.T.
Membro do júri: Rui Loja Fernandes, I.S.T.
- Sexta, 31 de Março de 2006, 11h 15m, Anfiteatro Pa3
- Marko Stosic
Khovanov homology of links and graphs.
Orientador: Roger Francis Picken, Instituto Superior Técnico
Arguente: Mikhail Khovanov, Columbia University, New York
Arguente: Marco Arien Mackaay, Universidade do Algarve
Membro do júri: Paul Turner, Heriot-Watt University, UK
Membro do júri: Rui Loja Fernandes, I.S.T.
Membro do júri: Gustavo Granja, 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.
Arguente: António Ferreira dos Santos, I.S.T.
Arguente: Luis Castro, Univ. Aveiro
Membro do júri: Stefan Samko, Univ. Algarve
Membro do júri: Amarino Lebre, 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é Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico
Arguente: Miguel Abreu, I.S.T.
Arguente: João Nuno Tavares, Universidade do Porto
Membro do júri: Orlando Neto, Universidade de Lisboa
Membro do júri: João Pimentel Nunes, I.S.T.
Membro do júri: Carlos Florentino, 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 Sebastião de Lemos Carvalhão Buescu, Instituto Superior Técnico
Arguente: Viktor Kravchenko, Universidade do Algarve
Arguente: Frank Speck, I.S.T.
Membro do júri: João Queiró, Universidade de Coimbra
Membro do júri: Francisco Teixeira, 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.
Arguente: Helmut Malonek, Universidade de Aveiro
Arguente: Frank Speck, I.S.T.
Membro do júri: Stefan Samko, Universidade do Algarve
Membro do júri: António Ferreira dos Santos, 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é Rodrigues Santos de Sousa Ramos, Instituto Superior Técnico
Arguente: Luís Barreira, I.S.T.
Arguente: Ricardo Severino, Universidade do Minho
Membro do júri: José Ribeiro, Universidade de Évora
Membro do júri: Nuno Martins, 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: Luis Manuel Gonçalves Barreira, Instituto Superior Técnico
Arguente: J. Ferreira Alves, Universidade do Porto
Arguente: Luís F. Silva, Universidade de Évora
Membro do júri: Luís Magalhães, Instituto Superior Técnico
Membro do júri: Carlos Rocha, 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
Arguente: Vitor Neves, Universidade de Aveiro
Arguente: Imme van den Berg, Universidade de Évora
Membro do júri: João Paulo Teixeira, I.S.T.
Membro do júri: António Marques Fernandes, I.S.T.
- 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.
Arguente: Anne Robertson, University of Pittsburgh
Arguente: M. Filomena Dias d'Almeida, Universidade do Porto
Membro do júri: Rafael B. Santos, Universidade do Algarve
Membro do júri: Carlos J. S. Alves, 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
Arguente: Alberto Pinto, Faculdade de Ciências,Universidade do Porto
Arguente: Ricardo Severino, Universidade do Minho
Membro do júri: Luís Barreira, Instituto Superior Técnico, Universidade Técnica de Lisboa
Membro do júri: João Alves, 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é Rodrigues Santos de Sousa Ramos, Instituto Superior Técnico
Arguente: Alexander Sharkovsky , National Academy of Sciences, Ukraine
Arguente: Ricardo Severino, Universidade do Minho
Membro do júri: Luís Magalhães, I.S.T.
Membro do júri: José Manuel Ferreira, 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
Arguente: Anne Marie Robertson, University of Pittsburgh, USA
Arguente: Paula Oliveira, Universidade de Coimbra
Membro do júri: Leonor Silvestre, Instituto Superior Técnico, Universidade Técnica de Lisboa
Membro do júri: José Ribeiro, Universidade de Évora
- 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
Membro do júri: João Rasga, Instituto Superior Técnico, Universidade Técnica de Lisboa
Membro do júri: Marcelo Coniglio, Universidade de Campinas, Brasil
Membro do júri: Décio Krause, Universidade Federal de Santa Catarina, Brasil
Membro do júri: Marcelo Finger, Universidade de S. Paulo, Brasil
Membro do júri: Frank Sautter, Universidade Federal de Santa Maria, 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 Conceição Esperança Amado, DM,Instituto Superior Técnico
Co-orientador: João Paulo Correia Leitão, LNEC
Membro do júri: António Manuel Pacheco Pires, DM,Instituto Superior Técnico
Membro do júri: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, DM,Instituto Superior Técnico
Membro do júri: Maria do Céu Teixeira de Almeida, 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
Membro do júri: António Manuel Pacheco Pires, I.S.T., Departamento de Matemática
Membro do júri: Tânia Cristina Silva, EDP - Energias de Portugal
Membro do júri: Marília Cristina de Sousa Antunes, Faculdade de Ciências, Universidade de Lisboa
- 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.
Membro do júri: António Manuel Pacheco Pires, Departamento de Matemática, I.S.T.
Membro do júri: Sandra Mónica Borges de Figueiredo Fernandes Pinto, Centro de Desenvolvimento - Área Departamental da Pediatria Médica - Hospital D. Estefânia
Membro do júri: Isabel Maria Alves Rodrigues, 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.
Membro do júri: António Pacheco Pires , Departamento de Matemática, I.S.T.
Membro do júri: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Departamento de Matemática, I.S.T.
Membro do júri: Dália Susana dos Santos da Cruz Loureiro, LNEC
- 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.
Membro do júri: Rui António Loja Fernandes, D.M., IST.
Membro do júri: Carlos Armindo Arango Florentino, 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
Membro do júri: Carlos Daniel Paulino, D.M., Instituto Superior Técnico
Membro do júri: Maria Antónia Amaral Turkman, Departamento de Estatística e Investigação Operacional, Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Paulo José de Jesus Soares, 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.
Membro do júri: Diogo Luís de Castro Vasconcelos de Aguiar Gomes, Departamento de Matemática, IST.
Membro do júri: José Gonçalves, Closer
Membro do júri: Juan Antonio Acebron de Torres, Centro de Matemática e Aplicações (CEMAT)
- 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
Membro do júri: Rui António Loja Fernandes, Departamento de Matemática, Instituto Superior Técnico
Membro do júri: Gustavo Rui Gonçalves Fernandes de Oliveira Granja, Departamento de Matemática, Instituto Superior Técnico
- 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.
Membro do júri: Ana Bela Cruzeiro Zambrini , D.M., I.S.T.
Membro do júri: António Manuel dos Santos Pascoal, 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
Membro do júri: António Manuel Pacheco Pires, D.M., IST
Membro do júri: João Líbano Monteiro, ESTAC - Estacionamentos e Acessibilidade, Lda.
Membro do júri: João António Branco, 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
Membro do júri: António Manuel Pacheco Pires, D.M., IST
Membro do júri: Maria da Conceição Esperança Amado, D.M., IST
Membro do júri: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, 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
Membro do júri: António Manuel Pacheco Pires, Departamento de Matemática, IST
Membro do júri: Carlos Manuel Milheiro de Oliveira Pinto Soares, Faculdade de Economia da Universidade do Porto
Membro do júri: Francisco Miguel Alves Campos de Sousa Dionisio, Departamento de Matemática
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
Membro do júri: Fernanda Otília de Sousa Figueiredo, Grupo de Matemática e Informática da Faculdade de Economia da Universidade do Porto
Membro do júri: Miguel António Soares Casquilho, Departamento de Engenharia Química e Biológica do Instituto Superior Técnico
Membro do júri: Manuel João Cabral Morais, 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
Membro do júri: Maria Eduarda da Rocha Pinto Augusto da Silva, Grupo de Matemática e Informática da Faculdade de Economia da Universidade do Porto
Membro do júri: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, DM, Instituto Superior Técnico
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
Membro do júri: João António Branco, D.M., Instituto Superior Técnico
Membro do júri: Maria Manuela Souto de Miranda, D.M. da Faculdade de Ciências da Universidade de Aveiro
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
Membro do júri: Marília da Conceição Valente Oliveira Pires, D.M. da Universidade de Évora
Membro do júri: Juha Hans Videman, 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
Membro do júri: Maria Manuela Souto de Miranda, Departamento Matemática da Faculdade de Ciências da Universidade de Aveiro
Membro do júri: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, 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
Membro do júri: Maria Antónia da Conceição Abrantes Amaral Turkman , Departamento de Estatística e Investigação Operacional da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: João António Branco, D.M., Instituto Superior Técnico
- 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
Membro do júri: Margarida Maria Teixeira Diniz Mendes Leal, Departamento de Estatística e Investigação Operacional da Faculdade de Ciências da Universidade de Lisboa
Membro do júri: Maria da Conceição Esperança Amado,
- 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
Membro do júri: Carla Mónica Santos Dias Pereira , Departamento de Engenharia Civil da Faculdade de Engenharia da Universidade do Porto
Membro do júri: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente , 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
Membro do júri: Carla Mónica Santos Dias Pereira, Secção de Matemática e Física do Departamento de Engª Civil da Faculdade de Engª da Universidade do Porto
Membro do júri: Maria de Rosário de Oliveira Silva, 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
Membro do júri: António Pacheco Pires , DMIST
Membro do júri: Ana Luísa Papoila , Faculdade de Ciências Médicas, UNL
Membro do júri: Paulo José de Jesus Soares , 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
Membro do júri: Ana Bela Cruzeiro , DMIST
Membro do júri: Ana Leonor Vicente Silvestre , DMIST
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
Membro do júri: António Pacheco Pires , DMIST
Membro do júri: Ana Maria Pires Parente , 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
Membro do júri: Ana Bela Cruzeiro , DM, IST
Membro do júri: Ana Leonor Vicente Silvestre , DM, IST
Membro do júri: Francisco Miguel Dionísio , 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
Membro do júri: Luzia Augusta Pires Gonçalves , Unidade de Epidemiologia e Bioestatística do Instituto de Higiene e Medicina Tropical da Universidade Nova de Lisboa
Membro do júri: Isabel Maria Alves Rodrigues, 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
Membro do júri: Antonio Manuel Pacheco Pires, DM, IST
Membro do júri: Diogo Aguiar Gomes, 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
Membro do júri: Amarino Lebre, DM, IST
Membro do júri: Yuri I. Karlovich, Fac.de Ciências da Univ. Autónoma del Estado de Morelos, México
- 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
Membro do júri: Miguel Tribolet de Abreu, Departamento de Matemática do IST
Membro do júri: Carlos Correia Ramos, Departamento de Matemática da Universidade de Évora
Membro do júri: Nuno Miguel Matos Ramos Martins, 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
Membro do júri: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Instituto Superior Técnico
Membro do júri: Isabel Alexandra Ferreira da Silva Vaz Nicolau, Universidade de Trás-os-Montes e Alto Douro
- 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
Membro do júri: Antonio Manuel Pacheco Pires, DM, IST
Membro do júri: Carla Mónica Santos Dias Pereira, FEUP
- 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
Membro do júri: Antonio Manuel Pacheco Pires, DM, IST
Membro do júri: Maria Manuela Souto de Miranda, Universidade de Aveiro
- 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
Membro do júri: Antonio Manuel Pacheco Pires, DM, IST
Membro do júri: António Evaristo Pinto, Instituto Português de Oncologia de Francisco Gentil
Membro do júri: Ana Luisa Papoila, Faculdade de Ciências Médicas - UNL
Membro do júri: Paulo Jose de Jesus Soares, 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
Membro do júri: Antonio Manuel Pacheco Pires, DM, IST
Membro do júri: Isabel Maria Alves Rodrigues, 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
Membro do júri: Antonio Manuel Pacheco Pires, DM,IST
Membro do júri: Gualter Medeiros Couto, Universidade dos Açores
Membro do júri: Manuel Joao Cabral Morais, 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
Membro do júri: Rui António Loja Fernandes, Instituto Superior Técnico
Membro do júri: Leonor Pires Marques de Oliveira Godinho, 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
Membro do júri: Rui Antonio Loja Fernandes, DM, IST
Membro do júri: Maria Leonor Moreira, Faculdade de Ciências da Universidade do Porto
- 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
Membro do júri: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Membro do júri: Carlos Manuel Costa Lourenco Caleiro, 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
Membro do júri: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Membro do júri: Carlos Filipe Gomes Bispo, DEEC, 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
Membro do júri: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Membro do júri: Luís Caires, Faculdade de Ciências e Tecnologia da Universidade Nova
- 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
Membro do júri: João Nuno Domingues Tavares , Faculdade de Ciências da Universidade do Porto
Membro do júri: Roger Francis Picken, Instituto Superior Técnico
Membro do júri: João Luis Pimentel Nunes, Instituto Superior Técnico
- 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
Membro do júri: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Membro do júri: Vasco Miguel Gomes Nunes Manquinho, DEI, IST
- 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
Membro do júri: Rui António Loja Fernandes, DMIST
Membro do júri: Maria Joana Bordalo Ventura, DMIST
- 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
Membro do júri: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Membro do júri: Maria Luisa Torres Ribeiro Marques da Silva Coheur, DEI, 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
Arguente: Lúcia Fernández Suaréz, Escola de Ciências da Universidade do Minho
Arguente: Pedro Ferreira dos Santos, 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
Membro do júri: Ana Bela Ferreira Cruzeiro Zambrini, IST
Membro do júri: Rainer Kress, University Goettingen
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.
Arguente: Maria Teresa da Cunha Machado Malheiro, Univ. do Minho
Membro do júri: António Ferreira dos Santos, 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
Membro do júri: Luzia Augusta Pires Gonçalves, Instituto de Higiene e Medicina Tropical da Universidade Nova de Lisboa
Membro do júri: Maria da Conceição Esperança Amado, 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
Arguente: Peter Beier Gothen, Faculdade de Ciências da Universidade do Porto
Arguente: João Luís Pimentel Nunes, 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
Membro do júri: Juan Carlos Sánchez Rodríguez, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Membro do júri: Maria Amélia Duarte Reis Bastos, 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
Arguente: Marília Cristina de Sousa Antunes, Faculdade de Ciências, Universidade de Lisboa
Membro do júri: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, 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
Arguente: Kamil Feridum Turkman, FCUL - Universidade de Lisboa
Membro do júri: Isabel Maria Alves Rodrigues, 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
Arguente: Margarida M. T. D. Mendes Leal, FCUL - Universidade de Lisboa
Membro do júri: Maria do Rosário Oliveira, 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.
Arguente: Carla Mónica Dias Pereira, FEUP - Univ. do Porto
Membro do júri: João António Branco, IST
- 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.
Arguente: Luísa Canto e Castro de Loura, FCUL - Univ. Lisboa
Membro do júri: João António Branco, IST
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.
Membro do júri: Yuri Karlovich, Univ. Morelos, Mexico
Membro do júri: Paulo Lopes, 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.
Arguente: Sandra Maria Santos Vinagre, Universidade de Évora
Membro do júri: Pedro Alves Martins Rodrigues, 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
Membro do júri: Fernando J. S. Moreira, Faculdade de Ciências, Universidade do Porto
Membro do júri: João Alves, 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
Arguente: Juan C. S. Rodriguez, Universidade do Algarve
Membro do júri: Amarino Lebre, 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.
Membro do júri: M. Filomena Dias d'Almeida, Universidade do Porto
Membro do júri: Vitor M. A. Leitão, 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
Arguente: Ana Rita Pires Gaio, Universidade do Porto
Membro do júri: Pedro Ferreira dos Santos, 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
Arguente: Carlos Albuquerque, Faculdade de Ciências, Universidade de Lisboa
Membro do júri: Leonor Silvestre, 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
Arguente: Margarida Mendes Lopes, Instituto Superior Técnico, Universidade Técnica de Lisboa
Membro do júri: Orlando Neto, Faculdade de Ciências, Universidade 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
Arguente: Yuri Karlovich, Universidade Autónoma de Morelos, Mexico
Membro do júri: António Ferreira dos Santos, Instituto Superior Técnico, Universidade Técnica de Lisboa
Explorations in \(N = 2\) Supergravity, Black Branes and Matrix Models.