terça-feira, 17 de maio de 2011

Nesta quarta e quinta-feira: Seminários no ICMC

Quarta-feira, 18 de maio, às 13 horas na sala 3-012

Seminário de Pós Graduação em Matemática: "O anel de cohomologia do espaço de órbitas de Zp-ações livres sobre produtos de esferas"
Palestrante: Henry José Gullo (ICMC)

Resumo: O estudo do espaço de órbitas de um espaço topológico X tornou-se ativo depois da prova da conjetura de Conner (Robert Oliver em 1971),  que sob certas condições estabelece uma relação entre a homologia e cohomologia do espaço das órbitas X/G com a homologia e a cohomologia do espaço X.  Outro resultado importante que relaciona X e X/G foi o dado por D. Quillen, que provou que a dimensão cohomológica do espaço X/G não pode exceder a dimensão cohomológica de X. Neste seminário mostraremos o resultado obtido por Ronald M. Dotzel, Tej B. Singh e Satya P. Tripathi em 2000, onde calculam o anel de cohomologia do espaço das órbitas X/G de G=Zp-ações livres sobre espaços topológicos X com anel de cohomologia módulo p isomorfo ao anel de cohomologia do produto de duas esferas s^mXs^n, m<=n, isto é, H*(X;Zp)~=H*(s^mXs^n ;Zp).
----------

Quarta-feira, 18 de maio, às 15 horas na sala 5-001

Seminários de Engenharia de Software: "ProgTest: An Environment for the Submission and Evaluation of Programming Assignments based on Testing Activitie"
Palestrante: Draylson Micael de Souza (ICMC)

Resumo: Programming foundations is not an easy subject to be taught many students have difficulties understanding the abstract concepts of programming and have a wrong view about the programming activity. In order to address these problems, experiences have suggested the integrated teaching of programming concepts and software testing in introductory CS courses. Shortly, the idea is that testing can contribute to enhance the students' capabilities of understanding and analysis. However, such perspective requires tools to provide an adequate feedback to evaluate the students' performance concerning programming and testing activities. In this paper we describe ProgTest a web-based tool for the submission and automatic evaluation of practical programming assignments based on testing activities. Results from a preliminary validation of ProgTest are also presented. Such results provide evidences on the practical use of ProgTest as a supporting mechanism for the integrated teaching of programming foundations and software testing
----------

Quinta-feira, 19 de maio, às 13h13min na sala 4-003

Seminário de Coisas Legais: "Um resultado folclórico de Álgebra Linear"
Palestrante: Eduardo Tengan (ICMC)

Resumo: Diz a crença popular que, dadas duas matrizes quadradas A e B, os polinômios característicos de AB e BA são iguais.  Há várias demonstrações deste fato, neste seminário apresentarei a prova mais legal, que utiliza a chamada topologia de Zariski em Geometria Algébrica! 
----------

Informações: 
Seção de Eventos do ICMC
Tel (16) 3373-9146

segunda-feira, 16 de maio de 2011

Software cria listas de músicas a partir de representação visual

Já pensou em criar uma trilha sonora a partir da imagem musical? Pesquisadores do ICMC, na USP de São Carlos, desenvolvem software de criação de playlists a partir da representação visual de coleções de músicas 

Por: Sarah Mascarenhas 

Como você faz quando quer criar uma seleção de músicas para uma festa em sua casa? Colecionadores de MP3 fazem downloads de discografias completas, mas como organizar tudo isso para facilitar a escolha? O que encontramos no mercado de software para organizar músicas? Sistemas comerciais como Windows Media Player, Itunes, Winamps, Real Player, entre outras centenas, permitem a criação de sua lista de músicas preferidas por meio da seleção de arquivos ou pastas de determinado artista ou álbum, mas essa tarefa pode consumir várias horas. 

Na USP de São Carlos, os pesquisadores do Instituto de Ciências Matemáticas e de Computação (ICMC) Luis Gustavo Nonato, Fernando Vieira Paulovich e Rosane Minghim, com a participação de estudantes de mestrado e doutorado, desenvolveram um software que se diferencia dos sistemas comerciais existentes pela forma como organiza e cria playlists, a partir de uma representação visual do banco de dados de música. 

Quando se pensa na computação hoje, é preciso reconhecer uma aliada muito importante no desenvolvimento de programas e sistemas: a modelagem matemática. Foi com a ajuda de modelos matemáticos que esse programa para organização de músicas foi desenvolvido. O professor Luis Gustavo Nonato, do Departamento de Matemática Aplicada e Estatística do ICMC, conta que a idéia do sistema é primeiro transformar cada música em um dado de alta-dimensão, para então criar a representação visual da base de músicas. A representação agrupa as músicas a partir de uma medida de similaridade no espaço de alta-dimensão. "Ou seja, é a relação de similaridade entre as músicas que as caracterizam como candidatas a pertencerem a uma mesma playlist", diz Nonato. Assim, o sistema desenvolvido sugere grupos de músicas a partir de suas semelhanças medidas no espaço de alta-dimensão. 

A transformação das músicas leva em consideração o ritmo, a batida, as freqüências e a intensidade, que é o que caracteriza cada gênero ou estilo musical. Para criar uma seleção musical basta agrupar as músicas que se tornam vizinhas no espaço de alta-dimensão. A representação visual é construída com o auxílio de uma técnica conhecida como PLP - Piecewise Laplacian Projection, que, ao contrário da maioria dos métodos existentes, permite que o usuário interaja com os dados visualizados e modifique o agrupamento à vontade. Segundo o professor Fernando Paulovich, do Departamento de Ciências de Computação, outro diferencial do método é que você pode gerar inúmeras playlists ao mesmo tempo, em questão de segundos, agrupando músicas semelhantes independente do artista, época ou grupo musical.


Informações:

Nesta quarta-feira: Seminários de Otimização no ICMC

O ICMC promove nesta quarta-feira (18), a partir das 14 horas, um ciclo de palestras em Otimização. As apresentações, abaixo relacionadas, acontecerão na sala 5-004:

  • An Infeasible-Point Subgradient Method Using Approximate Projections Tillman, Lorenz e Pfetsch

Lucas Simões

Apresentação de artigo recentemente publicado no arXiv por Tillman, Lorenz e Pfetsch propondo um algoritmo para a solução de programas convexos por pontos exteriores através do uso de projeções aproximadas. Comparação com os métodos propostos por Helou e De Pierro em 2010 e com direções futuras de pesquisa planejadas.


  • Majorizing functions and Geometry of Information Divergences

Álvaro Rodolfo De Pierro

Descrevemos a relacão entre o conhecido método da majoracão de funcões e a geometria correspondente num espaco apropriado.


  • A New Parameter Choice Method for Optimization Problems when the Data are Noisy

Elias Helou

Um novo método é proposto para a escolha do parâmetro de regularização na solução de problemas inversos através de modelos de otimização. O procedimento procura minimizar uma aproximação para a média da discrepância entrópica entre um deslocamento apropriado do gradiente da solução regularizada e o correspondente da solução ideal.



Informações: 
Seção de Eventos do ICMC
Tel (16) 3373-9146

sexta-feira, 13 de maio de 2011

Colóquios da Licenciatura no ICMC

Título: "Seqüência de Ensino para ensinar conteúdos do Bloco Tratamento da Informação em ambiente Lápis e Papel e em ambiente virtual: Perfil da Turma"

Palestrantes: Dra. Irene Cazorla (UESC-BA) e Dra. Verônica Kataoka (UNIBAN-SP)

- Segunda-feira (16 de maio), das 14h às 18h
- Terça-feira (17 de maio), das 18h30min às 22h

Local: Sala de Aprendizado Eletrônico, CISC e Laboratório Didático, CISC.

Inscrições pelo site: http://www.icmc.usp.br/eventos/gerenciador/inscrever.php?evid=79

Palestra gratuita sobre linguagem Java tem inscrições abertas

Evento acontece no dia 18 de maio no ICMC-USP, em São Carlos

Uma das linguagens de programação mais valorizadas no mercado de trabalho atual, a plataforma Java é tema de palestra no próximo dia 18 (quarta-feira), no Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, para duas turmas: uma das 14h às 16h e outra das 18h às 19h. A atividade é gratuita e tem vagas limitadas.

Promovida pela Adekz, representante Globalcode na região de São Carlos e de Ribeirão Preto (SP), a palestra apresentará os principais benefícios da utilização da plataforma Java, o histórico de criação da linguagem e as instruções de como instalar o Java, desenvolver e executar um aplicativo simples. Outro objetivo é mostrar formas de inserção do programador Java no mercado de trabalho.

O instrutor, Reinaldo de Oliveira Castro, doutorando em Ciência da Computação pela UFSCar (Universidade Federal de São Carlos) e professor convidado em cursos de pós-graduação lato sensu da mesma universidade, tem duas certificações Java: SCJP e SCWCD.

Os interessados em participar devem enviar e-mail para treinamentos@adekz.com ou entrar em contato pelo telefone (16) 3617 7647, da Adekz de Ribeirão Preto-SP.

Serviço:
Palestra sobre a plataforma Java
Dia 18 de maio, das 14h às 16h (turma I) e das 18h às 19h (turma II)
Local: Auditório Prof. Luiz Antonio Fávaro – Bloco ICMC-4
Instituto de Ciências Matemáticas e de Computação/USP - Av. Trabalhar São-Carlense, 400
Inscrições: treinamentos@adekz.com ou (16) 3617-7647 (Ribeirão Preto-SP)
Entrada franca

quarta-feira, 11 de maio de 2011

Sexta-feira 13, no ICMC: "Um dos piores pesadelos matemáticos"

O ICMC promove nesta sexta-feira (13 de maio), mais uma edição do Seminário de Coisas Legais: "Um dos piores pesadelos matemáticos"

A palestra será ministrada pelo professor Leandro Aurichi, do ICMC, e terá início às 13h13min na sala 4-003. A apresentação abordará  informalmente os teoremas da incompletude de Gödel e algumas das suas consequências.

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

terça-feira, 10 de maio de 2011

ICMC abre inscrições para Ênfase em Computação

Os Departamentos de Ciências de Computação (SCC) e de Sistemas de Computação (SSC) do ICMC oferecem aos estudantes do campus USP de São Carlos a oportunidade de complementarem sua formação básica, especializando-se em Computação. Estão abertas as inscrições para Ênfase em Computação no período de 11 a 31 de maio de 2011.

As inscrições serão feitas presencialmente na Secretaria do SCC, mediante preenchimento da ficha de inscrição e entrega de uma cópia do histórico escolar.

Mais eventos nesta quarta-feira no ICMC

Quarta-feira (11), às 13 horas na sala 5-004

"Web Semântica: Princípios, Polêmicas e Desafios"
Palestrante: Ig I. Bittencourt (Instituto de Computação da Universidade Federal do Alagoas)

Resumo: Em 2001, a Web Semântica (com suas camadas) foi proposta por Tim Berners-Lee com o objetivo de haver uma Web onde os computadores pudessem analisar os dados disponíveis nas páginas e com isso simplificar tarefas complexas, reduzir o tempo de execução de atividades, entre outros. Esta palestra tem por objetivo abordar os princpípios propostos por Tim-Berners Lee e discutir quais são os pontos desafiadores e polêmicos na Web Semântica.
----------

Quarta-feira (11), às 14 horas na sala 3-010

"A fronteira da fibra de Milnor de singularidades não isoladas"
Palestrante: Aurélio Menegon Neto (Instituição: Instituto de Matemática - Cuernavaca, México)

Resumo: Sabemos que a fronteira da fibra de Milnor  $L_t = f^{-1}(t) \cap B_\e^{2n}$ de uma singularidade isolada é difeomorfa ao link  $L_0$. Entretanto, no caso de uma singularidade não isolada, surge o problema de descrever a topologia de $L_t$ e entender como essa variedade suave degenera na variedade singular $L_0$. Nessa conversa, definiremos o conceito de "vanishing zone" de uma singularidade não isolada e mostraremos que, no caso de um germe de hiper-superfície complexa em $\C^3$ com singularidade não-isolada, bem como no caso de uma singularidade real analítica do tipo $f \bar{g}: \C^3 \to \C$ com valor crítico isolado, $L_t$ é uma variedade de Waldhausen.

----------
Quarta-feira (11), às 18 horas na sala 4-001

"Desenvolvimento de Jogos"
Palestrante: Maximiliano Selmi Marques (iMAX Games)

Tópicos da Palestra: Produção de Games: Linha de produção; Escolha da engine e ferramentas; Desenvolvimento Mercado de Games, Como está no Brasil e no resto do mundo? O que preciso fazer para entrar? Oportunidade; O que é importante saber? Linguagens de programação? Estudar é necessário!

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

USP aprova três novos Núcleos de Apoio à Pesquisa para o ICMC

O Instituto receberá quase R$ 4 milhões em verbas para investimentos nos novos NAPs (Núcleos de Apoio à Pesquisa), que tem como principal marca a relação entre universidade, governo e indústria

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

A Pró-Reitoria de Pesquisa da USP aprovou no último mês de abril uma verba de quase R$ 4 milhões para investimentos nos novos NAPs (Núcleos de Apoio à Pesquisa), que integrarão o CIAP (Centro Integrado de Apoio à Pesquisa), cujo edifício será construído no Campus II da USP de São Carlos.

O programa será interinstitucional e contará com a participação de outras Unidades da USP, como o Instituto de Matemática e Estatística (IME) e a Escola de Engenharia de São Carlos (EESC). O foco dos novos NAPs será a relação entre universidade, governo e indústria. Os NAPs aprovados foram:

- Centro de Robótica de São Carlos - CROB/SC - (ICMC e EESC), com verba aprovada em R$ 900.000,00, coordenado pelo Prof. Dr. Marco Henrique Terra.

- Centro de Matemática e Estatística Aplicadas à Indústria - CeMEAI, com verba aprovada - de R$ 900.000,00, coordenado pelo Prof. Dr. José Alberto Cuminato.

- Software Livre (ICMC e IME), com verba aprovada de R$ 2.000.000,00, coordenado pelo Prof. Dr. José Carlos Maldonado.

Os NAPs são órgãos de integração da Universidade de São Paulo, instituídos com o objetivo de reunir especialistas de uma ou mais Unidades e Órgãos em torno de programas de pesquisa de caráter interdisciplinar e/ou de apoio instrumental à pesquisa. Eles tem sua existência limitada ao cumprimento dos programas de atividades propostas. Neste ano, a USP aprovou 43 NAPs, totalizando quase R$ 70 milhões em investimentos.


Projeto do prédio do CIAP - fachada

segunda-feira, 9 de maio de 2011

Sistema Integrado de Bibliotecas da USP promove treinamento de bases de dados no ICMC

O Sistema Integrado de Bibliotecas da USP promoverá treinamento de bases de dados do portal Web of Knowledge, no próximo dia 27 de maio. O curso ocorrerá das 9h30min às 17h, no Auditório do Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos.

O treinamento será ministrado por Mirta Guglielmoni, da empresa Thomson Reuters, responsável pelo portal. As inscrições devem ser feitas até 20 de maio através do endereço capacitacao@sibi.usp.br. São 90 vagas no total.

Eventos da semana no ICMC

Terça-feira (10), às 15 horas na sala 4-005

On Renormalisation of Henon-like Maps
Palestrante: Peter Hazard (IME-USP)

Resumo: We will discuss recent work on the Henon renormalization operator, properties of infinitely renormalisable Henon-like maps and compare some topological models of such maps.

----------
Quarta-feira (11), às 10h30min, na sala 5-003

A cota de Hasse-Weil via teoria de Stöhr-Voloch
Palestrante: Nazar Arakelian (ICMC-USP)

Resumo: Introduziremos a teoria de Stöhr-Voloch, cujo objetivo é obter cotas maximais para o número de pontos racionais de uma curva algébrica irredutível não singular definida sobre um corpo finito. Essas cotas são obtidas mergunlhando-se a curva em algum espaço projetivo através de morfismos, definindo assim funções que se anulam nos pontos P cuja a imagem sob a ação de Frobenius está no hiperplano osculante a curva em P. Como uma aplicação, obtemos a cota de Hasse-Weil com a ajuda da teoria de Stöhr-Voloch aplicada a um morfismo específico.

----------
Quarta-feira (11), às 14 horas, na sala 4-001

Umamao.com: Ensino e Construção Colaborativa de Conhecimento
Palestrante: Helder Ribeiro (Unicamp)

Resumo: O Umamão é uma plataforma inovadora de construção colaborativa de conhecimento criada a partir da frustração de alunos da Unicamp em relação aos meios até então disponíveis para se tirar dúvidas sobre disciplinas da universidade. O conteúdo gerado tem um efeito cumulativo e multiplicador, pois a resposta à dúvida de um único aluno ajuda a todos que têm a mesma dúvida naquele semestre, em semestres seguintes e em universidades pelo Brasil inteiro, evitando trabalho repetido e promovendo disseminação de conhecimento a regiões menos favorecidas do país. Nesta palestra, o criador do Umamão mostrará como professores e monitores podem usar o Umamão para facilitar o atendimento aos alunos, descobrir os pontos onde há maior dificuldade de compreensão e incentivá-los a se ajudarem mutuamente nos estudos.

----------
Quinta-feira (12), às 13h13min, na sala 4-003

Seminário de Coisas Legais: P versus NP
Palestrante: Murilo Soares Pinheiro (ICMC-USP)

Resumo: Mostraremos de forma simples e intuitiva os conceitos básicos relativos à pergunta "P = NP?", uma das maiores questões da teoria da computação ainda em aberto.

quinta-feira, 5 de maio de 2011

Pesquisadora do ICMC estuda melhoramento genético de gado

A professora Solange Rezende realizou uma pesquisa de mineração de dados na base do Programa de Melhoramento Genético da Raça Nelore (PMGRN), que visa o melhoramento genético do rebanho e representa ganhos para pecuaristas e consumidores. 

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


A pesquisadora do Instituto de Ciências Matemáticas e de Computação (ICMC), Profa. Dra. Solange Oliveira Rezende, realizou uma pesquisa de mineração de dados junto à base do Programa de Melhoramento Genético da Raça Nelore (PMGRN), mantida pela Associação Nacional de Criadores e Pesquisadores (ANCP). A pesquisa lhe rendeu o Prêmio Dr. Hélio Coelho de Mérito em Pesquisa, entregue no último dia 15 de abril. 

O programa de melhoramento genético da raça Nelore existe desde 1988, e é coordenado pelo Prof. Dr. Raysildo Barbosa Lôbo, do departamento de Genética da Faculdade de Medicina de Ribeirão Preto. Em 1996, Solange começou a trabalhar com a mineração dos dados que estão na base do programa, o que consiste no processo de explorar grandes quantidades de dados à procura de padrões consistentes. Seu trabalho foi importante devido ao fato de que conhecimentos descobertos a partir desses dados permitem aos técnicos, pesquisadores e criadores do programa apoiar decisões relacionadas com perfil de animais mais aptos, visando o melhoramento genético do rebanho, o que representa ganhos para pecuaristas e consumidores. 

O melhoramento genético é uma importante ferramenta para aumentar ganhos de pecuaristas e consumidores. A tecnologia permite o aumento da eficiência na identificação e rastreamento de animais com características genéticas interessantes aos criadores, como habilidade materna, maior crescimento, maior volume de massa muscular, período de crescimento mais curto, fertilidade e precocidade sexual. O que difere a pesquisa de Solange das demais realizadas anteriormente é que essa se trata também de um evento de extensão, pois a pesquisadora não fica somente atrelada ao meio acadêmico – passa disponibilizar seus resultados para o agronegócio, que é um dos principais pilares da economia brasileira. 

Outra etapa da pesquisa foi a avaliação das forças de mercado que regem a comercialização de touros, que podem auxiliar o programa Nelore Brasil na gestão de relação com o cliente (CRM - Customer Relationship Management). Dentro desse contexto pesam alguns fatores como: ponto de venda (fazenda de origem), produto (touro), tipos do produto (categoria, variedade, idade) e qualidade do produto (perfil genético). 

“A qualidade da base de dados tem sido confirmada pela certificação Global G. As fazendas certificadas que possuem gestão da qualidade dos dados aplicam de forma mais eficiente as técnicas de melhoramento animal e contribuem com o meio-ambiente. O Global G1 trata a qualidade da informação e isso, entre outros como a dedicação e aplicação dos criadores, agregam confiança à avaliação genética. Essa qualidade dos dados é fundamental para a mineração de dados. Todo animal é cadastrado no programa e pesado quatro vezes ao ano. Para se ter uma ideia, em 2008 eram mais de um milhão de animais cadastrados nesse banco de dados, de um total de 413 fazendas”, esclarece Solange. 

A descoberta de conhecimento é realizada no LABIC-ICMC (Laboratório de Inteligência Computacional) na USP de São Carlos. Os dados são analisados e processados por algoritmos automáticos para extrair conhecimentos. Um dos objetivos é identificar as forças de mercado para a comercialização de touros, de acordo com seus padrões genéticos que interessariam mais aos criadores e ao consumidor final. Esses padrões ajudariam o programa na gestão com o client

A ANCP calcula e publica as DEPs (Diferença Esperada na Progênie), as Acurácias e o Índice MGT (Mérito Genético Total) dos touros geneticamente superiores das raças Nelore, Guzerá, Brahama e Tabapuã. Os dados coletados, calculados pelo programa juntamente com o conhecimento descoberto nessa pesquisa, auxiliam na escolha dos progenitores desta e a próxima geração. Para conhecer melhor os animais e descobrir conhecimento, foram utilizados dois padrões da base de dados do PMGRN: o perfil genético do animal e as DEPs. Esses dados foram enriquecidos com informações de mercado. Para isso, a pesquisa trabalhou com regras de associação para identificar nichos específicos para animais com características específicas. Por exemplo: para analisar evolução do mercado, foram usadas regras com dois itens, ano (antecedente) e DEP ou MGT (consequente), que são úteis para analisar mudanças de exigências dos clientes pelo Perfil Genético dos Touros. 

Profa. Solange Rezende
As análises temporais nesta pesquisa visam, apenas, verificar perfis genéticos comercializados em determinados anos e meses com maiores movimentações comerciais das fazendas, não caracterizando tendências temporais. “Os top 0,1%”, estão 99,9% acima de todo o rebanho do programa. Esses dados podem ser usados para identificar uma característica de destaque no rebanho da fazenda, com isso criadores podem comprar sêmen de um touro com a característica diferenciada para a próxima geração. Por exemplo, um criador que possui um rebanho com fertilidade abaixo do esperado pode comprar sémen de um animal que possua diferencial para este perfil, e assim melhorar essa deficiência de seu rebanho nas próximas gerações”, completa Solange. “Em minha opinião, o grande desafio desses criadores é ter em seu rebanho animais de alto padrão, que sirva como matriz para os demais criadores.” 

Nesse programa foram avaliadas tanto características boas como deficientes nos rebanhos dos pecuaristas. No segundo caso, sempre é omitido os nomes das fazendas. O programa de melhoramento genético deve sempre alertar o criador quando a “fazenda A”, tem mais da metade de seus animais comercializados com um baixo rendimento da terminação da carcaça, por exemplo. 

O programa na verdade não é de manipulação genética, mas sim de coleta e análise visando melhoramento genético, pois não há somente a avaliação do perfil genético, como também o ambiente onde esse animal vive. O MGT (Mérito Genético Total) é um dos índices que fornece ao criador a oportunidade de escolher animais geneticamente superiores. 



Nota de esclarecimento sobre a nova logomarca do ICMC

Em relação a apresentação de sua nova logomarca, o Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, esclarece que:

- no processo de definição de sua nova identidade visual participaram diversas instâncias do ICMC, através da Comissão de Comunicação e Divulgação (CCD) e da Congregação, ambas com representatividade na categoria docente, discente e técnico-administrativo;

- o ICMC contou, desde o início do processo em 2010, com consultoria especializada da empresa MP5 Comunicações Ltda., contratada através do processo 2010.1.1009.55.0 para desenvolver o Manual de Identidade Visual;

- a menção aos professores do Instituto de Arquitetura, Prof. Dr. David Moreno Sperling e Prof. Dr. Paulo César Castral, se deu em forma de agradecimento pelo fato de terem apresentado uma proposta alternativa de logomarca, que acabou não sendo adotada e culminou na posterior abertura do concurso;

- em relação ao concurso, todas as etapas ocorreram estritamente de acordo com o regulamento. As propostas foram julgadas e classificadas pelos membros da Comissão de Comunicação e Divulgação que, conforme já mencionado, conta com representação em todas as categorias.

O ICMC incentiva e aceita manifestações e críticas construtivas de sua comunidade, e entende a importância em ouvir sua opinião. A Direção aproveita para agradecer os comentários recebidos nessa linha, e se colocar a disposição através do e-mail comunica@icmc.usp.br.

quarta-feira, 4 de maio de 2011

Seminário conjunto: USP/UFSCar

Nesta sexta-feira (6), às 14 horas, o ICMC-USP promove em parceria com o DEs-UFSCar o seguinte seminário:

SIMULAÇÃO PERFEITA PARA CADEIAS ESTOCÁSTICAS

Palestrante: Alexsandro Giacomo Grimbert Gallo (Unicamp)

Local: Sala de seminários do DEs - UFSCar

Algoritmos de simulação perfeita (perfect simulation algorithms) têm como objetivo a construção de amostras finitas distribuídas exatamente de acordo com a medida estacionária do processo. A palavra “exatamente" tem importância, vem daí o nome inglês também comumente utilizado de exact sampling. Por esta razão, esta área de pesquisa é de particular utilidade para algoritmos MCMC. Mas veremos que desenvolver tais algoritmos pode também ser útil de um ponto de vista teórico, como por exemplo, mostrar, por construção, a existência de certas cadeias estacionárias. Nós focaremos sobre uma classe particular de algoritmos, chamados “algoritmos de acoplamento desde o passado" (Coupling from the past algorithms), e sobre o mundo das cadeias estocásticas (isto é unidimensional, tempo discreto) a valor em alfabeto finito. Começaremos mostrando como construir tais algoritmos no caso bem conhecido das cadeias de Markov, e rapidamente, veremos como tratar casos não markovianos menos conhecidos. Daremos muitos exemplos. Nós usaremos as seguintes referências: Propp & Wilson (1996), Comets et al. (2002), Gallo (2009).

Nesta quinta no ICMC: Seminário de Coisas Legais

Quinta-feira (05/05), às 13h13min, na sala 4-003 do ICMC:

Descobrindo um "novo" objeto matemático e resolvendo um problema através do princípio da democracia

Palestrante: Prof. Dr. Carlos Henrique Grossi Ferreira (ICMC)

Consideremos o seguinte problema: Seja R uma reta no plano Euclidiano e seja p um ponto que não pertence à reta R. É possível, utilizando-se somente uma régua, construir a reta que passa por p e é paralela a R? Para resolver este problema, precisaremos analisar o conceito de paralelismo, o que naturalmente nos levará à "descoberta" de um objeto geométrico muito importante. Se houver tempo, discutiremos outro problema aparentemente complicado que pode ser resolvido de modo simples com auxílio deste mesmo objeto: como visualizar o espaço de pares não-ordenados de pontos em uma circunferência?

terça-feira, 3 de maio de 2011

Departamento de Matemática Aplicada e Estatística 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 Professor Doutor para o Departamento de Matemática Aplicada e Estatística (SME). São três vagas, e o contrato será em Regime de Dedicação Integral à Docência e à Pesquisa (RDIDP), com o salário inicial de R$ 7.574,75.

- Área de Conhecimento: Estatística
- Especialidade III: Inferência Estatística
- Disciplinas: SCE5779 - Inferência Estatística e SME0221 - Introdução à Inferência Estatística

As inscrições estão abertas no período de 5 de maio a 2 de agosto de 2011, e devem ser feitas pessoalmente, por procuração ou por correspondência 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:




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

Olimpíada USP de Inovação

A Olimpíada USP de Inovação é promovida por uma parceria entre a Agência USP de Inovação e a Pró-Reitoria de Pesquisa da USP. Trata-se de uma grande oportunidade de conhecer caminhos para a exploração do potencial mercadológico e do impacto social de grandes inovações.

Voltada para tecnologias produzidas pela comunidade de alunos, docentes e funcionários da USP, o evento terá sua 2ª edição em 2011. Seu objetivo é proporcionar aos pesquisadores a oportunidade de concretizar resultados científicos e tecnologias em produtos e serviços, seja para fins lucrativos ou sociais.

A competição será dividida em duas categorias e em duas etapas. Uma das categorias, denominada Categoria Livre, terá menos exigências quanto ao rigor científico dos projetos e é destinada, sobretudo, aos alunos de graduação. A outra categoria será realizada sob responsabilidade e divulgação dos projetos nos Centros de Inovação (CI): Unidades de Ensino e Pesquisa, Núcleos de Apoio à Pesquisa, Centros de Pesquisa, Inovação e Difusão da Fapesp e Institutos Nacionais de Ciência e Tecnologia do CNPq, todos ligados à USP.

O ICMC, na condição de Centro de Inovação participante desta Olimpíada, incentiva a ampla participação de sua comunidade.

As inscrições são gratuitas e podem ser feitas individualmente ou em equipes de até quatro pessoas.
Data limite para inscrições: 16 de junho

Inscrições e regulamento no site: http://www.inovacao.usp.br/olimpiada2011/

segunda-feira, 2 de maio de 2011

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 (4 de maio) os seguintes eventos:

----------

Às 14 horas, na sala 3-010

"Differential geometry of spacelike submanifolds from the view point of singularity theory"
Palestrante: Masaki Kasedou (Hokkaido University)

Resumo: In this talk, I explain the applications of singularity theory to the differential geometry of submanifolds.  In Euclidean three space, the Gauss map is defined by the normal direction of surfaces, and it's singular points appear on the parabolic point set of the surface. Geometrical properties of these singularities have been studied by many researchers. On the other hand, the analogous notion is also defined by spacelike hypersurfaces in other spaces, for example, Lorentzian space, hyperbolic space and de Sitter space. A spacelike submanifold is a submanifold with an induced Riemannian metric.  At the beginning of the talk, I will explain about the singularities of classical Gauss maps, and after that, talk about our recent work, there is a relationship between the geometrical properties of spacelike submanifolds in de Sitter space and the singularities of some maps.

----------

Às 14 horas, no Auditório do ICMC

"Movimento Coletivo, Caos e Sincronização"
Palestrante: Dr. Elbert Macau (LAC/INPE)

Resumo: O movimento coletivo e ordenado é o comportamento em que a natureza se apóia para tornar possível vários de seus fenômenos fundamentais. Ele está presente nas células do coração, nos neurônios, em grupos de vaga-lumes que sincronizam seus ritmos, em arranjos supercondutores de junções Josephson, nos cardumes de peixes, nos bandos de pássaros. Muitos sistemas tecnológicos também se baseiam no comportamento coletivo ordenado, como é o caso das redes de geradores elétricos, osciladores das redes de telecomunicações e as unidades dos subsistemas de processamento de informação. Em todos esses exemplos, o comportamento coletivo emerge a partir da dinâmica de seus agentes constitutivos e é justamente esse comportamento ordenado que permite ao conjunto desempenhar funções específicas e complexas sem a presença de um líder. Neste seminário, serão analisadas essas situações e identificadas estratégias que possibilitam a emergência do movimento coletivo e ordenado a partir da dinâmica caótica de seus componentes.


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

Departamento de Ciências de Computação do ICMC abre processo seletivo para professor temporário

O Departamento de Ciências de Computação (SCC) do Instituto de Ciências Matemáticas e de Computação (ICMC), na USP São Carlos, promove processo seletivo Professor Contratado (mestre ou superior), por tempo determinado, com vigência até 30/12/2011. A jornada será de 12 horas semanais e o salário de R$ 938,73. Os tópicos são relativos às disciplinas Algoritmos e Estruturas de Dados 1 e Introdução à Ciência da Computação 2.

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



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

Palestra em comemoração ao Dia Nacional da Matemática

Malba Tahan
No dia 6 de maio é comemorado o Dia Nacional da Matemática. A data foi proposta pela Sociedade Brasileira de Educação Matemática (SBEM), em homenagem ao nascimento de Malba Tahan, pseudônimo de Júlio César de Mello e Souza, professor de matemática e autor de grandes obras como O homem que calculava.

Para celebrar a data, o Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, promove nesta terça-feira (3 de maio) a palestra por videoconferência "Dos diários de viagens de Malba Tahan, registros para a História da Edudação Matemática Brasileira". A apresentação será ministrada pela Profa. Juraci Conceição de Faria, da UNICAMP, e terá início às 14 horas, na sala de videoconferência do CISC. A transmissão pode ser acompanhada através do endereço:



Informações:
Seção de Eventos do ICMC

Docente do ICMC desenvolve softwares para o aprendizado de matemática

Pesquisador do Laboratório de Engenharia de Software (Labes), Seiji Isotani, desenvolve software que facilita aprendizado de matemática a alunos.

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


A matemática é uma das disciplinas que causa maior repulsa nos alunos brasileiros. Isso é claramente refletido em seu desempenho nas avaliações internacionais de educação, onde o Brasil amarga péssimas posições. Por conta disso, muitos professores tentam utilizar maneiras divertidas e interativas de ensinar a matemática, a fim de conseguir um maior interesse por parte dos alunos.

No Brasil, o maior expoente foi sem dúvida Malba Tahan, pseudônimo de Júlio César de Mello e Souza, nascido em 1895 no Rio de Janeiro. Ele foi Professor Emérito da Faculdade Nacional de Arquitetura, do Colégio D. Pedro II. Ao longo de sua vida, escreveu cerca de 120 livros sobre matemática recreativa, didática da matemática, história da matemática e literatura infanto-juvenil, atingindo tiragem de mais de 2 milhões de exemplares. Sua obra mais popular, O Homem que Calculava (com mais de 40 edições), conta a história de um árabe que, em suas andanças pelo deserto, usa a matemática para resolver problemas característicos da cultura de seu povo. A obra foi premiada pela Academia Brasileira de Letras em 1972, sendo traduzida para vários idiomas.

Atualmente os professores buscam na informática, interatividade e nos softwares uma maneira para atrair a atenção dos alunos para a disciplina. O professor Seiji Isotani, docente do Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, está trabalhando com softwares interativos e inteligentes voltados para a educação matemática há mais de dez anos, desde sua iniciação científica. “São softwares que buscam ensinar a disciplina de uma maneira mais eficiente e com maior interatividade”, explica o pesquisador do Departamento de Sistemas de Computação. 

IGeom
“O software iGeom é um exemplo de uma das ferramentas criadas para melhorar a qualidade do ensino de matemática e geometria que leva em consideração os problemas educacionais das escolas Brasileiras. Desenvolvido sob supervisão do professor Leônidas de Oliveira Brandão, do Instituto de Matemática e Estatística (IME) da USP, o iGeom é uma ferramenta gratuita para ensinar de maneira ativa e interativa, que pode ser usado no ensino fundamental, médio e superior. Através dele, por exemplo, podemos determinar a localização do ponto médio, estudar as funções de seno, cosseno, tangente, modelos matemáticos, algoritmos e recorrências (que é uma unica figura repetida várias vezes em pontos específicos)”, tudo isso de forma interativa e visual.


MathTutor/AdaptErrEx:

MathTutor
É um software inteligente voltado ao ensino de matemática (por exemplo, decimais). Através de técnicas de inteligência artificial o software ajuda passo-a-passo o aluno a compreender (e resolver) problemas de matemática, bem como os vários componentes de conhecimento envolvidos. O aluno somente avançará para a próxima etapa da aprendizagem se adquirir os conhecimentos necessários. O software também tem a capacidade de avaliar onde está a dificuldade do aluno, dando dicas para que este pense e identifique onde errou através de um dispositivo gráfico. Comparando esses gráficos e a informação coletada pelo software, o professor pode avaliar tanto o desempenho individual do estudante como o desempenho da classe como um todo. Esse projeto é desenvolvido por Isotani há dois anos em parceria com pesquisadores da Carnegie Mellon University, em Pittsburgh (EUA), e é baseado nas teorias desenvolvidas por essa universidade, estando no momento disponível apenas nos Estados Unidos.

“Na escola nunca recebemos um auxílio individual, pois o professor tem que cuidar de classes com 30, 40 alunos e, sem a ajuda de ferramentas computacionais, ele não consegue identificar quais são as dificuldades de cada um. Dessa forma, o software é um meio de personalizar o processo de ensino e aprendizagem para que as perguntas básicas sejam respondidas diretamente no computador e as dificuldades sejam sanadas no momento em que se manisfestarem. As perguntas mais complexas que necessitem de uma maior explicação são esclarecidas diretamente com o professor, contudo essas perguntas são menos frequentes. A principal característica do MathTutor/AdaptErrEx é que, com ele, o aluno é incentivado a descobrir a propriedade do elemento matemático estudado, e com o auxílio inteligente do software ele sempre chega ao resultado final.”, completa.

Isotani também acredita que esse software possa num futuro de médio-longo prazo, incentivar os alunos a ingressarem na área de exatas, pois para aprendê-la é necessário abstrair e visualizar idéias e conceitos, e o software facilita isso.

Esse software oferece um complemento ao professor e ao aluno, a um custo razoavelmente baixo, então existiria um apelo comercial muito forte a ele. No caso do MathTutor, ele é freeware (gratuito), mas não é open source (com código fonte aberto). “Para atingir esse ponto teremos que dar um passo maior, isso significa que queremos que as pessoas contribuam com o desenvolvimento desse software, atribuindo-lhe novas funcionalidades, aplicativos e versões mais aprimoradas. Nesse processo é necessário filtrar o que é bom do que não é, por exemplo”, afirma Isotani. “Em médio e longo prazo, esse software pode se tornar open source. Poderemos firmar parcerias com prefeituras e empresas privadas para que o projeto não seja apenas um protótipo. O meu objetivo final é produzir ferramentas educacionais que tenham o potencial de melhorar a qualidade do ensino e que fiquem a disposição de professores e alunos, não importa como”

Há softwares que trabalham com frações, álgebra, química, que auxiliam os alunos no desenvolvimento de conteúdos. No Brasil há a necessidade de identificar quais são os componentes de conhecimento para que os alunos aprendam melhor.


Políticas públicas de ensino no Brasil

Prof. Seiji Isotani
Isotani acredita que em termos de políticas públicas, o governo quer apoiar os professores, mas na verdade não sabe por onde começar. Para que o professor esteja apto a usar computadores e softwares no aprendizado, ele necessita antes de tudo de um treinamento para que possa utilizá-los de maneira eficiente. “Em outros países onde estive (Japão, Canadá, Coréia e Estados Unidos) há um maior suporte, pois o professor é visto como formador dos novos cidadãos do país, todo suporte que ele necessita é oferecido pelo Estado”, afirma o pesquisador.

Em uma enquete realizada no Brasil sobre o que a população pensa sobre a educação no país, mais de 50 % respondeu que estava muito boa, mas o exame PISA (Programa Internacional de Avaliação de Alunos), constatou que o Brasil está entre os piores países na América Latina em termos de educação básica, ensino fundamental e médio, abaixo de países como Argentina, Chile e Uruguai.

Nos últimos anos o governo tenta sanar esse problema, investindo em diversos programas relacionados ao uso de computadores nas escolas como, por exemplo, o programa um computador por aluno e programas de educação semi-presenciais (cursos à distância). Apesar desses programas trazerem alguns benefícios, Isotani indica que falta incentivo as pesquisas em informática na educação que lidam com o desenvolvimento de softwares interativos e inteligentes capazes de melhorar significativamente a qualidade do ensino a curto prazo. Para o pesquisador da USP é necessário munir o professor de ferramentas computacionais capazes de auxiliá-lo na tarefa de diagnosticar as dificuldades do aluno no dia-a-dia. “Com essas ferramentas as tarefas de ensinar e aprender se tornam muito mais fáceis, eficazes, divertidas e prazerosas”.


Mais informações: 
Assessoria de Comunicação do ICMC

Pesquisador do Google e UFMG ministra palestra no ICMC

Berthier Ribeiro-Neto
Foto: Google Research
Berthier Ribeiro-Neto, diretor do Centro de Engenharia da Google para a América Latina, ministrará no Instituto de Ciências Matemáticas e de Computação (ICMC), da USP São Carlos, a palestra Busca na Web: problemas, soluções e desafios. A apresentação será hoje (segunda-feira, 2), às 14 horas, no Auditório do ICMC.

Ribeiro-Neto é Ph.D. em Ciência da Computação pela Universidade da Califórnia (Estados Unidos), professor do Departamento de Ciência da Computação da UFMG e diretor do Centro de Engenharia da Google para a América Latina, localizado em Belo Horizonte. Co-autor de mais de 70 artigos técnicos, ele co-orientou mais de 20 alunos de mestrado e 7 alunos de doutorado. É também co-autor do livro Modern Information Retrieval, de Addison Wesley, (1999) que se tornou um "best-seller" na área. Ribeiro-Neto é co-fundador da empresa de máquinas de busca na Web denominada Akwan, que foi adquirida pelo Google em 2005 e é editor associado da ACM Transactions on Office and Information Systems.

Informações:
Seção de Eventos do ICMC