Curso de Especialização em Informática |
Ano Lectivo de 2006/2007 |
Disciplina de Projecto/Seminário
[ Anos Anteriores ]
- 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.
-
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
-
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
-
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
-
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
-
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
-
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?
-
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?
-
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 ?
-
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
-
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
-
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
-
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?
-
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
-
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?
-
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?
-
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
-
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?
-
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
-
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?
-
Apresentação dos objectivos e regime de funcionamento dos Seminários MICEI.
2007-02-05
|
|