Cristiano Galafassi

Identifying Pixels Classified Uncertainties ckMeansImage Algorithm

Floods may occur in rivers when the flow rate exceeds the capacity of the river channel, particularly at bends or meanders in the waterway. Floods often cause damage to homes and businesses becoming the most prevalent type of disaster in the world and the one with the highest number of events, causing the greatest economic losses, affecting a large number of people. This paper has the objective of mapping and identifying the flooding areas of a selected region in the municipality of Itaqui-RS using remote sensing. In order to do it, we used the Fuzzy ckMeansImage Algorithm to group and to classify the image into similarity clusters. The methodology consists in processing satellite images before and after the flooding occurs. Finally, we discuss the processed images and present the flooded area.

Heráclito: Learning Environment to Teach Logic

The present paper aims to present the Heraclito environment. The Heraclito is an Intelligent Tutoring System focused on teaching Logic and assists students in solving exercises that ask them to calculate the logical value of a formula, going through truth table exercises, and even doing argument-proof exercises through rules of Natural Deduction. In order to do so, it provides the Electronic Logic Exercise Notebook - LOGOS (Free to use at http://obaa.unisinos.br/heraclito/.) [1] (with two different test editors) that allows creating and editing formulas, truth tables and proofs of Natural Deduction to Propositional Logic.

Algoritmo ckMeans Aplicado ao Sensoriamento Remoto

O sensoriamento remoto e uma tecnologia para obter imagens e dados da superficie terrestre atraves da captacao e registro da energia reetida/emitida pela superficie sem que haja contato fisico entre um sensor e a superficie analisada. Este trabalho propoe o desenvolvimento de um metodo que adapta e ajusta a entrada e saida de dados chamado de pre e pos-processamento de imagens para aplicar o algoritmo ckMeans no sensoriamento remoto. Para validar a proposta aplicou-se o pre e pos-processamento em uma imagem para executar o algoritmo ckMeans, onde foi possivel distinguir as areas da imagem geradas pelo algoritmo, validando o processo de segmentacao de imagens aplicado ao sensoriamento remoto.