Biblioteca de Matemática
Repositório informal de trabalhos finais de curso da LMAC
Esta página já não é actualizada.
2004
Nº |
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
Nº |
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
Nº |
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
Nº |
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, |
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
Nº |
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
Nº |
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
Nº |
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
Nº |
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
Nº |
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
Nº |
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, |
Álgebra de Processos |
1994
Nº |
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
Nº |
Author |
Title |
16 |
Teresa Sofia de Beça L. Gonçalves, |
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
Nº |
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
Nº |
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
Nº |
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 |