Defesa de Tese de Doutorado. Some Results in a Proof-theory Based on Graphs.

Autor: Marcela Quispe Cruz
Orientador: Edward Hermann Haeusler
Data e Hora: 13/11/2014 às 13:00
Local: 511RDC

Palestra sexta-feira 7/nov às 13h na 511 RDC: “Towards a more human-centred informatics?” Prof. Liam Bannon, Univ. Limerick, Irlanda

Palestrante: Prof. Liam Bannon — University of Limerick and Aarhus University
Título: Towards a more human-centred informatics?
Data e hora: sexta-feira 7/nov às 13h
Local: 511 RDC

Resumo:
In this talk I will argue that the field of Computing should not solely be about the study of computability (Mathematics) or the building of applications (Engineering). Most of the software we design today is used by people, and so an understanding of people’s activities and practices is also in my view a necessary aspect of education in the computing field. Strangely, this is still the exception rather than the rule in most Computing departments worldwide. My argument is not simply that students should receive a few lectures on the creation of user interfaces, or learn some heuristics about Human Computer Interaction (HCI), or speculate about the future on an optional course on “computers and society” (although such brief introductions are better than nothing!), but rather that they explore what it means to create artefacts that fit into, and enhance, people’s everyday lives and activities. In this talk, I’ll take up this challenge, and show how historically, these issues have surfaced in debates about the field of Computer Science over the years, without ever becoming mainstream.

Bio
Liam Bannon is Honorary Professor in Human Computer Interaction at Aarhus University, Denmark, and Emeritus Professor in the Department of Computer Science and Information Systems at the University of Limerick, Ireland. Currently, he is a Visiting Research Professor at UFRJ. In recent years, he has also held Visiting Professor positions in several Universities in France, Spain and Italy. His research interests range over the gamut of human-technology relations, including cognitive ergonomics, human-computer interaction, computer-supported cooperative work, computer-supported collaborative learning, new media, interaction design, and social dimensions of new technologies. He has been involved for many years in the elaboration of more human-centred approaches to the design of complex ICT systems (Bannon, 2011). He was a founding editor of CSCW: The Journal of Collaborative Computing and is serving, or has served, on the editorial boards of several other international journals in HCI, CSCW, CSCL, and Design. He has served on numerous International Programme Committees for Conferences in these areas, and also served as a member of the International Panel of Reviewers for many scientific research projects and organizations wordwide. Liam was recognized as a Pioneer in the HCI field by IFIP in 2010. Liam holds an Honorary Doctorate from the Royal Institute of Technology (KTH), in Stockholm, Sweden. Liam is a Fellow of the Irish Ergonomics Society, was first Chair of the ACM SigCHI Irish Chapter, and is Irish representative on IFIP TC13 (Human-Computer Interaction). In 2013 he was jointly awarded (with Kjeld Schmidt) the EUSSET-IISI Lifetime Achievement Award for contributions to HCI & CSCW.

Suggested Reading
Bannon, Liam (2011) Reimagining HCI: Toward a more human-centred perspective. ACM Interactions (cover story), July-August 2011, vol. 18, Issue 4 pp. 50-57.

Prof. Furtado agraciado com o Peter Chen Award em 2014

Antonio L. Furtado, Professor Emérito do Departamento de Informática da PUC-Rio, é o ganhador do Peter Chen Award 2014 pelas suas contribuições para a área de modelagem conceitual de banco de dados, que cobrem um período de quase 4 décadas. O Prof. Furtado desempenhou ainda um papel fundamental na criação e desenvolvimento da área no País, projetando-a no cenário internacional. Publicou livros pioneiros em estruturas de dados e organização de bancos de dados, este último um marco importante para o ensino de computação no Brasil.

Willian Oizumi, mestrando do Prof. Alessandro Garcia, recebe duas premiações durante o SBES/CBSoft 2014

O aluno Willian Oizumi, mestrando do DI sob orientação do Prof. Alessandro Garcia, recebeu duas premiações na Conferência Brasileira de Software: Teoria e Prática. Os artigos premiados foram produzidos em co-autoria com outros alunos e professores do DI.

3o. Melhor Artigo do 28o. Simpósio Brasileiro de Engenharia de Software: When Code-Anomaly Agglomerations Represent Architectural Problems? An Exploratory Study. Willian Oizumi, Alessandro Garcia, Manuele Ferreira, Arndt von Staa, Thelma Elita Colanzi

Melhor Artigo do 11o Workshop de Modularidade: Towards the Synthesis of Architecturally-Relevant Code Anomalies. Willian Oizumi, Alessandro Garcia, Leonardo da Silva Sousa, Danyllo Albuquerque, Diego Rego

Defesa de Tese de Doutorado: Using runtime information and maintenance knowledge to assist failure diagnosis, detection and recovery.

Autor: THIAGO PINHEIRO DE ARAUJO
Orientador: Arndt von Staa
Data e Hora: 07/10/2014 às 9:00
Local: 13º andar FPLF

Uma biologia teórica inspirado na teoria da computabilidade

Prof. Gregory Chaitin [1,2] (ministrado em português)

Abstract: We add a new (valid) strong propositional substitution rule
(SUB) : $\frac{\Gamma}{\theta(\Gamma)}$ for any $\theta \in
\mbox{Hom}(V~AR \to F0R)$ and consider dag-like cut-free sequent calculus
SEQ$_{sub}$ with (SUB) (for brevity classical, but also keep
intuitionistic one in mind). We formulate for SEQ$_{sub}$ the Hauptsatz
with Compression. We ask if SEQ$_{sub}$ admits better/faster speed-up of
proof compression than analogous calculus with weaker substitution for
$\theta \in \mbox{Hom}(V~AR \to LIT)$?


[1] http://en.wikipedia.org/wiki/Gregory_Chaitin

[2] https://ufrj.academia.edu/GregoryChaitin

[3] http://www.informatik.uni-trier.de/~ley/pers/hd/g/Gordeev:Lew

Lógicas e Ontologias: uma proposta nada modesta para o processamento semântico do Português

Profa. Valeria de Paiva

Abstract: Se nós conseguirmos produzir fórmulas lógicas a partir de textos
objetivos em Português, muitas aplicações, tais como extração de
informacões, sumarização, análise de sentimentos, tradução automática,
pesquisa semântica, perguntas e respostas etc. tornam-se factíveis. Mas
essas aplicações requerem muitos recursos léxicos.
Mesmo para a língua inglesa, que possui, por razões óbvias, o maior número
e variedade de recursos léxicos, alguns recursos ainda estão faltando, os
recursos existentes não são bem conectados e muita informação que poderia,
a princípio, ser obtida pela ligação de recursos existentes, não é fácil
de extrair. A situação e muito pior para o português, onde não temos os
grandes e longos projetos que acumularam anos-hora de trabalho de
linguistas tais como WordNet, ComLex, o Penn TreeBank, VerbNet, FrameNet,
GATE, NLTK, Delph-IN, ParGram, GF etc. Junto com colegas eu embarquei num
projeto de construir recursos léxicos semelhantes para o português, a
longo prazo. Nossa estratégia básica é construir tanto quanto possível
automaticamente, mas verificar os resultados obtidos manualmente da melhor
forma que conseguirmos. Essa palestra descreve as ferramentas
implementadas a partir de 2010 (OpenWorNet-PT e NomLex-PT), as que estamos
criando e as que as que planejamos implementar e explica porque elas são
úteis.

www.valeriadepaiva.org/

Teoria Estatística da Informação no Processamento de Imagens (com aplicações em imagens SAR)

Palestra do Prof. Alejandro C. Frery

Abstract: Veremos conexões interessantes entre Processamento de Imagens,
Teoria da Informação e Estatística. A Teoria da Informação é um ramo da
Probabilidade e da Estatística que, como corpo de conhecimento, ficou
consolidado em meados do século XX. Ela tem fortes conexões com as
Telecomunicações, e dois dos seus conceitos centrais são a Entropia e a
Divergência. O primeiro mede a desordem de um sistema estocástico,
enquanto o segundo mede quão diferentes dois sistemas estocásticos são.
Alguns problemas clássicos em processamento e análise de imagens são a
redução de ruído (filtrado), a detecção de bordas, a classificação e a
detecção de mudanças. As técnicas de origem estatística estão entre as
mais eficientes e eficazes para tratar esses. Dois pontos centrais desta
palestra são: (1) esses (e outros) problemas importantes em imagens podem
ser formulados como testes de hipóteses, e (2) podemos resolver esses
problemas com sucesso empregando entropias e divergências, mesmo quando o
modelo não é gaussiano (como é o caso das imagens SAR – Synthetic Aperture
Radar).

Defesa da Tese de Doutorado. A Blueprint-Based Approach for Prioritizing and Ranking Critical Code Anomalies

Autor: Everton Tavares Guimarães

Orientador: Alessandro Fabricio Garcia

Data: 12/09/2014 às 10:00

Local: 13º Andar/ Predio da FPLF

Defesa de Tese de Doutorado. Indução e Seleção Incrementais de Atributos no Aprendizado Supervisionado

Autor: Eduardo Neves Motta

Orientador: Ruy Luiz Milidiú

Data: 05/09/2014 às 10:00

Local: 510 RDC