Archive for the ‘DI’ Category.

Defesa de Tese de Doutorado. Wearables para Apoiar a Representação Espacial por Indivíduos Cegos

Autor: Wallace Corbo Ugulino
Orientador: Hugo Fuks
Data e Hora: 01/12/2014 às 10:00
Local: 511RDC

“Building Software Engineering Body of Knowledge with Knowledge Engineering”

Prof. Kalinowski
Local: FPLF 13º andar
Data/Horário: 12 de novembro de 2014, 16:00 – 18:00

Apresentação 1: “Building Empirical Software Engineering Bodies of
Knowledge with Systematic Knowledge Engineering”

[Context] Empirical software engineering (EMSE) researchers conduct
systematic literature reviews (SLRs) to build bodies of knowledge
(BoKs). Unfortunately, valuable knowledge collected in the SLR process
is publicly available only to a limited extent, which considerably slows
down building BoKs incrementally. [Objective] This presentation
introduces the Systematic Knowledge Engineering (SKE) process to support
building up BoKs from empirical studies efficiently. [Method] SKE is
based on the SLR process and on Knowledge Engineering (KE) practices to
provide a Knowledge Base (KB) with semantic technologies that enable
reusing intermediate data extraction results and querying of empirical
evidence. We evaluated SKE by building a software inspection EMSE BoK KB
from knowledge acquired by controlled experiments. We elicited relevant
queries from EMSE researchers and systematically integrated information
from 30 representative research papers into the KB. [Results] The
resulting KB was effective in answering the queries, enabling knowledge
reuse for analyses beyond the results from the SLR process. [Conclusion]
SKE showed promising results in the software inspection context and
should be evaluated in other contexts for building EMSE BoKs faster.

Apresentação 2: “Towards a Semantic Knowledge Base on Threats to
Validity and Control Actions in Controlled Experiments”

[Context] Experiment planners need to be aware of relevant Threats to
Validity (TTVs), so they can devise effective control actions or accept
the risk. [Objective] The aim of this presentation is to introduce a TTV
knowledge base (KB) that supports experiment planners in identifying
relevant TTVs in their research context and actions to control these
TTVs. [Method] We identified requirements, designed and populated a TTV
KB with data extracted during a systematic review: 63 TTVs and 149
control actions from 206 peer-reviewed published software engineering
experiments. We conducted an initial proof of concept on the feasibility
of using the TTV KB and analyzed its content. [Results] The proof of
concept and content analysis provided indications that experiment
planners can benefit from an extensible TTV KB for identifying relevant
TTVs and control actions in their specific context. [Conclusions] The
TTV KB should be further evaluated and evolved in a variety of software
engineering contexts.

Biografia

Marcos Kalinowski possui doutorado e mestrado em Engenharia de Sistemas
e Computação pela COPPE/UFRJ, na linha de pesquisa Engenharia de
Software. É graduado em Ciência da Computação pela UFRJ. Atualmente é
professor adjunto, em processo de redistribuição para a UFF. Atua com
pesquisas na área de Engenharia de Software, principalmente relacionadas
a Engenharia de Software Experimental e Qualidade de Software [Google
h-Index atual: 10]. Possui ampla experiência em transferência de
tecnologia para a indústria, tendo fornecido serviços especializados,
consultorias e treinamentos para empresas públicas e privadas de
diferentes portes, tanto dentro do país quanto fora. Atua junto ao
programa nacional MPS.BR, onde faz parte da equipe técnica do modelo
(ETM) desde 2008, desempenhando diferentes papéis ao longo dos anos,
incluindo os de coordenador de publicações, coordenador de comunicação e
coordenador do WAMPS (Workshop Anual do MPS.BR). É também avaliador
líder (tendo avaliado dezenas de empresas de diferentes regiões do
país), instrutor e implementador certificado do programa MPS.BR.

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

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

Defesa de Dissertação de Mestrado. Um Processo para Definir Estratégias de Rastreabilidade: Um Case em Ambiente Oracle.

Autor: Marcelo Novaes Coutinho

Orientador: Julio Cesar S. do Prado Leite

Data: 04/09/2014 às 15:00

Local: 511 RDC