Mathematics Library

2005

Nº01/05: PROBLEMAS DE RIEMANN-HILBERT E POLINÓMIOS ORTOGONAIS (13-01-2005)
Author: Isabel Margarida Fialho Oliveira
Supervisor: Maria Amélia Duarte Reis Bastos

Nº02/05: A ESTRUTURA DE DADOS MATRIZ ESPARSA (17-02-2005)

Author: Elsa Cristina Batista Bento Carvalho
Supervisor: José Carmo

Nº03/05:TÉCNICAS ADAPTATIVAS PARA O PROBLEMA DE SATISFAÇÃO DE RESTRIÇÕES (17-02-2005)

Author: Elsa Cristina Batista Bento Carvalho
Supervisor: João Paulo Marques da Silva

Nº04/05: FIBRADOS QUASE-PARABÓLICOS SOBRE A RECTA PROJECTIVA (04-03-2005)
Author: Lígia Isabel Marques Carvalho
Supervisor: Peter Beier Gothen
Co-Supervisor: Carlos Florentino

Nº05/05: ESTUDO DA DIFRACÇÃO DE ONDAS ACÚSTICAS POR FISSURAS NÃO PLANAS COM PARTICULARIDADES GEOMÉTRICAS (08-03-2005)
Author: Bruno Miguel Almeida Martins Pereira
Supervisor: Carlos José Santos Alves

Author: Maria Isabel de Magalhães Colaço
Supervisor: Miguel Tribolet de Abreu

Nº07/05:CÁLCULO NUMÉRICO DE FREQUÊNCIAS DE RESSONÂNCIA E MODOS DE VIBRAÇÃO RECORRENDO AO MÉTODO DAS SOLUÇÕES FUNDAMENTAIS (19-04-2005)

Author: Pedro Ricardo Simão Antunes
Supervisor: Carlos José Santos Alves

Nº08/05:SÍMBOLOS DE INVERTIBILIDADE EM ÁLGEBRAS-PI GERADAS POR IDEMPOTENTES (03-06-2005)
Author: Albino António Dias do Carmo
Supervisor: Paulo Sérgio de Brito e Silva dos Anjos Lopes

Author: Diogo Pedro Ferreira Nascimento Baptista
Supervisor: José Rodrigues Santos de Sousa Ramos

Author: Gonçalo Nuno Rosado Morais
Supervisor: Luís Manuel Gonçalves Barreira

2004

Nº01/04: PROBLEMAS DE RIEMANN-HILBERT COM SÍMBOLOS TRIANGULARES OSCILATÓRIOS E FACTORIZAÇÃO GENERALIZADA (06-02-2004)
Author: Cristina Isabel Correia Diogo
Supervisor: Maria Cristina Carvalho de Aguiar Câmara

Nº02/04: SUPORTE DE QUANTALES E APLICAÇÕES À LÓGICA MODAL (25-02-2004)
Author: Cátia Raquel Jesus Vaz
Supervisor: Pedro Manuel Agostinho Resende

Nº03/04: ANÁLISE E SIMULAÇÃO NUMÉRICA PARA A IDENTIFICAÇÃO DE FISSURAS POR DIFRACÇÃO ACÚSTICA (06-01-2004)

Author: Pedro Miguel Picado de Carvalho Serranho
Supervisor: Carlos José Santos Alves

Nº04/04: NORMALIZAÇÃO DA IMAGEM DE OWH EM PROBLEMAS DE DIFRACÇÃO NO PLANO COM DESCONTINUIDADES (20-05-2004)
Author: Nuno José Lopes dos Santos Bernardino
Supervisor: Ana Isabel Baptista Moura Santos

Nº05/04: ESTABILIDADE EM EQUAÇÕES DIFERENCIAIS NÃO-AUTÓNOMAS (19-05-2004)
Author: Raquel Alexandra Lopes da Silva
Supervisor: Luís Manuel Gonçalves Barreira

Nº06/04: MODELO ADAPTATIVO DE PARTILHA DE LARGURA DE BANDA EM CENÁRIO DE AUTO-ESTRADA (30-07-2004)
Author: Gonçalo João Costa Jacinto
Supervisor: António Manuel Pacheco Pires

Co-Supervisor: Nelson Gomes Rodrigues Antunes

Nº07/04: O PROBLEMA DE CARLEMAN GENERALIZADO (27-7-2004)
Author: Jorge Nélio Marques Ferreira
Supervisor: Gueorgui Semenovich Litvinchuk

Co-Supervisor: Amarino Brites Lebre

Nº08/04: O PROBLEMA DE HILBERT GENERALIZADO (27-7-2004)
Author: Maurício Duarte Luís Reis
Supervisor: Gueorgui Semenovich Litvinchuk

Co-Supervisor: Amarino Brites Lebre

Nº09/04: MODELOS ESTATÍSTICOS PARA A ACÇÃO CONJUNTA DE DOIS LOCI EM FENÓTIPOS BINÁRIOS COMPLEXOS (16-09-2004)

Author: Nuno Henriques dos Santos de Sepúlveda
Supervisor: Carlos Daniel Mimoso Paulino

Co-Supervisor: Carlos Penha-Gonçalves

Nº10/04:ALGORITMOS PARA A PREDIÇÃO DA ESTRUTURA TERCIÁRIA DE PROTEÍNAS (07-12-2004)

Author: Alexandre Paulo Lourenço Francisco
Supervisor: Arlindo Manuel Limede de Oliveira

Co-Supervisor: Amílcar dos Santos Costa Sernadas

Nº11/04: OPERADORES DE CONVOLUÇÃO DE SÍMBOLO COM LACUNA ESPECTRAL MAIOR OU IGUAL A 1 E APLICAÇÃO AO CASO DE UM TRINÓMIO (10-12-2004)

Author: Délia Canha Gouveia
Supervisor: Maria Cristina Carvalho de Aguiar Câmara

Nº12/04: COSMOLOGIAS EM ESPAÇOTEMPOS ESTACIONÁRIOS
Author: João Lopes Costa
Supervisor: José António Maciel Natário

2003

Nº01/03: A TRANSFORMAÇÃO ÍNDICE. APLICAÇÃO A OPERADORES DE TOEPLITZ
Author: Nuno Filipe Marcelino Martins
Supervisor: Maria Amélia Duarte Reis Bastos

Nº02/03: ANÁLISE NUMÉRICA DE PROBLEMAS DE VALORES DE FRONTEIRA SINGULARES
Author: Matilde Pós-de-Mina Pato
Supervisor: Pedro Miguel Rita da Trindade e Lima

Nº03/03: GEOMETRIA HIPERBÓLICA E DIMENSÃO DE CONJUNTOS LIMITE
Author: Bruno Henrique Prazeres de Melo e Maia
Supervisor: Luís Manuel Gonçalves Barreira

Nº04/03: ITERATED FUNCTION SYSTEMS
Author: Pedro Figueira Torres
Supervisor: José Rodrigues Santos de Sousa Ramos

Nº05/03: COHOMOLOGIA RACIONAL DO ESPAÇO DOS CICLOS ALGÉBRICOS DE GRAU 2
Author: Helena Isabel Ferreira Soares
Supervisor: Pedro Ferreira dos Santos

Nº06/03: QUANTALES E MÓDULOS INVOLUTIVOS NUMA GENERALIZAÇÃO NÃO COMUTATIVA DA REPRESENTAÇÃO DE GELFAND
Author: Vanda Marisa da Rosa Milheiro Lourenço
Supervisor: Pedro Manuel Agostinho Resende

2002

Nº01/02: THE GENERAL PURPOSE ANALOG COMPUTER AND RECURSIVE FUNCTIONS OVER THE REALS
Author: Daniel da Silva Graça
Supervisor: José Félix Gomes da Costa

Nº02/02: COHOMOLOGIA EM SISTEMAS DINÂMICOS
Author: Maria do Rosário Domingos Laureano Reis
Supervisor: Luís Manuel Gonçalves Barreira

Nº03/02: ANÁLISE MULTIFRACTAL DE FLUXOS HIPERBÓLICOS
Author: Paulo José Fernandes Louro Ribeiro Doutor
Supervisor: Luís Manuel Gonçalves Barreira

Nº04/02: CLASSIFICAÇÃO DE FIBRADOS VECTORIAIS SOBRE SUPERFÍCIES DE RIEMANN ATRAVÉS DE EXTENSÕES
Author: Sandra Margarida Pinho da Cruz Bento
Supervisor: Carlos Armindo Arango Florentino

Nº05/02: EXPOENTES DE LYAPUNOV PARA TRANSFORMAÇÕES CONTÍNUAS
Author: César Augusto Teixeira da Silva
Supervisor: Luís Manuel Gonçalves Barreira

Nº06/02: FACTORIZAÇÃO MEROMORFA E GENERALIZADA NUMA ÁLGEBRA DE FUNÇÕES MATRICIAIS 2 ´ 2
Author: Catarina Maria Queirós Monteiro Ventura Gavinhos
Supervisor: Maria Cristina Carvalho de Aguiar Câmara

Nº07/02: SOLUÇÃO NUMÉRICA DE EQUAÇÕES INTEGRIAIS DE ABEL DE SEGUNDA ESPÉCIE
Author: Madga Stela de Jesus Rebelo
Supervisor: Maria Teresa Romãozinho Marques Diogo

Nr 08/02: TEOREMA ERGÓDICO MULTIPLICATIVO
Author: Gastão Henrique Gonçalves de Bettencourt
Supervisor: Luís Manuel Gonçalves Barreira

Nr 09/02: APLICAÇÕES DA DINÂMICA SIMBÓLICA AO ESTUDO DO DNA
Author: Carla Cristina Morbey Rodrigues
Supervisor: José Rodrigues dos Santos de Sousa Ramos

Nr 10/02: APROXIMAÇÃO NUMÉRICA DAS EQUAÇÕES DE NAVIER-STOKES BIDIMENSIONAIS EM REGIME NÃO-ESTACIONÁRIO
Author: Euclides Augusto Luís
Supervisor: Juha Hans Videman

Nr 11/02: ESTUDOS DO CAMPO DA CORRENTE COM FUNÇÕES EMPÍRICAS ORTOGONAIS
Author: Sérgio Manuel Nogueira das Neves
Supervisor: Carlos António Pancada Guedes Soares

2001

Nº01/01: ESPAÇOS DE BERGMAN E OPERADORES DE TOEPLITZ EM ESPAÇOS DE BERGMAN
Author: Luís Filipe Serrazes Ventura de Barros Pessoa
Supervisor: Maria Amélia Duarte Reis Bastos

Nº02/01: SISTEMAS DINÂMICOS DISCRETOS E APLICAÇÕES À ECONOMIA
Author: Cristina Isabel Caetano Ferreira Januário
Supervisor: José Rodrigues Santos de Sousa Ramos

Nº03/01: CURVAS PSEUDO-HOLOMORFAS EM VARIEDADES SIMPLÉTICAS DOBRADAS
Author: Sandra Patrícia Calado de Assunção Francisco
Supervisor: Ana Margarida de Lencastre Godinho Cannas da Silva

Nº04/01: SOLUÇÕES HARMÓNICAS E CAOS NO SISTEMA DE FITZHUG-NAGUMO SUBMETIDO A UM ESTÍMULO PERIÓDICO
Author: Jorge das Neves Duarte
Supervisor: José Rodrigues Santos de Sousa Ramos

Nº05/01: ÁLGEBRAS DE HOPF E COMBINATÓRIA
Author: Sérgio Manuel Moço Nunes Mendes
Supervisor: José Rodrigues Santos de Sousa Ramos

Nº06/01: MÉTODOS DE DECOMPOSIÇÃO DE DOMÍNIOS PARA PROBLEMAS ELÍPTICOS
Author: João Paulo Vicente Janela
Supervisor: Adélia da Costa Sequeira dos Ramos Silva

2000

Nº01/00: UM SÍMBOLO PARA UMA ÁLGEBRA DE OPERADORES NUM ESPAÇO COM PESO MUCKENHOUPT
Author: Pedro Grijó dos Santos Taborda Duarte
Supervisor: Maria Amélia Duarte Reis Bastos

Nº02/00: FACTORIZAÇÃO EM ÁLGEBRAS DE FUNÇÕES CONTÍNUAS E SISTEMASINTEGRÁVEIS
Author: Teresa Maria Pires Monteiro
Supervisor: Maria Amélia Duarte Reis Bastos
Co-Supervisor: António Francisco Ferreira dos Santos

Nº03/00: MÉTODO DE LOCALIZAÇÃO EM ÓRBITAS-OPERADORES COM DESLOCAMENTO
Author: Cláudio António Aires Fernandes
Supervisor: Maria Amélia Duarte Reis Bastos

Nº04/00: UM ESTUDO SOBRE O POLINÓMIO DE KAUFFMAN-VOGEL PARA GRAFOS MERGULHADORES
Author: Rui Pedro da Silva Cabrita Carpentier
Supervisor: Roger Francis Picken

Nº05/00: PROPRIEDADES GEOMÉTRICAS E TOPOLÓGICAS DOS ESPAÇOS DE BRILL-NOETHER PARA FIBRADOS VECTORIAIS SOBRE CURVAS ALGÉBRICAS
Author: Ana Cristina Malheiro Casimiro
Supervisor: Carlos Armindo Arango Florentino

Nº06/00: GRAFOS COHEN-MACAULAY
Author: Teresa Maria Jerónimo Sousa
Supervisor: Maria Vaz Pinto

Nº07/00: C* ÁLGEBRAS E GRUPOS FUCHSIANOS
Author: Carlos Correia Ramos
Supervisor: Fernando Paulo Estrêla de Pinho e Almeida

1999

Nº01/99: FACTORIZAÇÃO GENERALIZADA DE UMA CLASSE DE SÍMBOLOS MATRICIAIS
Author: Maria Teresa Mesquita da Cunha Machado Malheiro
Supervisor: Maria Cristina Carvalho de Aguiar Câmara

Nº02/99: SÉRIES DE MULTIPOLOS. SÉRIES FORMAIS E TRANSFORMAÇÃO DE FOURIER
Author: Carlos João Viana Freire de Andrade
Supervisor: Luis Camilo do Canto de Loura
Co-Supervisor: Francisco Caetano Di Sigmaringen dos Santos Viegas

Nº03/99: ESTUDO DA DIFRACÇÃO DE ONDAS ACÚSTICAS NA PROXIMIDADE DO OBSTÁCULO. PROBLEMAS DIRECTO E INVERSO
Author: Paula Maria Custódio Ribeiro Alves
Supervisor: Carlos José Santos Alves

Nº04/99: ESTRUTURAS LÓGICAS PROPOSICIONAIS MONÓTONAS E NÃO-MONÓTONAS
Author: Sandra Isabel Cardoso Gaspar Martins
Supervisor: Francisco Miguel Alves Campos de Sousa Dionísio

Nº05/99: MÉTODO DE DOMÍNIOS FICTÍCIOS PARA PROBLEMAS ELÍPTICOS
Author: Luis Ricardo Cardoso Gomes da Costa Borges
Supervisor: Adélia da Costa Sequeira dos Ramos Silva
Co-Supervisor: José Alberto de Sousa Rodrigues

Nº06/99: ÁLGEBRAS LOCALMENTE CONVEXAS
Author: Catarina Vilar Campos de Carvalho
Supervisor: Francisco José Sepulveda de Gouveia Teixeira

Nº07/99: TEORIA DE GELFAND GENERALIZADA. ÁLGEBRAS GERADAS POR OPERADORES DE TOEPLITZ E HANKEL
Author: Helena Maria Narciso Mascarenhas
Supervisor: Maria Amélia Duarte Reis Bastos

Nº08/99: COMPLEXIDADE HOMOLÓGICA E TOPOLÓGICA EM SISTEMAS DINÂMICOS
Author: Fernando Miguel Arade Simões Louro
Supervisor: Luís Manuel Gonçalves Barreira

1998

Nº01/98: MÉTODOS NUMÉRICOS PARA MODELOS DE FLUIDOS VISCOELÁSTICOS DE TIPO OLDROYD NO CASO ESTACIONÁRIO
Author: Margarida Maria das Neves Estevão Baá
Supervisor: Adélia da Costa Sequeira dos Ramos Silva

Nº02/98: FACTORIZAÇÃO DE SÍMBOLOS E DIFRACÇÃO POR ESTRUTURAS PERIÓDICAS ABERTAS
Author: Luís Manuel da Silva Cotrim
Supervisor: Maria Amélia Duarte Reis Bastos

Nº03/98: DIMENSÃO DE HAUSDORFF DE CONJUNTOS FRACTAIS GERADOS POR SISTEMAS DE FUNÇÕES ITERADAS
Author: José Leonel Linhares da Rocha
Supervisor: José Rodrigues Santos de Sousa Ramos

Nº04/98: ÁLGEBRAS-C* DE ROTAÇÃO: PROPRIEDADES ELEMENTARES E DE ESTRUTURA
Author: Nuno Filipe de Jesus Cirilo António
Supervisor:António Francisco Ferreira dos Santos

Nº05/98: MÉTODOS VARIACIONAIS E O PROBLEMA DE SEGMENTAÇÃO DE IMAGEM
Author: Hermenegildo Augusto Vieira Borges de Oliveira
Supervisor: José Carlos Pedro Cardoso Matias

Nº06/98: FACTORIZAÇÃO DE FUNÇÕES MATRICIAIS E O RESOLVENTE DE CERTOS OPERADORES
Author: Ana Isabel da Costa Conceição
Supervisor: Viktor grigorovich Kravchenko
Co-Supervisor: Francisco José Sepulveda de Gouveia Teixeira

1997

Nº01/97: TÓPICOS EM MULTIDIMENSIONAL SCALING
Author: António Carlos Graça Pampulim dos Santos
Supervisor: José António Branco

Nº02/97: FACTORIZAÇÃO NUMA ÁLGEBRA
Author: Rosa Gracinda Pereira Correia Tavares Bernardino
Supervisor: Maria Cristina Carvalgho de Aguiar Câmara

Nº03/97: CHU E GALOIS. POLARIDADE. CONEXÃO. ADJUNÇÃO
Author: José Carlos Soares do Espírito Santo
Supervisor: Maria Cristina Sales Viana Serôdio Sernadas

Nº04/97: SÍMBOLO DE INVERTIBILIDADE EM ÁLGEBRAS DE BANACH
Author: José Maria Estrela Graça Salazar
Supervisor: Maria Cristina de Aguiar Câmara

Nº05/97: COMBINAÇÃO DE LÓGICAS:TEMPORALIZAÇÃO
Author: Ana Luisa de Amorim Ferreira Fernandes Nunes
Supervisor: Maria Cristina Sales Viana Serôdio Sernadas

Nº06/97: RACIOCÍNIO ABDUTIVO SOBRE ESPECIFICAÇÕES TEMPORAIS DE OBJECTOS
Author: Maria Paula Antunes Abrantes Gouveia
Supervisor: Maria Cristina Sales Viana Serôdio Sernadas

Nº07/97: ESTUDO CATEGORICAL DO RELACIONAMENTO ENTRE LÓGICAS
Author: Maria João de Carvalho Pereira Coutinho
Supervisor: Maria Cristina Sales Viana Serôdio Sernadas

1996

Nº01/96: OPERADORES DE TOEPLITZ E FACTORIZAÇÃO EM ALGEBRAS DE FUNÇÕES QUASE PERIÓDICAS
Author: António José Vieira Bravo
Supervisor: Maria Amélia Duarte Reis Bastos

Nº02/96: AUTOMORFISMOS HIPERBÓLICOS DO TORO
Author: Pedro Alves Martins Rodrigues
Supervisor: José Rodrigues Santos de Sousa Ramos

Nº03/96: ALGUNS ASPECTOS TEÓRICOS E PRÁCTICOS DO MODELO MULTIDIMENSIONAL SCALING
Author: Sérgio Marques Valente
Supervisor: João António Branco

Nº04/96: BIFURCAÇÕES DE APLICAÇÕES DO INTERVALO
Author: Henrique Manuel dos Santos Silveira de Oliveira
Supervisor: José Rodrigues Santos de Sousa Ramos

Nº05/96: CÁLCULO DO INVARIANTE S DE CONNES EM ALGUNS EXEMPLOS DE FACTORES DO TIPO III
Author: Nuno Miguel Matos Ramos Martins
Supervisor: Shingo Okamoto

Nº06/96: ANÁLISE BAYESIANA DE DADOS CATEGORIZADOS INCOMPLETOS-IMPLEMTAÇÃO COMPUTACIONAL
Author: Paulo José de Jesus Soares
Supervisor: Carlos Daniel Mimoso Paulino

Nº07/96: MÉTODOS NUMÉRICOS PARA EQUAÇÕES INTEGRAIS DE VOLTERA COM NÚCLEO SINGULAR
Author: Maria Isabel Conceição Santos Reis dos Santos
Supervisor: Maria Teresa Romãozinho Marques Diogo
Co-Supervisor: Pedro Miguel Rita da Trindade e Lima

Nº08/96: ITERADAS DE APLICAÇÕES DE NEWTON COMO SISTEMAS DINÂMICOS
Author: Luis Manuel Ferreira da Silva
Supervisor: José Rodrigues Santos de Sousa Ramos

Nº09/96: SEMÂNTICA DA LINGUAGEM GAUTOR EM TyCO
Author: António Maria Alarcão Ravara
Supervisor: Amilcar dos Santos Costa Sernadas
Co-Supervisor: Vasco Manuel Tudichum de Serpa Vasconcelos

Nº10/96: COMPLETUDE EM LÓGICAS MODAIS E TEMPORAIS
Author: Joana Martins Ferreira de Campos de Carvalho
Supervisor: Maria Cristina Sales Viana Serôdio Sernadas

Nº11/96: FUNÇÕES QUASICONVEXAS
Author: Pedro Miguel de Matos da Silva Santos
Supervisor: João Manuel Saldanha Palhoto de Matos

Nº12/96: TOPOLOGIA DOS NÍVEIS DE ENERGIA REGULARIZADOS PARA O PROBLEMA RESTRITO DOS TRÊS CORPOS
Author: José António Maciel Natário
Supervisor: Waldyr Muniz Oliva
Co-Supervisor: Carlos António Varela da Rocha

Nº13/96: O MODELO MISTO DOS VÓRTICES
Author: Diogo Luís de Castro Vasconcelos de Aguiar Gomes
Supervisor: Waldyr Muniz Oliva

Nº14/96: LINEARIZAÇÃO DUM SISTEMA DE LOTKA-VOLTERRA NA JACOBIANA DUMA CURVA HIPERELÍPTICA
Author: João Paulo Neves Monteiro dos Santos
Supervisor: Rui António Loja Fernandes

Nº15/96: SOBRE A TEORIA DAS HIPERFUNÇÕES
Author: Sofia Maria Lima Naique
Supervisor: Luísa Maria Lopes Ribeiro

Nº16/96: IMPLEMENTAÇÃO COMPUTACIONAL DE ANÁLISES CLÁSSICAS DE DADOS CATEGORIZADOS INCOMPLETOS
Author: Isabel Maria Alves Rodrigues
Supervisor: Carlos Daniel Mimoso Paulino

Nº17/96: OS ESPAÇOS DE ULTRADISTRIBUIÇÕES
Author: Ana Leonor Mestre Vicente Silvestre
Supervisor: Francisco Caetano Di Sigmaringen dos Santos Viegas
Co-Supervisor: Luis Camilo do Canto de Loura

Nº18/96: CLASSIFICAÇÃO DE FACTORES E RELAÇÕES ERGÓDICAS
Author: Pedro Miguel Marques Francisco Lopes
Supervisor: Shingo Okamoto
Co-Supervisor: José Rodrigues Santos de Sousa Ramos

1995

Nº01/95: PROBLEMAS DE DIFRACÇÃO DE SOMMERFELD COM DERIVADAS OBLÍQUAS
Author: Ana Isabel Baptista Moura Santos
Supervisor: Frank-Olme Speck

Nº02/95: ANÁLISE FACTORIAL DICOTÓMICA: UM MODELO DE VARIÁVEIS LATENTES PARA RESPOSTAS BINÁRIAS
Author: Maria do Rosário de Oliveira Silva
Supervisor: João António Branco

Nº03/95: SUBFACTORES DO TIPO II₁ E TEORIA DAS REPRESENTAÇÕES DE GRUPOS
Author: Paulo Jorge da Rocha Pinto
Supervisor: Shingo Okamoto

Nº04/95: RESOLUÇÃO DE EQUAÇÕES DE EMDEN-FOWLER PELO MÉTODO DOS ELEMENTOS FINITOS
Author: Ana Cristina Soares de Lemos
Supervisor: Pedro Miguel Rita da Trindade e Lima

Nº05/95: SEQUENCIALIZAÇÃO ÓPTIMA DE TAREFAS EM m-MÁQUINAS: ALGUMAS CONTRIBUIÇÕES
Author: Cláudia Rata Ribeiro Coelho Nunes Philippart
Supervisor: João Amaral

Nº06/95: LÓGICA TEMPORAL DE OBJECTOS COM TEMPO EXPLÍCITO
Author: João Fernando da Conceição Gomes
Supervisor: Cristina Sernadas

Nº07/95: CARTAS DE CONTROLO FSI E VSI PARA O PARÂMETRO DE ESCALA DA POPULAÇÃO WEIBULL TRI-PARAMÉTRICA
Author: Manuel João Cabral Morais
Supervisor: Fernanda Ramalhoto

Nº08/95: LÓGICA DE CERTIFICAÇÃO GAUTOR
Author: Jaime Arsénio de Brito Ramos
Supervisor: Cristina Sernadas

Nº09/95: COMUNIDADES DISTRIBUÍDAS DE OBJECTOS
Author: Carlos Manuel Costa Lourenço CAleiro
Supervisor: Amílcar Sernadas

1994

Nº01/94: PROPRIEDADES DE REGULARIDADE DOS OPERADORES LINEARES
Author: Paulo Manuel Marques Peres de Lucena
Supervisor: Frank-Olme Speck

Nº02/94: SISTEMAS DE FUNÇÕES ITERADAS E APLICAÇÕES
Author: Irene Maria Pires Brandão
Supervisor: José Sousa Ramos

Nº03/94: AJUSTAMENTO DE CURVAS POR MÉTODOS NÃO PARAMÉTRICOS
Author: Maria João Teixeira Martins
Supervisor: Maria Teresa Diogo

Nº04/94: ATIYAH-BOTT THEORY FOR ORBIFOLDS AND DEDEKIND SUMS
Author: Ana Cannas da Silva
Supervisor: David Vogan

Nº05/94: OPERADORES DE WIENER-HOPF COM PRESÍMBOLOS EM [PC_p(Ù )]^{n´ n} E APLICAÇÕES
Author: Pedro Alexandre Simões dos Santos
Supervisor: Francisco Sepúlveda Teixeira

Nº06/94: A CARACTERIZAÇÃO DO ESPAÇO INTERMÉDIO EM FACTORIZAÇÕES GENERALIZADAS
Author: Luís Filipe Pinheiro de Castro
Supervisor: Frank-Olme Speck

1993

Nº01/93: PROBLEMAS SINGULARES EM EQUAÇÕES DE REACÇÃO-DIFUSÃO. MÉTODO DAS DUAS ESCALAS
Author: Maria João Simões Nunes Borges
Supervisor: Carlos Rocha

Nº02/93: SOBRE UMA CLASSE DE SEMI-GRUPOS DE OPERADORES NÃO-LINEARES
Author: João Paulo Fernandes Teixeira

Nº03/93: PERMISSÕES E OBRIGAÇÕES
Author: Nuno Pedro Duarte Marques Barreiro

Nº04/93: HERANÇA NA ESPECIFICAÇÃO OBLOG
Author: Maria António Bacelar da Costa Lopes
Supervisor: José Luiz Fiadeiro

1992

Nº01/92: LÓGICA DEÔNTICA: UMA PANORÂMICA
Author: Maria João de Lacerda Nave Alegre
Supervisor: José Manuel Cunha Leal Molarinho Carmo

Nº02/92: RESOLUÇÃO DA EQUAÇÃO DE STOKES POR UM MÉTODO DE ELEMENTOS FINITOS MISTO
Author: José Alberto de Sousa Rodrigues
Supervisor: Vivette Girault

Nº03/92: ABORDAGEM ORIENTADA AO OBJECTO PARA A TRADUÇÃO DE LINGUAGENS FORMAIS
Author: João Pedro de J. Sousa
Supervisor: Amílcar Sernadas

Nº04/92: O PROCESSAMENTO PARALELO E O SEU IMPACTO NO DESENHO DE ALGORITMOS EM ÁLGEBRA LINEAR NUMÉRICA
Author: Artur Olímpico Ferreira Gonçalves da Silva
Supervisor: António St. Aubyn

Nº05/92: TABLEAUX PARA RACIOCÍNIO LOCAL SOBRE OBJECTOS
Author: Maria Paula Antunes Abrantes Gouveia
Supervisor: Cristina Sernadas

1991

Nº01/91: UM MODELO E SUBMODELOS CATEGORIAIS DE PROCESSOS CONCORRENTES
Author: Francisco Miguel Alves Campos de Sousa Dionísio
Supervisor: Amílcar dos Santos Costa Sernadas

Nº02/91: SOBRE O CÁLCULO SIMBÓLICO HOLOMORFO EM ÁLGEBRAS BORNOLÓGICAS CONVEXAS
Author: Jorge Manuel Amaro d'Almeida
Supervisor: Francisco dos Santos Viegas

Nº03/91: OPERADORES DE WIENER-HOPF ABSTRACTOS
Author: Paulo Sérgio de Brito dos Anjos Lopes
Supervisor: António Ferreira dos Santos

Nº04/91: SOBRE ALGUMAS NOÇÕES DE VALOR E LIMITE NA TEORIA DAS DISTRIBUIÇÕES
Author: Lina Maria Mateus de Oliveira
Supervisor: Francisco dos Santos Viegas

Nº05/91: TABLEAUX PARA LÓGICA DINÂMICA PROPOSICIONAL
Author: Pedro Amnuel Agostinho Resende
Supervisor: Amílcar dos Santos Costa Sernadas

Nº06/91: UMA LÓGICA DEÔNTICA DE ACÇÕES PARA A REPRESENTAÇÃO DO CONHECIMENTO JURÍDICO
Author: Filipe Alexandre Azinhais dos Santos
Supervisor: José Manuel Cunha Leal Molarinho Carmo

Nº07/91: SERIALIZAÇÃO E PARALELIZAÇÃO
Author: António Manuel Ferreira Rito da Silva
Supervisor: Maria Cristina Sales Viana Serôdio Sernadas

1990

Nº01/90: BIFURCAÇÕES NAS EQUAÇÕES DE FITZHUGH-NAGUMO
Author: Pedro Simões Cristina de Freitas
Supervisor: Carlos Varelas da Rocha

Nº02/90: UMA INTRODUÇÃO À TEORIA DAS DISTRIBUIÇÕES SOBRE VARIEDADES
Author: António Carlos dos Santos Paixão
Supervisor: Francisco Viegas

Nº03/90: SISTEMAS M/M/r/n: COMPARAÇÃO DE SISTEMAS COM IGUAIS TAXAS DE CHEGADAS E DE SERVIÇO
Author: António Manuel Pacheco Pires

Nº04/90: ESTIMAÇÃO ROBUSTA E SUA APLICAÇÃO A COMPONENTES PRINCIPAIS
Author: Ana Maria Nobre Vilhena Nunes Pires
Supervisor: João Branco

1989

Nº01/89: SOLUÇÕES SINGULARES DEFINIDAS PELO OPERADOR DE BESSEL
Author: João Maria da Cruz Teixeira Pinto

Nº02/89: TEORIA ALGÉBRICA DOS PROCESSOS ANIMADOS
Author: José Félix Gomes da Costa
Supervisor: Amílcar dos Santos Costa Sernadas

Nº03/89: BIFURCAÇÕES COM SIMETRIA
Author: Maria Esmeralda Rodrigues de Sousa Dias
Supervisor: Luís Magalhães

Nº04/89: PADRÕES ESTACIONÁRIOS EM SISTEMAS DE REACÇÃO ­ DIFUSÃO
Author: Fernando Manuel Pestana da Costa

Nº05/89: GERAÇÃO E TESTE DE NÚMERO ALEATÓRIOS
Author: Rui Manuel Lopes Marques

Nº06/89: SEMIGRUPOS INTEGRAIS E PROBLEMAS DE CAUCHY ABSTRACTO
Author: Gabriel Esperança Pires
Supervisor: José M. Ferreira

1986

Nº01/86:OPERADORES INTEGRAIS LIMITADOS EM ESPAÇOS L²
Author: José Manuel Gonçalves Ribeiro

1984

Nº 01/84: MESTRADO EM INVESTIGAÇÃO OPERACIONAL E ENGENHARIA DE SISTEMAS
Author: Valadares Tavares