SÉRIE DE SEMINÁRIOS EM COMPUTAÇÃO
INSTITUTO
DE COMPUTAÇÃO – UNICAMP
Profa. Cecília M.F.Rubira cmrubira@ic.unicamp.br
Programação do 2o. semestre de 2008
AGOSTO 2008
Data: 8 de agosto de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante:
Prof. Dr. Rodolfo Jardim de Azevedo, IC-UNICAMP
Título:
"Pós-graduação no Instituto de
Computação da UNICAMP"
Resumo: A
palestra vai apresentar o programa de Pós-Graduação
em Ciência da Computação do Instituto de
Computação para os alunos que ingressaram no mestrado
e doutorado no segundo semestre de 2008.
.pdf
Data: 11 de agosto de 2008, segunda (*** palestra
extraordinária ***).
Hora: 10-12:00
Local: auditório do IMECC.
Palestrante:
Dr. Stuart Feldman, Vice-President,
Engineering, Google
Título: "Web, Internet,
Google -- Present and Trends"
Short Bio: Dr. Feldman is responsible for engineering activities
at Google's
offices in the eastern half of the Americas. Before joining Google,
he worked at IBM for eleven years. Most recently, he was Vice
President for Computer Science in IBM Research, where he drove the
long-term and exploratory worldwide science strategy in computer
science and related fields, led programs for open collaborative
research with universities, and influenced
national and global computer science policy.
Prior to that, Dr. Feldman served as Vice President for Internet
Technology and was responsible for IBM strategies, standards, and
policies relating to the future of the Internet, and managed a
department that created experimental Internet-based applications.
Earlier, he was the founding Director of
IBM's Institute for Advanced Commerce, which was dedicated to creating
intellectual leadership in e-commerce.
Before joining
IBM in mid-1995, Stu was a computer science researcher at Bell Labs
and a research manager at Bellcore. In addition he was the creator
of Make as well as the architect for a large new line of software
products at Bellcore.
Dr. Feldman did his academic work in
astrophysics and mathematics and earned his AB at Princeton and his
PhD at MIT. Until recently, he was President of ACM (Association for
Computing Machinery) and received the 2003 ACM Software System
Award. He is also a Fellow of the IEEE, a Fellow of the ACM, and serves
on a number of government advisory committees.
.pdf
Data: 15 de agosto de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante:
Prof. Dr. Jacques Wainer, IC-UNICAMP.
Título:
"Computadores e o ensino primário e secundário: bom ou ruim?"
Resumo: Esta palestra irá discutir dois resultados
empíricos sobre questão de benefícios ou não do
uso de computadores no ensino primário e
secundário (ou ensino
fundamental e médio na
nomenclatura atual). Ambos resultados foram trabalhos em
colaboração com alunos da UNICAMP (alguns do IC), foram publicados
recentemente, e pelo menos um
deles tem sido o objeto de alguma polêmica e
interesse da mídia. O primeiro usa dados do SAEB de 2001 e
analisa as diferenças nas notas dos alunos da 4a e 8a série do
ensino fundamental e alunos da 3a série do ensino médio
quando eles são agrupados em diferentes dimensões
relativas a computadores: se o aluno tem
ou não computador e/ou
internet em casa, se ele usa muito o computador para fazer a
lição de casa, se o professor usa computador
e/ou internet como ferramenta pedagógica na
escola. O segundo resultado é uma revisão sistemática da
literatura internacional em experimentos controlados (com grupo
de controle) sobre o uso de computadores em aula, para
alunos do ensino
fundamental e médio.
.pdf
Data: 22 de agosto de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante:
Profa. Dra. Valerie Gouet-Brunet, Assistant Professor at the
Conservatoire National des Arts et Métiers, CNAM, http://www.cnam.fr,
Paris, France.
Título:
"Content-based indexing and retrieval in large collections of
images and videos"
Resumo: This presentation concerns content-based
indexing and retrieval in large collections of images
and videos, with applications to object recognition
for visual surveillance and content-based
video copy detection. We will begin with an
introduction to the most popular content-based image
and video descriptors, with a focus on
local
descriptors that are particularly suited for object
recognition and copy detection applications. Then we
will describe two recent and orthogonal approaches to
improve this kind of description. The first work proposes
to enrich these local features by adding semi-local or
global visual contexts, with the aim
of reducing some problems
inherent to these descriptors. We will show that such a context
leads to more robust object recognition and is more suitable to visual
video surveillance. The second approach concerns the characterization
of the temporal behavior of local descriptors in
video sequences. We will demonstrate that tracking local
features and indexing their behavior allow a more efficient
detection of video copies, while reducing the volume
of visual features to compute. The
applications we are targeting require efficient
access to high-dimensional data known to suffer from the
so-called "curse of dimensionality" phenomenon. The
presentation will also address this issue.
.pdf
Data: 25 de agosto de 2008, segunda (*** palestra
extraordinária ***).
Hora: 14-16:00
Local: sala 316, IC-3.
Palestrante: Dr.Richard CHBEIR, Associate Professor of
Computer Science in the University of Bourgogne, France.
Título:
"Multimedia Access control, XML Similarity and Query rewriting"
Resumo: The talk will oversee three
research studies: Multimedia Access control, XML
Similarity and Query rewriting.
- Multimedia Access control
The rapid development of information systems has lead in many
ways to the definition of advanced
authorization and access control models.
Recent models have considered context (such as time, location,
age, etc.) as key issue to
allow flexible and dynamic policy
specification. However, these
models are application-dependent, text-based,
complex to manage, and insufficient to deny unauthorized
access in several cases. Multimedia-based context
(user surrounding snapshot, his moves and gesture, etc.) reveals
interesting information which is considered of
complimentary importance to textual-based context and
should be considered in several scenarios while defining access
control conditions. In the first part of the talk, we
present some existing techniques and show how to extend current
models with a Multimedia Access Control Model (MACM) based
on: flexible multimedia data description, complex
and multi-criteria conditions, and an
uncertainty resolver able to reduce potential risk related to the
use of multimedia data and similarity functions.
Similarity serves as an organization principle by
which individuals classify objects, form concepts and make
generalizations. It plays a central role in various
research areas, particularly in the XML field where
similarity evaluation of XML data has been receiving
a lot of attention. In essence, W3Cs XML (eXtensible Mark-up
Language) has recently gained unparalleled importance as a
fundamental standard for efficient data management and
exchange. Information destined to be broadcasted over the
web is henceforth represented using XML, in order to
guaranty its interoperability. The
use of XML covers data representation and
storage (e.g. complex multimedia objects), database information
interchange, data filtering, as well as
web services interaction. Owing to
the ever-increasing abundant use of
XML especially on the web, XML-based
similarity/comparison becomes a central issue,
specifically in the information retrieval (IR)
and database (DB) communities, its applications ranging
over: * Version control, change management and data
warehousing (finding, scoring and browsing changes between
different versions of a document, support of temporal
queries and index maintenance), *
Semi-structured data integration (measuring the similarity
between XML documents in order to undertake the
integration of corresponding data
sources), * Classification/clustering of
XML documents gathered from the web against a
set of DTDs declared in an XML database (just as schemas are necessary
in traditional DBMS for the provision of efficient storage,
retrieval, protection and indexing facilities, the same
is true for DTDs and XML repositories), * XML query
systems (finding and ranking results according to their
similarity in order to retrieve the best results
possible). In this second part of the
talk, we give an overview of existing research
related to XML similarity, in both its AI dynamic programming
(ED-based approaches) and Information Retrieval fields. We show
how: * Most approaches in the ED literature
focus exclusively on the structure of
documents, ignoring the semantics involved. * Most
approaches ignore several XML similarity cases where the corresponding
edit distance outcome is inaccurate. We present our proposal and
prototype aiming at both combining structural similarity
computations with semantic
similarity assessment, in an XML
(structured data) context, and providing an
improved fine-grained method for comparing heterogeneous XML
documents.
A multimedia query can be
multicriteria and based on several
heterogeneous features (colors, textures, etc.). Two main
parameters make multimedia query processing a
difficult task: 1-the imprecise user request due to the
user uncertainty or to the vagueness of his need,
2-describing a multimedia object depends on each person and
on each moment. This is why several
methods are provided in the
literature to assist the
user during (and/or after) query
writing. Some attempts in information retrieval and
recently in web semantic aim to rewrite the initial query using
relaxing and enriching techniques in order to relate the
query content to the database (or corpus) content. In
spite of the existence of many proposals for
textual and metadata reformulation during retrieval process, a
few of them consider multimedia queries. In the last
part of the talk, we briefly present some exiting
techniques and pin down their drawbacks when addressing
multimedia queries. We also present a new method able to rewrite
multicriteria queries while including the user preferences.
Dr.
Richard CHBEIR received his PhD in Computer
Science from the University of INSA, FRANCE.
Actually, he is Associate Professor of Computer
Science in the University of Bourgogne, France. His current
research interests are in the
areas of multimedia information retrieval,
distributed multimedia database management, spatio-temporal relations,
access control models, Bioinformatics, and the development and
the integration of information systems. He is Chair of ACM SIGAPP
French Chapter, and member of several conference and
journal Program Committees (EuroPar, IEEE ISSPIT, ACM ASIIS,
ICIT, ACM SWS, etc.). He published in several international journals
(IEEE Transactions on SMC, Information Systems, Journal on Data
Semantics, Journal of Methods of Information in
medicine, etc.), and conferences (ER,
EDBT, ACM Multimedia, IEEE SITIS, ACM SAC, Visual,
SOFSEM, FLAIRS, IEEE ICME, etc.).
Data: 29 de agosto de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrantes:
Professores do IC-UNICAMP
Título:
"Potenciais Projetos de Pesquisa do Instituto de Computação
da UNICAMP"
Resumo: Nessa palestra, professores do
IC apresentarão potenciais projetos de suas áreas de
pesquisa, em especial, para os ingressantes da pós-graduação
do 2o. semestre de 2008.
SETEMBRO 2008
Data: 5 de setembro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante:
Profa. Dra. Eliane Martins
Título:
"Uso de uma abordagem passiva nos
testes de robustez de protocolos de comunicação"
Resumo: Testar se um sistema satisfaz aos seus requisitos
funcionais é uma etapa importante na garantia da qualidade de um
software, mas não é suficiente. Hoje em dia, com a
tendência ao reuso de software nos mais variados
contextos, é fundamental determinar se o
sistema é também capaz de tratar os erros que ocorram em
seus componentes ou no ambiente de execução. Os testes de robustez são
também necessários aos demais testes aplicados
a um sistema, dado que seu objetivo
é justamente determinar o comportamento de um
sistema em situações hostis. Nesta palestra serão
apresentadas as principais abordagens
utilizadas nos testes de robustez.
Em seguida será descrita a abordagem
proposta, que se baseia no
uso de testes passivos (monitoração).
Também serão apresentados os resultados obtidos nos
testes de um protocolo real, utilizado em
dispositivos móveis, bem como perspectivas de trabalhos futuros.
.pdf
Data: 12 de setembro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante: Prof.Dr. Edmundo Madeira
Título:
"Middeware para Execução de Tarefas
Dependentes em Grades Computacionais"
Resumo: Sistemas distribuídos vêm substituindo os
supercomputadores na execução de aplicações que
demandam alto poder de processamento, grande
quantidade de memória ou alta capacidade de
armazenamento. O desenvolvimento da tecnologia de redes
locais permitiu a criação de "clusters" de computadores
homogêneos, que se tornaram uma alternativa de baixo
custo e alto desempenho. As
constantes evoluções da tecnologia de redes e dos
sistemas operacionais permitiram a criação
de sistemas heterogêneos, transformando qualquer recurso computacional
em um potencial colaborador
num sistema distribuído. Com a
possibilidade de comunicação
entre recursos computacionais
heterogêneos, a partir da premissa de que qualquer
recurso pode ser agregado a um sistema, em meados dos anos
90 foi proposto o conceito de grades
computacionais. Esse conceito apresenta como
objetivo o compartilhamento coordenado de recursos heterogêneos,
geograficamente distantes, em larga escala. Esses recursos
podem ser variados, tais como processadores, armazenamento
em disco, enlaces de comunicação, hardware
especializado e softwares. Um
"middleware" para grades computacionais deve fornecer
suporte para a execução de aplicações de tipos
e tamanhos variados
num ambiente
heterogêneo e
dinâmico. Oferecer bom desempenho e confiabilidade nesse ambiente
não é de forma alguma trivial, pois o desempenho e a
disponibilidade de cada recurso pode variar de modo
não previsível. Alguns serviços imprescindíveis para
o funcionamento de uma grade computacional são os serviços de
escalonamento, gerência de recursos, controle de acesso e
gerência de processos. Considerando a execução distribuída, a
maioria dos "middlewares" para grades apóia a execução
de tarefas isoladas, não considerando as
interdependências entre as tarefas como
um processo em "workflow". Esta deficiência restringe o
desenvolvimento de algoritmos de
escalonamento melhores, coordenação
de execução distribuída e recuperação automática de
execução. Esta palestra irá abordar três tópicos: (a)
projeto e desenvolvimento de um Middleware
para execução de processos
estruturados; (b) algoritmos de
escalonamento para execução de tarefas dependentes; e (c) Ambientes de
Grades no contexto da Web 2.0 Colaborativa para E-Ciência.
.pdf
Data: 19 de setembro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante: Maria de Fátima Mattiello-Francisco -
Instituto Nacional de Pesquisas Espaciais (INPE)
Título:
"Verificação e Validação de Software: Projeto
Qualidade do Software Embarcado em Aplicações Espaciais"
Resumo: Apresentar os desafios
e a experiência adquirida em
Verificação e Validação de
Software Embarcado em instrumento científico
a bordo de satélites no contexto do Projeto Qualidade
do Software Espacial em Aplicações Espaciais – QSEE.
Caracterizado como um projeto de transferência tecnológica para
a industria de software brasileira, ele
explora o modelo Fábrica
de Software no desenvolvimento de sistemas de
software críticos da área espacial.
Biografia: Maria de
Fátima Mattiello-Francisco possui graduação em Instituto de
Ciências Matemáticas e da Computação pela Universidade de São Paulo
(1980) e mestrado em Engenharia e Tecnologia Espaciais pelo
Instituto Nacional de Pesquisas Espaciais
(1986). Atualmente é Tecnologista Senior III do
Instituto Nacional de Pesquisas Espaciais. Tem experiência
na área de Engenharia Aeroespacial, com ênfase
em Sistemas Aeroespaciais, atuando principalmente nos
seguintes temas:
tolerância a falhas, testes, verificação e validação.
.pdf
Data: 26 de setembro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Não haverá palestra nessa semana pois ocorrerá o IV Workshop de Teses
de Doutorado em Andamento do IC-UNICAMP,
nos dias 22(seg), 23(ter) e 24(qua) de setembro de 2008, com
várias apresentações de temas de pesquisa de doutorado sendo
desenvolvidas no IC.
Maiores detalhes da programação do IV Workshop de Teses
de Doutorado em Andamento do IC-UNICAMP :
http://solimoes.ic.unicamp.br:8080/wtd
OUTUBRO 2008
Data: 2 de outubro de 2008, quinta (*** palestra
extraordinária ***).
Hora: 16-18:00
Local: sala 85, IC-2.
Palestrante: Dr. João Gonçalo Quadros, CEO, Critical Software,
Coimbra, Portugal.
Título:
"Critical Software e os desafio da Tecnologia da Informação"
Resumo: O objetivo da palestra é
apresentar a empresa Critical Software SA
e Critical Software do Brasil –
Desenvolvimento de Software LTDA, abordando as políticas
da empresa de cooperação com universidades e também
colocar em perspectiva a visão de futuro da empresa e
a Universidade como parceiro essencial deste futuro.
Biografia: João Gonçalo
Quadros – CEO (Chief Executive Officer) - has a degree in Electrical
Engineering and a PhD in Computer Science from Coimbra. He
is a co-founder of Critical Software, CEO and
Business Development Director. Before joining
Critical, Gonçalo worked in industry for
several years.
Ana Cristina Guimarães has a degree in
economics, a post graduate qualification in European Affairs and
an MBA in Information Management and Finance from Católica
(Lisbon). Ana has 20 years of experience in international
Business in the IT Area.
.pdf
Data: 3 de outubro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante: Prof.Dr. Marco Aurélio Gerosa, IME-USP
Título:
"Componentes de software e criatividade no desenvolvimento de
sistemas colaborativos"
Resumo: Sistemas colaborativos apresentam um desafio
interessante para a Engenharia de Software, pois
várias dificuldades tradicionais do desenvolvimento
de sistemas são potencializadas
ao desenvolver software para grupos. Problemas
como sincronismo, concorrência de acesso,
compartilhamento e distribuição são críticos. A área de CSCW
(Computer Supported Cooperative Work) é altamente
interdisciplinar e os processos de negócio que definem a dinâmica de
trabalho de um grupo são difíceis de modelar
e suportar computacionalmente, além de
variarem consideravelmente ao longo
do tempo. A área requer
programadores qualificados, que gastam
boa parte do seu tempo resolvendo questões
técnicas de baixo nível. Os códigos desenvolvidos acabam se
tornando altamente acoplados e de difícil evolução. Tomando
como base outras áreas que avançaram
consideravelmente depois que programadores em geral puderam
experimentar e prototipar configurações rapidamente, percebe-se a
necessidade de instrumentar o desenvolvedor de
groupware. IDEs modernas, por
exemplo, oferecem um grande quantidade de
componentes de interface (widgets) e ferramentas que
possibilitam posicionar, configurar e ligar os componentes, levando os
programadores a pensarem em um alto nível, em termos de
interação, em vez de deterem-se em detalhes
técnicos de construção de janelas gráficas.
Um grande número de aplicações foram
criadas, dada a facilidade de copiar e
variar a interface, e pode-se experimentar diversas
configurações de interface, em uma mesma sessão
de uso do sistema, antes de partir para um
desenvolvimento mais robusto. Nesta palestra é
abordada uma proposta de bancada de componentes
para a construção de sistemas colaborativos, de
modo a potencializar a prototipação, experimentação e
a criatividade no desenvolvimento de groupware.
Biografia: Marco Aurélio
Gerosa é professor do Instituto de Matemática e Estatística (IME) da
USP. Possui diversas publicações nas áreas de sistemas colaborativos,
desenvolvimento baseado em componentes, engenharia de software, TV
digital e informática na educação. É membro do comitê de programa de
conferências, como SBIE, SBSC e IRMA e avaliador de cursos do MEC. Em
2007 foi chair do comitê de programa do IV Simpósio Brasileiro de
Sistemas Colaborativos (SBSC) e em 2008 é um dos organizadores gerais
do XIV WebMedia e do V Simpósio Brasileiro de Sistemas Colaborativos,
que serão realizados em Vitória-ES. É membro do Comitê Gestor da
Comissão Especial de Sistemas Colaborativos da SBC Gestão 2007/2008.
.pdf
Data: 8 de outubro de 2008, quarta (*** palestra
extraordinária ***).
Hora: 14-16:00
Local: sala 85, IC-2
Speaker: Prof.Dr. Juan Carlos Ruiz, Universidad
Politécnica de Valencia (UPV)
Title:
"Resilience Assessment of mobile systems: From devices
to the network (The UPV Experience)"
Abstract: Pervasive computing is not only
going to change the way we will live and interact with
(smart) devices, it will also definitely
change the way engineers design such devices and develop software
for them. Indeed, centralized computing won't exist anymore. New
computing
systems are going to be defined in terms of devices that will
work in concert to support users in
carrying out their everyday life
activities. This will be done by using information
and intelligence that is hidden in the (wireless) network
connecting such devices. As
they grow smaller, more connected, more mobile
and more integrated into our environment, devices will
become more sensitive to physical
faults, interaction mistakes, or malicious attacks and disruptions. As
a result, this new paradigm calls not only for new
ways of thinking
systems at every system level (from
hardware and network layers, through the operating system
and middleware, to applications) but also
for the consideration of security and dependability issues
at all of these levels. This seminar will explore some of the
existing research initiatives at the Universidad Politécnica
de Valencia (UPV) focused on the
design and evaluation of
mobile systems: resilience benchmarking of SoCs
used to produce mobile devices, reflective- and
aspect-oriented approaches to improve
the resilience of mobile solutions at both HW
and SW levels, attack injection methodologies to evaluate
security properties in wireless (ad
hoc) networks and intrusion detection
approaches to improve such properties whenever
required.
Short Biografy: Dr. Juan
Carlos Ruiz received the MS degree in Computer Science from
the Universidad Politécnica de Valencia (Spain)
in 1998, and his Ph.D. from the Institut National
Polytechnique of Toulouse (France) in 2002. His thesis work
was carried out at the LAAS (Laboratoire d’
Analyse et d’Architecture des
Systèmes) laboratory, where he investigated
in the Jean-Claude Laprie research group. It focused on
testing reflective fault-tolerant systems
and it was partially supported by France-Telecom, the
CNRS (Centre National de la Recherche Scientifique) and
the JSPS (Japan Society for the
Promotion of Science). During his Ph.D., he
visited the Tsukuba University in Japan,
where we worked with
Professor Shigeru Chiba in the
implementation of an open compiler
for the provision of fault tolerance to
object-oriented systems. In 2003, Dr. Ruiz integrated the Grupo
de Sistemas Tolerantes a Fallos (GSTF) of
the Universidad Politécnica de Valencia. He was
involved in the European project DBench
(Dependability Benchmarking). Currently, he is an
assistant professor at the Computer Science Faculty of such university,
where he is also in charge of
the relations between the
Faculty and enterprises. His main research interests
include, although they are not limited to,
dependability and security benchmarking, fault and
attack injection, and fault and intrusion
tolerance in wireless embedded systems. He normally serves
as reviewer and program committee in international
conferences in the dependability
domain, like European Dependable Computing
Conference (EDCC) and the IEEE/IFIP
Dependable Systems and Networks Conference (DSN. Dr. Juan Carlos
Ruiz is member of the IFIP 10.4 SIG on
Dependable Benchmarking and the
Spanish Technological Platform for Security and Dependability.
.pdf
Data: 10 de outubro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2
Palestrante: Prof.Dr. Marcel Jackowski, IME-USP
Título:
"Análise de Imagens do Tensor de Difusão"
Resumo: As imagens de ressonância magnética por tensor de
difusão (DT-MRI) têm contribuído de forma inédita para a caracterização
estrutural de tecidos biológicos e sua organização. Campos tensoriais
provenientes desta
técnica são de difícil interpretação e visualização devido à sua natureza multivariada. Nesta
palestra apresentaremos os princípios físicos destas imagens, seu
processamento e análise e aplicações em potencial.
Biografia: Marcel
Jackowski obteve o Bacharelado em Ciência da Computação pela Pontifícia
Universidade Católica
do Paraná (PUC-PR) (1993), mestrado em Ciência da Computação - Wright
State University (1997) e doutorado em Ciência da Computação - Wright
State University (2001). Pós-doutorado na Yale University na área de
análise de imagens de ressonância magnética (2005). Atualmente é
professor doutor pela Universidade de São Paulo, Instituto de
Matemática e Estatística. Tem experiência na área de Visão
Computacional, com ênfase em Processamento e Análise de Imagens
Médicas, atuando principalmente nos seguintes temas: Ressonância
Magnética, Imagens pesadas em Difusão (DTI), Segmentação, Registro
(Alinhamento) de imagens. Atua também na área de Computação Gráfica,
cujo interesses são visualização de dados multivariados em 3D,
simulação e visualização de fenômenos físicos e biológicos em 3D em
tempo real.
.pdf
Data: 17 de outubro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Não haverá palestra nessa semana pois ocorrerá XXIII Simpósio
Brasileiro de Banco de Dados (SBBD) e XXII Simpósio Brasileiro de
Engenharia de Software (SBES), 13-17 de outubro de 2008, no Ginásio de
Esportes da UNICAMP.
Maiores detalhes da programação do SBBD-SBES 2008:
http://sbbdes.ic.unicamp.br/
Data: 24 de outubro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante: Dr. Luidi Gelabert Simonetti - IC, UNICAMP.
Título:
"Reformulações e algoritmos exatos para o
problema de árvore geradora com número máximo de folhas"
Resumo: O problema de árvore geradora com
número máximo de folhas é uma representação usada
para vários problemas reais de projetos de redes de
informação. Atualmente é muito utilizado em projetos de redes
wireless Ad Hoc. Nesta palestra
apresentaremos duas formulações matemática e também
apresentaremos os seus resultados comparados com o existente na
literatura.
Biografia: Dr.Luidi
Gelabert Simonetti possui graduação em Engenharia Mecânica pela
Universidade Federal do Rio de Janeiro (2000), mestrado em
Engenharia de Sistemas e Computação pela Universidade
Federal do Rio de Janeiro (2003) e
doutorado em Engenharia de Sistemas e
Computação pela Universidade Federal do Rio de
Janeiro (2008). Tem experiência na
área de Ciência da Computação,
com ênfase em Programação Matemática, atuando
principalmente nos seguintes temas: árvores geradoras, otimização
combinatória, branch-and-cut. Atualmente ele tem um projeto de
pós-doutorado junto ao Instituto de Computação da Unicamp.
.pdf
Data: 31 de outubro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante: Prof.Dr. Eduardo Cândido Xavier
Título:
"Teoria dos Jogos e Computação"
Resumo: A Teoria dos Jogos consiste no estudo de modelos
para situações onde
agentes interagem em um sistema. Cada agente possui escolhas que alteram o estado do
sistema, e também possuem preferências sobre cada um dos possíveis
estados do sistema. Cada jogador gostaria de deixar o sistema na melhor
situação individual. Mas o que isto tem a ver com Sistemas
Computacionais? O
surgimento da internet trouxe consigo vários novos desafios e surgiram várias áreas com abordagens
práticas propondo soluções para esses desafios. Nos últimos anos áreas
teóricas da computação começaram uma tentativa de formalizar esses aspectos
como teoria e estudar melhor esses novos problemas. A internet é formada por
várias entidades, onde cada entidade tem um objetivo próprio, e essas entidades se
relacionam com outras de várias maneiras, às vezes seus relacionamentos são
cooperativos, às vezes competitivos, ou também se relacionam de maneira
egoísta, e neste caso, não se preocupam com as conseqüências que suas ações
podem acarretar para o sistema como um todo. Esse cenárioé ideal para ser
modelado formalmente na Teoria dos Jogos. Neste seminário veremos
alguns conceitos básicos sobre Teoria dos Jogos e apresentaremos resultados
relacionados com problemas computacionais.
.pdf
NOVEMBRO 2008
Data: 7 de novembro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante: Prof.Dr. Jorge Stolfi
Título:
"Métodos Matemáticos em Computação Visual"
Resumo: Computação visual é uma grande área
da Informática que trata de imagens digitais,
incluindo captura, processamento, reprodução,
armazenamento, transmissão, síntese, análise e modelagem. Ela
engloba computação gráfica, visão
computacional, modelagem geométrica, e
várias outras sub-áreas bem estabelecidas. A computação visual tem uma
vasta (e crescente) gama de
aplicações, como entretenimento e
publicidade, medicina,
engenharia, visualização científica,
humanidades, segurança, etc. Ela também utiliza uma enorme
variedade
de conceitos e ferramentas matemáticas, desde topologia até
equações integrais, passando por geometria
(clássica e analítica), análise
combinatória, análise intervalar,
estatística e probabilidade, transformadas
funcionais, teoria da aproximação, e muito mais. Nesta
palestra procuraremos dar uma visão geral das
técnicas matemáticas usadas em computação visual, e alguns
exemplos específicos tirados de nossas pesquisas recentes.
.pdf
Data: 14 de novembro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante: Dra.Ana Maria Ambrosio - Instituto
Nacional de Pesquisas Espaciais (INPE)
Título:
"CoFI: uma metodologia para geração de teste - teoria e
prática"
Resumo: CoFI (conformidade e falhas injetáveis)
é uma metodologia de teste de software para aplicações
espaciais que visa reduzir custos e diminuir o número de incidentes em
missões espaciais. Esta metodologia é baseada no uso de
modelos de estados a partir dos quais casos de testes
são derivados automaticamente em scripts de
teste. A COFI permite ao testador lidar com a
explosão de estados na modelagem do sistema em teste.
Esta metodologia fez parte do Processo de
V&V
Independente para aceitação do produto, um
software embarcado, do Projeto Qualidade de
Software Embarcado em Aplicações Espaciais
(QSEE), desenvolvido no INPE em
cooperação com o Instituto de Computação
da Unicamp e a DBA, uma empresa nacional de software.
Os passos da metodologia para a criação dos modelos formais de teste e
os promissores resultados obtidos com a aplicação desta no
projeto QSEE serão apresentados. As lições aprendidas, vantagens
e desvantagens do uso de modelos formais para testes serão também
discutidas.
Biografia: Dra.Ana Maria Ambrosio é formada em
Ciência da Computação pela Universidade Federal de São
Carlos. Concluiu o mestrado em 1988 e o doutorado em 2005, em
Computação Aplicada no Instituto Nacional de Pesquisas Espaciais
(INPE/MCT). Tecnologista senior do INPE desde
1985, é, hoje, responsável pelo
desenvolvimento do Simulador dos
Satélites CBERS_3&4; docente do curso de pós-graduação em
Engenharia e Gerenciamento de Sistemas Espaciais. Tem
participado de projetos de pesquisas sobre geração e
execução de testes de software, tais como QSEE - Qualidade
de Software Embarcado em Aplicações Espaciais/FINEP; ATIFS –
Ambiente de Teste por Injeção de Falhas por Software; REVVIS – Reunião
de Especialistas em Verificação e Validação de Software/CYTED;
ITASAT – Satélite Universitário, financiado
pela Agência Espacial Brasileira. Participa do
grupo de trabalho “Spacecraft Monitoring and
Control” para padronização de sistemas na
área espacial do Consultative Committee for Space Data Systems
(**CCSDS**).
.pdf
Data: 21 de novembro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Não haverá palestra: feriado Consciência Negra.
Data: 28 de novembro de 2008, sexta.
Hora: 10-12:00
Local: sala 85, IC-2.
Palestrante: Renan G. Cattelan, ICMC-USP-São Carlos
Título:
"Migrando a infra-estrutura de busca na Web dos servidores para os clientes"
Resumo: A qualidade dos resultados de buscas na Web é
substancialmente limitada
por restrições ao tempo de resposta impostas no servidor. Geralmente, o servidor aloca
algumas dezenas de milisegundos para recuperar as páginas
relevantes, agregar anúncios patrocinados e retornar os resultados ao
usuário. Nós propomos um
mecanismo de busca radicalmente diferente, em que a maioria do processamento é
migrada do lado do servidor para o lado do cliente: complementando o
processo tradicional, e em segundo plano, o servidor responde a uma
consulta com algumas centenas de URLs, cujos conteúdos HTML
correspondentes são baixados e processados no cliente, que apresenta então uma lista
reorganizada e resumida ao usuário.
Desse modo, tal plataforma potencialmente permite não apenas uma redução de carga no servidor,
mas também provê ao usuário resultados de busca mais satisfatórios,
personalizados e com maior privacidade.
Biografia: Renan G.
Cattelan é doutorando em Ciência da Computação na USP-São Carlos, onde também
cursou a graduação e o mestrado. Foi pesquisador visitante na
Microsoft Research (Redmond, EUA) e na Universidade de Alberta
(Edmonton, Canadá). Tem 28 artigos publicados e 2 patentes registradas.
.pdf
Data: 12 de dezembro de 2008, sexta (*** palestra
extraordinária ***).
Hora: 10-12:00
Local: sala 85, IC-2.
Speaker: Prof.Dr. Fernando Pedone, University of
Lugano, Suiça.
Title:
"Optimistic
Recovery in Middleware Storage Systems"
Abstract: In this talk, I will present a recovery
architecture for in-memory data management systems. Recovery in such
systems boils down to solving two problems: retrieving and
installing the last committed image of the crashed
database on an available server and replaying
the updates missing from the image. We improve
recovery time with two simple techniques:
Asynchronous Remote Checkpointing reduces the
time to retrieve and install a database image. On-demand
Recovery removes the need to replay all missing
updates before new transactions can be accepted. In
addition to presenting the two techniques, I will comment on
their implementation and performance in the context
of Sprint, a middleware-based in-memory data management system we
have developed.
Obs. A apresentação será em português.
Short Bio: Fernando
Pedone received his Ph.D. degree in Computer
Science from Ecole Polytechnique
Fédérale de Lausanne (EPFL),
Switzerland, in 1999. Before
becoming Assistant and Associate Professor
at the University of Lugano, he worked as a
researcher at the Hewlett-Packard Laboratories in Palo
Alto, California, and as a senior researcher at
EPFL. His professional interests include the
theory and practice of distributed
systems and distributed data management systems.
.pdf