Aluno do ICMC é representante do campus no Programa USP-Diversidade

Guilherme Baggio Ferla, aluno do curso de Bacharelado em Matemática do ICMC, foi indicado pelo Conselho Gestor do Campus de São Carlos como representante do Campus no Programa USP-Diversidade. A indicação ocorreu em 30 de março, e o mandato é de dois anos.

O Programa USP–Diversidade foi criado em 2011 pela Pró-Reitoria de Cultura e Extensão Universitária, através da Resolução CoCEx 5.908. Um dos objetivos é estimular a promoção e respeito aos direitos humanos a partir de atividades desenvolvidas na USP.

Contato: guibaggio@grad.icmc.usp.br

Defesas previstas para maio

PROGRAMA DE PÓS-GRADUAÇÃO EM 

CIÊNCIAS DE COMPUTAÇÃO E MATEMÁTICA COMPUTACIONAL 

FELIPE FRANCISCO BEZERRA ARAÚJO
Curso: Mestrado
Título: "Balanceamento de linhas de produção com trabalhadores deficientes e máquinas paralelas"
Orientador: Prof. Dr. Alysson Machado Costa
Data: 03/05/2011
Horário: 14 horas
Local: Sala 4-124 (Antiga Videoteca), do ICMC-USP

MARCOS MANSANO FURLAN
Curso: Mestrado
Título: "Métodos heurísticos para o problema de dimensionamento de lotes multiestágio com limitação de capacidade"
Orientadora: Profa. Dra. Maristela Oliveira dos Santos
Data: 04/05/2011
Horário: 15 horas
Local: Sala 3103, do ICMC-USP

EDUARDO ALVES FERREIRA
Curso: Mestrado
Título: "Detecção autônoma de intrusões utilizando aprendizado de máquina"
Orientador: Prof. Dr. Rodrigo Fernandes de Mello
Data: 05/05/2011
Horário: 14 horas
Local: Sala 4-124 (Antiga Videoteca)

JEFFERSON FONTINELE DA SILVA
Curso: Mestrado
Título: "Resolução de correferência em múltiplos documentos utilizando aprendizado não supervisionado"
Orientador: Prof. Dr. João Luís Rosa
Data: 05/05/2011
Horário: 14 horas
Local: Auditório Prof. Jan Frans Willem Slaets

Pesquisadores do ICMC apresentam palestras diversas

Quinta-feira (28 de abril), às 18h45min, na sala 4-124

"An integrated mathematical model for MOSP and MORP problems"

Palestrante: Claudia Fink (ICMC-USP)

----------

Sexta-feira (29 de abril), às 14 horas, na sala 4-001:

"Computational Tools for Comparing Asymmetric GARCH Models via Bayes Factors"

Palestrante: Ricardo S. Ehlers (ICMC-USP)

----------

Segunda-feira (2 de maio), às 17 horas, no Auditório do ICMC

"O uso do Cálculo na análise de modelos de dinâmica"

Palestrante: Janete Crema (ICMC-USP)

1º Workshop do PAE - Campus de São Carlos

As Unidades do Campus USP de São Carlos promovem conjuntamente, nesta sexta-feira (29/4), o 1º Workshop do Programa de Aperfeiçoamento ao Ensino (PAE) do Campus de São Carlos.  O evento, voltado a atuais e ex-estagiários do PAE, será realizado no Anfiteatro Jorge Caron – EESC (Campus USP). 

As inscrições devem ser feitas através do e-mail sandra@iqsc.usp.br. Segue abaixo a programação:

• 8:30 - Abertura
• 9:00 - Palestra "Pós Graduação no Brasil e na USP", com o Prof. Vahan Agopyan (Pró-Reitor de Pós-Graduação da USP)
• 10:00 - Apresentações orais de trabalhos selecionados
• 12:00 - Almoço
• 14:00 - Palestra com o Prof. Bayardo Baptista Torres
• 16:00 - Sessão de painéis
• 17:30 - Encerramento

Sobre o PAE

O Programa de Aperfeiçoamento de Ensino (PAE) da Universidade de São Paulo destina-se a aprimorar a formação de alunos de pós-graduação para a atividade didática de graduação e está composto de duas etapas: a) Preparação Pedagógica; b) Estágio Supervisionado em Docência.

O Programa é opcional aos alunos de Pós-Graduação, exceto àqueles que são contemplados pela Bolsa Demanda Social da CAPES, cujo regulamento solicita a realização de estágio.

Pró-Reitora retoma discussão sobre políticas para cultura e extensão

Profa. Maria Arminda Arruda e
Prof. José Carlos Maldonado

No dia 13 de abril, esteve em São Carlos a Profa. Dra. Maria Arminda do Nascimento Arruda, Pró-Reitora de Cultura e Extensão Universitária da USP. Durante a passagem pelo campus, a dirigente visitou diversas Unidades, entre elas o Instituto de Ciências Matemáticas e de Computação (ICMC). A Pró-Reitora veio conhecer de perto as atividades de cultura e extensão oferecidas pelos Institutos e trouxe a proposta de discutir a problemática e na busca pelo alinhamento interunidades com a direção central nestes questionamentos.

Em entrevista cedida a Assessoria de Comunicação do ICMC, ela declarou-se muito satisfeita quanto a qualidade das atividades e ressaltou: "Saio daqui muito contente como Pró-Reitora, mas sobretudo como uma pessoa curiosa que gosta de ver as coisas". Na passagem pelo ICMC, além de conhecer todos os projetos em execução no âmbito do programa Aprender com Cultura e Extensão, a professora Maria Arminda visitou o Museu de Computação Prof. Odelar Leite Linhares e a Biblioteca Prof. Achille Bassi. 

Quanto a discussão e elaboração de uma política para cultura e extensão na USP, a Pró-Reitora esclarece que o primeiro passo é conceituar e identificar o que é a cultura e extensão. "A cultura e a pesquisa não podem e não são independentes, portanto nenhuma ciência digna deste nome pode desconhecer que a sua origem é uma transformação da cultura, e que a sua importância hoje é também fruto de uma cultura determinada", afirma.

O Presidente da Comissão de Cultura e Extensão do ICMC, Prof. Dr. Edson Moreira, diz que o Instituto tem se inserido em diversas ações, mantém o foco na divulgação científica, disseminação de resultados de pesquisas e no estímulo às ações do Museu. Edson ainda comenta que ao longo da visita "enfatizamos a necessidade da criação de um Conselho de Cultura e Extensão do Campus".

Para o Diretor do ICMC, Prof. Dr. José Carlos Maldonado, o Museu da Computação é um bom exemplo de uma ação que pode ter foco nos pilares ensino, pesquisa e extensão. "Mesmo que com um acervo pequeno, nosso museu pode ser observado como mecanismo que integra ensino, pesquisa e extensão através da visão histórica, contada por diferentes entidades, observando-se o impacto da computação nos diversos domínios de aplicação como o controle das mudanças ambientais; pode ser um elemento de ensino, onde se passeia pela trajetória cronológica e por seus elementos. Pode se olhar o museu como um instrumento de divulgação científica passando pelo conceito de museu vivo, então nós entendemos que nossos laboratórios fazem parte do museu, contam a historia e a evolução do avanço tecnológico."

por Sarah Mascarenhas - Assessoria de Comunicação do ICMC

Docente do ICMC recebe prêmio de mérito em pesquisa

Profa. Dra. Solange Rezende

A Profa. Dra. Solange Oliveira Rezende, docente do Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, recebeu o Prêmio Dr. Hélio Coelho Mérito em Pesquisa. A láurea foi entregue pela Associação Nacional de Criadores e Pesquisadores (ANCP), no 17º Seminário Nacional de Criadores e Pesquisadores, realizado no dia 15 de abril, em Ribeirão Preto-SP

A homenagem se deu pelos resultados obtidos com a Mineração de Dados na base do Programa de Melhoramento Genético de Gado da Raça Nelore (PMGRN) da USP, Ribeirão Preto. A parceria do Laboratório de Inteligência Computacional (LABIC-ICMC-USP) e a ANCP, que é uma das responsáveis pelo PMGRN, tem gerado excelentes resultados de pesquisa. Segundo o Prof. Dr. Raysildo Lôbo, Presidente da ANCP, foi “uma justa homenagem por todas as conquistas que o seu trabalho trouxe para a pecuária brasileira”. 

Solange é professora associada do Departametno de Ciências de Computação do ICMC-USP. Possui graduação em Licenciatura em Ciências Habilitação Matemática pela Universidade Federal de Uberlândia (1986), mestrado em Ciências de Computação e Matemática Computacional pela USP (1990) e doutorado em Engenharia Mecânica pela USP (1993). Atua na área de Inteligência Artificial, com ênfase principalmente nos temas relacionados com aprendizado de máquina, mineração de dados e textos. 

Informações:
Departamento de Ciências de Computação do ICMC
Tel.: (16) 3373-9671 - scc@icmc.usp.br

Eventos desta quarta-feira no ICMC

O Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, promove nesta quarta-feira (27 de abril) os seguintes eventos:

----------

Às 13 horas, na sala 5-003:

“Teorema da aproximação fraca”

Palestrante: Steve Vicentin (ICMC-USP)

O seminário tem por objetivo definir corpo de funções algébricas F sobre um corpo K, assim como anéis de valorizações e lugares (certo tipo de ideal) relativos a estes anéis, além de algumas propriedades referentes aos mesmos. Será também definido o conceito de valorização discreta. Por fim, será apresentado um resultado referente a estes objetos matemáticos: o teorema da aproximação fraca. O qual nos diz que para uma quantidade finita, P_{1},..., P_{n}, de lugares distintos de um corpo de funções algébricas F/K, n elementos x_{1},...,x_{n} \in F e n números inteiros r_{1},...,r_{n}, existe x \in F tal que v_{P_{i}}(x-x_{i})=r_{i}, para i=1,...,n.

----------

Às 14 horas, no Auditório do ICMC:

"Processamento Visual e Geométrico no ICMC-USP"

Palestrante: Luis Gustavo Nonato (ICMC-USP)

Nesta palestra apresentaremos os recentes avanços na área de visualização e processamento geométrico realizados no ICMC-USP/São Carlos. Em particular, discutiremos o ferramental matemático e computacional utilizados no desenvolvimento de técnicas de visualização e interação com dados de alta dimensão, na concepção de metodologias para verificação de métodos de visualização e na geração de malhas a partir de imagens e em superfícies. Aplicações e futuras extensões dos métodos desenvolvidos também serão apresentados e discutidos.

----------

Às 14 horas, na sala 5-001

"Test oracles associated with dynamical systems models"

Palestrante: Paulo Nardi

Software testing has two major limitations: the reliable test set problem and the oracle problem. The former stems from the statement that a set of reliable test case is one that implies the correctness of the program and, consequently, a finite and reliable test set is usually unfeasible. Most efforts are focused on the first problem, as the studies about functional, structural and fault-based techniques focus on data selection, and on tools that support data selection criteria. The second problem is to decide whether the obtained result matches the expected result. This role is played by the oracle, which is often the tester himself/herself. These two limitations affect the test automation, making the human intervention needed at some point, namely over choice of the data selection criteria, the comparison between expected and obtained outputs, and the test adequacy calculation. This presentation focuses on the oracle problem. We present a resume on a systematic review about test oracles and a partial solution to oracle automation for simulink-like models.

----------

Às 14 horas, na sala 4-001:

"O Laboratório de Interoperabilidade Semântica do INPA"

Palestrante: Laurindo Campos (Instituto Nacional de Pesquisas da Amazônia - INPA)

Nessa palestra serão explorados os desafios do INPA em aplicar tecnologias da Web Semântica, como ontologias, aos problemas de interoperabilidades de dados sobre a biodiversidade e biosfera da Amazônia. Existe um volume de dados muito grande sobre o biota da Amazônia e são necessárias ferramentas que conheçam mais a semântica (conteúdo) desses dados para sua integração. A simples procura por palavras chaves em textos já não é suficiente para buscas e outras atividades de pesquisa usando esses dados. Tecnologias da Web Semântica oferecem uma oportunidade de adicionar conteúdo semântico aos dados para permitir que computadores possam "raciocinar" (to reason) a cerca dos mesmos.

----------
Às 18 horas, no Auditório do ICMC

"Introdução à Visão Computacional: da aquisição ao reconhecimento"
Palestrante: Moacir P. Ponti Jr. (ICMC-USP)

Visão computacional é a tecnologia que permite às maquinas extrair informações visuais e utilizar essa informação para resolver alguma tarefa. A visão computacional produz informação a partir de um

modelo visual 2D ou 3D e envolve uma sequência de tarefas que inclui a aquisição de imagens e vídeo, o pré-processamento, a segmentação de regiões e objetos de uma cena, a descrição de padrões visuais, e o reconhecimento. Será feita uma introdução à visão computacional e a sequência que inicia na aquisição e vai até o reconhecimento de um objeto, com exemplos em OpenCV, uma biblioteca livre para implementação de aplicativos de visão computacional.

----------

Informações:
Seção de Eventos do ICMC
Tel.: (16) 3373-9146  -  eventos@icmc.usp.br

Campanha de Páscoa do ICMC foi um sucesso!

Na tarde da última quarta-feira (25 de abril), as crianças do Albergue Infantil da Prefeitura Municipal de São Carlos receberam a visita do Coelho da Páscoa, que lhes entregou os quase 90 ovos arrecadados pela Campanha de Páscoa do ICMC. 

Os ovos foram doados por alunos, funcionários e professores do campus USP de São Carlos. A Diretoria do ICMC agradece a ampla participação da comunidade!

Software faz correferência em textos de Língua Portuguesa

Por Valéria Dias (Agência USP de Notícias - disponível em http://www.usp.br/agen/?p=54794)

No Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, uma pesquisa de mestrado resultou em um software que realiza automaticamente a correferência em múltiplos documentos em Língua Portuguesa. O programa identifica uma mesma entidade, pessoa, lugar, evento ou conceito em um ou em vários textos. O software poderá ser aplicado em sistemas de perguntas e respostas, extração de informação, tradução automática, simplificação textual e sumarização automática.

“Trata-se do primeiro software desenvolvido no Brasil direcionado especificamente para textos em Língua Portuguesa. O outro diferencial é que o programa faz a correferência automaticamente, sem haver necessidade de treinar a máquina como ocorre em outros programas semelhantes”, explica Jefferson Fontinele da Silva, autor do trabalho.

Segundo ele, os programas já existentes foram desenvolvidos para textos em outros idiomas e necessitam de um treinamento para que o computador possa fornecer a correferência dos elementos do texto. Silva desenvolveu o projeto para sua dissertação de mestrado intitulada Resolução de correferência em múltiplos documentos utilizando aprendizado não supervisionado. O trabalho foi orientado pelo professor João Luis Garcia Rosa, do Departamento de Ciências da Computação do ICMC, e será apresentado na unidade no próximo dia 5 de maio.

Para entender o que é correferência, Silva usa como exemplo textos que citam uma mesma pessoa diversas vezes. Com o software, é possível identificar em quais momentos do texto a pessoa é citada, mesmo que ela não tenha sido citada pelo nome. Por exemplo, no caso da frase “Maria nasceu no Brasil. A professora viajou ontem para a Europa, onde pretende viajar pela França e Itália”, o software encontra os diferentes trechos de texto que se referem a Maria, como no exemplo, ”Maria” e ”A professora”. Em textos onde várias entidades são citadas, o software fornece a correferência para todas elas, separadamente.

Programa identifica a expressão "três membros da tripulação" em notícias sobre um mesmo assunto publicadas no Jornal do Brasil, Folha de S.Paulo e O Estado de S.Paulo

Contextualização

De acordo com o pesquisador, no caso de alguns buscadores na internet, a correferência é feita por meio da comparação de palavras. Já o software desenvolvido no ICMC fornece a correferência por meio das análises sintática e semântica, que é feita automaticamente. Na análise sintática, o software identifica o sujeito, o verbo e os complementos das frases. Já na semântica, o programa contextualiza as palavras. “Isso é bastante útil para aplicação do software em tradução automática, pois ajuda o computador a contextualizar o que está sendo traduzido”, aponta.

No projeto desenvolvido por Silva, foram utilizados textos jornalísticos sobre um mesmo assunto publicados em jornais como Folha de S.Paulo, O Estado de S.Paulo, Jornal de Brasília e O Globo. Esses textos foram inseridos no software manualmente. Após a análise sintática e semântica dos documentos, bem como da aplicação dos algoritmos estatísticos, o software apresenta a correlação de entidades, pessoas, lugares ou eventos, conforme o que tiver sido solicitado ao programa. “A precisão em encontrar o que foi solicitado gira em torno de 65%”, aponta o pesquisador. Segundo ele, essa precisão é comparável com a obtida em sistemas que necessitam de aprendizado.

Apesar de ainda não ter definido o tema que irá pesquisar no doutorado, uma das possibilidades é estudar a aplicação do sistema. A pesquisa teve apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Capes). “Como tivemos financiamento público, pretendemos disponibilizar o sistema como software livre”, finaliza o pesquisador. A dissertação de mestrado de Jefferson Silva está inserida no projeto Aplicação de Técnicas de Aprendizado de Máquina e Linguística Computacional para Tratamento de Textoscoordenado pelo professor João Luis Garcia Rosa, com apoio da Fundação de Amparo a Pesquisa do Estado de São Paulo (Fapesp).

Mais informações: (99) 8411-8649 ou email jefferson_font@yahoo.com.br, com Jefferson Fontinele da Silva, ou (16) 3373-8170, com o professor João Luis Garcia Rosa

ICMC recebe alunos do Programa de Pré-Iniciação Científica

No último dia 13, o Instituto de Ciências Matemáticas e de Computação (ICMC) recebeu os novos alunos do Programa de Pré-Iniciação Científica (Pré-IC). O programa, coordenado pela Pró-Reitoria de Pesquisa da USP, está em sua segunda edição e tem duração de um ano, e tem como objetivo iniciar alunos do ensino médio em projetos de pesquisa voltados a áreas afins da computação como matemática, ciências de computação e sistemas de computação.

O Pré-IC, que trabalha com o conceito de Open House, visa a aproximação da universidade com a comunidade local. Neste ano, o projeto conta onze alunos participantes, indicados pela Secretaria da Educação, que estarão recebendo uma bolsa de auxílio transporte, fornecida pela Pró-Reitoria de Pesquisa da USP.

A recepção do programa contou com a participação dos orientadores da USP e dos professores do ensino médio, que são os supervisores nas escolas. No término do programa, os alunos terão que apresentar um TCC (Trabalho de Conclusão de Curso), que poderá ser feito em grupo e será avaliado por seus respectivos orientadores. “Muitos dos alunos do ensino médio, principalmente do ensino público pensam que a USP é uma realidade distante de suas vidas. Esse projeto quer mostrar que isso não é verdade, e com isso pretendemos num futuro próximo incentivá-los a prestar vestibular aqui. É uma forma de captar novos talentos e incentivá-los a entrar na área de computação”, explica a professora Roseli Ap. Francelin Romero, coordenadora do Programa de PRÉ-IC do ICMC e presidente da Comissão de Pesquisa do ICMC.

O projeto

O Programa de Pré-Iniciação Científica da USP é uma iniciativa da Pró-Reitoria de Pesquisa da USP, que visa apoiar projetos de pesquisa nas áreas exatas, biológicas e humanas, que possibilitem despertar e incentivar o interesse de alunos na rede pública de ensino mediante o acompanhamento de atividades e convivência com os procedimentos e as metodologias adotadas em pesquisa científica, oferecendo assim, oportunidades de complemento da formação pessoal, aprimoramento de conhecimentos e preparo para a vida profissional ao aluno participante.

Mais informações: www.usp.br/prp

Por: Davi Marques Pastrelo – Assessoria de Comunicação do ICMC

ICMC apresenta nova logomarca

O Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, apresenta sua nova logomarca à comunidade:

A logomarca foi aprovada pela Congregação do ICMC em sessão de 11 de fevereiro de 2011, e será adotada em todas as peças gráficas, impressas e digitais. Integram a nova composição o nó, parte da identidade visual do ICMC desde 1974, e mudanças como: o acréscimo do termo “São Carlos”, visando valorizar a localização geográfica do Instituto; o reposicionamento da logo da USP como “elevado a potência”; e a redefinição da tonalidade da cor azul.

Essa logomarca é uma criação coletiva, elaborada a partir de várias idéias. A Diretoria do ICMC registra aqui seus agradecimentos aos professores David Sperling e Paulo Castral, do Instituto de Arquitetura de São Carlos (IAU-USP), e aos 55 participantes do concurso de logomarca realizado no final de 2010, os quais contribuíram com excelentes idéias.

Mais informações:
Seção de Apoio Institucional – Assessoria de Comunicação
Tel.: (16) 3373-9666
comunica@icmc.usp.br

ICMC oferece curso de compiladores para FPGA

O Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, oferecerá o curso Compiler Transformations and Mapping Techniques for Reconfigurable Architectures, a ser ministrado pelo professor Pedro Diniz, da University of Southern California, nos Estados Unidos.

O curso ocorrerá nos dias 3, 4 e 5 de maio e será ministrado em português. As inscrições são gratuitas e devem ser feitas até o dia 30 de abril pelo e-mail emarques@icmc.usp.br.

Objetivos do curso (em inglês):

This course provides a helpful structure for practitioners or graduate students in the area of computer science and electrical and computer engineering to effectively transform and map computations expressed in high-level programming languages such as C to reconfigurable architectures. We will cover many compiler code transformations and mapping techniques with specific examples of their application thereby helping attendees to bridge the gap between the software compilation and the hardware compilation and synthesis domains. In the course we will study and explore the mapping of computations from C to hardware description languages such as VHDL/Verilog and evaluate using a series of laboratory examples on an existing FPGA-based board alternative implementations and corresponding performance trade-offs.

Público-alvo:

This course is primarily intended for researchers and graduate students in the areas of study of hardware compilation and advanced computing architectures in the fields of Electrical and Computer Engineering and Computer Science. Particular emphasis will be given to applications examples and transformations that explore concepts such as latency and throughput, of key importance in application areas such as image/signal processing or robotics. As it focuses on the specific topic of compilation from high-level program descriptions to reconfigurable architectures, this course can easily support advanced compiler and computer architecture courses related to reconfigurable computing.

Estrutura do curso

This short seminar-like course will be structured into three days as outlined below. During the mornings (4 hours) we will provide and the theoretical basis for the hands-on afternoon laboratory sessions. In these experimental sessions (4 hours) the attendees will use real computations examples and map the corresponding computations to state-of-the-art FPGA-based hardware devices. In this mapping process we will explore alternative design implementations for three key computation kernels from the domain of signal and image processing as well as more symbolic-oriented decision tree kernel computation.

Terça, 3 de maio

Lecture: 8:30 AM to 12:00 (noon)

- Motivation and Introduction to Reconfigurable Computing: FPGAs and Embedded Systems

- Compilation and Synthesis Flow: Basic Concepts of CFG and DFG: Bridging the representation gap

- Illustrative Example of Computation Mapping from C to VHDL

- Data-Flow Representation

- Computation-Oriented Mapping and Scheduling

- Data-Oriented mapping and Transformations

- Translation to Hardware

- Synchronization and Communication of data and execution.

Laboratory: 1:00 PM to 4:00 PM

- Using an existing FPGA-based board – the Altera X

- Synthesizing a simple project exploiting custom numeric formats for an embedded application.

Quarta-feira, 4 de maio

Lecture: 8:30 AM to 12:00 (noon)

- High-level Code Transformations

- Bit-Level Transformations

- Code-level transformations

- Loop-level transformations

- Data-oriented transformations

- SOBEL edge detection illustrative example

Laboratory: 1:00 PM to 4:00 PM

- Mapping the SOBEL edge detection with a set of transformations.

- Evaluation of performance for various transformed variants of the code

Quinta-feira, 5 de maio

Lecture: 8:30 AM to 12:30 (noon)

- Design-Space Exploration

- Metrics of Performance: Space and Execution Time.

- Which transformations to apply: guiding principles

- Timing and throughput: Loop transformations and the space restrictions

- SOBEL edge detection illustrative example

- Summary

Laboratory: 2:00 PM to 6:00 PM

- Using the SOBEL edge detection with a set of transformations.

- Design space exploration for various constraints.

Sobre o palestrante

Prof. Pedro Diniz
Foto: site da USC

Dr. Pedro Diniz received his M.S. in Electrical and Computer Engineering from the Technical University in Lisbon, Portugal and his Ph.D. from the University of California, Santa Barbara in Computer Science in 1997.From 1997 until 2007 he was a researcher with the University of Southern California’s Information Sciences Institute (USC/ISI) as a Researcher and became an Assistant Professor of Computer Science at the University of Southern California in Los Angeles, California.At USC/ISI was the technical lead of DARPA-funded and DoE-funded research projects, in particular in the DEFACTO project totaling $6M USD. The DEFACTO project combined the strengths of traditional parallelizing compilation approaches with commercially available EDA synthesis tools and lead to the development of a prototype compiler for the automatically mapping of image processing algorithms written in programming languages such as C to Field-Programmable-Gate-Array-based computing architectures. He is currently a scientific coordinator of a EU-funded STREP research project REFLECT that is building a compilation and synthesis infra-structure for design space exploration for multi-core FPGA-based designs. This project involves various academic partners as well as large and SME industrial partners in Europe. He has graduated 3 PhD students while at USC and authored or co-authored 10 internationally recognized scientific journal papers and over 40 international conference papers. He has participated in many scientific proposal review boards at the National Science Foundation (NSF) and the European Commission (EC). He is heavily involved in the scientific community having participated as part of the technical program committee of over 15 international conferences in the area of high-performance computing, reconfigurable and field-programmable computing.

Smartphone via wi-fi é usado como controle de TV Digital

Na era da TV digital, já se pode falar em utilizar um smartphone como controle remoto conectado com a televisão por meio de rede wi-fi a partir de uma única configuração. Esse é o resultado de uma pesquisa realizada no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP, em São Carlos, que investigou maneiras mais dinâmicas de o usuário da TV digital interagir com o aparelho, podendo comandá-lo de forma mais personalizada, com gestos, toques e comando de voz.

Adaptar um smartphone para as funções do controle remoto foi possível com a criação de um novo software, cuja função é enviar dados para um outro software, chamado Ginga, localizado no terminal de acesso do próprio aparelho de TV. O Ginga é responsável por facilitar a criação de novos aplicativos na TV. Para validar a utilização do novo programa, José Augusto Martins Júnior, autor do trabalho, utilizou um iPod Touch como dispositivo para testes. Esses testes tinham como objetivo analisar pontos positivos e negativos de três meios pelos quais o usuário pode “controlar” a TV.

A partir das análises, o trabalho propôs uma combinação entre três interfaces, o que é novo no cenário brasileiro de TV Digital. “O usuário da televisão passa a controlá-la não apenas com um teclado, mas também pelo comando de voz, por gestos, como em um videogame modelo Nintendo Wii, e por toque, como em um iPod Touch”, conta o pesquisador. “Perceber quais as limitações e qual o potencial de cada interface, a fim de encontrar a melhor maneira de elas serem utilizadas em conjunto como um controle remoto, foi o desafio do projeto”, completa.

Comandar a TV

Segundo o estudo, o grande diferencial de comandos via gestos é que o usuário não precisa desviar o olhar do conteúdo da televisão, como ocorre naturalmente para algumas funções do controle remoto convencional, tais como o aumento ou diminuição de volume. No entanto, algumas funções simples, como trocar do canal 11 para o canal 35, exigiriam gestos por demais complexos, descartando a possibilidade da interface de gestos nesses casos. Essa interface mostrou-se mais apropriada para ações simples como aumentar o volume.

O comando de voz compensa a limitação do número de comandos da interface de gestos, permitindo que o usuário realize ações mais complexas também sem desviar o olhar da TV. Por exemplo, pode comandar o software da televisão para filtrar os canais nos quais está sendo exibido filme de comédia, ou qualquer outro gênero. “Depois dessa seleção feita por comando de voz, a utilização do controle por gestos ou por toques torna-se mais viável, pois depois da filtragem, a “navegação” é realizada por um número reduzido de canais”, exemplifica Martins Júnior. “Essa é uma das grandes motivações para a utilização da voz como controle”, afirma.

A utilização de uma interface de toque permite que o usuário visualize no próprio smartphone informações sobre o que está passando na televisão. Apesar de nessa interface a pessoa ter que olhar para o pequeno aparelho para realizar diversas funções, uma das vantagens é que as informações adicionais são apresentadas apenas para o usuário que a solicitou, e não para todos que assistem ao conteúdo apresentado na TV. Como explica Martins Júnior, a interação entre as interfaces busca a diminuição do impacto das limitações de cada uma. Em outras palavras, se o usuário não quiser tirar o olho da televisão, pode recorrer ao comando de voz ou à interface de gestos. Se ele quiser ver informações extras sem atrapalhar os demais usuários, pode utilizar a interface de toque.

Aplicativos para a TV Digital

A pesquisa fez parte do Projeto GingaFrevo&GingaRAP, financiado pelo Ministério da Ciência e da Tecnologia, que visa desenvolver aplicações não convencionais para a TV Digital brasileira.

O trabalho de Martins Júnior, que propõe a integração das três interfaces, integrou o componente de software para “Interação Multimodal”, elaborado em conjunto com sua orientadora, Maria da Graça C. Pimentel, e com o doutorando Diogo de Carvalho Pedrosa. “Conseguimos ampliar a capacidade do Ginga, que pode agora receber vídeos e fotos, por exemplo”, aponta o pesquisador. Outro software desenvolvido pelo grupo para “Comunicação Ponto a Ponto” possibilita o compartilhamento de dados e a troca de recomendações de programas entre dois ou mais usuários que estejam assistindo TV em diferentes lugares. “Esses aplicativos deixam a interação TV-usuário muito mais dinâmica, servindo até para fomentar programas do Governo de Educação à distância, por exemplo”, conta Martins Júnior.

A pesquisa de mestrado foi defendida no dia 11 de abril, no ICMC.

Por: Glenda Almeida - Agência USP de Notícias (disponível em www.usp.br/agen/?p=54699)

Evento marca troca de gestão da Empresa Junior do ICMC

Como encerramento do mês de março, foi realizado o Final de Semana Junior, evento organizado pelo ICMC Junior, empresa formada por alunos do Instituto de Ciências Matemáticas e Computação (ICMC), da USP São Carlos. As atividades ocorreram nos dias 27 e 28 de março, aqui no auditório Prof. Luiz Antônio Fávaro.

No primeiro dia aconteceu o evento Qualidade Interna – premiação das melhores atividades realizadas pelas diretorias – além de uma mesa redonda com pós-juniores da ICMC Jr., que falaram da importância do Movimento Empresa Junior no inicio de suas carreiras. Entre os presentes destacam-se Matheus Zingarelli, Maurício de Souza, Fábio Daneluzzi, Thiago Gotti e Paulo Cesar Amaral. Ao fim da mesa redonda foi realizado o Food Challenge – grupos formados por membros da empresa criam um prato que é servido aos participantes, e por fim são escolhidos os mais saborosos.

No segundo dia, ocorreu a troca de gestão da Diretoria Executiva da ICMC Junior – a Gestão 2010-2011 se despede, e inicia-se a Gestão 2011-2012.  O evento contou com a presença de familiares, trainees do processo seletivo 2011-1 e da professora Solange Rezende, tutora da empresa e representando a Diretoria do ICMC.

O ICMC Junior está no mercado desde 1992 e presta serviços na área de TI no desenvolvimento de sites institucionais e sistemas WEB, hoje trabalhamos com os seguintes projetos: Tutorial CNPQ em parceria com o ICMC (Site que ajudará pesquisadores na importação de equipamentos de pesquisa), LAPA (Sistema para Gerenciamento para Escola), Física 3.1 (Sistema de Gerenciamento do IFSC), Site Institucional para a Enpsi Junior (Empresa Junior de Psicologia da UFSCar), Mural eletrônico de fotos do ICMC, além do nosso produto comercial o ICMCentro (Sistema de gerenciamento para pequenas e médias empresas e empresas juniores).

Diretoria Executiva - Gestão 2010-2011

• Nilton Palmeira Pacífico Junior (Presidente)
• Renato Coneglian (Vice-presidente)
• Leonardo Barbosa Alves (Conselheiro)
• João Paulo Tannus de Sousa (Conselheiro)
• Diogo Ferrari Meletto (Conselheiro)
• Caio Cesar de Souza Bispo (Diretor Administrativo-Financeiro)
• Cristiane Carneiro (Diretora de Qualidade)
• Luiz Alfredo Bertoni (Diretor de Recursos Humanos)
• João Paulo Tannus de Sousa (Diretor Interino de Marketing)
• Douglas Meira Cotrim Pereira de Melo (Diretor de Projetos)
• Camila Marcondes Martinez (Diretora Interina de Eventos)
• Daniel Tozadore (Diretor de Eventos - necessitou deixar a empresa antes do fim da gestão) 
• Danilo Alvares da Silva (Diretor de Marketing - necessitou deixar a empresa antes do fim da gestão)

 Diretoria Executiva de 2011-2012

• Renato Coneglian (Presidente)
• Cristiano Torres Vallory (Vice-presidente)
• Viviane Raniro (Conselheira)
• Gabriela Passos (Conselheira)
• Luisa Zerbinatti Lemes (Diretora Administrativo-Financeiro)
• Matheus Salgado Boscariol (Diretor de Qualidade)
• Anita Reane Caron (Diretora de Recursos Humanos)
• Luiz Gustavo de Sousa Bravo (Diretor de Marketing)
• Matheus Steck Cardoso (Diretor de Projetos)
• Camila Marcondes Martinez (Diretora Eventos)

Informações: www.jr.icmc.usp.br

 Por: Sarah Mascarenhas - Assessoria de Comunicação do ICMC

Apoio: Luiz Gustavo de Sousa Bravo - ICMC Jr.

Campanha de Páscoa do ICMC

Seminário de Engenharia de Softwares

"Model-Based Testing of Service-Oriented Applications via State Models"

Palestrante: Andre Takeshi Endo (ICMC-USP)

Quarta-feira, 13 de abril, às 14 horas, na sala 5-003

Resumo (em inglês): Service-oriented architectures and web services have been used to foster the development of loosely coupled, interoperable, and distributed applications. 

Mission-critical and business process systems can be implemented with them, requiring a high level of quality. Model-based testing allied with state models is a promising candidate due to its efficiency, effectiveness, and flexibility. In this paper, we propose a model-based testing process to verify service-oriented applications. Finite state machines are used to model and support the test case generation. We evaluated the applicability of our process with a case study using a prototype tool.

Pró-Reitora de Cultura e Extensão da USP visitará o ICMC

Profa. Maria Arminda Arruda
Foto: Ernani Coimbra - USP

Na próxima quarta-feira, 13 de abril, a Pró-Reitora de Cultura e Extensão Universitária da USP, Profa. Dra. Maria Arminda do Nascimento Arruda, estará em São Carlos para visitar algumas unidades do campus da USP em São Carlos.

No Instituto de Ciências Matemáticas e de Computação (ICMC), a Pró-Reitora fará uma visita ao Museu de Computação Prof. Odelar Leite Linhares e a Biblioteca Prof. Achille Bassi, a partir das 14 horas, onde haverá uma exposição de pôsteres sobre os projetos Aprender com Cultura e Extensão.

Maria Arminda possui graduação em Ciências Sociais (1970), mestrado (1978) e doutorado em Sociologia (1986), todos pela Universidade de São Paulo. Desde 2005, é professora titular do Departamento de Sociologia da Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Tem experiência na área de Sociologia, com ênfase em Sociologia da Cultura e em teoria sociológica.

Informações: Serviço de Apoio Acadêmica

apoioacad@icmc.usp.br

Palestra sobre uso do livro didático no ICMC

O ICMC convida a todos para a palestra:

"O uso do Livro Didático"

Palestrante: Prof. Luiz Roberto Dante
Hoje (segunda, 11), às 14 horas, no Auditório do ICMC

Para se inscrever, clique aqui.

PROFMAT – Mestrado Profissional em Matemática em Rede Nacional

O Instituto de Ciências Matemáticas e Computação (ICMC), da USP São Carlos, participa de novo programa de pós-graduação em conjunto com a Sociedade Brasileira de Matemática (SBM): o PROFMAT – Mestrado Profissional em Matemática em Rede Nacional, recebendo pleno apoio da CAPES.

Voltado para professores de matemática do ciclo básico da rede pública, o mestrado oferecido de modo presencial no ICMC, com aulas aos sábados e no período de férias escolares dos professores. 

A iniciativa da SBM, que constitui uma rede nacional, está em consonância com o Plano Nacional de Educação, que procura estimular a formação de mestres para ao menos 50% dos profissionais atuantes no ensino básico.

Mais Informações: www.profmat-sbm.org.br

Retificado em 12/04/2011

Palestra sobre robôs móveis inteligentes com pesquisador do ICMC / INCT-SEC

Robôs Móveis Inteligentes

Palestrante: Fernando Osório, do ICMC-USP

Quarta-feira ( 6 de abril), às 18 horas, no Auditório do ICMC

Resumo: Esta palestra visa introduzir os conceitos sobre robótica móvel, considerando robôs móveis que possam atuar de modo automático (autômatos), tele-operado, e principalmente de modo autônomo (inteligentes). Segundo o próprio Bill Gates - em um artigo dele na Scientific American (SIAM): muito em breve os computadores PCs desktop irão "sair de cima das mesas" e passarão a ter a capacidade de se locomover, "sentir o ambiente", interagir com pessoas e mesmo estar presentes no nosso lugar quando não podemos estar lá, chegando a afirmar que em breve teremos "um robô em cada lar", assim como tem acontecido com os computadores. Esta realidade, de robôs de serviço e robôs domésticos será apresentada e discutida nesta palestra.

Discutiremos sobre as novas tecnologias (incluindo o Kinect do XBOX) e tendências nesta área de pesquisa. Serão também apresentados os projetos e pesquisas em andamento na área de robótica junto ao ICMC/USP e junto ao INCT-SEC, além de discutir como grandes empresas vem investindo pesado nesta área (e.g. Samsung, Sony, Honda, Intel, Google, Microsoft).

Mini-CV do Palestrante:

Prof. Fernando Osório

O prof. Fernando Osório é Doutor em Informática pelo INPG-IMAG (França, 1998) e professor do ICMC/USP onde atua junto ao Grupo de Sistemas Embarcados, Evolutivos e Robóticos (SEER), no Laboratório de Robótica Móvel (LRM). Além disto o prof. F.Osório participa ativamente do INCT-SEC (Inst. de C&T em Sistemas Embarcados Críticos) onde coordena as atividades do Grupo de Trabalho em "Robôs Táticos para Ambientes Internos". Os temas de interesse e pesquisa do prof. F.Osório são: robótica inteligente, robôs e veículos móveis, aprendizado de máquina e sistemas inteligentes, visão computacional e simulação virtual (incluindo jogos).

Informações:
Seção de Eventos do ICMC
Tel.: (16) 3373-9146  -  eventos@icmc.usp.br

Departamento de Sistemas de Computação do ICMC abre concurso para contratação de professores

O Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, promove concurso para contratação de dois professores, por tempo determinado, para o Departamento de Sistemas de Computação (SSC). A jornada será de 12 horas semanais e o salário de R$ 938,73.

As inscrições estão abertas no período de 7 a 12 de abril de 2011, e devem ser feitas pessoalmente ou por procuração na Assistência Acadêmica do ICMC. Os prazos, critérios de seleção e documentação necessária podem ser consultados no edital, disponível na íntegra em:

http://www.icmc.usp.br/~sacadem/concursos/edital-atacicmcusp-n0502011.html

Mais informações:
Assistência Acadêmica do ICMC
Av. Trabalhador São-carlense, 400
Caixa Postal 668 - CEP 13560-970
São Carlos-SP
E-mail: sacadem@icmc.usp.br
Tel (16) 3373-8109

Humanizando máquinas ou automatizando homens?

Por Sarah Mascarenhas/Assessoria de Comunicação do ICMC-USP

A personagem Rosie, do desenho
animado Os Jetsons

Durante muitos anos, quando pensávamos em uma realidade completamente computadorizada, era comum vir a tona em nossa imaginação máquinas capazes de executar tarefas humanas e com aparência muito semelhante a de uma pessoa. Pensava-se até na hipótese de ocorrer uma revolta das máquinas contra os humanos. Estas e outras ideias geniosas já brilharam nas telas da televisão e do cinema, basta lembrar do desenho animado Os Jetsons ou do filme AI - Artificial Intelligence do diretor  Steven Spielberg.

Será que os pesquisadores estão realmente trabalhando em projetos como estes? Computadores capazes de aprender coisas que até hoje apenas humanos aprendiam? A realidade está longe dos moldes de Spielberg, mas muito já foi pesquisado e produzido nesta área em grandes centros de pesquisa espalhados por universidades do mundo inteiro.

Na cidade de São Carlos há destaque nesta área em diversos projetos de pesquisa do Instituto de Ciências Matemáticas e de Computação (ICMC), da Universidade de São Paulo (USP). Especificamente há um projeto focado na proposta de construir uma ferramenta capaz de aprender com eficiência e ainda com a vantagem de incluir nesse sistema mais características do neurônio humano. O projeto é conhecido como Redes Neurais Biologicamente Plausíveis, que é coordenado pelo professor João Luis Rosa, do Departamento de Ciências de Computação.

Em entrevista com o professor João Luis Rosa, ficou mais claro a razão de se estudar redes neurais biologicamente plausívieis. Neste momento o leitor fica com a dúvida: mas o que são redes neurais? E não é nenhum bicho de sete cabeças. Os pesquisadores trabalham em um modelo matemático que busca reproduzir, ou melhor, construir um sistema que simule o comportamento da rede neural cerebral, que nada mais são que sistemas computacionais com a capacidade de aprender com eficiência novas tarefas e conteúdos.

O que são redes neurais?

Diagrama simplificado de uma rede neural

Redes neurais são sistemas computacionais que buscam imitar o comportamento da rede neural do cérebro humano. Por que imitar o funcionamento do cérebro? A necessidade de se igualar à capacidade cerebral humana é clara, pois as máquinas hoje devem ser capazes de aprender novos procedimentos, repetir comandos além de adquirir e armazenar novas informações e comandos.

Um exemplo de computador que utiliza rede neural é o já famoso computador da IBM Watson, que venceu um programa de perguntas e respostas no mês de fevereiro de 2011, baseado no seu banco de dados e na capacidade de resolver um problema, ou melhor, responder perguntas de conhecimento geral.

Teste de Turing:

Como testar a capacidade e eficiência de um computador? O pesquisador Alan Turing na metade do século XX, trabalhava na decodificação durante a II Guerra Mundial, decifrando os códigos da comunicação alemã e seus aliados. É um teste em que submetem-se uma pessoa, um computador e um apresentador. É feita uma série de perguntas aos participantes em uma sala fechada, enquanto o apresentador está em outra e tem que adivinhar quem respondeu a pergunta. Este teste era feito para entender a capacidade de atribuir às máquinas a noção de inteligência.

Os estudos nessa área ainda tem muito a avançar. Ainda não é possível trazer tantas características humanas para máquinas construídas pelos homens. Até o super computador Watson, mesmo tendo vencido duas pessoas no programa de perguntas Jeopardy, perdeu no começo do mês de março para um o deputado americano Rush Holt, que não é um político qualquer, e sim um físico nuclear num jogo de perguntas e respostas no congresso americano.

Outra pergunta que fica na cabeça de quem lê estas linhas é: para que desenvolver um sistema como o cérebro humano, que é capaz de aprender e reproduzir este novo conhecimento?

Quem é João Luis Rosa?

  

Prof. João Luis Rosa

Professor Doutor do Instituto de Ciências Matemáticas e Computação - ICMC, no Departamento de Ciências da Computação desde de 2008, seu Doutorado é em Linguística Computacional (Unicamp), além de também ter feito Mestrado em Engenharia de Computação (Unicamp), e ser graduado em Engenharia Elétrica - Eletrônica Automação (Unicamp).

Atualmente ministra aulas de Teoria da Computação e Linguagens Formais e Programação de Computadores para os cursos de Ciências e Engenharia de Computação. Está vinculado ao Núcleo Interinstitucional de Linguística Computacional - NILC e ao Laboratório de Computação Bioinspirada (BioCom). Sua experiência é mais voltada para a área de Ciência de Computação, com ênfase em Inteligência Artificial, em que atua principalmente nos temas: processamento de línguas naturais, redes neurais artificiais, inteligência artificial, e computação.