Biblioteca de MatemáticaRepositório Informal de Teses de MestradoEsta página já não é mantida.
2005
Nº02/05: A ESTRUTURA DE DADOS MATRIZ ESPARSA (17-02-2005)
Autor: Elsa Cristina Batista Bento Carvalho
Nº03/05:TÉCNICAS ADAPTATIVAS PARA O PROBLEMA DE SATISFAÇÃO DE RESTRIÇÕES (17-02-2005)
Autor: Elsa Cristina Batista Bento Carvalho
Nº04/05: FIBRADOS
QUASE-PARABÓLICOS SOBRE A RECTA PROJECTIVA (04-03-2005)
Nº05/05: ESTUDO DA DIFRACÇÃO DE
ONDAS ACÚSTICAS POR FISSURAS NÃO PLANAS COM PARTICULARIDADES GEOMÉTRICAS
(08-03-2005)
Nº06/05: A VARIEDADE
ALGÉBRICA TÓRICA DE UMA VARIEDADE SIMPLÉCTICA TÓRICA (30-03-2005)
Autor: Maria Isabel de Magalhães Colaço
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)
Autor: Pedro Ricardo Simão Antunes
Nº08/05:SÍMBOLOS DE
INVERTIBILIDADE EM ÁLGEBRAS-PI GERADAS POR IDEMPOTENTES
(03-06-2005)
Nº09/05:ATRACTORES
ESTRANHOS EM APLICAÇÕES DO PLANO NO PLANO
(04-11-2005)
Autor: Diogo Pedro Ferreira Nascimento Baptista
Nº10/05:DIMENSÃO PONTUAL E
DECOMPOSIÇÕES ERGÓDICAS
Autor: Gonçalo Nuno Rosado Morais
Nº01/04: PROBLEMAS DE
RIEMANN-HILBERT COM SÍMBOLOS TRIANGULARES OSCILATÓRIOS E FACTORIZAÇÃO
GENERALIZADA (06-02-2004)
Nº02/04: SUPORTE DE
QUANTALES E APLICAÇÕES À LÓGICA MODAL (25-02-2004)
Nº03/04: ANÁLISE E
SIMULAÇÃO NUMÉRICA PARA A IDENTIFICAÇÃO DE FISSURAS POR DIFRACÇÃO ACÚSTICA
(06-01-2004)
Nº04/04: NORMALIZAÇÃO DA
IMAGEM DE OWH EM PROBLEMAS DE DIFRACÇÃO NO PLANO COM DESCONTINUIDADES
(20-05-2004)
Nº05/04: ESTABILIDADE EM
EQUAÇÕES DIFERENCIAIS NÃO-AUTÓNOMAS (19-05-2004)
Nº06/04: MODELO ADAPTATIVO
DE PARTILHA DE LARGURA DE BANDA EM CENÁRIO DE AUTO-ESTRADA
(30-07-2004) Co-Orientador: Nelson Gomes Rodrigues Antunes
Nº07/04: O PROBLEMA DE
CARLEMAN GENERALIZADO (27-7-2004) Co-Orientador: Amarino Brites Lebre
Nº08/04: O PROBLEMA DE
HILBERT GENERALIZADO (27-7-2004) Co-Orientador: 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)
Autor: Nuno Henriques dos Santos de
Sepúlveda Co-Orientador: Carlos Penha-Gonçalves
Nº10/04:ALGORITMOS PARA A PREDIÇÃO DA ESTRUTURA TERCIÁRIA DE PROTEÍNAS (07-12-2004)
Autor: Alexandre Paulo Lourenço
Francisco Co-Orientador: 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)
Autor: Délia Canha Gouveia
Nº12/04: COSMOLOGIAS EM
ESPAÇOTEMPOS ESTACIONÁRIOS
Nº01/03: A TRANSFORMAÇÃO
ÍNDICE. APLICAÇÃO A OPERADORES DE TOEPLITZ
Nº02/03: ANÁLISE NUMÉRICA
DE PROBLEMAS DE VALORES DE FRONTEIRA SINGULARES
Nº03/03: GEOMETRIA
HIPERBÓLICA E DIMENSÃO DE CONJUNTOS LIMITE
Nº04/03: ITERATED FUNCTION
SYSTEMS
Nº05/03: COHOMOLOGIA
RACIONAL DO ESPAÇO DOS CICLOS ALGÉBRICOS DE GRAU 2
Nº06/03: QUANTALES E
MÓDULOS INVOLUTIVOS NUMA GENERALIZAÇÃO NÃO COMUTATIVA DA REPRESENTAÇÃO DE
GELFAND
2002
Nº01/02: THE GENERAL
PURPOSE ANALOG COMPUTER AND RECURSIVE FUNCTIONS OVER THE
REALS
Nº02/02: COHOMOLOGIA EM
SISTEMAS DINÂMICOS
Nº03/02: ANÁLISE
MULTIFRACTAL DE FLUXOS HIPERBÓLICOS
Nº04/02: CLASSIFICAÇÃO DE
FIBRADOS VECTORIAIS SOBRE SUPERFÍCIES DE RIEMANN ATRAVÉS DE
EXTENSÕES
Nº05/02: EXPOENTES DE
LYAPUNOV PARA TRANSFORMAÇÕES CONTÍNUAS
Nº06/02: FACTORIZAÇÃO
MEROMORFA E GENERALIZADA NUMA ÁLGEBRA DE FUNÇÕES MATRICIAIS 2 ´
2
Nº07/02: SOLUÇÃO NUMÉRICA
DE EQUAÇÕES INTEGRIAIS DE ABEL DE SEGUNDA ESPÉCIE
Nr 08/02: TEOREMA ERGÓDICO
MULTIPLICATIVO
Nr 09/02: APLICAÇÕES DA
DINÂMICA SIMBÓLICA AO ESTUDO DO DNA
Nr 10/02: APROXIMAÇÃO
NUMÉRICA DAS EQUAÇÕES DE NAVIER-STOKES BIDIMENSIONAIS EM REGIME
NÃO-ESTACIONÁRIO
Nr 11/02: ESTUDOS DO CAMPO
DA CORRENTE COM FUNÇÕES EMPÍRICAS ORTOGONAIS
2001
Nº01/01: ESPAÇOS DE BERGMAN
E OPERADORES DE TOEPLITZ EM ESPAÇOS DE BERGMAN
Nº02/01: SISTEMAS DINÂMICOS
DISCRETOS E APLICAÇÕES À ECONOMIA
Nº03/01: CURVAS
PSEUDO-HOLOMORFAS EM VARIEDADES SIMPLÉTICAS DOBRADAS
Nº04/01: SOLUÇÕES
HARMÓNICAS E CAOS NO SISTEMA DE FITZHUG-NAGUMO SUBMETIDO A UM ESTÍMULO
PERIÓDICO
Nº05/01: ÁLGEBRAS DE HOPF E
COMBINATÓRIA
Nº06/01: MÉTODOS DE
DECOMPOSIÇÃO DE DOMÍNIOS PARA PROBLEMAS ELÍPTICOS
2000
Nº01/00: UM SÍMBOLO PARA
UMA ÁLGEBRA DE OPERADORES NUM ESPAÇO COM PESO
MUCKENHOUPT
Nº02/00: FACTORIZAÇÃO EM
ÁLGEBRAS DE FUNÇÕES CONTÍNUAS E SISTEMASINTEGRÁVEIS
Nº03/00: MÉTODO DE
LOCALIZAÇÃO EM ÓRBITAS-OPERADORES COM DESLOCAMENTO
Nº04/00: UM ESTUDO SOBRE O
POLINÓMIO DE KAUFFMAN-VOGEL PARA GRAFOS MERGULHADORES
Nº05/00: PROPRIEDADES
GEOMÉTRICAS E TOPOLÓGICAS DOS ESPAÇOS DE BRILL-NOETHER PARA FIBRADOS
VECTORIAIS SOBRE CURVAS ALGÉBRICAS
Nº06/00: GRAFOS
COHEN-MACAULAY
Nº07/00: C* ÁLGEBRAS E
GRUPOS FUCHSIANOS
1999
Nº01/99: FACTORIZAÇÃO
GENERALIZADA DE UMA CLASSE DE SÍMBOLOS MATRICIAIS
Nº02/99: SÉRIES DE
MULTIPOLOS. SÉRIES FORMAIS E TRANSFORMAÇÃO DE FOURIER
Nº03/99: ESTUDO DA
DIFRACÇÃO DE ONDAS ACÚSTICAS NA PROXIMIDADE DO OBSTÁCULO. PROBLEMAS DIRECTO
E INVERSO
Nº04/99: ESTRUTURAS LÓGICAS
PROPOSICIONAIS MONÓTONAS E NÃO-MONÓTONAS
Nº05/99: MÉTODO DE DOMÍNIOS
FICTÍCIOS PARA PROBLEMAS ELÍPTICOS
Nº06/99: ÁLGEBRAS
LOCALMENTE CONVEXAS
Nº07/99: TEORIA DE GELFAND
GENERALIZADA. ÁLGEBRAS GERADAS POR OPERADORES DE TOEPLITZ E
HANKEL
Nº08/99: COMPLEXIDADE
HOMOLÓGICA E TOPOLÓGICA EM SISTEMAS DINÂMICOS
1998
Nº01/98: MÉTODOS NUMÉRICOS
PARA MODELOS DE FLUIDOS VISCOELÁSTICOS DE TIPO OLDROYD NO CASO
ESTACIONÁRIO
Nº02/98: FACTORIZAÇÃO DE
SÍMBOLOS E DIFRACÇÃO POR ESTRUTURAS PERIÓDICAS ABERTAS
Nº03/98: DIMENSÃO DE
HAUSDORFF DE CONJUNTOS FRACTAIS GERADOS POR SISTEMAS DE FUNÇÕES
ITERADAS
Nº04/98: ÁLGEBRAS-C* DE
ROTAÇÃO: PROPRIEDADES ELEMENTARES E DE ESTRUTURA
Nº05/98: MÉTODOS
VARIACIONAIS E O PROBLEMA DE SEGMENTAÇÃO DE IMAGEM
Nº06/98: FACTORIZAÇÃO DE
FUNÇÕES MATRICIAIS E O RESOLVENTE DE CERTOS OPERADORES
1997
Nº01/97: TÓPICOS EM
MULTIDIMENSIONAL SCALING
Nº02/97: FACTORIZAÇÃO NUMA
ÁLGEBRA
Nº03/97: CHU E GALOIS.
POLARIDADE. CONEXÃO. ADJUNÇÃO
Nº04/97: SÍMBOLO DE
INVERTIBILIDADE EM ÁLGEBRAS DE BANACH
Nº05/97: COMBINAÇÃO DE
LÓGICAS:TEMPORALIZAÇÃO
Nº06/97: RACIOCÍNIO
ABDUTIVO SOBRE ESPECIFICAÇÕES TEMPORAIS DE OBJECTOS
Nº07/97: ESTUDO CATEGORICAL
DO RELACIONAMENTO ENTRE LÓGICAS
1996
Nº01/96: OPERADORES DE
TOEPLITZ E FACTORIZAÇÃO EM ALGEBRAS DE FUNÇÕES QUASE
PERIÓDICAS
Nº02/96: AUTOMORFISMOS
HIPERBÓLICOS DO TORO
Nº03/96: ALGUNS ASPECTOS
TEÓRICOS E PRÁCTICOS DO MODELO MULTIDIMENSIONAL
SCALING
Nº04/96: BIFURCAÇÕES DE
APLICAÇÕES DO INTERVALO
Nº05/96: CÁLCULO DO
INVARIANTE S DE CONNES EM ALGUNS EXEMPLOS DE FACTORES DO TIPO
III
Nº06/96: ANÁLISE BAYESIANA
DE DADOS CATEGORIZADOS INCOMPLETOS-IMPLEMTAÇÃO
COMPUTACIONAL
Nº07/96: MÉTODOS NUMÉRICOS
PARA EQUAÇÕES INTEGRAIS DE VOLTERA COM NÚCLEO SINGULAR
Nº08/96: ITERADAS DE
APLICAÇÕES DE NEWTON COMO SISTEMAS DINÂMICOS
Nº09/96: SEMÂNTICA DA
LINGUAGEM GAUTOR EM TyCO
Nº10/96: COMPLETUDE EM
LÓGICAS MODAIS E TEMPORAIS
Nº11/96: FUNÇÕES
QUASICONVEXAS
Nº12/96: TOPOLOGIA DOS
NÍVEIS DE ENERGIA REGULARIZADOS PARA O PROBLEMA RESTRITO DOS TRÊS
CORPOS
Nº13/96: O MODELO MISTO DOS
VÓRTICES
Nº14/96: LINEARIZAÇÃO DUM
SISTEMA DE LOTKA-VOLTERRA NA JACOBIANA DUMA CURVA
HIPERELÍPTICA
Nº15/96: SOBRE A TEORIA DAS
HIPERFUNÇÕES
Nº16/96: IMPLEMENTAÇÃO
COMPUTACIONAL DE ANÁLISES CLÁSSICAS DE DADOS CATEGORIZADOS
INCOMPLETOS
Nº17/96: OS ESPAÇOS DE
ULTRADISTRIBUIÇÕES
Nº18/96: CLASSIFICAÇÃO DE
FACTORES E RELAÇÕES ERGÓDICAS
1995
Nº01/95: PROBLEMAS DE
DIFRACÇÃO DE SOMMERFELD COM DERIVADAS OBLÍQUAS
Nº02/95: ANÁLISE FACTORIAL
DICOTÓMICA: UM MODELO DE VARIÁVEIS LATENTES PARA RESPOSTAS
BINÁRIAS
Nº03/95: SUBFACTORES DO
TIPO II1 E TEORIA DAS REPRESENTAÇÕES DE
GRUPOS
Nº04/95: RESOLUÇÃO DE
EQUAÇÕES DE EMDEN-FOWLER PELO MÉTODO DOS ELEMENTOS
FINITOS
Nº05/95: SEQUENCIALIZAÇÃO
ÓPTIMA DE TAREFAS EM m-MÁQUINAS: ALGUMAS CONTRIBUIÇÕES
Nº06/95: LÓGICA TEMPORAL DE
OBJECTOS COM TEMPO EXPLÍCITO
Nº07/95: CARTAS DE CONTROLO
FSI E VSI PARA O PARÂMETRO DE ESCALA DA POPULAÇÃO WEIBULL
TRI-PARAMÉTRICA
Nº08/95: LÓGICA DE
CERTIFICAÇÃO GAUTOR
Nº09/95: COMUNIDADES
DISTRIBUÍDAS DE OBJECTOS
1994
Nº01/94: PROPRIEDADES DE
REGULARIDADE DOS OPERADORES LINEARES
Nº02/94: SISTEMAS DE
FUNÇÕES ITERADAS E APLICAÇÕES
Nº03/94: AJUSTAMENTO DE
CURVAS POR MÉTODOS NÃO PARAMÉTRICOS
Nº04/94: ATIYAH-BOTT THEORY
FOR ORBIFOLDS AND DEDEKIND SUMS
Nº05/94: OPERADORES DE
WIENER-HOPF COM PRESÍMBOLOS EM [PCp(Ù )]n´ n E
APLICAÇÕES
Nº06/94: A CARACTERIZAÇÃO
DO ESPAÇO INTERMÉDIO EM FACTORIZAÇÕES GENERALIZADAS
1993
Nº01/93: PROBLEMAS
SINGULARES EM EQUAÇÕES DE REACÇÃO-DIFUSÃO. MÉTODO DAS DUAS
ESCALAS
Nº02/93: SOBRE UMA CLASSE
DE SEMI-GRUPOS DE OPERADORES NÃO-LINEARES
Nº03/93: PERMISSÕES E
OBRIGAÇÕES
Nº04/93: HERANÇA NA
ESPECIFICAÇÃO OBLOG
1992
Nº01/92: LÓGICA DEÔNTICA:
UMA PANORÂMICA
Nº02/92: RESOLUÇÃO DA
EQUAÇÃO DE STOKES POR UM MÉTODO DE ELEMENTOS FINITOS
MISTO
Nº03/92: ABORDAGEM
ORIENTADA AO OBJECTO PARA A TRADUÇÃO DE LINGUAGENS
FORMAIS
Nº04/92: O PROCESSAMENTO
PARALELO E O SEU IMPACTO NO DESENHO DE ALGORITMOS EM ÁLGEBRA LINEAR
NUMÉRICA
Nº05/92: TABLEAUX PARA
RACIOCÍNIO LOCAL SOBRE OBJECTOS
1991
Nº01/91: UM MODELO E
SUBMODELOS CATEGORIAIS DE PROCESSOS CONCORRENTES
Nº02/91: SOBRE O CÁLCULO
SIMBÓLICO HOLOMORFO EM ÁLGEBRAS BORNOLÓGICAS CONVEXAS
Nº03/91: OPERADORES DE
WIENER-HOPF ABSTRACTOS
Nº04/91: SOBRE ALGUMAS
NOÇÕES DE VALOR E LIMITE NA TEORIA DAS DISTRIBUIÇÕES
Nº05/91: TABLEAUX PARA
LÓGICA DINÂMICA PROPOSICIONAL
Nº06/91: UMA LÓGICA
DEÔNTICA DE ACÇÕES PARA A REPRESENTAÇÃO DO CONHECIMENTO
JURÍDICO
Nº07/91: SERIALIZAÇÃO E
PARALELIZAÇÃO
1990
Nº01/90: BIFURCAÇÕES NAS
EQUAÇÕES DE FITZHUGH-NAGUMO
Nº02/90: UMA INTRODUÇÃO À
TEORIA DAS DISTRIBUIÇÕES SOBRE VARIEDADES
Nº03/90: SISTEMAS M/M/r/n:
COMPARAÇÃO DE SISTEMAS COM IGUAIS TAXAS DE CHEGADAS E DE
SERVIÇO
Nº04/90: ESTIMAÇÃO ROBUSTA
E SUA APLICAÇÃO A COMPONENTES PRINCIPAIS
1989
Nº01/89: SOLUÇÕES
SINGULARES DEFINIDAS PELO OPERADOR DE BESSEL
Nº02/89: TEORIA ALGÉBRICA
DOS PROCESSOS ANIMADOS
Nº03/89: BIFURCAÇÕES COM
SIMETRIA
Nº04/89: PADRÕES
ESTACIONÁRIOS EM SISTEMAS DE REACÇÃO DIFUSÃO
Nº05/89: GERAÇÃO E TESTE DE
NÚMERO ALEATÓRIOS
Nº06/89: SEMIGRUPOS
INTEGRAIS E PROBLEMAS DE CAUCHY ABSTRACTO
1986
Nº01/86:OPERADORES
INTEGRAIS LIMITADOS EM ESPAÇOS L2
1984
Nº 01/84: MESTRADO EM
INVESTIGAÇÃO OPERACIONAL E ENGENHARIA DE SISTEMAS |