Biblioteca de Matemática

Repositório informal de trabalhos finais de curso da LMAC

Esta página já não é actualizada.

2004

Author

Title

140

Sofia Ferreira Pinto

Identificação de Clientes em Risco de Erosão de Recursos em Aplicações Bancárias

139

Ana Teresa Pala

Contribuição Estatística para a Gestão de uma Rede de Agências Bancárias

138

Ana Martins,

Cristina Neto

Máquinas de Turing

137

Carla Sofia Miranda

Análises Estatísticas sobre o Pinheiro Bravo

136

Sílvia Guerra

Medidas Hiperbólicas de Dimensão Máxima

135

Ana Lara Simões

Análise Comparativa de Disciplinas de Serviço no Processamento de Mensagens em Sistemas de Navegação Aeronáutica

134

Marco Constantino

Sobre a Amostragem de Aceitação para Variáveis Não-Gaussianas

133

Joana Martinho

π - Calculus With Polyadic Synchronization

132

Tiago Alcaria

Cohomologia Local

131

Sara Chainho

Persistência em Aplicações SIP de Alta Fidelidade

130

Rosa Trindade

Teorema de Corsuk-Ulam vs Partilha Justa

129

Diogo Sales Grade

Aplicação para Gestão de Informação sobre Futebol

128

Gonçalo Reis

Métodos Numéricos para Equações Diferencias Estocásticas

127

Annabela Pelicano

Difeomorfismos da Circunferência e Número de Rotação

126

Marília Bela Gomes Dias Almeida

Portabilidade Numérica

125

Ricardo João Rodrigues Gonçalves

Algebraization of Logics and Beyond

124

Inês João Bonacho dos Anjos Monteiro Henriques

Propriedades Aritméticas do Anel Graduado Associado a um Ideal m-Primário de um Anel de Cohen-Macaulay Local

123

Carlos Eduardo Conceição Saial

Introdução à Teoria dos Jogos Quânticos

122

Ricardo da Conceição Inglês

Polígonos e Razões Trigonométricas Construtíveis

                                   

 

2003

Author

Title

121

Maria Resende

Redução de Ideais em Anéis Locais

120

Joana Maria Lopes,

Susana Diegues Ramos

Previsão do Tempo de Espera em Balcões de Configuração Heterogénea

119

Anita Florbela Santos Inácio

Gestão de bases de dados

118

Marília Bela G. D. Almeida

Portabilidade Numérica

117

Hugo Pereira,

Vanda Batista

Perfil de Gestão

116

Carla Marques

Ensino Assistido por Computador: Exemplos e Exercícios de Algebra e Análise

115

Ana Rodrigues,

Sara Oliveira

Gestão de Grupos

114

Patrícia Engrácia

Universo de Gödel

113

Vasco Manuel Rolão Gervásio

Reconhecimento de Expressões Matemáticas

112

Gonçalo Luz Correia

Resolução Numérica do Problema de Stokes por Métodos de Hood-Taylor

111

Pedro Ricardo Simão Antunes

O Método das Soluções Fundamentais Aplicado ao Cálculo de Frequências de Ressonância e Modos de Vibração

110

Joana I. L. Miguéns

Quantum Data Compression

109

Luís Manuel Silveira Russo

Algebra in a Topos

108

Ana Freire,

Rita Sanchas

Aplicação de Lógicas Modais à Especificação de Organizações

107

Nuno Álvaro Gonçalves Palma

Indução e Funções Importantes

106

Sara Calado

Ensino Assistido por Computador de Algebra e Cálculo no Ramo de Teoria dos Conjuntos

105

João Pedro Pargana

Desenvolvimento de Questões-Molde, Referentes a Conteúdos Programáticos de Matemática, para         E-Learning

104

Carla Alexandra Gonçalves Alvarrão

Análise Log-Linear da Satisfação dos Utentes com o Serviço Nacional das Farmácias

103

Ana Cristina Branquinho Frutuoso

O Problema da Próxima Melhor Oferta na Actividade Bancária

102

Cláudia Isabel Rocha Simões Lopes

Modelo Matemático para a Modelação e Previsão de Surtos Epidémicos de Sarampo em Portugal Continental

                                   

2002

Author

Title

101

António Morgado,

Tânia Areia Nunes

Generic Research Group OnLine

Web-Site Dinâmico

100

Célia Caciones

Rubéola, o Risco de uma Epidemia

99

Marisa Helena Redol e Gomes

Teorema do Ponto Fixo de Banach e suas Aplicações

98

João Filipe Gonçalves Baptista,

Rosa Maria Lopes Carchena

Geração Automática de Diagramas Funcionais

97

Svilen Stanimirov Valtchev

Métodos Numéricos para uma Equação Integral de Volterra com Infinitas Soluções

96

Marta Sofia de Jesus Quintas

Relatório de Estágio

Desenvolvimento da aplicação Gestão Comercial

95

Bruno Miguel Almeida Martins Pereira

Análise Numérica do Comportamento da Secção Eficaz Gerada pela Difracção Acústica em Fissuras Não Planas

94

Nuno Miguel Diniz dos Santos

O Problema Exterior e Condições de Fronteira Artificiais para o Laplaciano

93

Pedro Miguel Picado de Carvalho Serranho

Análise e Simulação Numérica de Difracção de Ondas Acústicas em Fissuras Não Planas

92

Ana Luísa Silva,

Ana Sofia Vaz,

Carla Alexandra Cabral

Desenvolvimento de Software para Modelação de Problemas Relacionados com Áreas de Influência

91

Elisabete Pinto Pereira

Estudo Estatístico da Incidência e Prevalência da SIDA e CRS em Portugal

90

Tiago Requeijo

Diástase de Calabi em Variedades Tóricas

89

Pedro Miguel dos Santos Alves Madeira Adão

Electronic Money within My-Calculus

88

Sónia Patrícia da Silva Rodrigues

Métodos Estatísticos para Avalição de Bioequivalência entre Formulações

87

Victor Saraiva

Teoria Geométrica da Medida e Sistemas Dinâmicos

86

Ricardo Joel Marques dos Santos Silva

On the Computational Power of Sigmoidal Neural Networks

85

Alexandre P. Lourenço Francisco

Finite Automata Over Continuous Time

84.1

Cátia Raquel Jesus Vaz

Independence Structures on Quantales

84

Paula Sofia de Sousa Bernardino

Ficheiro de Estabelecimentos do Instituto Nacional de Estatística - Conteúdo e formas de actualização

 

2001

Author

Title

83

Nuno Miguel Pires Afonso

Análise da Qualidade do Ar na Região do Barreiro/Seixal

82

Susana Galrito

Metodologias de Previsão para a Distribuiçõa dos Deputados nas Eleições Legislativas

81

Sílvia Maria Dias Pedro

Exploração de Dados Aplicada à Análise de Risco de Crédito

80

Graça Alves

Análise em Arquétipos e sua Aplicação ao Processamento de Sinais ECG

79

Ana Lúcia Janeiro Paulino

Forecasting Air Traffic for EUROCONTROL Pre-Tactical Air Traffic Flow Management

78

Maria João Costa Almeida Quintão Pereira

Dinâmica Adaptativa: Jogos, Estratégias Estocásticas e Interpretações Biológicas

77

Alexandra Bugalho de Moura

Análise Numérica e Simulação das equações de navier-Stokes 2D para Fluidos Incompressíveis

76.1

Nuno Henriques dos Santos de Sepúlveda

Métodos Inferenciais Exactos em Dados Categorizados

76

Pedro Martins Baptista

Os Pontos da Topologia Sem Pontos

75

Claudia Vaz,
Rita Ferreira

Telecommunications Traffic Models

74

Andreia Filipa Veiga Craveiro Correia 

Aplicações de Processos de Poisson Markov Modulados

73

Carla Manuela da Silva Fagundes

Análise de Modelos de Produção Probabilística em Sistemas Eléctricos

72

João Pedro Pereira Boavida

Folheações Singulares e Algebróides de Lie

71

Luís Calhorda Cruz-Filipe

λ - Calculus and beyond

70

Nuno Alexandre Luzia

Hiperbolicidade não-Uniforme

 

2000

Author

Title

69

Milena Silva

Estimação de Propensão à Compra de um Produto Financeiro

68

Dulce Brito

Modelos ARMA Bidimensionais

67

Isabel Cristina G. D. Fernandes

Caracterização da Qualidade de Lodos do Rio Tejo

66

Ana Maria da Silva Lírio

Classificação dos Hospitais do Serviço Nacional de Saúde

65

Sandra da Conceição L. de Figueiredo e Sá

Modelação Estatística dos Dados relativos à Incidência e Prevalência de SIDA e CRS em Portugal

64

Ilda Maria S. M. Vargas Pires 

Caracterização Geoquímica de Solos de uma Região da Beira Alta

63

Elsa Bernardo Fernandes

Análise em Componentes Independentes

62

César Silva

Expoentes de Lyapunov e Teoria de Dimensão

61

Rosa Durão

Uma Fórmula Combinatória para Polítopos de Delzant

60

Rute Teresa Sousa Martins

Sistemas Dinâmicos na Economia

59

Deonilde Clérigo,

Sandra Atanásio

Resolução do problema de Stokes pelo métododos elementos finitos

58

Susana Maria Tourão Frutuoso Calha

Factores Condicionantes dos Esforços em Navios

57

João Nuno Gonçalves Faria Martins

Mecânica Quântica em Espaços de Conexões

 

1999

Author

Title

56

Carla Sofia Bambulo

Um tratamento estatístico da ocorrência de defeitos de carril

55

Sofia Alves Pedro

Análise da forma de objectos

54

André Neves

Formalismo Multifractal de Acções Zd

53

Marta Sousa

Qualidade do serviço ao cliente empresa da CGD

52

Carlos Jerónimo N. Trigueiro

Estudo das entradas de visitantes estrangeiros pelo aeroporto de Lisboa

51

Vanda Cristina Murteira

Segmentação de clientes para o lançamento de acções comerciais enfocadas de colocaçãode cartões de crédito bancários

50

Ana Maria Alves Diniz

Teoria Espectral para Operadores em espaços de Hilbert

49

José Orlando de Gomes Freitas

Provas de aptidão Pedagógica e Capacidade Científica

 

1998

Author

Title

48

Rui Pedro da Silva Cabrita Carpentier

Coloração de Grafos

47.1

Nuno Paiva

Temporal Logic in Coq

47

José Ricardo Ferreira Silvestre

Análise de Distribuições Estatísticas para Registos de Agitação Marítima

46

Carla Cristina Morbey Rodrigues

Teorias de Grande Unificação

45.2

Sara Pacheco

Situation Calculus in Coq

45.1

Alexandra Carvalho

Category Theory in Coq

45

Cristine Isabel C. Ferreira Januário

Espectro de Lyapunov de Séries Temporais Experementais

44

Marília Barreiros do Rosário

Projecções para a Incidência e Prevalência de SIDA e CRS

43

Renata Margarida Lopes de Carvalho

Modelos de Tráfego Multiserviço em Sistemas de Comunicações Celulares Móveis e Pessoais

42

Susana Adreia F. de Neiva Maciel 

Caracterização das Ilhas e Avifauna da Região Macronésica 

41

José António F. S. Cruz

Dinâmicos de uma Equação Diferencial NãoLinear: Equação de Duffing

40.1

Luís Filipe A. Costa Franco

Algoritmo em Geométrico em Redes Neuronais Estocásticas

40

Fernando Jorge C. dos Santos

Modelos Econométricos Previsionais para o tráfego de Passageiros nos Aeroportos de Lisboa e Faro

 

1997

Author

Title

39

Susana Segão

Estágios de Estatística no ROR-SUL 96/97 - "Const.de Modelos Probabilísticos para Avaliação da Qualidade dos Dados"

38

Rui Miguel Batista Paulo

Testes Distribution-free em Análise de Sobrevivência

37

Carla Sofia Sousa Nunes

Introdução dum Factor de Esquecimento Bidimensionalna Modelação e Previsão de Séries Temporais

36

Adélia Santos Trindade

Tratamento Estatístico de Imagens de Satélite

35

Sérgio Crespo F. Loff Barreto

Análise Operacional de Séries Temporais

34

Helena Isabel Cabral Junqueiro

Resseguro Vida: Escolha do Resseguro numa Carteira de Apólices

33

Luís Filipe V. de Barros Pessoa

Uma transformada de Gelfand Generalizada. Princípios Locais

32

Susana Mendes Pereira

Tarifação de Frotas

31

Catarina Vilar Campos de Carvalho

Invertibilidade em álgebras de Banach-álgebras de Sucessões e Operadores de Toeplitz

30

Alexandra Sofia M. da Silva Mendes

Análise Estatística Multivariada da Litologia de um Reservatório de Petróleo

29.1

Paulo Mateus

Categorial Results in Compositional Model Checking

29

Ana Cristina V. F. Brandão de Almeida

Construção de Perfis Sócio-económicos de Portugal Continental

 

1996

Author

Title

28

Ana Maria Raminha da Piedade Gomes

Métodos Numéricos para Equações Integrais de Volterra de Segunda Espécie

27.3

Natália Lopes Guerreiro

Fabrico Integrado por Computador

27.2

Rui A. Frazão de Oliveira

Extracção e Correcção de Triangulações em AutoCAD

27.1

José Carlos P.M.Anastácio

Nuno R. N. Roque Marques

Modelação de Sólidos - Visualização,Verificação e Correcção de Ficheiros STL

27

Joaquim Lino Neto Nogueira

Análise de Observações de Tensões de Rotura do Betão

26

Maria Luís Bacharel de Carvalho

Defeitos nos Carris

25

Joana Ventura

Sistemas Cooperativos no Plano

24

Catarina de Sousa Tunes

Doenças Vasculares Celebrais em Portugal

23

Dulce Manuela Antunes Ramos

Análise Estatística da Capacidade evaporativa num Sist. de Tratamento de Efluentes Suinícolas

22

Helena Maria Narciso Mascarenhas

Teorema dos Dois Idempotentes numa Álgebra Não Comutativa-Generalizações

 

1995

Author

Title

21.1

Maria Luísa Ribeiro dos Santos

Métodos numéricos e expansões assimptóticas do erro para as equações de Emden-Flowler

21

Sérgio Paulo Rodrigues Ministro

Especificações Algébricas, Sistemas de Reescritae Unificção Semâncica

20

Maria do Carmo C. C. Martins,
Maria João Pereira Coutinho

Álgebra de Processos

 

1994

Author

Title

19.1

José António Maciel Natário

Trajectórias Óptimas

19

Manuel de Macedo Portilheiro

Aplicações de Correntes Cartesianas em Elasticidade Não Linear

18

Sílvia N. R. Ravasco dos Anjos

Teoria de Morse Aplicada ao Cálculo de Variações

17

Gustavo Granja 

Conexões entre Conjuntos de Morse para Equações Diferenciais às Diferenças

 

1993

Author

Title

16

Teresa Sofia de Beça L. Gonçalves,
Francisco JoséAssis Rosa

Offset de Superfícies Trianguladas com Aplicação à Técnica de estereolitografia

15

Mário Jorge Alexadre Arrais

Cálculo - μ

14.1

Carlos Manuel C. Lourenço Caleiro

Operational Semantics of Temporal Object Specifications

14

Leonor Godinho

Bifurcação com Simetria

 

1992

Author

Title

13

José Eduardo P. da Fonseca

Algorítmos Geométricos para Optimização do Corte de Formas Irregulares em Materiais Bidimensionais

12

João Filipe A. B. Palha de Araújo

Conversor de Word/Latex

11

Jaime Arsénio de Brito Ramos

Especificação Clausal de Tipos de Dados Sistema Dedutivo

10

Manuel João Cabral Morais

Cartas de Controlo com Intervalos Amostrais Variáveis: Caract.e Planeam. Econ.-Estatístico

 

1991

Author

Title

9

Pedro Alexandre Simões dos Santos

Um Problema de Difracção de Tipo Sommerfeld com condições de fronteira de 2ª Ordem

8

Maria Antónia B. da Costa Lopes

Cálculo para Lógica de Objectos

7.1

Maria Helena André Jorge

Teoria da dispersão inversa - com relação ao problema de Riemann-Hilbert

7

Luís Manuel Barreira

Teoria Ergódica de Sistemas Dinâmicos: Expoentes característicos

 

1990

Author

Title

6

Ana Cannas da Silva

Métodos de Topologia Algébrica em Sistemas Dinâmicos: Índice de Conley e Matriz de Conexão

5

Miguel Tribolet de Abreu

Modelação e Controlo de uma Estrutura Mecânica Flexível

3

Rita Ribeiro

Intermitência Associada a uma Bifurcação com aumento de simetria em Atractores Caóticos