MICEI

Mestrado em Informática e Curso de Especialização em Informática

Tópicos

Avisos

IMPORTANTE: A partir do ano lectivo de 2007/2008, o MICEI funcionará já adequado ao Modelo de Bolonha. Para mais informações consulte Mestrado de Informática.

IMPORTANTE: Directivas para a transição MICEI - Mestrado de Informática (30.07.07)



Seminários MICEI, todas as sextas-feiras, 18h, Anfiteatro DI-A1. Participa!!

Propostas de Temas para Dissertação (aberto em permanência) (Novos temas!)

Curso de Especialização em Informática
Ano Lectivo de 2006/2007


Disciplina de Projecto/Seminário

[ Anos Anteriores ]

  Avisos

  Docentes

A CD-MICEI participa na organização da disciplina, da qual o Prof. Pedro Henriques é o responsável.

  Regime de Funcionamento e de Avaliação
A Comissão Directiva do MICEI organizou um programa de Seminários para o MICEI, os quais terão a duração de 30 a 45 minutos e serão às 6ªfeiras às 18h. Estes seminários vão ocorrer durante todo o ano lectivo. O orador de cada seminário vai propor uma questão sobre o tema apresentado, a que os alunos do CEI terão de responder em uma semana, antes do seminário seguinte).
A avaliação da disciplina de Projecto/Seminário será feita com base nas respostas entregues ao longo do ano. A nota final obter-se-á fazendo a média dos trabalhos entregues, excluindo deste cálculo os 4 piores trabalhos. (NOTA: respostas não entregues serão classificadas com nota zero).

Critérios usados na avaliação das respostas: organização do texto, clareza do texto, pesquisa efectuada, desenvolvimento da resposta, acerto da resposta no tema alvo, coerência da resposta e qualidade geral.

  Lista de Seminários

  • 08.06.07

Título - Generating Summaries using Graph Theory
Orador - Kaustubh Patil, LIACC-NIAAD, University of Porto
Resumo - This seminar describes an unsupervised method based on graph theory for generating summaries of documents. First the document is represented as a weighted graph with sentences as nodes and the link weights are defined using cosine similarity between sentences. This graph is then scaled usin Pathfinder Network Scaling algorithm to obtain link reduced graph. The sentences are then extracted under the assumption that central sentences are imporant ones. We will also discuss various centrality measures and compare our method with other methods. The usefulness of the method is illustrated impirically on DUC 2001 and DUC 2002 datasets.
Questão - TBA

  • 01.06.07

Título - O Encaminhamento Multiserviços
Orador - António Carlos Varela, Departamento de Engenharia Informática (Área de Arquitectura e Sistemas Operativos) do IST.
Resumo - Actualmente verifica-se uma tendência de convergência das redes em redor da arquitectura TCP/IP. A introdução de novos serviços e aplicações introduz novos requisitos a estas redes que se baseiam exclusivamente num modelo de serviço que não oferece quaisquer garantias, usualmente designado por Melhor Esforço, ou Best-Effort. Novos modelos têm sido desenvolvidos para colmatar estas limitações, dos quais se destaca, pela sua escabilidade, o Modelo de Serviço Diferenciados. Paralelamente, também têm surgido propostas de encaminhamento com suporte de Qualidade de Serviço. Todas elas se baseiam no facto de que o tráfego tem de ser encaminhado utilizando os caminhos mais adequados. Contudo, os diversos tipos de tráfego são processados da mesma forma, independentemente da sua prioridade. O protocolo de encaminhamento com suporte de qualidade de serviço, a ser utilizado na próxima geração da Internet, tem de cooperar com a diferenciação de serviços. O Encaminhamento Multiserviços define um conjunto de extensões aos protocolos de encaminhamento tradicionais, de modo a que possam suportar a qualidade com diferenciação de serviço.
Questão - TBA

  • 25.05.07

Título - Redes Colaborativas como suporte a Ambientes Inteligentes em Unidades de Cuidados Continuados. (.pdf)
Orador - Ricardo Costa - Escola Superior de Tecnologia e Gestão de Felgueiras - IPP.
Resumo - Com o crescimento real da população idosa, a sociedade actual enfrenta todo um novo conjunto de problemas, como sendo, a falta de recursos humanos para lhes providenciar, de uma forma digna e nobre, as suas necessidades específicas. No entanto, através da utilização de novas tecnologias e de novas metodologias, estas vocacionadas para a resolução de problemas, alguma soluções emergem no horizonte (e.g.: assistência e/ou supervisão remota). Assim sendo, o nosso objectivo é demonstrar que nestes cenários, é de todo possível recorrer à interligação de diferentes organizações virtuais, através das quais se tornará possível providenciar à população em geral, e aos idosos em particular, um certo número de serviços (e.g.: saúde, entretenimento, aprendizagem), sem haver a necessidade de os deslocalizar ou alterar demasiado a sua rotina.
Questão - TBA

  • 18.05.07

Título - Apoio à decisão em medicina intensiva usando ECBD.(.ppt)
Orador - Pedro Gago - Instituto Politécnico de Leiria.
Resumo - Neste seminário vai ser apresentado o sistema INTCare a ser desenvolvido em colaboração com o Hospital Geral de Santo António, no Porto. O INTCare usa os dados recolhidos dos monitores da UCI para fazer previsão acerca do outcome do paciente. Vai ser apresentada a forma como se está a tentar semi-automatizar o processo de Descoberta de Conhecimento em Bases de Dados por forma a possibilitar um funcionamento o mais automático possível do sistema. Serão abordados os problemas inerentes à implementação de sistemas deste tipo em ambiente hospitalar.
Questão - TBA

  • 11.05.07

Título - Aplicações de Case-based Reasoning (CBR).(.pdf)
Orador - Florentino Fdez-Riverola, Universidade de Vigo.
Resumo - CBR (Case-based Reasoning), Aplicado nos seguintes projectos: Sistemas de detección de intrusos; Análisis del genoma humano (Bioinformática); Filtrado de correo Spam.
Questão - TBA

  • 27.04.07

Título - Strategies to relate the program and problem domains using code instrumentations (.ppt)
Orador - Mário Béron, DI - UM
Resumo - In this conference we present strategies aimed at understanding program written in C language. These strategies use the code instrumentation technique to extract information from programs. With these strategies we can define the architecture of a comprehension system that allows us to integrate multiple views important to understand the application under analysis. These views are presented in different abstraction levels, and the user can navigate between them. Both features (views and navigation) are useful because they can be used to carry out various program understanding approaches, similar to our mental models. In order to implement these features we define: a scheme to recover static and dynamic information; and an way to manage this information. Furthermore, with the purpose to facilitate the program understanding process we describe a procedure aimed at relating the problem and program domains denominated BORS(Behavioral-Operational Relation Strategy).
Questão - 1) Que é uma vista dum sistema?
2) Que vistas são interessantes para a Compreensão de Programas? Por que?

  • 20.04.07

Título - Identification of Regulatory Modules in Time-Series Gene Expression Data using Biclustering Algorithms (.pdf)
Orador - Sara Madeira, DI - UBI
Resumo - Several non-supervised machine learning methods have been used in the analysis of gene expression data obtained from microarray experiments. Recently, biclustering, a non-supervised approach that performs simultaneous clustering on the row and column dimensions of the data matrix, has been shown to be remarkably effective in a variety of applications. The goal of biclustering is to find subgroups of genes and subgroups of experimental conditions, where the genes exhibit highly correlated behaviors. These correlated behaviors correspond to coherent expression patterns and can be used to identify potential regulatory modules possibly involved in regulatory mechanisms.

The biclustering problem is NP-complete. However, when we are interested in identifying biclusters in time-series expression data, we can restrict the problem to finding all maximal biclusters with consecutive columns. This restriction leads to a tractable problem. Its motivation is the fact that biological processes start and finish in an identifiable contiguous period of time, leading to increased (or decreased) activity of sets of genes forming biclusters with contiguous columns. In this context, we have recently proposed efficient biclustering algorithms based on string processing techniques for finding all maximal contiguous column coherent biclusters with both perfect and approximate expression patterns in linear and polynomial time, respectively.

We show the relevance of this type of biclusters in the discovery of potential regulatory modules in an application to the identification of regulatory modules involved in the genomic response of Saccharomyces cerevisiae to heat stress. The results show not only the ability of the proposed methodology to extract relevant information compatible with documented biological knowledge, but also the utility of using these algorithms in the study of other environmental stresses and of regulatory modules in general.
Questão - O problema de biclustering é NP-completo. No entanto, no caso concreto da aplicação de algoritmos de biclustering à identificação de padrões de expressão em séries temporais de expressao genética, existem restrições que permitem transformar o problema em tratável. É assim possível utilizar algoritmos eficientes e determinísticos para encontrar todos os biclusters máximos. Que restrições são estas e que vantagens tem, neste problema em particular, a utilização de biclustering em vez de clustering?

  • 13.04.07

Título - XTDL/XTS - XML Tool Definition Language & XTDL-Tool Set (.pdf)
Orador - Daniela da Cruz, DI - UM
Resumo - A necessidade de distribuir ferramentas, leva, tipicamente, à criação de um site onde o software em causa esteja disponível e possa ser descarregado. Porém atrás disso vem a necessidade de documentar o produto: o que é; para que foi concedido; como se usa; como se instala. E não basta fazê-lo por um único meio, isto é, através do site criado para o disponibilizar; logo de seguida outras necessidades de documentação vão surgir. Neste sentido, desenvolvemos um dialecto XML, XTDL (XML Tool Definition Language) para descrever software e criámos um conjunto de 4 ferramentas, XTS (XTDL-Tool Set) que geram a partir da descrição XTL, o site, um relatório, um grupo de diapositivos para suportar uma apresentação e um mapa de conceitos.
Questão - Discorra sobre o tópico "Divulgação e Distribuição" de Software (Utilitários ou Aplicações Finais). O que pensa da real utilidade de ferramentas de ajuda como o XTS ?

  • 23.03.07

Título - Robótica Cooperativa
Orador - Luis Paulo Reis, FEUP (Mais Informação: Http://www.fe.up.pt/~lpreis)
Resumo - Nesta palestra são analisados os conceitos de Inteligência, Inteligência Artificial, Robótica, Agente/Robô Inteligente e Coordenação de Equipas de Agentes/Robôs e descrito o RoboCup? (Futebol Robótico) e a investigação realizada na FEUP neste domínio. Destaca-se que as equipas da FEUP venceram já diversos campeonatos de Futebol Robótico - RoboCup? : Mundial (2000, 2006) e Europeu (2000, 2001 e 2006) nas ligas de Simulação (2D/3D), Europeu na liga de Robôs Pequenos (2001 e 2006), Europeu na liga de Rescue, Resgate e Salvamento (2006) e Mundial na liga de Treinadores (2002). É descrito o RoboCup? , projecto internacional com o objectivo de promover a investigação em Inteligência Artificial Distribuída e Robótica Inteligente e as suas nove ligas/modalidades seniores. O objectivo/desafio final deste projecto internacional consiste em "construir uma equipa de Robôs que em 2050 vença a equipa humana campeã do mundo de futebol!". Neste contexto são analisados os desafios da robótica cooperativa e construção de equipas de agentes colocados por esta competição e as soluções que as equipas da FEUP têm encontrado para construir/programar equipas de robôs competitivas internacionalmente. A programação dos robôs implica a resolução de problemas extremamente complexos como a visão, localização, navegação, locomoção, comunicação, decisão inteligente, coordenação e estratégia dos robôs. Será dado ênfase às ligas de simulação e aos problemas que são resolvidos utilizando metodologias avançadas de informática e ciências da computação. A palestra será complementada com a exibição de filmes de robôs humanóides, robôs com pernas, robôs futebolistas pequenos e médios e demonstração de jogos de futebol robótico simulado.
Questão - TBA

  • 16.03.07

Título - S+: Modelação Automática Interactiva de Simulação
Orador - Luis Dias, Universidade do Minho (DPS)
Resumo - A Modelacao Visual e a Simulação por Computador

A simulação consiste na reprodução/mímica em computador do modelo de um sistema dinâmico, existente ou imaginado. A realização de múltiplos ensaios sobre o sistema modelado, permite a observação de animações e análise estatística, dando suporte quantitativo à tomada de decisão, nomeadamente para maximização de ganhos ou minimização de perdas. Neste sentido a simulação é, tradicionalmente, uma técnica de análise de sistemas da área da Investigação Operacional (The Science of the Better).

A simulação tem, um curioso passado comum com metodologias das ciências da computação. Nomeadamente, a programação orientada a objectos e a gestão de processos foram desenvolvidas pioneiramente na linguagem de simulação: SIMULA (nos anos 60/70). Com o advento dos ambientes gráficos (anos 80/90), popularizaram-se dezenas de ferramentas de simulação comerciais, em que se constrói graficamente o layout dos sistemas modelados (e.g. Arena, ProModel? , Witness, Simul8, etc.). Contemporaneamente, popularizou-se também o uso de ferramentas genéricas de programação com ambientes gráficos, geralmente utilizados para desenhar a interface com o utilizador (e.g. Visual Basic, Visual C++, etc). Lamentavelmente, em ambos os casos, o grafismo pouco ajuda a especificação do comportamento.

Quando os elementos gráficos são utilizados para desenhar o comportamento do sistema/programa poderemos estar perante aquilo que se designa por uma Linguagem Visual (e.g. fluxogramas). Entre outras vantagens, estas linguagens têm uma legibilidade muito superior às tradicionais (textuais). Também na programação/modelação visual, conseguimos identificar fortissimas semelhanças entre a simulação e a programação genérica. Ora, a classe de notações visuais mais usada para a especificação de sistemas concorrentes é provavelmente a família das redes de Petri (Petri nets). No campo da simulação, são utilizados diagramas homomorfos às redes de Petri: DCA (Diagramas de Ciclo de Actividades) (ACD), ambos criados paralelamente nos anos 60/70.

A produção automática de programas de baixo nível a partir de linguagens visuais, ainda é um problema complexo. A resolução dessa dificuldade é geralmente efectuada internamente por cada ferramenta específica. No sentido de fazer uma utilização plena das potencialidades das linguagens visuais, o orador integrou uma equipa que desenvolveu editores gráficos, formatos abertos de representação dos programas visuais (em XML), e compiladores para diferentes linguagens de simulação: Arena: Profissional; BSF: Académica. Designou-se esse projecto por S+ (Modelação Automática Interactiva de Simulação). A utilização da linguagem visual de simulação - DCA, sendo de sintaxe radicalmente simples por utilizar apenas círculos, rectângulos e setas como únicos símbolos gráficos, pretende facilitar o desenvolvimento interactivo entre o dono do problema e o analista de sistemas, permitindo o desenvolvimento de modelos mais fidedignos ao problema real e expondo directamente o dono do problema aos ensaios e aprendizagens que a simulação possibilita, aumentando a eficácia da simulação no apoio à decisão.
Questão - TBA

  • 09.03.07

Título - Agentes Inteligentes aplicados aos Mercados de Energia (.pdf)

Orador - Isabel Praça, ISEP / IPP
Resumo - Desde finais da década de 80 que o sector da energia eléctrica tem sofrido processos de reestruturação tendo-se verificado em diversos países, mudanças significativas de natureza estrutural e regulamentar. Tais mudanças apontam no sentido do estabelecimento de um mercado competitivo, baseado nas leis da oferta e da procura, em que as empresas produtoras e comercializadoras de energia eléctrica passam a ser encaradas como fornecedoras de um serviço que deverá possuir uma elevada qualidade. Os principais objectivos apontados ao estabelecer um mercado de energia eléctrica são: garantir a segurança na operação de todo o sistema, assegurar o fornecimento de um serviço de qualidade, aumentar a eficiência e, por outro lado, promover a economia de mercado, com a perspectiva de reduzir o custo da energia eléctrica.
O processo de reestruturação do sector eléctrico coloca diversos desafios exigindo a alteração de modelos conceptuais que têm dominado o funcionamento do sector. Com a reestruturação o mercado torna-se mais aberto e competitivo, mas também mais complexo, colocando aos intervenientes novos desafios. A crescente complexidade e imprevisibilidade da evolução do mercado torna cada vez mais difícil a tomada de decisões. Deste modo, as entidades intervenientes vêm-se forçadas a repensar o seu comportamento e as suas estratégias de mercado. Para enfrentar os novos desafios torna-se fundamental a utilização de ferramentas que suportem a tomada de decisão, nomeadamente aquelas que permitam às entidades analisar a evolução do mercado e testar acções alternativas.
Quais os principais desafios que se colocam, no âmbito da reestruturação do sector, às entidades dos mercados de electricidade? Que tipo de ferramentas de apoio à decisão lhes poderão ser úteis? De que forma podem os Agentes ser utilizados e contribuir para o estudo e evolução dos mercados de electricidade? Existem soluções que sustentam a sua aplicabilidade? Que tipo de soluções já existem?
Analisaremos de que forma e qual o papel que os Agentes e a Simulação Multi-Agente podem desempenhar numa ferramenta de apoio à decisão que permita às entidades do sector avaliar as opções de negócio de que dispõem, e, consequentemente, quais as que melhores vantagens lhes oferecem.
Serão descritos alguns dos trabalhos que têm surgido neste âmbito e que atestam bem as potencialidades que este tipo de tecnologia apresenta nesta àrea de aplicação, com particular destaque será dado ao simulador MASCEM, desenvolvido pela autora desta palestra no âmbito do Grupo de Engenhria do Conhecimento e Apoio à Decisão.
Questão - TBA

  • 26.01.2007

Título - A Evolução do Cadáver Exquis: A auto-organização na génese de pinturas colectivas (.pdf)
Tema - Swarm Criativo
Orador - Paulo Urbano - FC/Universidade de Lisboa
Resumo - O jogo promovido pelos surrealistas, também um processo de criação artística: O Cadáver Esquisito, introduziu duas novidades no mundo da Arte: a obra colectiva e a imprevisibilidade. Pondo de lado, as questões, caras aos surrealistas, da espontaneidade e do inconsciente individual e colectivo, vamos, metaforicamente, aproveitar alguns órgãos do Cadáver Esquisito transpondo-o para o mundo da criação artística artificial. Iremos apresentar duas experiências colectivas de criação artística artificial, influenciadas pelos modelos acentrados de auto-organização e de simulação multi-agentes do mundo natural: os Colombines e os Anti-Colombines.

Os Colombines são um enxame de microagentes pintores, muito simples ao nível individual, que são capazes de pintar uma tela virtual bidimensional composta por um reticulado de células. Os agentes pintores não comunicam directamente entre si mas através do meio ambiente, a tela, num processo estigmérgico inspirado no mundo das formigas. A tela pode ser vista como uma paisagem química dinâmica, em permanente mudança�existe uma interacção constante e nos dois sentidos entre a distribuição da informação química e o comportamento dos micropintores. Por um lado, o estado da paisagem química guia os Colombines e, por outro lado, estes modificam-na numa circularidade permanente. Esta dinâmica de interacção é capaz de gerar padrões inesperados e singulares, mas que apresentam uma certa regularidade�uma marca Colombines. Através de uma variação simples no comportamento químico das células que compõem a tela virtual, obtemos os Anti-Colombines, uma espécie de negativo dos Colombines, que geram pinturas completamente distintas.
Questão - TBA

  • 19.01.07 (das 18h as 19h)

Título - Extreme Data Mining: the Killer App for Meta-learning? (.pdf)
Orador - Carlos Soares - FEP/LIACC - Universidade de Porto
Resumo - While the field of data mining has traditionally been motivated by applications with large amounts of data, one of its current challenges is concerned with applications where a large number of models is required. This is motivated by a number of technological and business developments. As more detailed data becomes available (about customers, products, processes, etc.), requirements have moved from identifying coarse features of groups using a few models for each problem (e.g., one per cluster of customers) to modelling as many specificities as possible, ultimately with one model per object of interest. Additionally, initial success with the application of data mining on some problems (e.g., marketing), has lead companies to look for opportunities to use data mining it in other areas (e.g., customer relationship management, supply chain management, demand forecasting). Finally, pervasive computing (mobile phones, automobiles, clothes, etc.) is causing an explosive growth in opportunities for data mining. Traditional data mining methodologies (e.g., CRISP-DM) are not compatible with this new \"Extreme Data Mining\" scenario because of their labour-intensive nature. Dealing with hundreds, thousands or millions of models requires that a large part of this process is automated. In other words, we need systems that are able to adapt themselves to the problem. Meta-learning is one approach to this problem. It can be defined as the automated use of past experience to choose the adequate solution for a given data mining problem. Although it may be traced back to as early as 1987, this research area is still at an early stage of its development. Therefore, in this talk, rather than a describing a particular meta-learning approach, I give an overview of some of the approaches that have been proposed and, focusing on one of them, I will identify some interesting research challenges.

Questão - escolham um dos desafios identificados na parte final da apresentação e discutam-no sucintamente (1/2 página). Podem organizar as respostas da seguinte forma: -descrição -relevância para meta-aprendizagem -proposta de solução [OPCIONAL])

  • 12.01.07 (das 18h as 19h)

Título - Plataformas de Computação Algébrica slides(.ppt) exercicos/exemplos(.pdf)
Orador - Delfim F. M. Torres, Universidade de Aveiro
Resumo - A plataforma de Computação Algébrica (CA) Maple é adoptada na Universidade de Aveiro, há já alguns anos, em várias disciplinas de Ciências e Engenharia. A CA permite trabalhar de maneira simbólica, não numérica, e é uma área de investigação moderna, que surgiu na segunda metade do século XX. Os plataformas actuais de CA colocam à nossa disposição ambientes de computação extremamente sofisticados e poderosos. Disponibilizam já muito conhecimento matemático e permitem estender esse conhecimento por intermédio de linguagens de programação de muito alto nível, expressivas e intuitivas. Tais ambientes permitem a realização de uma miríade de cálculos simbólicos, com extrema eficiência, e a definição célere de novas funcionalidades. Nesta palestra fazemos uma breve apresentação da plataforma de computação algébrica Maple, discutindo algumas das suas potencialidades.
Bibliografia - Livros em Português sobre o Maple disponíveis online

Uma Introdução ao Maple por Jun Fonseca http://www-gmap.mecanica.ufrgs.br/download/maplep.pdf

Introdução ao Maple por Renato Portugal http://www.cbpf.br/~portugal/curso.pdf

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Bibliografia - Divulgação

Delfim F. M. Torres, Números Felizes e Sucessões Associadas: Digressões com o Maple, Educação e Matemática nº77, Revista da Associação de Professores de Matemática, Março/Abril de 2004, pp. 35--38. http://www.mat.ua.pt/delfim/Maple/happy.html

Delfim F. M. Torres, O Jogo do 24 - digressões com o Maple, Cadernos de Matemática, série de Divulgação, CM04/D-03, Universidade de Aveiro, 2004. http://www.mat.ua.pt/delfim/Maple/jogo24.html

Rita M. R. Pereira, Delfim F. M. Torres, Computação Matemática Elementar em Maxima, Cadernos de Matemática, série de Divulgação, CM05/D-02, Universidade de Aveiro, 2005 http://www.pisharp.org/dspace/handle/123456789/28

Frederico D. Regateiro, Delfim F. M. Torres, Extremais do Cálculo das Variações em Maple, Cadernos de Matemática, série de Divulgação, CM06/D-03, Universidade de Aveiro, 2006 http://www.pisharp.org/dspace/handle/2052/121

math.HO/0407112 Title: Consecutive, Reversed, Mirror, and Symmetric Smarandache Sequences of Triangular Numbers Authors: Delfim F. M. Torres, Viorica Teca MSC-class: 11B83; 11-04; 11A41 Journal-ref: Scientia Magna, Vol.1 (2005), No.2, 39-45 http://arxiv.org/abs/math.HO/0407112

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Bibliografia - Investigação

Maple Applications: http://www.mat.ua.pt/delfim/maple.htm

Our work is available from the Maple Application Centre since 26/July/2006: http://www.maplesoft.com/applications/app_center_view.aspx?AID=1983

Alguns artigos:

1. math.OC/0604072 Title: Symbolic Computation of Variational Symmetries in Optimal Control Authors: Paulo D. F. Gouveia, Delfim F. M. Torres, Eugenio A. M. Rocha Comments: Presented at the 4th Junior European Meeting on "Control and Optimization", Bialystok Technical University, Bialystok, Poland, 11-14 September 2005. Accepted (24-Feb-2006) to Control & Cybernetics Subj-class: Optimization and Control MSC-class: 49K15; 49-04; 49S05 http://arxiv.org/abs/math.OC/0604072

2. math.OC/0509140 Title: Automatic Computation of Conservation Laws in the Calculus of Variations and Optimal Control Authors: Paulo D. F. Gouveia, Delfim F. M. Torres Comments: Partially presented at the 10th International Conference "Mathematical Modelling and Analysis", and "2nd International Conference "Computational Methods in Applied Mathematics", June 1 - 5, 2005, Trakai, Lithuania. Subj-class: Optimization and Control; Mathematical Physics MSC-class: 49K15; 49-04; 49S05 Journal-ref: Comput. Methods Appl. Math. Vol. 5 (2005), No. 4, 387-409 http://arxiv.org/abs/math.OC/0509140

3. math.OC/0411211 [abs, ps, pdf, other] : Title: Computação Algébrica no Cálculo das Variações: determinação de simetrias e leis de conservação, Authors: Paulo D. F. Gouveia, Delfim F. M. Torres Comments: 20 pages, in Portuguese. Partially presented at XXVII CNMAC (Brazilian Congress of Applied Mathematics and Computation), FAMAT/PUCRS, Porto Alegre, RS, Brasil, 13-16 September 2004. Subj-class: Optimization and Control MSC-class: 49-04; 49K05; 49S05 Journal-ref: TEMA Tend. Mat. Apl. Comput. Vol. 6, 2005, Number 1, pp. 81--90 http://arxiv.org/abs/math.OC/0411211

4. math.HO/0312014 Title: Smarandache Sequences: Explorations and Discoveries with a Computer Algebra System Authors: Paulo D. F. Gouveia, Delfim F. M. Torres MSC-class: 11B83; 11-04; 68W30 Journal-ref: Smarandache Notions Journal, Vol. 14, 2004, pp. 5-22. http://arxiv.org/abs/math.HO/0312014

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Links úteis:

Matemática Experimental http://crd.lbl.gov/~dhbailey/expmath

Site oficial do Maple http://www.maplesoft.com

The area of Symbolic and Algebraic Computation (SAC), also known as Computer Algebra (CA) in some circles, aims to automate mathematical computations of all sorts. The resulting computer systems, experimental and commercial, are powerful tools for scientists, engineers, and educators. SAC research usually combines mathematics with advanced computing techniques. SymbolicNet? .org provides a convenient starting point for discovering information about SAC. -> http://www.symbolicnet.org/

Questão - Embora a Computação Algébrica tenha dado os seus primeiros passos há cerca de 30 anos, no domínio da investigação, encontrando hoje aplicações nos mais variados campos da Ciência e Tecnologia, só mais recentemente está a ser explorada como ferramenta de Ensino. Que vantagens veria na adopção de um Sistema de Computação Algébrica, como seja o Maple, no ensino da programação?

  • 05.01.07

Título - Learning from Data Streams (.pdf)
Orador - João Gama, Universidade do Porto
Resumo - In this talk we present a system for induction of forest of functional trees from data streams able to detect and react to concept drift. The Ultra Fast Forest of Trees (UFFT) is an incremental algorithm, that works online, processing each example in constant time, and performing a single scan over the training examples. It uses analytical techniques to choose the splitting criteria, and the information gain to estimate the merit of each possible splitting-test. Decision nodes and leaves contain naive-Bayes classifiers playing different roles during the induction process. Naive-Bayes in leaves are used to classify test examples, naive-Bayes in inner nodes can be used either as multivariate splitting-tests if chosen by the splitting criteria, or used to detect drift in the distribution of the examples that traverse the node. The use of naive-Bayes classifiers at leaves to classify test examples, the use of splitting-tests based on the outcome of naive-Bayes, and the use of naive-Bayes classifiers at decision nodes to detect drift are directly obtained from the sufficient statistics required to compute the splitting criteria, without no additional computations. This aspect is a main advantage in the context of high-speed data streams. This methodology was tested with artificial and real-world data sets. The experimental results show a very good performance in comparison to a batch decision tree learner, and high capacity to detect and react to drift.
Questão - TBA

  • 15.12.06

Título - Sistemas Criativos (.pdf)
Orador - Francisco Camara Pereira, Universidade de Coimbra
Resumo - Das faculdades intelectuais consensualmente reconhecidas como próprias do Homem, a Criatividade é provavelmente a mais misteriosa e desafiante. Alguns argumentam que a Criatividade é demasiado vaga e mística para ser estudada cientificamente, outros defendem que é uma "característica dos eleitos". Por outro lado, tem existido investigação desde o início do século XX que a desmistifica consideravelmente. Partindo do princípio de que existe um contínuo de Criatividade (ao invés de uma filosofia "tudo ou nada"), a área de Sistemas Criativos pretende estudar e explorar as possibilidades criativas das máquinas, tanto como criadoras autónomas como ajudantes para tarefas criativas. Nesta apresentação, depois de uma breve apresentação do tema e do cenário actual de investigação na área, faremos uma passagem por vários projectos desenvolvidos em Coimbra, no AILab do CISUC.
Questão - Poderá uma máquina ser criativa?

  • 24.11.06

Título - Tutores Inteligentes (.pdf)
Orador - Luiz Faria, Instituto Superior de Engenharia do Porto
Resumo - TBA
Questão - Diga quais as razões que levam a que os projectos do tipo �Ensino à Distância� sejam tão limitados em termos de inteligência quando comparados com os Tutores Inteligentes?

  • 17.11.06

Título - Integração de Empresas Virtuais (.pdf)
Orador - Manuela Cunha, Instituto Politécnico do Cávado e do Ave
Resumo - TBA
Questão - Ver acetatos finais da apresentação

  • 10.11.06

Título - DBPreserve - Preservação de Bases de Dados (.ppt)
Subtítulo - RODA - Repositório de Objectos Digitais Autênticos
Orador - José Carlos Ramalho, Universidade Minho
Resumo - As Bases de Dados Relacionais (BDR) foram, desde sempre, o suporte de eleição para o armazenamento de informação. Basta observarmos qualquer departamento da Administração Pública para detectarmos vários sistemas de informação cujo suporte digital é materializado numa base de dados relacional. Actualmente, com a gradual substituição do papel pelo digital estas bases de dados representam mais do que repositórios de informação são o repositório da nossa História. A História sempre foi um tema que apaixonou muita gente e motivou grandes projectos de investigação. Se alguma coisa se sabe do nosso passado foi porque essa informação chegou até nós preservada de alguma maneira. Neste trabalho o nosso objectivo é construir uma solução que possibilite, a longo prazo e com requisitos de autenticidade, a preservação de qualquer tipo de base de dados relacional.

O trabalho apresentado neste artigo é um componente de um projecto maior: o projecto RODA (�Repositório de Objectos Digitais Autênticos�), cujo principal objectivo é a preservação de informação digital. Neste componente, abordaremos apenas um dos subconjuntos de objectos digitais que o RODA pretende tratar: as bases de dados relacionais. Nesta perspectiva é apresentada uma solução tecnológica para a criação de um repositório de bases de dados relacionais. De realçar que as tecnologias apresentadas poderão mais tarde ser aplicadas ao próprio repositório garantindo e/ou facilitando a sua preservação.
Questão - Em que consiste o Modelo OAIS? OU Que políticas devemos seguir se pretendermos preservar a nossa produção digital?

  • 03.11.06

Título - Controlo Distribuído de Agentes Não-Cooperantes - Exploradores e Traidores (.pdf)
Orador - Pedro Mariano, Universidade de Aveiro
Resumo -
Questão - Ver acetatos finais da apresentação

  • 27.10.06

Título - Site de uma disciplina: um espaço de aprendizagem (.ppt)
Orador - Pedro Rangel Henriques, Universidade do Minho

Resumo - "Com a evolução das TIC os alunos do Ensino Superior estão cada vez mais habituados a recorrer ao site da disciplina para obter informação. Tendo conhecimento desta situação os docentes têm vindo a preocupar-se com a sua estrutura e conteúdo. Algumas Instituições têm regras sobre os itens a incluir, existindo até templates que ajudam à sua criação automática. No que diz respeito aos conteúdos é mais difícil regular o que incluir e é dramático o problema da actualização; por isso existem já vários sites cujas páginas são criadas dinamicamente através do recurso a uma base de dados. Contudo, achamos que não existe uma preocupação em permitir que o aluno interaja com essa informação de maneira a propiciar uma construção de conhecimento mais significativa. A motivação para o projecto que se descreve neste seminário foi estender a base de dados de suporte ao site de forma a que, através do seu Back-Office, o professor possa criar o Mapa de Conceitos da disciplina, associando-lhe Recursos de Informação e o Plano de Aulas de modo a que, posteriormente, o MC Decorado criado seja usado para gerar um navegador conceptual a integrar no seu Front-Office."

Questão - Será possivel transformar realmente, com esta proposta e outras abordagens similares, o site WWW de uma disciplina num verdadeiro objecto de ensino que ajude com eficácia no processo de aprendizagem significativa?

  • 20.10.06

Apresentação dos objectivos e regime de funcionamento dos Seminários MICEI.

  Classificações




2007-02-05

  Attachment Action Size Date Who Comment
ppt MICEI-SeminarioMMB.ppt props, move 2552.5 K 11 May 2007 - 06:25 PedroRangelHenriques Seminario de 2007.04.27 (Mario M. Beron)
ppt MICEI-SeminarioPedroGago.ppt props, move 4039.5 K 22 May 2007 - 21:54 PedroRangelHenriques Seminario 2007.05.18 (Pedro gago)
pdf TALKSara.pdf props, move 950.3 K 12 May 2007 - 22:54 PedroRangelHenriques Seminario de 2007.04.18 (Sara Madeira)
pdf palMICEIRuiCosta.pdf props, move 1823.4 K 30 May 2007 - 04:27 PedroRangelHenriques Seminario de 2007.05.25 (Rui Costa)
r43 - 02 Jun 2007 - 06:49:42 - PedroRangelHenriques
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM