CV Lattes
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Engenharia Eletrônica pela Universidade de São Paulo (1982) e doutorado em Computação pelo Department of Computer Science - Pennsylvania State University (1991). É professor titular do Instituto de Computação da Universidade Estadual de Campinas (UNICAMP).Tem experiência nas áreas de Inteligência Artificial, Sistemas Colaborativos, Informática Médica, Bibliometria e Impactos da Informática na Sociedade. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Revista Pesquisa FAPESP sobre o(a) pesquisador(a): |
| La fórmula de la equidad |
| A fórmula da equidade |
| Convergência virtual |
| Mais itensMenos itens |
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Desenvolvimento de um programa de triagem automática de retinopatias diabéticas e sua aplicação num serviço de teleoftalmologia. O sistema deverá detectar alterações na imagem de fundo de olho de pacientes que indicam algum grau de retinopatia diabética e encaminhar as imagens para um diagnóstico por um especialista. Se o sistema não detectar alterações, o paciente não será encaminhado pa…
Neste trabalho, investigamos o problema do alinhamento interno, recentemente formalizado. Em termos gerais, alinhar uma inteligência artificial é construí-la ou ajustá-la de forma a garantir que as suas saídas estão de acordo com as preferências humanas. O alinhamento interno é uma subtarefa desse exercício, em que se trata o sistema como um mecanismo de otimização que é, por sua vez, oti…
O objetivo principal deste projeto é construir um sistema que receba como entrada as características de uma rede de ruas e cruzamentos e devolva políticas ótimas para o controle do fluxo nesta região. Para isso, o sistema se baseia em algoritmos de duas áreas bastante desenvolvidas em inteligência artificial: a área de simulação de multidões e a área de planejamento probabilístico. Essas …
Um bom entendimento dos conceitos e técnicas relacionadas a verificação de workflows por desenvolvedores e projetistas ajudará na construção de workflows que sejam flexíveis o suficiente para capturar os requerimentos de aplicações do mundo real e robusto o suficiente para oferecer a correção necessária e propriedades de confiança na presença de concorrência e falhas. É nesta linha que se…
Eu vou desenvolver duas linhas de pesquisa, ambas usando grandes bases de dados de resultados de exames, em particular o PISA (para educação primaria) e o ENADE (para educação superior).O primeiro projeto visa avaliar uma hipotese que eu levantei no artigo Wainer, Vieira & Melguizo 2015 que com o passar do tempo (ou na medida que sistemas computacionais ficam melhores ou na medida que a s…
Continuar o desenvolvimento de linhas de pesquisa com o Prof Clarence Ellis, no Colorado, na área de mineração de workflow, principalmente aspectos da organização que podem ser inferidos de logs de atividades, além dos processos de negócio que é o objetivo tradicional da mineração de workflows. (AU)
Continuar o desenvolvimento de linhas de pesquisa com o Prof Clarence Ellis, no Colorado, na área de mineração de processos de workflow, e inclusão de conceitos de escalonamento em sistemas de workflow. Também continuar as linhas de pesquisa com o prof. Kumar, na Pennsylvania, sobre sistemas de controle de acesso e segurança assessórios à sistemas de workflow e aplicações de workflo…