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 |