Biblioteca de Matemática

2006

Nº01/06: ON THE ALGEBRAIC, DIFFERENTIAL, INTEGRAL AND SPECTRAL PROPERTIES OF MERCER-LIKE KERNELS(26-01-2006)
Autor/Author: António Carlos dos Santos Paixão
Orientador/Supervisor: Jorge Sebastião de Lemos Carvalhão Buescu

Nº02/06: ALGEBRAS OF BERGMAN TYPE OPERATORS WITH PIECEWISE CONTINUOUS COEFFICIENTS(10-01-2006)
Autor/Author: Luís Filipe Serrazes Ventura de Barros Pessoa
Orientador/Supervisor: Yuri Ivanovich Karlovich
Co-orientador/Co-supervisor: Maria Amélia Duarte Reis Bastos

Nº03/06: geometric quantization and the coherent state transform (02-02-2006)
Autor/Author: Pedro Miguel Montes Martins Matias
Orientador/Supervisor: José Manuel Vergueiro Monteiro Cidade Mourão

2005

Nº01/05: Logics of formal inconsistencY (16-02-2005)
Autor/Author: João Marcos Almeida
Orientador/Supervisor: Carlos Manuel Costa Lourenço Caleiro

Nº02/05: DEVELOPMENT OF 1D FLUIDS MODELS USING THE COSSERAT THEORY. NUMERICAL SIMULATIONS AND APPLICATIONS TO HAEMODINAMICS (05-04-2005)
Autor/Author: Fernando Manuel Lucas Carapau
Orientador/Supervisor: Adélia da Costa Sequeira dos Ramos Silva

Nº03/05: SOLUÇÕES CAÓTICAS EM EQUAÇÕES ÀS DERIVADAS PARCIAIS (19-04-2005)
Autor/Author: Sandra Maria Santos Vinagre
Orientador/Supervisor: José Rodrigues Santos Sousa Ramos

Nº04/05: PRODUTOS TENSORIAIS EM DINÂMICAS DE APLICAÇÕES TRIANGULARES (13-07-2005)
Autor/Author: Diana Elisabeta Aldea Mendes
Orientador/Supervisor: José Rodrigues Santos de Sousa Ramos

Nº05/05: MATHEMATICAL AND NUMERICAL ANALYSIS OF NON-NEWTONIAN FLUIDS IN CURVED PIPES (15-07-2005)
Autor/Author: Marília da Conceição Valente de Oliveira Pires
Orientador/Supervisor: Adélia da Costa Sequeira dos Ramos Silva

Nº06/05: OS INFINITÉSIMOS ACTUAIS E A CARACTERIZAÇÃO DO CONTÍNUO CONEXO (19-07-2005)
Autor/Author: Paulo Manuel de Barros Correia
Orientador/Supervisor: Adélia da Costa Sequeira dos Ramos Silva

Nº07/05: Teoria de dimensão de sistemas dinâmicos: Medidas invariantes e análise multifractal (23-09-2005)
Autor/Author: Lucian Radu
Orientador/Supervisor: Luís Manuel Gonçalves Barreira

Nº08/05: Teoria espectral e sistemas dinâmicos (12-12-2005)
Autor/Author: Sara Luísa Dimas Fernandes
Orientador/Supervisor: José Rodrigues Santos de Sousa Ramos

Nº02/04: Numerical simulations of a non-newtonian fluid flow model using finite element models (26-07-2004)
Autor/Author: Paulo Manuel de Barros Correia
Orientador/Supervisor: Adélia da Costa Sequeira dos Ramos Silva

Nº03/04: singular values of the momentum map for cotangent lifted actions (01-10-2004)
Autor/Author: Miguel Andrés Rodríguez Olmos
Orientador/Supervisor: Maria Esmeralda Rodrigues de Sousa Dias

Nº04/04: CONSTRUCTIVE REAL ANALYSIS: A TYPE-THEORETICAL FORMALIZATION AND APPLICATIONS
Autor/Author: Luís Cruz-Filipe
Orientador/Supervisor: Henk Barendregt

Nº05/04: ANÁLISE BAYESIANA DE DADOS DEFICIENTEMENTE CATEGORIZADOS (22-11-2004)
Autor/Author: Paulo José de Jesus Soares
Orientador/Supervisor: Carlos Daniel Mimoso Paulino

Nº06/04: RECONHECIMENTO DE PADRÕES: CLASSIFICAÇÃO SUPERVISIONADA COM REJEIÇÃO DE OBSERVAÇÕES (03-12-2004)
Autor/Author: Carla Mónica Santos Dias Pereira
Orientador/Supervisor: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente

Nº07/04: ARITHMETICAL PROPERTIES OF THE REES ALGEBRAS OF MODULES (13-12-2004)
Autor/Author: Ana Luísa Rodrigues Branco Correia
Orientador/Supervisor: Santiago Zarzuela Armengou

Nº08/04: Iteradas de aplicações não polinomiais (03-06-2004)
Autor/Author: Henrique Manuel dos Santos Silveira de Oliveira
Orientador/Supervisor: José R. S. de Sousa Ramos

Nº09/04: invariantes Topológicos e Métricos de Sistemas Dinâmicos de Baixa Dimensão (28-01-2004)
Autor/Author: José Leonel Linhares da Rocha
Orientador/Supervisor: José R. S. de Sousa Ramos

Nº10/04: BOOTSTRAP ROBUSTO COM BASE NA FUNÇÃO DE INFLUÊNCIA (12-02-2004)
Autor: Maria da Conceição Esperança Amado
Orientador/Supervisor: Ana Maria N. V. N. Pires de Melo Parente

2003

Nº01/03: ON THE GEOMETRY AND DYNAMICS OF MECHANICAL SYSTEMS
Autor/Author: Marcelo Hissakiti Kobayashi
Orientador/Supervisor: Waldyr Muniz Oliva

Nº02/03: MARKOV MODULATED CHAINS
Autor/Author: Cláudia Rita Ribeiro Coelho Nunes Philippart
Orientador/Supervisor: António Pacheco

Nº03/03: FIBRING LABELLED FIRST-ORDER BASED LOGICS
Autor/Author: João Filipe Quintas dos Santos Rasga
Orientador/Supervisor: Maria Cristina Sales Viana Serôdio Sernadas

Nº04/03: CLASSIFICAÇÃO TOPOLÓGICA DOS AUTOMORFISMOS DO TORO
Autor/Author: Pedro Alves Martins Rodrigues
Orientador/Supervisor: José Rodrigues Santos de Sousa Ramos

Nº05/03: MÉTODOS ROBUSTOS EM ANÁLISE DE COMPONENTES PRINCIPAIS COMUNS
Autor/Author: Isabel Maria Alves Rodrigues
Orientador/Supervisor: Ana M. N. V. N. P. de Melo Parente

Nº06/03: OPERADORES DE TIPO CONVOLUÇÃO COM SÍMBOLOS MATRICIAIS FRACAMENTE OSCILANTES E SEMI-QUASE PERIÓDICOS
Autor/Author: António José Vieira Bravo
Orientador/Supervisor: Maria A. D. R. Bastos

Nº07/03: QUANDLE COHOMOLOGY AND EMBEDDED SURFACES IN FOUR DIMENSIONS
Autor/Author: Pedro Miguel Marques Francisco Lopes
Orientador/Supervisor: Roger Francis Picken

Nº08/03: HOMOTOPY QUANTUM FIELD THEORIES
Autor/Author: Gonçalo Violante Rodrigues
Orientador/Supervisor: Roger Francis Picken

Nº09/03: invariantes Topológicos e Métricos de Sistemas Dinâmicos de Baixa Dimensão
Autor/Author: José Leonel Linhares da Rocha
Orientador/Supervisor: José R. S. de Sousa Ramos

Nº10/03: BOOTSTRAP ROBUSTO COM BASE NA FUNÇÃO DE INFLUÊNCIA
Autor: Maria da Conceição Esperança Amado
Orientador/Supervisor: Ana Maria N. V. N. Pires de Melo Parente

Nº11/03: Iteradas de aplicações não polinomiais
Autor/Author: Henrique Manuel dos Santos Silveira de Oliveira
Orientador/Supervisor: José R. S. de Sousa Ramos

2002

Nº01/02: MATHEMATICAL ANALYSIS OF THE MOTION OF A RIGID BODY IN A VISCOUS LIQUID

Autor/Author: Ana Leonor Mestre Vicente Silvestre
Orientador/Supervisor: Adélia Sequeira dos Ramos Silva

Nº02/02: MÉTODOS ROBUSTOS EM ANÁLISE DE CORRELAÇÕES CANÓNICAS
Autor/Author: Maria do Rosário de Oliveira Silva
Orientador/Supervisor: João António Branco

2001

Nº01/01: INTERPRETAÇÃO COMBINATÓRIA DA MONODROMIA DE TRANÇAS
Autor/Author: José Luís Martins Borges e Fachada
Orientador/Supervisor: Raul Manuel Cordovil C. Vinagre

Nº02/01: ANÁLISE BAYESIANA DE MODELOS DE SOBREVIVÊNCIA COM FRAGILIDADE
Autor/Author: Giovani Loiola da Silva
Orientador/Supervisor: Maria Antónia da Conceição A. Amaral Turkman, Faculdade de Ciência, Universidade de Lisboa

Nº03/01: MODELING AND ANALYSIS OF WIRELESS NETWORKS
Autor/Author: Nelson Gomes Rodrigues Antunes
Orientador/Supervisor: António Pacheco Pires

Nº04/01: COMPUTATIONAL COMPLEXITY OF REAL VALUED RECURSIVE FUNCTIONS AND ANALOG CIRCUITS
Autor/Author: Manuel Lameiras de Figueiredo Campagnolo
Orientador/Supervisor: José Félix Gomes da Costa

Nº05/01: STOCHASTIC ORDERING IN THE PERFORMANCE ANALYSIS OF QUALITY CONTROL SCHEMES
Autor/Author: Manuel João Cabral Morais
Orientador/Supervisor: António Manuel Pacheco Pires

Nº06/01: FAMÍLIAS DE APLICAÇÕES UNIDIMENSIONAIS COM DESCONTINUIDADES
Autor/Author: Luís Manuel Ferreira da Silva
Orientador/Supervisor: José Rodrigues S. Sousa Ramos

Nº07/01: SISTEMAS DINÂMICOS DE DIMENSÃO E FLUXO GEODÉSICO NO BITORO
Autor/Author: Maria Clara Canotilho Grácio
Orientador/Supervisor: José Rodrigues S. Sousa Ramos

Nº08/01:K-TEORIA DAS ÁLGEBRAS DE CUNTZ-KRIEGER ASSOCIADAS A APLICAÇÕES ITERADAS NO INTERVALO
Autor/Author: Nuno Miguel Matos Ramos Martins
Orientador/Supervisor: José Rodrigues S. Sousa Ramos

2000

Nº01/00:COMBINING LOGICS
Autor/Author: Carlos Manuel Costa Lourenço Caleiro
Orientador/Supervisor: Amílcar Sernadas

Nº02/00:THE SITUATION AND STATE CALCULUS: SPECIFICATION AND VERIFICATION
Autor/Author: Jaime Arsénio de Brito Ramos
Orientador/Supervisor: Amílcar Sernadas

Nº03/00: TYPING NON-UNIFORM CONCURRENT OBJECTS
Autor/Author: António Maria Alarcão Ravara
Orientador/Supervisores: V. Vasconcelos e Amílcar Sernadas

Nº04/00: INTERCONNECTION OF PROBABILISTIC SYSTEMS
Autor/Author: Paulo Alexandre Carreira Mateus
Orientador/Supervisor: Amílcar dos Santos Sernadas

Nº05/00: INVARIANTES TOPOLÓGICOS E ALGÉBRICOS EM SISTEMAS DINÂMICOS DISCRETOS
Autor/Author: Ricardo José Mendes Severino
Orientador/Supervisores: José Rodrigues S. Sousa Ramos

Nº06/00: AN INVERTIBILITY STUDY OF THE FINITE INTERVAL CONVOLUTION OPERATOR
Autor/Author: Paulo Sérgio de Brito e Silva dos Anjos Lopes
Orientador/Supervisores: António F. Ferreira dos Santos

1999

Nº01/99: SPHERICAL 2-CATEGORIES AND 4-MANIFOLD INVARIANTS
Autor/Author: Marco Arien Mackaaij
Orientador/Supervisor: Louis Crane e Roger Picken

Nº02/99: UMA ABORDAGEM FUNCTORIAL À TEORIA DO KNEADING
Autor/Author: João Luís Gonçalves Dias Ferreira Alves
Orientador/Supervisor: José Rodrigues S. Sousa Ramos

Nº03/99: ON QUATERNIONIC LINE BUNDLES
Autor/Author: Gustavo Rui Gonçalves F. de Oliveira Granja
Orientador/Supervisor: Mike Hopkins, Massachusetts Institute of Technology

Nº04/99: CIRCLE ACTIONS ON SYMPLECTIC MANIFOLDS
Autor/Author: Leonor Pires Marques de Oliveira Godinho
Orientador/Supervisor: Dusa McDuff, State University of New York at Stony Brook

Nº05/99: DEFAULTS IN THE SPECIFICATION OF REACTIVE SYSTEMS
Autor/Author: Ana Sofia Guerra
Orientador/Supervisores: Mark Ryan e Amílcar Sernadas

Nº06/99: CATEGORICAL CONSTRUCTION OF FOUR-DIMENSIONAL TOPOLOGICAL FIELD THEORIES
Autor/Author: Mackaay, M.
Orientador/Supervisor: Louis Crane

Nº07/99: PARTIAL JORDAN * - TRIPLES
Autor/Author: Lina Maria Mateus de Oliveira
Orientador/Supervisor: C. M. Edwards, University of Oxford

Nº08/99: MINIMAL NORMALIZATION OF WIENER-HOPF OPERATORS AND APPLICATIONS TO SOMMERFELD DIFFRACTION PROBLEMS
Autor/Author: Ana Isabel Baptista Moura Santos
Orientador/Supervisor: Frank Speck

Nº09/99: ALGEBRAIC CYCLES ON REAL VARIETIES AND Z/2-EQUIVARIANT HOMOTOPY THEORY
Autor/Author: Pedro Ferreira dos Santos
Orientador/Supervisor: H. Blaine Lawson, Jr., State University of New York atStony Brook

Nº10/99: DINÂMICA SIMBÓLICA LINEAR
Autor/Author: Ricardo Coutinho Pereira dos Santos
Orientador/Supervisor: Rui Vilela Mendes

Nº11/99: DEFAULTS IN THE SPECIFICATION OF REACTIVE SYSTEMS
Autor/Author: Ana Sofia Diniz Leitão Guerra
Orientador/Supervisor: Amílcar dos Santos Costa Sernadas

1998

Nº01/98: GEOMETRY AND COMBINATORICS OF POLYTOPES WITH A FINITE GROUP OF SYMMETRIES
Autor/Author: Maria Helena Jorge
Orientador/Supervisor: Sylvain Cappell, New York University

Nº02/98: RELATIONS BETWEEN SINGULAR OPERATORS AND APPLICATIONS
Autor/Author: Luis Castro
Orientador/Supervisor: Frank-Olme Speck

Nº03/98: RACIOCÍNIO ABDUTIVO SOBRE ESPECIFICAÇÕES TEMPORAIS DE OBJECTOS
Autor/Author Maria Paula Antunes Abrantes Gouveia
Orientador/Supervisor: Cristina Sernadas

Nº04/98: LÓGICAS MODAIS DE ACÇÃO PARA A MODELAÇÃO DE INTERVENÇÃO ENTRE AGENTES E DE ORGANIZAÇÕES
Autor/Author: Santos, F.
Orientador/Supervisor: José Carmo

Nº05/98: APPROXIMATION METHODS FOR CONVOLUTION OPERATORS ON THE REAL LINE
Autor/Author: Pedro Alexandre Simões dos Santos
Orientador/Supervisor: Bernd Silbermann, Technischen Universität Chemnitz

1997

Nº01/97 ULTRADISTRIBUIÇÕES TEMPERADAS E ULTRADISTRIBUIÇÕES DE TIPO EXPONENCIAL
Autor/Author: Jorge Manuel Amaro d'Almeida
Orientador/Supervisor: Francisco Viegas

Nº02/97: COMPOSITION OF HIERARCHIC DEFAULT SPECIFICATIONS
Autor/Author: Francisco Miguel Alves Campos Sousa Dionísio
Orientador/Supervisor: Udo Lipeck, University of Hannover

Nº03/97: ON SCHOTTKY VECTOR BUNDLES OVER RIEMANN SURFACES
Autor/Author: Carlos Armindo Arango Florentino
Orientador/Supervisor: Leon Takhtajan, State University of New York at Stony Brook

Nº04/97: THE IRA PROCEDURES AND OTHER METHODS IN CONVERGENCE ACCELERATION
Autor/Author: Mário Augusto Ferreira Meireles Graça
Orientador/Supervisor: Claude Brezinski, Universidade de Lille

Nº05/97: REIFICAÇÃO DE OBJECTOS CONCORRENTES
Autor/Author: Paulo Fernando Blauth Menezes
Orientador/Supervisor: Amílcar Sernadas

Nº06/97: MATHEMATICAL ANALYSIS OF VISCOELASTICNON-NEWTONIAN FLUIDS
Autor/Author: Juha Hans Videman
Orientador/Supervisor: Adélia Sequeira

Nº07/97: TOPOLOGICAL SYSTEMS AND OBSERVATIONAL LOGIC IN CONCURRENCY AND SPECIFICATION
Autor/Author: Pedro Manuel Agostinho Resende
Orientador/Supervisor: Amílcar Sernadas

1996

Nº01/96: TOPOLOGY OF SYMPLECTOMORPHISM GROUPS OF S2 X S2
Autor/Author: Miguel Tribolet de Abreu
Orientador/Supervisor: Yakov Eliashberg, Stanford University

Nº02/96: A NON-ADDITIVE THERMODYNAMIC FORMALISM AND APPLICATIONS TO DIMENSION THEORY OF HYPERBOLIC DYNAMICAL SYSTEMS
Autor/Author: Luis Manuel Gonçalves Barreira
Orientador/Supervisor: Ya. Pesin, The Pennsylvania State University, UniversityPark

Nº03/96: TÓPICOS DE HOLONOMIA EM GEOMETRIA DIFERENCIAL, TEORIA DO CAMPO E RELATIVIDADE
Autor/Author: Alcides José dos Prazeres Caetano
Orientador/Supervisor: Roger Picken

Nº04/96: MULTIPLICITY FORMULAS FOR ORBIFOLDS
Autor/Author: Ana Margarida Godinho Cannas da Silva
Orientador/Supervisor: Victor Guillemin, MIT

Nº05/96: ANÁLISE DISCRIMINANTE: NOVOS MÉTODOS ROBUSTOS DE ESTIMAÇÃO
Autor/Author: Ana Maria Nobre Vilhena N. Pires de Melo Parente
Orientador/Supervisor: J. A. Branco

1991

Nº01/91: PARALLEL PROGRAM DESIGN USING DATA SPACE THEORY
Autor/Author: Georg Reichwein
Orientador/Supervisor: Hans-Paul Schwefel, Universitat Dortmund am Fachbereich Informatik

1990

Nº01/90: ALGUNS PROBLEMAS DO CÁLCULO DA ENERGIA DE CORRELAÇÃO DOS ÁTOMOS
Autor/Author: Pedro Miguel Rita da Tridade e Lima
Orientador/Supervisor: S. Y. Ishenko, Universidade Estatal de Moscovo

1987

Nº01/87: SOME VARIATIONAL PROBLEMS FOR EXTERIOR DIFFERENTIAL SYSTEMS
Autor/Author: Pedro Miguel Santos Gonçalves Henriques
University of Wisconsin - Madison

Nº02/87: SOBRE AS NOÇÕES DE TRAÇO NA TEORIA DAS DISTRIBUIÇÕES
Autor/Author: Francisco dos Santos Viegas

Nº03/87: LIMITES INDUTIVOS E PROJECTIVOS - Tese Complementar
Autor/Author: Francisco dos Santos Viegas

1982

Nº01/82: PSEUDOPARTICLES IN CURVES SPACE-TIME
Autor/Author: Roger Francis Picken
Queen Mary College, Department of Physics, University of London