PPGSI

Total de projetos de pesquisa



Número total de itens: 125

2018

1.   2018-Atual. An evolutionary approach to the discovery of unstructured business processes based on cooperative coevolution and the island model
Descrição: The combination of Business Process Management (BPM) and data mining has established a new research field -- known as process mining. The goal of process mining is to extract knowledge about data obtained from the work carried out at different stages of the BPM life-cycle. Process mining seeks to improve business processes by discovering links between variables and behavioral (or misbehavioral) patterns. The data to be mined are usually formed of event logs produced by the information systems used by organizations. Although there has already been a significant evolution regarding the specific techniques required for process mining, they are still unsuitable for unstructured processes, which are in fact those most often found in real organizations. The execution flow of unstructured processes has a weak causal dependence on its activities, i.e., these flows largely depend on occasional decisions made by their participants, which makes the execution of the instances essentially different from each other. This high degree of irregular behavior leads to considerable complexity and represents a challenge for current process mining techniques. Some studies have sought the support of advanced data mining techniques to assist in handling this type of scenario, including the use of genetic algorithms. However, even with the aid of genetic algorithms, the problem of how to discover unstructured business process models has not yet been satisfactorily resolved. This project adopts two advanced strategies: cooperative coevolution and the island model. Cooperative coevolution makes a subjective fitness assessment of individuals by determining whether or not they work well together; the island model gives rise to the evolution of subpopulations. It is expected that better solutions will be found for the discovery of unstructured process models.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcelo Fantinato - Coordenador / Sarajane Marques Peres - Integrante / Hajo Alexander Reijers - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
Membro: Marcelo Fantinato.
2.   2018-Atual. Automated Accessibility Testing for Mobile Apps
Descrição: Around 15% of the world population experience some form of disability and face barriers in regular life, including access to computer technology. Producing mobile apps that satisfy not only basic functional requirements, but also support users with accessibility requirements, is a difficulty that developers tend to ignore. Even when developers are aware of accessibility needs, the lack of tool support makes the development and assessment of accessible apps challenging. Some accessibility properties can be checked statically, but user interface widgets are often created dynamically and are not amenable to static checking. Some accessibility checking frameworks analyse accessibility properties at runtime, but have to rely on existing thorough test suites. The aim of this project is to overcome these issues by using automated test generation to automatically explore, assess, and improve the accessibility of mobile apps.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Marcelo Medeiros Eler - Integrante / José Miguel Rojas - Integrante / FRASER, GORDON - Coordenador. Financiador(es): FACEBOOK UK - Auxílio financeiro.
Membro: Marcelo Medeiros Eler.
3.   2018-Atual. Automação do teste de acessibilidade em aplicações móveis Android
Descrição: Este projeto de pesquisa tem o objetivo de colaborar com a automação da avaliação da acessibilidade de aplicações móveis de diversas maneiras: ampliação das diretrizes de acessibilidade automaticamente avaliadas por ferramentas de automação; investigação e avaliação de algoritmos para exploração automática de aplicações móveis; e identificação das necessidades de desenvolvedores para adaptar ferramentas para o teste automático de acessibilidade ao processo e ambiente de desenvolvimento de aplicações móveis. Em particular, a avaliação automática das diretrizes de acessibilidade, os algoritmos para exploração de aplicações e as adaptações ao contexto de desenvolvimento serão feitas na ferramenta MATE (Mobile Accessibility Testing). O projeto será desenvolvido com o apoio de colaboradores nacionais e internacionais, e alunos de mestrado da instituição sede.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) . Integrantes: Marcelo Medeiros Eler - Coordenador / André Takeshi Endo - Integrante / Gordon Fraser - Integrante / José Miguel Rojas - Integrante / André Pimenta Freire - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Marcelo Medeiros Eler.
4.   2018-Atual. Co-clustering for enhancing interpretability in process mining: exploring frequency-based and semantic representations
Descrição: Process models are essential tools for achieving success in business management in organizations. However, owing to cultural reasons or a lack of adequate human and material resources, it is common for organizations not to formalize these models and they are thus sometimes unaware of the actual process they are carrying out in day--to--day operations. In view of this, process mining plays a central and strategic role, since it provides the means for organizational processes to be automatically discovered, analyzed and enhanced. However, the inherent complexity of organizational processes -- especially those that are unstructured -- prevents the automated process mining from being undertaken with complete success, both in terms of producing useful results and improving the interpretability of the disclosed information. The purpose of this project is to ensure better results are obtained from process mining, as well as the right conditions required to refine them, and hence, increasing their interpretability. To this end, it is recommended that the partial similarities between process instances should be explored through the application of co-clustering methods to process representations based on simple counting and representations able to explore the semantic context of the descriptive attributes of traces. This strategy is expected to disclose refined information on trace profiles as well as handling the concept drift phenomenon, which is marginally exploited in the process mining field. The whole development of this project will be tested by means of synthetic event logs, as proof of concept, and real-life business processes event logs, so that the applicability and scalability of the solutions can be verified.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . Integrantes: Sarajane Marques Peres - Coordenador / Marcelo Fantinato - Integrante / Thais R. Neubauer - Integrante / Kelvin Kang - Integrante / Joon Hyuk Kim - Integrante / Esther María Rojas Krugger - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de SP - Bolsa.Número de orientações: 3
Membro: Sarajane Marques Peres.

2017

1.   2017-Atual. (FAPESP nro. 2016/14223-0) Tratamento Computacional da Personalidade Humana para Aplicações de Processamento de Língua Natural
Descrição: O tratamento computacional de traços de personalidade, seja para reconhecimento destes traços a partir de texto, ou para geração de texto adaptado a um conjunto de traços específico, é um tema central para desenvolvimento de aplicações de Processamento de Língua Natural (PLN) e áreas correlatas. Conhecer os traços de personalidade de um indivíduo (por exemplo, a partir de suas publicações em redes sociais) permite a produção de conteúdo personalizado de várias formas, seja para a apresentação de um website de modo a se tornar mais atraente, para a geração de propaganda mais eficaz e muitas outras. De forma análoga, saber como um indivíduo com determinados traços de personalidade se expressa em língua natural permite a reprodução deste comportamento em aplicações de Geração de Língua Natural (GLN), como a modelagem de personagens realistas de videogames, tutores inteligentes etc. Este projeto enfoca assim o tratamento computacional de traços de personalidade sob as óticas da interpretação e da geração de língua natural. Tomando por base o modelo dos Cinco Grandes fatores CGF amplamente adotado na Psicologia, o projeto prevê a coleta e anotação de um recurso linguístico-computacional básico - um córpus de textos e inventários de personalidade - para mapeamento de relações entre traços de personalidade e fenômenos linguístico variados, e o uso deste recurso para proposta de modelos computacionais de reconhecimento de personalidade a partir de texto, e de geração de texto com base em traços de interesse.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (9) . Integrantes: Ivandre Paraboni - Coordenador / André Costa Mariotti - Integrante / Danillo da Silva Rocha - Integrante / Georges Basile Stavracas Neto - Integrante / Barbara Barbosa Claudino da Silva - Integrante / Fábio Beranizo Fontes Lopes - Integrante / Ricelli Moreira Silva - Integrante / Danielle Sampaio Monteiro - Integrante / Vitor Garcia dos Santos - Integrante / Rafael Felipe Sandroni Dias - Integrante / Fernando Chiu Hsieh - Integrante / Wesley Ramos dos Santo - Integrante / José Eleandro Custódio - Integrante / Joao Trevisan Martins - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T A: 19 / Número de orientações: 14
Membro: Ivandre Paraboni.
2.   2017-Atual. Applying transfer learning techniques and ontologies to QSAR regression models
Descrição: To develop a new medicine, investigators must analyze the biological targets of a given disease, discover and develop drug candidates for these targets, performing in parallel, biological laboratory tests to validate the drug effectiveness and side effects. The Quantitative Study of Activity-Structure Relationships (QSAR) involves building regression models that relate a set of descriptors of a chemical compound and its biological activity with respect to one or more targets in the human body. Datasets manipulated by researchers to QSAR analysis are generally characterized by a small number of instances and this makes it more complex to build accurate predictive models. In this context, transfer learning techniques that take information from other QSAR models to the same biological target would be desirable, reducing the effort and cost for generating new chemical compounds descriptors. This project aims at applying two learning transfer methods, based on instances and on parameters, to build QSAR regression models via Support Vectors (SV). In order to implement the transfer learning techniques, a new approach for selecting related chemical datasets, which is based on the integration of different ontologies, will be developed. The regression results obtained by the use of the transfer learning approaches will be compared with those obtained by classical methods regarding the Mean Squared Error (MSE) measure.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Patrícia Rufino Oliveira - Coordenador / HONORIO, KATHIA M. - Integrante. Financiador(es): IBM Research Brazil - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Patrícia Rufino Oliveira.
3.   2017-2017. Detection of Code Quality Vulnerabilities in Mobile Applications
Descrição: Visita de pesquisa junto ao SINTEF Digital, Trondheim, Noruega, cujo objetivo foi investigar a detecção de vulnerabilidades em aplicações móveis e ganhar conhecimento em segurança de software, mais especificamente, em análise estática de código para segurança.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Marcos Lordello Chaim - Coordenador / Tosin Daniel Oyetoyan - Integrante / Daniela Soares Cruzes - Integrante. Financiador(es): Research Council of Norway - Auxílio financeiro. Número de produções C, T A: 1
Membro: Marcos Lordello Chaim.
4.   2017-Atual. INCT-MACC - Instituto Nacional de Ciência e Tecnologia - Medicina Assistida por Computação Científica (Fase 2)
Descrição: A missão do INCT-MACC é realizar pesquisa e desenvolvimento em computação científica e suas aplicações na medicina, em especial a modelagem e simulação computacional dos sistemas fisiológicos que integram o corpo humano; promover o desenvolvimento do processamento de imagens médicas, da visualização científica e da realidade virtual no desenvolvimento de aplicativos médicos orientados para a diagnose auxiliada por computador, tratamento, planejamento cirúrgico, treinamento e credenciamento médico; empregando as mais modernas técnicas de comunicação e transmissão multimídia desenvolver e gerenciar ambientes computacionais de alto desempenho que atendam às necessidades da medicina assistida por computação científica do País; formar recursos humanos e promover transferência de tecnologia e inovação para a área da saúde assistida por computação científica. Dentro deste contexto, um objetivo particular é desenvolver um Framework, denominado ViMeT, que disponibiliza classes destinadas a gerar ambientes virtuais, com funcionalidades para simular exames de biópsia. Com a instanciação do Framework construído pretende-se tornar possível a construção de novas aplicações para treinamento médico com maior produtividade. Com essas aplicações, estudantes de Medicina podem treinar o procedimento quantas vezes forem necessárias antes de realizá-lo em pacientes reais. Em médio prazo, é possível diminuir o custo do treinamento médico e oferecer subsídios para incluir uma nova cultura na rotina da educação médica.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) . Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Integrante / José Eduardo Krieger - Coordenador / Marco Antonio Gutierrez - Integrante.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
5.   2017-Atual. Reconhecimento Biométrico baseado em Sinais Biomédicos
Descrição: Diversas modalidades biométricas têm sido propostas para reconhecimento de pessoas, como impressões digitais, íris, face e fala. Estas modalidades biométricas possuem características distintas em termos de desempenho, mensurabilidade e aceitabilidade. Uma questão a ser considerada com a aplicação biométrica em mundo real é sua robustez a ataques por circunvenção, repetição e ofuscação. Esses ataques estão se tornando cada vez mais frequentes e questionamentos estão sendo levantados a respeito dos níveis de segurança que esta tecnologia pode oferecer. Recentemente, sinais biomédicos, como eletrocadiograma (ECG), eletroencefalograma (EEG) e eletromiograma (EMG) têm sido estudados para uso em problemas de reconhecimento biométrico. Um aspecto relevante sobre esse tipo de sinal é o fato de ser uma modalidade única e que não pode ser forjada ou duplicada. Se estabelecidos como uma modalidade biométrica, os respectivos sistemas estão habilitados com um escudo inerente a diversas ameaças. Outra vantagem da biométrica biomédica é a possibilidade de ser utilizada na autenticação contínua, uma vez que se pode realizar uma nova leitura biométrica, em média, a cada dois segundos. Neste projeto, pretende-se investigar novas abordagens destinadas ao reconhecimento biométrico mediante o uso de sinais biomédicos, lançando-se mão de métodos avançados de Aprendizado de Máquina e Processamento de Sinais.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Clodoaldo Aparecido de Moraes Lima - Coordenador / Felipe G. Silva Teodoro - Integrante / Henrique dos Santos Passos - Integrante.
Membro: Clodoaldo Aparecido de Moraes Lima.
6.   2017-Atual. Solução Avançada de Identificação e Avaliação de Motoristas por meio de Aprendizado de Máquina em Larga Escala e Rastreamento Solar Conectado
Descrição: Descrição: A Cobli tem como objetivo a pesquisa, desenvolvimento e comercialização de dispositivos eletrônicos e técnicas computacionais que permitam conectar e analisar, em tempo real, veículos motorizados e seus condutores, de forma ubíqua, possibilitando o uso inteligente e seguro deste recurso; isto é, maximizando seus benefícios e minimizando seus custos e riscos, tanto na preservação da vida humana quanto do meio ambiente. Os resultados obtidos pela Cobli até o presente momento são palpáveis e encorajadores. Este projeto de pesquisa tem por objetivos o aprimoramento dos algoritmos de identificação e avaliação do condutor por meio de técnicas avançadas de aprendizado de máquina sobre dados obtidos por rastreadores solar conectados à Internet (GPS e aceleração nos três eixos). Os objetivos serão alcançados com otimizações nas técnicas de processamento de dados, em particular nos algoritmos preditivos e seu processamento de forma distribuída, para habilitar a análise de múltiplos motoristas e promover o aumento de sua acurácia, assim como na coleta destes mesmos dados, viabilizando a aplicação comercial para seguradoras e gestores de frota. O dispositivo de rastreamento solar também é um elemento inovador da proposta já que permitirá a fácil instalação mesmo em veículos sem interface padronizada para acesso aos dados do computador de bordo do veículo. A equipe já desenvolveu uma prova de conceito bem sucedida de software de identificação e avaliação, com testes em campo e aprovação de empresas de mercado. Em 2015, desenvolveu um protótipo de dispositivo rastreador solar com GPS e acelerômetro. O conceito do dispositivo foi validado em bancada de forma bem sucedida, porém a empresa deparou-se com desafios tecnológicos para suportar situações inóspitas como altas temperaturas, vibração, rajadas de vento, poeira, particulados no ar e impacto, bem como de otimização do gerenciamento de energia e da lista de componentes para redução do custo da solução para fabricação da solução em escala, que também compõem objetivos desta pesquisa... Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Clodoaldo Aparecido de Moraes Lima - Integrante / Sarajane Marques Peres - Integrante / Lucas F. Brunialti - Coordenador / Francisco Nogueira Calmon Sobral - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Clodoaldo Aparecido de Moraes Lima.
7.   2017-Atual. Técnicas de CBIR 3D como ferramenta para auxílio ao diagnóstico em Cardiologia
Descrição: Conceitos de CBIR têm sido muito explorados considerando majoritariamente imagens bidimensionais (2D) como insumos. Seu emprego em objetos 3D, no entanto, ainda é escasso na literatura. Quando pesquisadas no domínio 3D, as técnicas têm considerado objetos genéricos, geralmente com separação relativamente fácil entre classes e poucos problemas reais têm sido abordados. Paralelamente, tem aumentado a quantidade e a qualidade de modelos tridimensionais disponíveis atualmente na área médica (por exemplo: superfícies e volumes reconstruídos a partir de imagens de Ressonância Magnética e Tomografia Computadorizada) e, por isso, se faz necessária a implementação de mecanismos eficientes de busca desses modelos, a fim de auxiliar profissionais da saúde em seus diagnósticos. A disponibilização de um histórico de imagens similares àquelas pertencentes ao exame do paciente pode fornecer ao especialista uma segunda opinião sobre a existência ou ausência de uma anomalia. Especificamente em Cardiologia, tais técnicas podem contribuir para a formação do médico residente, a economia de tempo no diagnóstico, a diminuição do esforço necessário para compor um diagnóstico e a diminuição de erros devido a fatores como fadiga e inexperiência. O presente projeto visa a desenvolver técnicas para recuperação de modelos médicos tridimensionais com base em seu conteúdo, e aplicá-las no contexto da Cardiologia, considerando a necessidade de diferenciar categorias de Cardiomiopatia. Para alcançar o objetivo proposto são previstas as seguintes etapas: revisão bibliográfica, definição da base de dados, segmentação e reconstrução tridimensional de modelos médicos, implementação de descritores e algoritmos de mensuração de similaridade, construção de um sistema de auxílio ao diagnóstico, avaliação e publicação dos resultados. Espera-se que os resultados obtidos com a busca sejam relevantes para cardiologistas, auxiliando-os na composição de melhores diagnósticos e contribuam com a área de Computação no sentido de desenvolver técnicas para recuperação por conteúdo no domínio de modelos tridimensionais. Para a verificação dos objetivos alcançados, tem-se como indicadores de desempenho artigos de revisão, artigos com os resultados parciais e finais da pesquisa, e um sistema implementado com validação conduzida por usuário final.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Membro: Fátima de Lourdes dos Santos Nunes Marques.

2016

1.   2016-2016. 29th International Symposium on Computer-Based Medical Systems (CBMS 2016)
Descrição: Projeto para participação na conferência citada, com a finalidade de apresentar trabalhos.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
2.   2016-2018. Análise de riscos para projetos de implantação de ERP influenciados por incertezas sazonais
Descrição: Este projeto tem como objetivo identificar e analisar os métodos e recursos de análise de riscos mais adequados para projetos de implantação de ERP influenciados por incertezas sazonais. Por meio da aplicação da técnica Delphi, foram identificados seis métodos e oito recursos, considerados mais adequados, para analisar riscos em projetos de implantação de ERP influenciados por incertezas sazonais.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador. Número de produções C, T A: 4 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
3.   2016-Atual. Aprendizado Profundo aplicado ao Reconhecimento Biométrico
Descrição: Redes Neurais Convolucionais (RNCs) têm provado ser ferramentas poderosas para uma ampla gama de tarefas de visão computacional. RNCs aprendem automaticamente abstrações de nível médio e alto nível obtidos a partir de dados brutos (por exemplo, imagens). Resultados recentes indicam que os descritores genéricos extraídos de RNCs são extremamente eficazes no reconhecimento e localização de objetos em imagens naturais. Pesquisadores da área de análise de imagens médicas têm alcançado resultados promissores com a aplicação de RNCs e outras metodologias de Aprendizado Profundo para uma ampla variedade de problemas. A principal vantagem de uma RNC reside na sua arquitetura profunda, que permite extrair um conjunto de características discriminantes em vários níveis de abstração. Nos últimos anos, abordagens baseadas em Aprendizado Profundo têm sido aplicada para reconhecimento facial e têm alcançados resultados promissores. Estas abordagens recebem dados brutos como entrada e convoluem com filtros em múltiplos níveis para automaticamente descobrir representações de baixo nível e alto nível a partir de dados rotulados ou não para tarefas de detecção e /ou classificação de padrões. Entretanto, a geração de arquiteturas de Aprendizado Profundo consiste na otimização de milhares de parâmetros, isto é, pesos das várias camadas da arquitetura, o que requer: (i) uma grande quantidade de dados de treinamento rotulados; (ii) grandes recursos computacionais, como unidades de processamento gráfico; (iii) vários ajustes na arquitetura ou nos parâmetros de aprendizagem da rede, a fim de garantir que todas as camadas estejam aprendendo com velocidade compatível. Consequentemente, os métodos de Aprendizado por Transferência são aplicados de forma a reutilizar o conhecimento adquirido anteriormente a partir um problema de reconhecimento visual para o novo domínio da tarefa desejada. Aprendizado por Transferência pode ser aplicado de duas maneiras diferentes no que diz respeito ao tamanho e à semelhança entre conjunto de dados de pré-treinamento e o novo de conjunto de dados. A primeira abordagem consiste em realizar um ajuste fino dos pesos da rede pré-treinada usando o novo conjunto de dados via algoritmo de retropropagação. Este método é apenas sugerido para grandes conjuntos de dados, uma vez que o ajuste fino dos pesos da rede pré-treinada usando poucas amostras de treinamento pode conduzir a sobre ajuste. A segunda abordagem consiste na utilização direta dos pesos de uma arquitetura já treinada no problema desejado para extrair as características e depois classificar. Este esquema é especialmente eficiente quando o novo conjunto de dados é pequeno e/ou há um número pequeno de classes. Dependendo da semelhança entre os dois conjuntos de dados, pode-se decidir se utiliza os pesos das camadas inferiores como extratores de características genéricos de baixo nível ou os pesos da camada superior como extratores da tarefa específica. O objetivo deste projeto é propor uma arquitetura de Aprendizado Profundo, treiná-la para a tarefa de reconhecimento facial e comparar o desempenho quando é utilizado os pesos das camadas inferiores ou superiores de uma arquitetura já treinada.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Clodoaldo Aparecido de Moraes Lima - Coordenador / Sarajane Marques Peres - Integrante.
Membro: Clodoaldo Aparecido de Moraes Lima.
4.   2016-Atual. Armazenagem, Modelagem e Análise de Sistemas Dinâmicos para Aplicações e-Science
Descrição: A surpreendente e rápida evolução da tecnologia deu origem a uma nova era de descoberta de conhecimento científico. Essa nova era da ciência, conhecida como e-Science é descrita como uma nova ciência computacional e composta por uma equipe multidisciplinar que exige novas metodologias para o armazenamento, modelagem e análise de dados. Em particular, o desenvolvimento de sistemas de software transacionais e analíticos para aplicações e-Science visto como sistemas dinâmicos apresenta novos desafios computacionais. Entre eles, destacam-se os desafios dos processos de descoberta de conhecimento científico que, na maioria das vezes, envolvem mudanças frequentes de requisitos para armazenagem, modelagem e análise de dados. A necessidade de abordar sistemas dinâmicos científicos para tratar complexas aplicações de e-Science despertou a comunidade científica para a necessidade de sistemas de software robustos e evolutivos para atender a esses novos desafios. Sistema dinâmico é um arcabouço matemático clássico para representar fenômenos que evoluem no tempo e que são de grande interesse na ciência. Neste projeto, nosso principal objetivo é desenvolver modelos computacionais e metodologias para apoiar as aplicações e-Science. Nossa pesquisa fundamental cobre três principais áreas: armazenagem, modelagem e análise de sistemas dinâmicos. Essas áreas de pesquisa são importantes e relevantes para o Programa e-Science FAPESP já que muitos dos desafios atuais de e-Science estão relacionadas ao tratamento adequado dos sistemas dinâmicos. Assim, pretendemos desenvolver e aplicar metodologias computacionais que irão facilitar o desenvolvimento de aplicações e-Science contribuindo assim para a melhoria do conhecimento científico mundial, respeitando as restrições legais e éticas na gestão de dados.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Karina Valdivia Delgado - Integrante / Leliane Nunes de Barros - Integrante / Ronaldo Fumio Hashimoto - Integrante / João Eduardo Ferreira - Coordenador / Marcel Parolin Jackowski - Integrante / Paulo Sergio Graziano Magalhães - Integrante / Roberto Hirata Junior - Integrante / André Fujita - Integrante / André Santanchè - Integrante / Antonio Maria Francisco Luiz Jose Bonomi - Integrante / Ariane Machado Lima - Integrante / Carlos Eduardo Driemeier - Integrante / Carlos Eduardo Ferreira - Integrante / Cléver Ricardo Guareis de Farias - Integrante / David Corrêa Martins Junior - Integrante / Ester Cerdeira Sabino - Integrante / Felipe Werndl Trevizan - Integrante / Fábio Vale Scarpare - Integrante / Gisela Tunes da Silva - Integrante / Henrique Coutinho Junqueira Franco - Integrante / Junior Barrera - Integrante / Leonardo Lamas Leandro Ribeiro - Integrante / Luciano Vieira de Araújo - Integrante / Marcelo da Silva Reis - Integrante / Marcio Katsumi Oikawa - Integrante / Marco Dimas Gubitoso - Integrante / Maria Teresa Borges Pimenta Barbosa - Integrante / Michelle Cristina Araujo Picoli - Integrante / Márcio Ferreira da Silva - Integrante / Otavio Cavalett - Integrante / Routo Terada - Integrante / Vera Lúcia Reis de Gouveia - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Karina Valdivia Delgado.
Descrição: A surpreendente e rápida evolução da tecnologia deu origem a uma nova era de descoberta de conhecimento científico. Essa nova era da ciência, conhecida como e-Science é descrita como uma nova ciência computacional e composta por uma equipe multidisciplinar que exige novas metodologias para o armazenamento, modelagem e análise de dados. Em particular, o desenvolvimento de sistemas de software transacionais e analíticos para aplicações e-Science visto como sistemas dinâmicos apresenta novos desafios computacionais. Entre eles, destacam-se os desafios dos processos de descoberta de conhecimento científico que, na maioria das vezes, envolvem mudanças frequentes de requisitos para armazenagem, modelagem e análise de dados. A necessidade de abordar sistemas dinâmicos científicos para tratar complexas aplicações de eScience despertou a comunidade científica para a necessidade de sistemas de software robustos e evolutivos para atender a esses novos desafios. Sistema dinâmico é um arcabouço matemático clássico para representar fenômenos que evoluem no tempo e que são de grande interesse na ciência. Neste projeto, nosso principal objetivo é desenvolver modelos computacionais e metodologias para apoiar as aplicações e-Science. Nossa pesquisa fundamental cobre três principais áreas: armazenagem, modelagem e análise de sistemas dinâmicos. Essas áreas de pesquisa são importantes e relevantes para o Programa e-Science FAPESP já que muitos dos desafios atuais de e-Science estão relacionadas ao tratamento adequado dos sistemas dinâmicos. Assim, pretendemos desenvolver e aplicar metodologias computacionais que irão facilitar o desenvolvimento de aplicações e-Science contribuindo assim para a melhoria do conhecimento científico mundial, respeitando as restrições legais e éticas na gestão de dados.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (2) . Integrantes: Ariane Machado Lima - Integrante / João Eduardo Ferreira - Coordenador.
Membro: Ariane Machado Lima.
5.   2016-2017. Automatic Test Suite Generation for Mobile Applications Using Search-Based Testing
Descrição: Mobile applications represent an already tremendous, but still quickly growing market. In a world where users have ample choice of apps in overcrowded app stores, every bug can be the demise of an app. The scale of economic damage caused by software problems in mobile apps is huge, and is only overshadowed by the threat posed by increased usage of apps in safety relevant scenarios. The traditional answer of software engineers to these software bugs is software testing. However, mobile apps pose challenges over the already complex and error prone task of software testing. Automation is desirable to overcome these challenges, yet existing techniques to automate test generation struggle with complex user interactions in mobile apps (e.g. input data, tap, double tap, long press, gestures), interactions with the environment (e.g. sensors, camera, GPS), external events (e.g. other applications of OS), and multiple configurations (e.g. different devices and OS properties). In order to handle the complexity of the problem of automating tests for mobile apps, we propose to develop a search-based approach, where tests consisting of complex user and environment interactions will be generated automatically, guided by search heuristics based on functional as well as structural criteria. The availability of such a search-based testing framework will support app developers and app store maintainers in increasing the quality of their products, and it will serve as foundation for future research on mobile apps. The ambitious goals of this research project are made feasible by a combination of the experience of the principal investigator and the host institution, which has a track record in successful development of search-based approaches.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Medeiros Eler - Coordenador / Yan Ge - Integrante / Gordon Fraser - Integrante / José Miguel Rojas - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T A: 2
Membro: Marcelo Medeiros Eler.
6.   2016-2016. Children Privacy Protection Engine for Smart Anthropomorphic Toys
Descrição: Children's toys have become increasingly sophisticated over the years, with a growing shift from simple physical products to toys that engage the digital world by the use of software and hardware. A smart anthropomorphic toy is defined as a device consisting of a physical toy component in a humanoid form that connects to a computing system with online services through networking and sensory technologies to enhance the functionality of a traditional toy. The main objective of this research is on developing a privacy-aware context data model for smart toys to support a standardized child protection framework with parental controls. The framework includes an alert mechanism by applying text mining techniques to identify suspicious dialogues between children and the toys. The potential impact of this research is to provide a safe smart toy computing delivery model to protect children.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Fantinato - Coordenador / Patrick Hung - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Cooperação.
Membro: Marcelo Fantinato.
7.   2016-2016. Cooperação internacional visando um framework computacional para medição de qualidade de ar
Descrição: Recebimento do Prof. Dr. Vanja Garaj visando cooperação científica no contexto de um framework computacional para medição de qualidade de ar. Este projeto é realizado considerando aspectos relacionados a: Elicitação e análise de requisitos de informação e tecnologia, métodos de projeto e avaliação de produtos e serviços digitais, métodos de concepção de experiência do usuário (UX - User eXperience), e processo de co-criação.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Fantinato - Coordenador / Vanja Garaj - Integrante. Financiador(es): Universidade de São Paulo - Cooperação.
Membro: Marcelo Fantinato.
8.   2016-Atual. Educação em programação de computadores no ensino superior brasileiro
Descrição: Ensinar programação por meio de métodos tradicionais tem se tornado cada vez mais desafiador devido a fatores recentes, tais como transformações na maneira de aprender das novas gerações e o surgimento de novas tecnologias da informação. Neste contexto, a aprendizagem baseada em projetos ágeis (APjBL) possui potencial para beneficiar a educação em programação. O objetivo deste projeto é analisar os benefícios do uso de um método APjBL para alunos de programação no ensino superior brasileiro.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador. Número de produções C, T A: 1 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
9.   2016-Atual. Fatores críticos de sucesso para terceirização de tecnologia da informação no setor público brasileiro
Descrição: A terceirização da tecnologia da informação (TTI) no âmbito das instituições governamentais tem sido um desafio para os gestores. Diante desse cenário, este projeto trata de uma pesquisa que tem como objetivo identificar os fatores críticos de sucesso (FCS) para que a TTI seja implementada com sucesso no setor público brasileiro. A pesquisa aplicou o método Delphi em 35 especialistas do setor público para identificar os FCS. Os fatores foram analisados e ordenados por ordem de importância.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador. Número de produções C, T A: 1 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
10.   2016-Atual. Fomento ao Alinhamento Estratégico entre Negócio e TI em organizações baseado em Gestão de Processos de Negócio
Descrição: Este projeto de pesquisa visa estender a abordagem StrAli-BPM (Strategic Alignment with BPM) proposta visando preencher uma lacuna ainda existente nas abordagens de BPM em termos de requisitos não funcionais entre a modelagem de processos de negócio e sua posterior implementação e realização por meio de SOC. StrAli-BPM usa o conceito de Acordo em Nível de Negócio (BLA), inspirado no conceito de Acordo em Nível de Serviço (SLA). Os objetivos específicos deste projeto é a extensão de StrAli-BPM para que ela cubra outros pontos importantes para o contexto em que ela se insere, tais como: (i) definição de BLAs baseada em metas estratégicas organizacionais; (ii) mapeamento semiautomático de BLAs para SLAs via heurísticas; e, (iii) monitoramento de execução de BLAs e de SLAs. Além disso, busca-se com este projeto a realização de experimentos que possam validar os benefícios de StrAli-BPM por meio de uma análise sistematizada de suas vantagens e desvantagens.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . Integrantes: Marcelo Fantinato - Coordenador / Adson do Carmo - Integrante / Diego Neves - Integrante / Mario Victor de Oliveira Farias - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Marcelo Fantinato.
11.   2016-Atual. INCT da Internet do Futuro para Cidades Inteligentes
Descrição: Objetivo: Desenvolvimento de modelos, técnicas, métodos e sistemas de software visando à melhoria da vida da população urbana por meio da utilização da tecnologia da informação e da comunicação. Essa pesquisa envolve técnicas avançadas de Computação em Nuvem, Internet das Coisas, Computação de Alto Desempenho, Engenharia de Software, Big Data e Aprendizado de Máquina.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (20) / Doutorado: (10) . Integrantes: Daniel de Angelis Cordeiro - Integrante / Fabio Kon - Coordenador.
Membro: Daniel de Angelis Cordeiro.
12.   2016-2017. Quantification of Gesture Form Analysis
Descrição: Gesture studies, a young but dynamic interdisciplinary area of research of interest to psychology, anthropology, linguistics and informatics, has not yet settled on a common typology of gestures, nor even on the principles on which such a typology might be constructed. Gesture Form Analysis (GFA) offers such a typology, combining approaches located in the above-mentioned areas of research within a consistent framework. GFA structures the conceptual strategies that allow inferring abstract form from concrete movement (for example hand movement), which is the basis for gestural communication. Basic tenets of GFA are published and are elaborated and empirically tested in a dissertation (cited as ?Hassemer DISS?; handed in July 2014, defence in May 2015). The research project ?Quantification of Gesture Form Analysis?, focussing on manual gestures, (1) extends GFA?s scope to include gestural elements within sign language and (2) develops a quantitative coding system to allow researchers, in gesture studies and sign linguistics alike, to count gesture types that reflect the fine-grained distinction of GFA while offering a user-interface of reduced complexity.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Sarajane Marques Peres - Integrante / Felipe Venâncio Barbosa - Integrante / Julius Hassemer - Coordenador / Leland McCleary - Integrante. Financiador(es): Deutsche Forschungsgemeinschaft - Bolsa.
Membro: Sarajane Marques Peres.

2015

1.   2015-Atual. CHOOSING: Cooperation on Hybrid cOmputing clOuds for energy SavING
Descrição: The cloud computing is an important factor for environmentally sustainable development. If, in the one hand, the increasing demand of users drive the creation of large datacenters, in the other hand, cloud computing's "multi-tenancy" trait allows the reduction of physical hardware and, therefore, the saving of energy. Thus, it is imperative to optimize the energy consumption corresponding to the datacenters activities. Three elements are crucial on energy consumption of a cloud platform: computation (processing), storage and network infrastructure. Therefore, the aim of this project is to provide different techniques to reduce energy consumption regarding these three elements. Our work mainly focuses on energy saving aspects based on virtualization, i.e., pursuing the idea of the intensive migration of classical storage/processing systems to virtual ones. We will study how different organizations (whose resources are combined as hybrid clouds) can cooperate with each other in order to minimize the energy consumption without the detriment of client requirements or quality of service. Then, we intend to propose efficient algorithmic solutions and design new coordination mechanisms that incentive cloud providers to collaborate.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Daniel de Angelis Cordeiro - Integrante / Alfredo Goldman vel Lejbman - Coordenador.
Membro: Daniel de Angelis Cordeiro.
2.   2015-Atual. Ensino e Monitoramento de Atividades Físicas via Técnicas de Inteligência Artificial
Descrição: Esforço conjunto da Universidade de São Paulo, Faculdade Campo Limpo Paulista, e Academia Central Kungfu-Wushu, este projeto tem como objetivo o desenvolvimento de técnicas e ferramentas para gerenciamento, ensino e monitoramento de atividades físicas, como aplicação, principalmente, das áreas de Processamento de Imagens e Reconhecimento de Padrões. Espera-se obter como resultado (i) um sistema com alta taxa de precisão na identificação de presença de participantes das atividades em um ambiente não-controlado e com a fusão de dados de diversas fontes; (ii) uma ferramenta capaz de identificar e classificar movimentos dos participantes para fornecer retorno útil no processo de ensino-aprendizagem das atividades; (iii) o desenvolvimento de modelos e técnicas extensíveis para o tratamento de problemas similares; e (iv) a formação de novos pesquisadores com o envolvimento de alunos de mestrado e graduação de diversas áreas no projeto.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . Integrantes: Norton Trevisan Roman - Coordenador / Luciano Antonio Digiampietri - Integrante / João Luiz Bernardes Júnior - Integrante / Luis Mariano del Val Cura - Integrante / Enrique Miluzzi Ortega - Integrante / Marcelo Moreira Antunes - Integrante / Valdinei Freire da Silva - Integrante.
Membro: Norton Trevisan Roman.
3.   2015-Atual. Impactos das mudanças climáticas e ambientais sobre a fauna: uma abordagem integrativa
Descrição: Um padrão inequívoco que envolve tanto causas naturais quanto impactos antrópicos é a mudança global, e mesmo assim heterogênea, do clima na Terra. Espera-se que esta tendência, que ocorre em paralelo com outros tipos de mudanças antrópicas, cause efeitos profundos na fauna. Entretanto, a natureza, amplitude, e consequências finais das mudanças climáticas sobre a fauna devem variar entre táxons, mesmo entre espécies próximas, por causa da vasta diversidade da história natural, as características da fisiologia e as associações ecológicas da fauna. Entender os efeitos diferenciados das mudanças climáticas sobre as espécies animais é um dos muitos desafios urgentes e interdisciplinares enfrentados pela ciência contemporânea, e aumentar este entendimento é o principal objetivo do presente projeto. Propomos uma abordagem integrativa que salienta a convergência disciplinar em torno da disciplina emergente conhecida como Fisiologia da Conservação. Uma premissa destacada nesta abordagem é que, populações de animais expostas a mudança ambiental podem desaparecer se a maior parte dos indivíduos reduzirem a reprodução além de certo limite. Isto pode acontecer por diversos mecanismos, por exemplo, redução do potencial reprodutivo em associação com deterioração da saúde, diminuição do desempenho ecológico ou inibição dos comportamentos reprodutivos. Esses sintomas dos organismos, por sua vez, possuem mecanismos subjacentes frequentemente identificados no contexto de disfunção fisiológica com impacto sobre a manutenção do equilíbrio interno, isso ao longo do tempo. Todavia, os efeitos de mudanças ambientais sobre os organismos não podem ser avaliados pelo tipo, magnitude, ou escala temporal da perturbação, mas pelo impacto de tal perturbação sobre a condição fisiológica. Como consequência, o mesmo padrão de mudança ambiental pode ser deletério para um táxon, é neutro, ou inclusive benéfico para outro. A questão geral abordada neste projeto é como e por que variáveis físicas relacionadas ao clima, ou a interação entre clima e outras fontes de mudança ambiental antrópica, afetam a função fisiológica e o desempenho ecológico dos indivíduos de diferentes espécies animais. Também perguntamos qual o escopo e mecanismos de ajuste às mudanças climáticas, como as características da história de vida são afetadas pelo clima, quais os custos energéticos e compromissos (trade-offs) impostos nos animais pelas mudanças climáticas, e como as condições climáticas gerais dos biomas afetam a resiliência às mudanças climáticas das espécies animais que os habitam. Essas perguntas serão enfocadas no contexto de diversos projetos de pesquisa sobre diversos grupos sistemáticos, considerando sua adequação para a pesquisa, a representação de diversidade fisiológica e ecológica ao longo do estudo, considerações específicas de conservação, necessidade de dados básicos, e considerações específicas relativas a espécies de interesse econômico.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Integrante / Carlos Arturo Navas Iannini - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
4.   2015-2018. Influência da cultura e da estrutura organizacional no estilo de liderança de projetos de TI
Descrição: O objetivo deste projeto é analisar a influência da cultura e da estrutura organizacional (EO) no estilo de liderança em projetos de tecnologia da informação (TI). Dentro deste contexto, o projeto identificou fatores culturais e características da EO que influência a liderança em projetos de TI. A partir deles, e por meio de uma pesquisa quantitativa com profissionais da área de gerenciamento de projetos, foram analisar a influência da cultura organizacional no estilo de liderança de projetos de TI.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Edmir Parada Vasques Prado - Coordenador / Mônica Mancini - Integrante. Número de produções C, T A: 8
Membro: Edmir Parada Vasques Prado.
5.   2015-Atual. Proj. CNPq/Edital Universal 2014 - Estudos Teóricos e Práticos de Problemas e Técnicas de Otimização
Descrição: O principal objetivo do projeto é a aplicação de técnicas de otimização a diversos problemas, teóricos e práticos, com destaque ao uso de ferramentas de programação semidefinida, programação mista, combinatória poliédrica e algoritmos de aproximação. Nossas investigações contribuirão para avançar o estado-da-arte em otimização combinatória e em áreas correlatas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (7) . Integrantes: Alexandre da Silva Freire - Integrante / Yoshiko Wakabayashi - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Jr - Integrante / Fernando Mario de Oliveira Filho - Integrante / Alvaro Junio Pereira Franco - Integrante / Andrea P.J. Ramirez - Integrante / Marcel Kenji de Carli Silva - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Alexandre da Silva Freire.
6.   2015-Atual. Reconhecimento Facial em ambiente não controlado
Descrição: Em ambientes de mundo real, faces são facilmente ocluídas, o que diminui a performance do reconhecimento biométrico. De um modo geral, faces podem ser ocluídas de forma passiva ou ativa. Por um lado, as faces capturadas podem ser afetadas por fatores ambientais tais como: variação na iluminação, variação de pose, qualidade da imagem ruim e objetos em frente da face. Estes fatores são difíceis de serem controlados completamente em ambientes de mundo real. Por outro lado, faces são usualmente ocluídas pelos próprios indivíduos. Por exemplo, na vida diária, é comum que as pessoas usem acessórios faciais tais como óculos de sol, cachecóis, chapéus, máscaras e véus por razões culturais ou pessoais. Nos cenários envolvendo reconhecimento facial, pode-se pedir aos indivíduos para retirarem estes acessórios quando a cooperação do sujeito é aplicável (por exemplo, controle de fronteira). Mas isto pode gerar alguns incômodos. Nos cenários relacionados à segurança, as pessoas tendem a usar a oclusão para esconder sua identidade e a cooperação do indivíduo não é aplicável a tudo (por exemplo, vigilância). Os sistemas de reconhecimento facial comercial sofrem uma queda drástica na performance quando as imagens de face estão ocluídas. O desenvolvimento de técnicas capazes de realizar o reconhecimento de face ocluída é muito importante, uma vez que isto ocorre em nossa vida diária e em cenários relacionados à segurança. Há dois problemas distintos relacionados com o reconhecimento facial com oclusões: detecção da face ocluída e recuperação da face ocluída. A primeira tarefa consiste em determinar se uma imagem de face está ou não ocluída, e pode ser utilizado para rejeitar automaticamente as imagens ocluídas em aplicações, tais como, imagens para passaporte. Este mecanismo de rejeição nem sempre é adequado para reconhecimento facial em alguns cenários (por exemplo, vigilância), onde nenhuma outra imagem pode ser obtida devido à falta de cooperação do indivíduo. A segunda tarefa consiste em restaurar as regiões ocluídas das imagens faciais. Esta tarefa pode recuperar as áreas obstruídas, mas esta pode não contribuir diretamente para o reconhecimento, já que as informações da identidade do indivíduo podem ser contaminadas durante a recuperação.Uma ideia intuitiva para atacar oclusões no reconhecimento facial é detectar as regiões ocluídas e então realizar o reconhecimento usando somente as partes não ocluídas. No entanto, os tipos de oclusões são imprevisíveis em cenários práticos. A localização, tamanho e forma das oclusões são desconhecidas, aumentando assim a dificuldade de segmentação das regiões ocluídas das imagens de face. Atualmente, a maioria dos detectores de oclusão são treinados em faces com tipos específicos de oclusões e, portanto, generalizam ruim para vários tipos de oclusões em ambientes reais. Este projeto de pesquisa visa investigar novas formas de detecção e recuperação de oclusão facial visando o reconhecimento biométrico. Técnicas avançadas de Processamento de Imagens e Aprendizado de Máquina serão investigadas a fim de detectar e recuperar a imagem ocluída.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (3) . Integrantes: Clodoaldo Aparecido de Moraes Lima - Coordenador / Sarajane Marques Peres - Integrante / NORTON TREVISAN ROMAN - Integrante. Número de produções C, T A: 2 / Número de orientações: 1
Membro: Clodoaldo Aparecido de Moraes Lima.

2014

1.   2014-2016. (FAPESP nro. 2013/23169-0) Geração de língua natural para descrição de objetos em contextos visuais
Descrição: Este projeto explora a interação entre Geração de Língua Natural (GLN) e imagens, enfocando o problema de descrição de objetos em contextos visuais, com especial atenção a três desafios computacionais em aberto nesta área: (a) a produção de descrições relacionais, (b) a geração de descrições com diferentes graus de especificação, e (c) a questão da variação humana na produção destas descrições. O projeto prevê a coleta e anotação de recursos linguístico-computacionais independentes de língua e de larga escala - ou córpus de descrições de objetos em domínios visuais - e o uso deste recurso para proposta de modelos computacionais relacionado a estas questões de pesquisa (a-c). Os córpus construídos serão disponibilizados para reúso pela comunidade científica em geral, e devem assim servir de referência para a pesquisa na área de GLN aos moldes de recursos de alto impacto já existentes para outros idiomas. O modelo proposto deve avançar o estado da arte no problema computacional da descrição de objetos em domínios visuais, com aplicações práticas em áreas como a de sistemas baseados em mundos virtuais interativos e outros.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (3) . Integrantes: Ivandre Paraboni - Coordenador / André Costa Mariotti - Integrante / Thiago Castro Ferreira - Integrante / Ivana Romina Altamirano - Integrante / Luciana Benotti - Integrante / Alan Kenji Yamasaki - Integrante / Adriano dos Santos Rodrigues da Silva - Integrante / Caio Vinicius Marques Teixeira - Integrante / Douglas Iacovelli - Integrante / Michelle Reis Galindo - Integrante / Wyllian das Neves Brito - Integrante / Danillo da Silva Rocha - Integrante / Alex Gwo Jen Lan - Integrante / Matheus Mendes de Sant'Ana - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T A: 19 / Número de orientações: 10
Membro: Ivandre Paraboni.
2.   2014-2016. A Security and Privacy Model for M-Services in Toy Computing
Descrição: A security and privacy model for a mobile computing application is an important and challenging topic in the area of ​​service computing research. In the proposed research project, we focus on the security and privacy enforcement model for m-services in toy computing from the perspective of policy framework. A toy is a product that is intended for use by a child in learning or play. The toy industry is comprised of establishments primarily engaged in manufacturing dolls, toys and games. Toy companies are confronted with the challenge of better understanding the consumer needs, concerns and exploring the possibility of adopting such context-aware wearable toys to information interfaces that will successfully market toy computing. An exacerbating issue is that a privacy policy framework with technological standards for protecting players' location based information on m-services has not yet been established within the toy industry worldwide. Thus, m-services need to be highly customized to tackle security and privacy preferences in order to support toy computing.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Sarajane Marques Peres - Integrante / Marcelo Fantinato - Coordenador / Patrick Hung - Integrante / Laura Rafferty - Integrante / Marcelo Medeiros Eler - Integrante / Luciano Gonçalves de Carvalho - Integrante.
Membro: Sarajane Marques Peres.
Descrição: A security and privacy model for a mobile computing application is an important and challenging topic in the area of ​​service computing research. In the proposed research project, we focus on the security and privacy enforcement model for m-services in toy computing from the perspective of policy framework. A toy is a product that is intended for use by a child in learning or play. The toy industry is comprised of establishments primarily engaged in manufacturing dolls, toys and games. Toy companies are confronted with the challenge of better understanding the consumer needs, concerns and exploring the possibility of adopting such context-aware wearable toys to information interfaces that will successfully market toy computing. An exacerbating issue is that a privacy policy framework with technological standards for protecting players' location based information on m-services has not yet been established within the toy industry worldwide. Thus, m-services need to be highly customized to tackle security and privacy preferences in order to support toy computing.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Fantinato - Coordenador / Sarajane Marques Peres - Integrante / Patrick Hung - Integrante / Marcelo Medeiros Eler - Integrante / Laura Rafferty - Integrante / Luciano Gonçalves de Carvalho - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.
Membro: Marcelo Fantinato.
3.   2014-2018. Avaliação da Alfabetização Computacional
Descrição: Este projeto tem como objetivo definir critérios para avaliação da Alfabetização Computacional (AC) e elaborar um instrumento para avaliar o nível de AC de alunos ingressantes no ensino universitário. Foram identificados, por meio de especialistas, os conhecimentos e habilidades de TI considerados mais relevantes para AC, e também foi desenvolvido e validado um instrumento composto de seis testes para avaliação do nível de AC.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Edmir Parada Vasques Prado - Coordenador. Número de produções C, T A: 5 / Número de orientações: 2
Membro: Edmir Parada Vasques Prado.
4.   2014-2015. Content-based three-dimensional medical model retrieval
Descrição: Three-dimensional models provide a more complete view about the objects analyzed by considering their depth. Considering the growth of three-dimensional (3D) models currently available in the Health area, it is necessary to implement efficient query mechanisms that offer alternative ways to locate cases of patients with certain characteristics. When a physician must make a diagnosis for a patient, finding similar cases can improve the diagnosis correctness. This project aims to develop novel techniques to recover three-dimensional medical images based on their contents and to apply them in the Cardiology area. The goal is to enhance the detection of anomalies whereby similar clinical cases are found that expand on the query posed and improve therefore on the ultimate diagnosis. To achieve such CBIR objectives the following phases are planned: literature review, definition (including access, annotation, formatting, and maintenance) of the database that will be used, feature derivation and encoding, similarity functions implementation, construction of a query system prototype, conduction of tests with medical imaging data, and performance evaluation of results (including metrics such a sensitivity and specificity, recall and precision, significance). The impact of novel three-dimensional (3D) CBIR models that integrate intrinsic (patient) information, context, and similar cases, coupled to hybrid retrieval and recognition models, are expected to contribute to Computer Science knowledge, in general, and to Health care, in particular. The novelty and utility come from investigating the development and use of new CBIR models and enhanced diagnosis methods, which include new developments in 3D compressive sensing and random projections for representation, statistical learning (using learning with side information and metric learning that enhance relevance feedback) for classification and retrieval, and boosting for ensemble learning and voting methods. Confidence and credibility in the cases retrieved furthermore support both data fusion and mining Big Data. Initial date; february, 2014. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (2) . Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Coordenador / Vagner M. Gonçalves - Integrante / Helton Hilderaldo Bíscaro - Integrante / Leila Cristina Carneiro Bergamasco - Integrante / Luciano Vieira Araújo - Integrante / DELAMARO, MARCIO EDUARDO - Integrante / Richard Halti Cabral - Integrante / Marcel Parolin Jackowski - Integrante / Harry Wechsler - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
5.   2014-2016. Geração automática de dados de teste para cobrir caminhos dependentes de exceção usando execução simbólica
Descrição: O teste de software é uma atividade chave para a garantia de qualidade de software. Técnicas e estratégias de teste auxiliam os testadores na criação e na avaliação de casos de teste. A execução simbólica tem sido utilizada como uma técnica efetiva para a geração automática de dados de teste para cobrir os requisitos de teste definidos pelo critério de fluxo de controle da técnica de teste estrutural. Na execução simbólica, cada caminho do programa sob teste é representado por uma sequência de restrições que deve ser satisfeita palas variáveis de entrada para que o caminho seja executado. Valores concretos são definidos para cada variável por meio de solucionadores de restrições (constraint solvers), tal que todas as restrições sejam satisfeitas. Os valores das variáveis são então usados como dados de teste para executar cada caminho. A maioria das abordagens explora apenas técnicas para gerar dados de teste para caminhos livres de exceção, que são caminhos nos quais os mecanismos de tratamento de exceção não são levados em consideração. A geração de dados de teste para caminhos dependentes de exceção, que são os caminhos que são executados apenas quando uma dada exceção é lançada, não tem sido tratada apropriadamente pelas abordagens atuais. Essa limitação existe porque as restrições para que uma exceção seja lançada não estão sempre explícitas no código, a não ser que sejam declaradas pelos desenvolvedores. Se não houver restrições definidas pelo usuário, somente uma análise do código sob a ótica de cada tipo de exceção pode revelar quais dados de teste podem provocar a exceção. Portanto, este projeto de pesquisa tem o objetivo de investigar a geração de dados de teste para caminhos dependentes de exceção e propor técnicas para definir restrições capazes de garantir que as exceções necessárias sejam lançadas e evitar que as exceções indesejadas sejam ativadas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Medeiros Eler - Coordenador / André Takeshi Endo - Integrante / Vinicius Humberto Serapilha Durelli - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T A: 4
Membro: Marcelo Medeiros Eler.
6.   2014-Atual. Interações gênicas na região anterior da blastoderme sincicial de Drosophila melanogaster e do sciarídeo Trichosia pubescens
Descrição: No projeto propomos estudar a regulação da expressão gênica e sondar mecanismos evolutivos envolvidos na segmentação dos dípteros. Nosso principal objetivo é investigar a regulação transcricional dos genes gap da cascata de segmentação de Drosophila melanogaster. Focamos a porção anterior da blastoderme sincicial de Drosophila onde os genes gap têm domínios de expressão parcialmente sobrepostos. Investigamos a hipótese de que esse padrão de expressão é responsável por um mecanismo combinado de atividades repressoras da transcrição que delimitam faixas pair-rule mais anteriores, bem como limites dos domínios de expressão entre os genes gap. Dados da literatura e principalmente dados genéticos não publicados do nosso laboratório sustentam essa hipótese. Propomos experimentos genéticos, bioquímicos e a utilização de recursos da área da computação e bioinformática para verificar o papel dos genes gap CG9571 e Tll nesse sistema combinatorial e também, para elaborar um modelo de regulação da expressão gênica envolvida na segmentação da parte anterior da futura cabeça. Paralelamente, nosso objetivo é a identificação de ortólogos da segmentação no díptero Trichosia pubescenes, e mapear o padrão de expressão destes genes. Esses resultados poderão revelar uma situação mais típica para os dípteros, pois a Drosophila parece não ser o modelo mais representativo para o grupo, de acordo com a literatura e dados preliminares do laboratório.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ariane Machado Lima - Integrante / Lauretto, Marcelo S - Integrante / Luiz Paulo Andrioli - Coordenador / Luciano A. Digiampietri - Integrante. Financiador(es): (FAPESP) Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Ariane Machado Lima.
7.   2014-Atual. LEAPaD: Laboratório de Estudos Avançados em Sistemas Paralelos e Distribuídos
Descrição: O processamento paralelo e distribuído é uma realidade nos sistemas computacionais há muitos anos. No entanto, observa-se no histórico mais recente, o crescimento dos horizontes de sua aplicação em função de uma nova realidade de mercado, a qual oferece preços muito competitivos para os mais diversos tipos de plataformas de hardware, implicando no aumento das ofertas de soluções e, consequentemente, de demandas de aplicações da sociedade em geral. Dentre os efeitos observados, buscam-se novos modelos computacionais para solucionar as diferentes questões operacionais que se apresentam nesta nova realidade. Neste contexto, o presente projeto se insere apresentando a criação do LEAPaD, um laboratório, virtualmente distribuído entre as instituições parceiras, vocacionado em explorar questões ligadas ao gerenciamento das ações que envolvem o processamento paralelo e distribuído. O LEAPaD, acrônimo para Laboratório de Estudos Avançados em Sistemas Paralelos e Distribuídos, se institui de forma a consolidar linhas de atuação ligadas aos programas associados a este projeto, buscando explorar soluções para construções de aplicações e sistemas de gerenciamento e exploração de processamento de alto desempenho em arquiteturas paralelas e distribuídas, tais como FPGAs, ambientes multiprocessados e com GPUs, aglomerados de computadores e de grades e nuvens computacionais.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (7) / Especialização: (0) / Mestrado acadêmico: (11) / Mestrado profissional: (0) / Doutorado: (19) . Integrantes: Daniel de Angelis Cordeiro - Integrante / Marco Dimas Gubitoso - Integrante / Daniel Macêdo Batista - Integrante / Marco Aurélio Gerosa - Integrante / Alfredo Goldman vel Lejbman - Coordenador / Fabio Kon - Integrante / Alba Cristina Magalhães Alves de Melo - Integrante / Gerson Geraldo Homrich Cavalheiro - Integrante. Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Cooperação.
Membro: Daniel de Angelis Cordeiro.
8.   2014-Atual. Mecanismos de Apoio ao Teste Formal e Automatizado de Aplicações Móveis
Descrição: A popularidade de dispositivos portáties tem crescido rapidamente nos últimos anos. Em razão do grande número e da diversidade de usuários, novas técnicas de teste são necessárias para reduzir a ocorrência de falhas e para garantir a melhor qualidade das aplicações móveis. O objetivo deste projeto é propor uma abordagem formal e automatizada para aplicações móveis. Especificamente, será investigada a adoção de teste baseado em modelos e execução simbólica como mecanismos de verificação e validação de soluções móveis desenvolvidas na plataforma Android.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado profissional: (2) . Integrantes: Marcelo Medeiros Eler - Integrante / André Takeshi Endo - Coordenador / Vinicius Humberto Serapilha Durelli - Integrante / Alexandre L?Erario - Integrante / André Luís dos Santos Domingues - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Marcelo Medeiros Eler.
9.   2014-2016. Modelos de Programação e Algoritmos para a Execução Eficiente de Aplicações Paralelas em Aglomerados Heterogêneos
Descrição: Com o advento de diferentes classes de aceleradores, como as GPUs (Graphical Processing Units) e os Intel MICs (Many Integrated Cores), aglomerados heterogêneos, formados por diferentes tipos de aceleradores e processadores, se tornaram realidade. Estes aglomerados podem ser dedicados ou simplesmente um conjunto de estações de trabalho, distribuídas em diferentes laboratórios e que ficam ociosas durante a maior parte do tempo. As diferenças arquiteturais entre processadores e os diversos tipos de aceleradores tornam difícil o desenvolvimento de aplicações que utilizem estes aglomerados de modo eficiente. A proposta deste projeto consiste em avaliar modelos de programação que facilitem o desenvolvimento e a previsão do desempenho de aplicações para aglomerados heterogêneos. Também será desenvolvido um mecanismo de distribuição dinâmica de carga para estes aglomerados, que serão implementados em uma biblioteca já existente. O objetivo é facilitar tanto a implementação quanto a execução de aplicações para estes aglomerados.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . Integrantes: Daniel de Angelis Cordeiro - Integrante / Siang Wun Song - Integrante / Raphael Yokoingawa de Camargo - Coordenador / Alfredo Goldman vel Lejbman - Integrante / David Corrêa Martins Jr. - Integrante / Luiz Carlos da Silva Rozante - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Daniel de Angelis Cordeiro.
10.   2014-Atual. Reconhecimento Biométrico Multimodal
Descrição: Nos últimos anos, o reconhecimento biométrico sofreu avanços significativos em termos de confiabilidade e precisão, sendo que algumas modalidades biométricas alcançaram um bom desempenho em aplicações práticas. No entanto, mesmo os sistemas biométricos mais avançados ainda enfrentam alguns problemas, tais como: (i) Problemas com dados oriundos dos sensores: dados capturados pelos sensores são frequentemente afetados por ruído devido a condições do ambiente (insuficiência de luz, energia, etc) ou devido as condições fisiológicas e físicas do usuário (frio, dedos machucados, etc); (ii) Capacidade de distinguibilidade: nem todas as modalidades biométricas tem o mesmo grau de distinguibilidade (por exemplo, sistemas biométricos baseados na geometria da mão são menos seletivos que aqueles baseados na impressão digital); (iii) Falta de universalidade: todas as modalidades biométricas são universais, mas devido a grande complexidade do corpo humano nem todo mundo apresenta todas as modalidades biométricas que um sistema pode permitir; (iv) Variabilidade intraclasse: significa que as modalidades biométricas podem variar com o tempo para uma mesma pessoa e essa variação é imprevisível de pessoa para pessoa. Por exemplo, á medida que uma pessoa envelhece podem ocorrer mudanças na sua voz.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Clodoaldo Aparecido de Moraes Lima - Coordenador / Sarajane Marques Peres - Integrante. Número de produções C, T A: 4 / Número de orientações: 1
Membro: Clodoaldo Aparecido de Moraes Lima.
11.   2014-2017. Recuperação de modelos médicos tridimensionais baseada em conteúdo
Descrição: A área de saúde tem sido uma das grandes beneficiadas com o desenvolvimento dos métodos e técnicas computacionais referentes ao processamento e à análise de informação representada em imagens. Com o crescimento de modelos tridimensionais disponíveis atualmente na área médica (por exemplo: superfícies e volumes reconstruídos a partir de imagens de Ressonância Magnética e Tomografia Computadorizada), se faz necessária a implementação de mecanismos eficientes de busca desses modelos, a fim de auxiliar profissionais da saúde em seus diagnósticos. A disponibilização de um histórico de imagens similares àquelas pertencentes ao exame do paciente pode fornecer ao especialista uma segunda opinião sobre a existência ou ausência de uma anomalia. A recuperação de imagens baseada em conteúdo é uma área relativamente nova na Computação, sendo ainda explorada quase somente no domínio de imagens bidimensionais. O desenvolvimento de técnicas considerando modelos tridimensionais ainda é uma lacuna nesta área. O presente projeto visa a desenvolver técnicas para recuperação de modelos médicos tridimensionais com base em seu conteúdo, e aplicá-las no contexto médico, considerando inicialmente imagens do sistema circulatório. Para alcançar o objetivo proposto são previstas as seguintes etapas: revisão bibliográfica, definição da base de dados, segmentação e reconstrução tridimensional de modelos médicos, implementação de extratores e funções de similaridade, construção de um protótipo de sistema de recuperação, realização de testes com casos médicos relevantes e análise dos resultados. Espera-se que os resultados obtidos com a busca sejam relevantes para profissionais da saúde, auxiliando-os na composição de melhores diagnósticos e contribuam com a área de Computação no sentido de desenvolver técnicas para recuperação por conteúdo no domínio de modelos tridimensionais. Para a verificação dos objetivos alcançados, tem-se como indicadores de desempenho artigos de revisão, artigos com os resultados parciais e finais da pesquisa, e um sistema implementado com validação conduzida por usuário final. Data inicial: março/2014. Situação: Concluído; Natureza: Pesquisa. Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
12.   2014-2016. Um Modelo de Segurança e de Privacidade para Serviços Móveis em Computação para Brinquedos
Descrição: Descrição: O modelo de segurança e privacidade para a aplicação da computação de serviços móveis é um tema importante e desafiadora na área de pesquisa de computação de serviços. Este projeto de pesquisa se concentra no modelo de segurança e de privacidade para a aplicação de serviços móveis na computação para brinquedos a partir da perspectiva de um framework de políticas. Um brinquedo é um produto que se destina a ser usado por uma criança na aprendizagem ou para diversão. A indústria de brinquedos é composta por estabelecimentos que se dedicam fundamentalmente à fabricação de bonecos, brinquedos e jogos. As empresas de brinquedos são confrontadas com o desafio de compreender melhor as necessidades dos consumidores e a explorar a possibilidade de adoção de tais brinquedos vestíveis sensíveis ao contexto como interfaces de informações definirão o sucesso do mercado de computação para brinquedos. Um problema agravante é que o framework de políticas de privacidade com padrões tecnológicos para proteger informações de localização baseada nos jogadores em serviços móveis ainda não foi estabelecido na indústria de brinquedos em todo o mundo. Assim, serviços móveis precisam ser altamente personalizados para enfrentar preferências de segurança e privacidade, a fim de apoiar a computação para brinquedos... Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Marcelo Medeiros Eler - Integrante / Marcelo Fantinato - Coordenador / Sarajane Marques Peres - Integrante / Patrick Hung - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação. Número de produções C, T A: 2 / Número de orientações: 1
Membro: Marcelo Medeiros Eler.

2013

1.   2013-2017. Estruturas combinatórias, otimização e algoritmos em teoria da computação
Descrição: A área de Ciência da Computação experimenta hoje um crescimento vertiginoso. Novidades tecnológicas surgem e tornam-se obsoletas em um ou dois anos de existência. Novas abordagens surgem com enorme rapidez. Tal desenvolvimento se dá por necessidades criadas em outras áreas do conhecimento de novas técnicas para resolver problemas cada vez mais complexos. Hoje em dia é impossível imaginar um pesquisador de qualquer área do conhecimento que possa desenvolver suas atividades sem o apoio de métodos, técnicas ou tecnologia desenvolvida por pesquisadores de Ciência da Computação. É evidente que os mais bem sucedidos avanços tecnológicos em Ciência da Computação estão fundamentados em resultados teóricos. Áreas como mineração de dados e reconhecimento de padrões, para citar apenas duas, têm seus métodos fortemente baseados em técnicas desenvolvidas em Teoria da Computação. Nosso objetivo neste projeto é o estudo de estruturas combinatórias e diversas formas de abordar problemas relacionados com tais estruturas: métodos algébricos, geométricos, probabilísticos, combinatórios, etc. Uma melhor compreensão destes objetos pode resultar em novas estratégias e algoritmos mais eficientes para resolver problemas a eles relacionados. A equipe proponente tem pesquisadores com grande experiência que cobrem uma ampla gama de sub áreas de Teoria da Computação, permitindo uma maior sinergia para a solução dos problemas abordados. As principais contribuições esperadas neste projeto são a publicação de artigos científicos em conferências e periódicos bem estabelecidos, com alta circulação e de seletiva política editorial. Desejamos também intensificar o intercâmbio internacional do grupo e a formação de alunos nos vários níveis (de iniciação científica a pós-doutorandos). Pretendemos ainda, durante a execução do projeto, realizar uma Escola Avançada de Ciências na área de Teoria da Computação. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (10) / Doutorado: (10) . Integrantes: Alexandre da Silva Freire - Integrante / Ferreira, C. E. - Coordenador / WAKABAYASHI, YOSHIKO - Integrante / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Jr - Integrante / Fernando Mario de Oliveira Filho - Integrante / Andrea P.J. Ramirez - Integrante / Yoshiharu Kohayakawa - Integrante / André Fujita - Integrante / Ernesto G. Birgin - Integrante / Débora Pretti Ronconi - Integrante / Gordana Manic - Integrante / Daniel Morgato Martin - Integrante / Hiep Han - Integrante / Karla Roberta Lima - Integrante / Carlos Henrique Cardonha - Integrante / Carlos Hoppen - Integrante / Fabricio Siqueira Benevides - Integrante / Neal Owen Bushaw - Integrante / Rudini Sampaio Menezes - Integrante / Sang June Lee - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Alexandre da Silva Freire.
2.   2013-2015. Gerenciamento de escopo em projetos de TI
Descrição: Este projeto realizou a avaliação da relação entre os processos de planejamento do gerenciamento de escopo e os desempenhos de custo e tempo em projetos de Sistemas de Informação. O estudo abrangeu uma organização brasileira de grande porte do setor financeiro. O projeto identificou a coleta de requisitos como o principal processo do gerenciamento de escopo relacionado ao desempenho de custo e tempo dos projetos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador. Número de produções C, T A: 4 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
3.   2013-2015. Governança de dados em organizações brasileiras
Descrição: Este projeto teve como objetivo identificar os processos e frameworks de Governança de Dados (GD) implantados em organizações brasileiras e comparar os benefícios obtidos na implantação com os propostos pela literatura. O trabalho é exploratório e qualitativo, e proporcionou a realização de estudos de casos em três organizações brasileiras de grande porte. A pesquisa identificou que o nível de implantação dos processos de GD foi considerado médio. Entretanto, o grau de obtenção dos benefícios foi considerado alto.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador. Número de produções C, T A: 4 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
4.   2013-2016. Identificação, Avaliação e Produção de Objetos de Aprendizagem para apoio à Alfabetização de Crianças Surdas
Descrição: O uso de imagens e recursos visuais, como vídeos e animações pode contribuir sobremaneira no processo de ensino-aprendizagem de crianças surdas, porém, devem ser adequados à realidade da criança, ou seja, para que o ensino por meio de recursos visuais seja efetivamente adequado o recurso visual empregado deve apresentar significado a esse aluno. Poucos são os objetos de aprendizagem, no entanto, voltados a crianças surdas em fase de alfabetização. Este projeto se propõe a contribuir nesse campo por meio da identificação e avaliação de objetos de aprendizagem que possam ser utilizados ou adaptados a esse público-alvo, bem como pela construção de objetos de aprendizagem específicos para o usuário final alvo, em parceria com o Centro de Capacitação dos Profissionais da Educação e Atendimento às Pessoas com Surdez do município de Cascavel, a serem disponibilizados em versão desktop e para web. Além disso, propõe-se a investigação e criação de personagens animados 3D a partir de captação dos gestos de Libras por sensores, no intuito de serem usados para fazerem a comunicação em Libras com a criança surda durante a interação com os jogos educacionais a serem desenvolvidos no decorrer da pesquisa.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Sarajane Marques Peres - Integrante / Clodis Boscarioli - Coordenador / Jorge Bidarra - Integrante / Charles Giovane de Salles - Integrante / Jeferson José Baqueta - Integrante / Felipe da Silva Inácio - Integrante / João Paulo Colling - Integrante / Sílvia Amélia Bim - Integrante / Rosiene Queres de Aguiar Soares - Integrante / Graziela Cantelle de Pinho - Integrante / Eduardo Alberto Felippsen - Integrante / Guilherme Felipe Zabot - Integrante / Teófilo Pierri Reinehr - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Sarajane Marques Peres.
5.   2013-2015. Processos de Inovação em Ecossistemas para Desenvolvimento Colaborativo de Software
Descrição: O movimento software livre ("open source") tem se fortalecido com a emergência de serviços que oferecem o estado-da-arte em ferramentas para desenvolvimento de software, integradas com tecnologias de mídia e redes sociais. GitHub é um exemplo de sistema que diminuiu as barreiras para participação de desenvolvedores em projetos de software livre ao tornar transparente o processo de desenvolvimento e ao permitir que desenvolvedores sigam as atividades de outros online. Entretanto, pouca pesquisa foi realizada para compreender como determinadas práticas e tecnologias se difundem através de comunidades de colaboração entre desenvolvedores de software. Este trabalho propõe a utilização de técnicas de mineração de dados para modelar os efeitos da mídia social na difusão e adoção de inovações no contexto do desenvolvimento livre de software.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Daniel de Angelis Cordeiro - Integrante / Fernando Marques Figueira Filho - Coordenador / Waldyr Guimarães Araújo de Souza - Integrante. Número de orientações: 1
Membro: Daniel de Angelis Cordeiro.
6.   2013-2016. Projeto PQ - Emprego de Técnicas Avançadas de Aprendizado de Máquina para a Análise de Sinais Biomédicos
Descrição: Sinais biomédicos são observações de atividades fisiológicas dos organismos, variando de sequencias de genes e proteínas, até ritmos cardíacos e imagens de tecidos e órgãos. O processamento de tais sinais tem evoluído de forma extraordinária, aumentando a compreensão dos processos biológicos em uma grande variedade de áreas. Com o advento do avanço tecnológico nas últimas décadas acoplado ao crescimento do conhecimento científico sobre as causas orgânicas de patologias humanas vêm possibilitando o desenvolvimento de novos equipamentos, de técnicas terapêuticas e de diagnóstico. Neste projeto, pretende-se investigar e comparar novas abordagens destinadas ao pré-processamento (extração e seleção de características), à extração de padrões escondidos e a construção de modelos de classificação e agrupamento de sinais biomédicos mediante a aplicação de técnicas avançadas de Aprendizado de Máquina. Mais especificamente, as linhas de investigação propostas envolvem: (i) a proposição e implementação de técnicas não-lineares e não-paramétricas de solução para problemas de processamento de sinais biomédicos, particularmente empregando métodos de kernel, com destaque para as máquinas de vetores-suporte; (ii) a síntese de comitê de máquinas, na forma de ensembles e misturas de especialistas compostas por modelos homogêneos e heterogêneos, visando ganhos de desempenho em treinamento supervisionado e não-supervisionado, (iii) a investigação e avaliação do impacto de diferentes abordagens voltadas ao pré-processamento (limpeza, seleção e extração de características) de sinais biomédicos sobre o desempenho dos modelos estudados. Desse modo, este projeto envolverá atividades de pesquisa a serem conduzidas em paralelo tanto nos domínios de Aprendizado de Máquina como no de Processamento de Sinais, enfatizando a sua integração.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Clodoaldo Aparecido de Moraes Lima - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Membro: Clodoaldo Aparecido de Moraes Lima.

2012

1.   2012-2014. Análise de fatores não técnicos na seleção de SGBDs NoSQL
Descrição: O crescimento na geração de dados e a atual necessidade que as organizações possuem em coletar grande quantidade de informações têm levado as organizações a repensar a forma de selecionar um Sistema Gerenciador de Banco de Dados (SGBD), levando em consideração fatores econômicos e estratégicos da organização, além dos fatores técnicos. Este projeto teve como objetivo analisar o processo de seleção de SGBDs, que seguem o paradigma conhecido como NoSQL (not only sql), em organizações brasileiras.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador / Alexandre Morais de Souza - Integrante. Número de produções C, T A: 1 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
2.   2012-Atual. Combinando Metas de Alcançabilidade Estendida e Funções Recompensas
Descrição: Ao projetar um sistema de planejamento, uma parte importante é a definição do objetivo que tal sistema deve buscar. Uma questão particular que deve ser considerada é o tipo de objetivo utilizado no sistema de planejamento. Metas de Alcançabilidade é um tipo de objetivo que ao especificar um conjunto alvo de estados finais desejáveis classifica trajetórias factíveis: (i) ou em trajetórias válidas, isto é, que atendem o objetivo, (ii) ou em trajetórias não-válidas, que não atendem o objetivo. Utilizando o conceito de utilidade, trajetórias válidas podem ser avaliadas numericamente para diferenciar planos e definir um conceito de otimalidade. No entanto, quando planejando em ambientes probabilísticos, nem sempre é possível encontrar planos que garantam trajetórias válidas com probabilidade 1. Nesse caso, ao avaliar planos, como deve ser feito o compromisso entre a utilidade de trajetórias válidas e a probabilidade com que planos garantem trajetórias válidas? Por outro lado, embora em alguns problemas de meta de alcançabilidade o desempenho é irrelevante se a meta é atingida, medidas de desempenho podem ter uma correlação com a meta. Nesse caso, ao obter planos para atingir uma meta, como tirar proveito dessa correlação entre meta e desempenho? Este projeto tem como objetivo definir um modelo para tomada de decisão sequencial que estabeleça a relação explícita entre metas de alcançabilidade e medidas de desempenho, assim como especificar algoritmos que solucionem tal modelo.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Valdinei Freire da Silva - Coordenador / Silvio Ricardo Rodrigues Sanches - Integrante / Marcelo Li Koga - Integrante / Felipe Haack Schmitz - Integrante / Pedro Henrique Goncalves Pereira - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T A: 4
Membro: Valdinei Freire da Silva.
3.   2012-Atual. Depuração e interação humano-computador
Descrição: Apresentação de informação de depuração não mudou muito desde a introdução do primeiro depurador simbólico. Basicamente, as mesma informações ("breakpoints'', valores de variáveiss, pilha de execução) são apresentadas por meio de uma interface gráfica. Técnicas de visualização para ajudar na busca dos defeitos é o objetivo dessa pesquisa. Em particular, estamos pesquisando técnicas para visualizar informações de depuração obtidas a partir dos requisitos de teste estruturais cobertos pelos casos de teste que passam e, especialmente, por aqueles que falham. Uma metáfora foi desenvolvida para representar programas e esse tipo de informação de depuração, uma ferramenta protótipo usando a metáfora novo foi implementado. Temos a intenção de desenvolver o protótipo como um "plugin" para um Ambiente de Desenvolvimento Interative (IDE). Outro objetivo da pesquisa é desenvolver recursos para visualização de informações de depuração no contexto de integração contínua.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) . Integrantes: Marcos Lordello Chaim - Coordenador / Roberto Andrioli de Araujo - Integrante / Higor Amario de Souza - Integrante / Marcus Vinícius Rodrigues Eltscheminov - Integrante / Danilo Mutti - Integrante. Número de orientações: 2
Membro: Marcos Lordello Chaim.
4.   2012-Atual. Desenvolvimentos matemáticos e numéricos em escoamentos bifásicos aplicados a processos de refino
Descrição: Desenvolvimento de um código para a simulação numérica de escoamento de fluidos multifásicos para problemas de grande porte.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Helton Hideraldo Bíscaro - Integrante / Antonio Castelo Filho - Coordenador / Fabrício Simeoni de Sousa - Integrante / Adenilso da Silva Simão - Integrante / Leandro Franco de Souza - Integrante / Alexandre Megiorin Roma - Integrante / Aristeu da Silveira Neto - Integrante.
Membro: Helton Hideraldo Bíscaro.
5.   2012-2018. Estudo do Potencial da Área de Aprendizado de Máquina para Análise de Comportamento Humano Baseado em Ações Gestuais
Descrição: Neste presente projeto de pesquisa está-se interessado em explorar o ferramental oferecido pela área de Aprendizado de Máquina, com especial atenção para as técnicas conexionistas e correlatas, na exploração das possibilidades de reconhecimento e interpretações de padrões em ações gestuais, que possam trazer informação útil para a análise do comportamento humano, envolvendo aspectos de comunicação realizada através de gestos ou apoiada pela gesticulação. É também de interesse deste projeto, aplicar provas de conceitos para modelos de Aprendizado de Máquina contextualizados em escopos bem definidos, de forma que o trabalho aqui desenvolvido possa ser usado como base para o desenvolvimento de aplicações de uso prático.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) . Integrantes: Sarajane Marques Peres - Coordenador / Jallysson Miranda Rocha - Integrante / Ricardo Alves Feitosa - Integrante / Maria Eduarda de Araújo Cardoso - Integrante / Larissa dos Santos Vale - Integrante. Número de orientações: 5
Membro: Sarajane Marques Peres.
6.   2012-Atual. Inovações para Ambientes Virtuais de Aprendizado e para Objetos Digitais de Aprendizado / Núcleo de Apoio à Pesquisa - Novas Arquiteturas Pedagógicas (NP-NAP)
Descrição: Este projeto se encontra no contexto do Programa de Incentivo à Pesquisa da Reitoria da USP, chamado de Núcleos de Apoio à Pesquisa (NAP), que visa estimular seus pesquisadores a se organizarem segundo a lógica de uma temática relevante para a sociedade, quer em termos de produtos práticos ou quanto à possibilidade de influenciar decisivamente nas questões de ciência fundamental. Dentro deste programa, este projeto tem o objetivo de desenvolver e implementar novas arquiteturas pedagógicas por meio das seguintes metas: oferecimento de cursos diversificados de formação de professores e outros profissionais; desenvolvimento de meios inovadores de interação humano-computador para ambientes virtuais de aprendizado, em diferentes plataformas e linguagens, tanto para computadores pessoais quanto para dispositivos móveis; introdução de novos conteúdos curriculares, novas formas de instrução e representação dos conhecimentos e novas formas de interação entre os sujeitos da educação, visando a construção de aprendizagens mais significativas; produção de artigos e trabalhos acadêmicos a serem submetidos a congressos e revistas científicas; formar pesquisadores, aptos a trabalhar, desenvolver e disseminar na sociedade Novas Arquiteturas Pedagógicas; criar materiais didáticos que incorporem novas e diferentes linguagens, considerando as representações dos sujeitos da educação sobre as relações de ensino e de aprendizagem. Este projeto conta com 22 integrantes e dez subprojetos, dos quais eu estou associado aquele com o seguinte tema "Inovações para Ambientes Virtuais de Aprendizado e para Objetos Digitais de Aprendizado".. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcelo Fantinato - Integrante / Sarajane Marques Peres - Integrante / Ulisses Ferreira de Araújo - Coordenador / Marcos P. da Soledade Jr - Integrante / Ricardo S. e Freitas - Integrante / Flavio M. Azevedo - Integrante / Heblon M. A. Barbosa - Integrante. Financiador(es): Universidade de São Paulo - Auxílio financeiro.
Membro: Marcelo Fantinato.
7.   2012-Atual. Inovações para Ambientes Virtuais de Aprendizado e para Objetos Digitais de Aprendizado"
Descrição: Projeto constituinte de Núcleo de Apoio à Pesquisa - Novas Arquiteturas Pedagógicas, USP. Este núcleo tem o objetivo de desenvolver e implementar novas arquiteturas pedagógicas por meio das seguintes metas: oferecimento de cursos diversificados de formação de professores e outros profissionais; desenvolvimento de meios inovadores de interação humano-computador para ambientes virtuais de aprendizado, em diferentes plataformas e linguagens, tanto para computadores pessoais quanto para dispositivos móveis; introdução de novos conteúdos curriculares, novas formas de instrução e representação dos conhecimentos e novas formas de interação entre os sujeitos da educação, visando a construção de aprendizagens mais significativas; criar materiais didáticos que incorporem novas e diferentes linguagens, considerando as representações dos sujeitos da educação sobre as relações de ensino e de aprendizagem.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Sarajane Marques Peres - Integrante / Ulisses Araújo - Coordenador / Marcelo Fantinato - Integrante. Financiador(es): Universidade de São Paulo - Auxílio financeiro.
Membro: Sarajane Marques Peres.
8.   2012-Atual. NAP-USP eScience
Descrição: Modern science is interdisciplinary and data-intensive. For instance, in the 1000 Genomes Project (www.1000genomes.org), the comparative study of 629 individuals has already generated 7.3 TB of data. Analogous situations exist in fields such as astronomy, agriculture, social sciences, etc. Ten years ago, the problem was how to obtain data. Today, the bottleneck is the need for new computational strategies and tools so that scientists can manage these massive volumes of heterogeneous, distributed, data, so that they can generate new knowledge from the processing, analysis and visualization of the data. This launched the basis of the so-called eScience: the combination of advanced research in computer science and mathematical modeling to allow and accelerate research in other knowledge domains. National programs in eScience have been created in the US, GB, Australia and other countries, that recognized the importance of this theme for the advancement of science. The main goal of this project is the design and construction of a collaborative network for research in eScience, in a partnership that involves computer science, mathematical modeling and specific domains in the exact, life, agricultural sciences and social sciences.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ariane Machado Lima - Integrante / Roberto Marcondes Cesar Jr. - Coordenador.
Membro: Ariane Machado Lima.
9.   2012-Atual. Novos benchmarks para avaliação de técnicas de teste e depuração
Descrição: A realização de experimentos é importante tarefa na validação de técnicas de Engenharia de Software, especialmente para as técnicas de teste e depuração de sistemas. Este projeto tem como objetivo identificar "benchmarks" que possam ser utilizados para avaliar técnicas de teste e de depuração de defeitos. Os "benchmarks" ficarão disponíveis por meio de licenças de software livre e poderão ser utilizados para avaliação e desenvolvimento de ferramentas livres de teste e depuração.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Marcos Lordello Chaim - Coordenador / Higor Amario de Souza - Integrante / Luiz Henrique Novo Baptistão - Integrante. Financiador(es): Universidade de São Paulo - Remuneração.Número de orientações: 1
Membro: Marcos Lordello Chaim.
10.   2012-Atual. Núcleo de Pesquisa em Ciência Genômica (NAP-CG)
Descrição: Núcleo de Pesquisa em Ciência Genômica (NAP-CG) da Universidade de São Paulo reúne pesquisadores em biociências e pesquisadores em bioinformática para pesquisa e trabalho conjunto em projetos de ciências genômicas. O princípio organizador do núcleo são projetos motores, que são projetos com base genômica, com necessidades sofisticadas de bioinformática, e liderados por participantes do NAP. A "revolução genômica", tendo se iniciado com os sequenciadores ABI na década de 90, continua em ritmo exponencial. Em consequência dessa revolução as ciências genômicas passaram a permear várias das tradicionais áreas da ciência, tais como a biologia molecular, a bioquímica, a microbiologia, a genética, a medicina, o estudo das moléstias infecciosas, a veterinária, a estatística, e a computação. Assim sendo observa-se na USP em particular, e em instituições acadêmicas mundo afora de uma forma geral, que passaram a existir interesses comuns entre pesquisadores dessas disciplinas tradicionais sediados em diferentes departamentos. A existência dos departamentos em muitos casos dificulta a interação entre esses pesquisadores. A criação do NAP-CG facilita essa interação e cria a oportunidade para o desenvolvimento de novos projetos.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Luciano Antonio Digiampietri - Integrante / Sergio Verjovski-Almeida - Integrante / João Carlos Setúbal - Coordenador / Leando Márcio Moreira - Integrante / Monteiro-Vitorello, C.B. - Integrante / Almeida, Nalvo F - Integrante / da Silva, Aline M - Integrante / Ricardo Jose Giordano - Integrante / Alan Mitchell Durham - Integrante / Diogo Meyer - Integrante / Eduardo Moraes Rego Reis - Integrante / Ricardo de Marco - Integrante / Ricardo Zorzetto Nicoliello Vêncio - Integrante / Tie Koide - Integrante / Renata Pascon - Integrante / Luiz Juliano-Neto - Integrante / Julio Cezar Franco de Oliveira - Integrante / Guilherme Pimentel Telles - Integrante / Zanoni Dias - Integrante / André Kashiwabara - Integrante / Diana Nunes - Integrante / Dirce Maria Carraro - Integrante / Emmanuel Dias Neto - Integrante / Fernando Augusto Soares - Integrante / Maria Emilia Telles Walter - Integrante / Boris Vinatzer - Integrante / Bruce Weir - Integrante / Elisabeth Wurtmann - Integrante / Jorge Macedo Rocha - Integrante / Nitin S. Baliga - Integrante / Steve E. Lindow - Integrante. Financiador(es): Universidade de São Paulo - Auxílio financeiro. Número de produções C, T A: 1 / Número de orientações: 2
Membro: Luciano Antonio Digiampietri.
11.   2012-2015. Projeto PIPE FAPESP - Desenvolvimento de um monitor multiparamétrico portátil
Descrição: O propósito deste projeto é centralizado no desenvolvimento de um dispositivo portátil para aquisição de sinais vitais de seres humanos em tempo real, utilizando os princípios da eletrônica, programação de baixo nível, programação de alto nível e interfaces de comunicação Bluetooth, USB 2.0 (Universal Serial Bus 2.0) e Ethernet IEEE. A arquitetura do dispositivo permite o acesso remoto aos dados coletados, bem como a interligação e a interação remota entre profissionais da área da saúde com o usuário. O intuito desta interação se resume na possibilidade de uma rápida intervenção médica, após a constatação de uma variação fora dos padrões e limites de segurança pré-estabelecidos pelos profissionais da área da saúde. O resultado esperado, ao final da Fase I, é a obtenção de um protótipo 100% funcional e de fácil operação, demonstrando a veracidade do conceito e a importância dos seus benefícios à sociedade como um todo. As principais aplicações se concentram na Tecnologia Assistiva inerente ao projeto de inovação em questão, para criar um conjunto de produtos e serviços que aumentem a autonomia e a qualidade de vida de idosos, pessoas com deficiência ou com mobilidade reduzida. Desta forma sua aplicação na área médica e para os profissionais da área da saúde de forma geral tem grande valor, pois tais profissionais ora atuarão como operadores do dispositivo, ora como receptores dos parâmetros referentes aos sinais vitais, conforme a linhagem do dispositivo e a sua respectiva aplicação. A tecnologia implementada no projeto permite o monitoramento do estado atual de saúde de seres humanos sadios ou acometidos por algumas disfunções ou patologias que merecem uma máxima atenção devido às sequelas que estas podem deixar e também ao alto grau de iminência de óbito, de forma ágil, precisa e extremamente portátil.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Clodoaldo Aparecido de Moraes Lima - Integrante / André Jardini - Coordenador / Alexandre Chiachiri - Integrante.
Membro: Clodoaldo Aparecido de Moraes Lima.
12.   2012-Atual. Transactional Model and Performance Analysis for Business Processes and e-Science Applications.
Descrição: In modern science and business process studies the main challenge is not anymore in data acquisition but mainly in data processing, analysis, storage and transfer. To treat these challenges, work ow and business process systems have received increased attention from research and industry communities. Despite of the signi cant eorts and software tools developed, the work ows and business processes still oer a scenario with several research challenges, mainly related to the scalability and reliability of their execution in the new collaborative and high-performance computing platforms. In this pro ject, we are focusing in two important issues (called axes) belonging to this scenario: transaction processing and prediction of performance related to dierent phases of the work ow life cycle. The rst axis is related to transaction processing aiming to grant a exible and reliable environment for the modeling and execution of work ows. The second research axis is related to prediction of performance of work ows by means of formal modeling, in order to support a better provisioning of resources and a better scheduling of tasks in such type of applications. To validate the results obtained in these two research axes, we will use two real-world case studies that are important examples of both work ows and e-Science applications. In addition to the academic results provided in this project, we also hope to increase the research capability of the DATA group through two important research axes and also the validation of academic results based on two important case studies.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (2) . Integrantes: Luciano Vieira de Araújo - Integrante / João Eduardo Ferreira - Coordenador / Marcio K Oikawa - Integrante / Kelly R. Braghetto - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Luciano Vieira de Araújo.
13.   2012-Atual. Uso de interfaces naturais de usuários NUI para prevensão de doenças
Descrição: As interfaces naturais também conhecidas por NUI (Natural User Interface) tem se tornado popular com o surgimento de dispositivos como o Kinect e TV com reconhecimento de gestos. Tais dispositivos oferecem processamento especialiizado de movimenteação e voz a custo baixo. O que tem estimulado o seu uso em diferente áreas incluindo a de infomática médica. Esse projeto tem como objetivo desenvolver softwares baseado em interfaces NUI para prevensão de doenças.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) . Integrantes: Luciano Vieira de Araújo - Coordenador.
Membro: Luciano Vieira de Araújo.
14.   2012-2014. Uso de mídia social governamental
Descrição: As ferramentas de mídia social possibilitam a criação de ambientes colaborativos, comunidades virtuais e mecanismos de interação, e algumas organizações públicas estão se apropriando dessas ferramentas para ampliar suas formas de participação. Dentro deste contexto esta pesquisa tem como objetivo analisar o uso de uma mídia social do governo, a partir de uma de suas comunidades, para verificar de que maneira esta promoveu o engajamento. Empregou-se a netnografia, como estratégia de pesquisa, sobre um único caso. Ela se refere à observação e análise em profundidade de interações em uma rede social. Obteve-se, então, a dinâmica de participação e engajamento de uma comunidade de usuários, algumas evidências de engajamento civil e da presença de senso de comunidade entre os usuários participantes.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador / Camila Mariane Costa Silva - Integrante. Número de produções C, T A: 2 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.

2011

1.   2011-2012. (CAPES nro. 6415/10-5) Extensão de Algoritmos de Geração de Expressões de Referência para Domínios Físicos
Descrição: A geração de expressões de referência (GER) é um dos componentes fundamentais de aplicações de geração de língua natural (GLN). Do ponto de vista computacional, a tarefa de GER tem sido tratada considerando-se principalmente domínios (físicos ou discursivos) simplificados e/ou bidimensionais. O problema de referência em domínios físicos mais realistas (e.g., com grande complexidade estrutural e/ou tridimensionalidade), entretanto, permanece praticamente inexplorado na pesquisa da área. Neste projeto propomos uma extensão de algoritmos de GER desenvolvidos em trabalho prévio para domínios físicos tais como ambientes interativos tridimensionais, e sua posterior validação empírica nestes ambientes.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ivandre Paraboni - Coordenador. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa. Número de produções C, T A: 2
Membro: Ivandre Paraboni.
2.   2011-2013. CogBot: Integrando Informação Perceptual e Conhecimento Semântico na Robótica Cognitiva
Descrição: Este projeto de pesquisa visa o entendimento científico, o desenvolvimento e o uso das tecnologias necessárias para prover agentes cognitivos com níveis significativos de autonomia, de habilidades perceptuais e de capacidade de raciocinar, de aprender, de resolver problemas, de se adaptar e de tomar decisões, por meio de formalismos apropriados para a representação e uso do conhecimento. As seguintes vertentes serão exploradas para que este objetivo seja alcançado: (i) a percepção, visando investigar modelos e métodos para transformar os dados sensoriais em informações relevantes, abstraí-las e representá-las em conhecimento útil para o agente; (ii) o raciocínio e aprendizado, buscando formas de manipular e atualizar o conhecimento para a solução eficiente de problemas complexos; e (iii) a interação e comunicação, onde estes aspectos serão estudados e aprofundados para aplicação em redes de sistemas robóticos cooperativos, com uma abordagem ecológica.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) . Integrantes: Valdinei Freire da Silva - Integrante / Anna Helena Reali Costa - Coordenador / BIANCHI, Reinaldo Augusto da Costa - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Valdinei Freire da Silva.
3.   2011-2013. Comitês de Máquinas de Kernel para a Classificação de Sinais Biomédicos (Edital MCT/CNPq Nº 014/2010 Universal. Processo No.: 475406/2010-9)
Descrição: Neste projeto, pretende-se investigar novas abordagens destinadas ao tratamento automático de sinais biomédicos mediante a aplicação de métodos avançados de Aprendizado de Máquina. Em especial, dar-se-á ênfase ao estudo de diferentes tipos de máquinas de kernel e sua organização em arranjos homogêneos e heterogêneos de comitês de máquinas, tendo em vista tanto a classificação supervisionada (via SVM, LS-SVM, RVM) como não-supervisionada (via SVC) de sinais biomédicos (EEG, ECG, EMG, etc.). Nesse contexto, também serão investigadas diferentes técnicas de pré-processamento de dados multivariados destinadas à seleção e extração de atributos, avaliando o impacto do emprego dessas técnicas sobre o desempenho dos comitês de máquinas de kernel estudados. Desse modo, este projeto envolverá atividades de pesquisa a serem conduzidas em paralelo tanto nos domínios de Aprendizado de Máquina como no de Processamento de Sinais, enfatizando a sua integração.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Clodoaldo Aparecido de Moraes Lima - Integrante / André Luis Vasconcelos Coelho - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Clodoaldo Aparecido de Moraes Lima.
4.   2011-2013. Desenvolvimento e Validação de um Esquema de Análise Exploratória para Dados de Química Medicinal
Descrição: Pesquisas relevantes na área de Química Medicinal têm direcionado-se para a descoberta de novas substâncias químicas bioativas, potenciais candidatas a novos medicamentos para doenças consideradas crônicas, como é o caso do diabetes mellitus tipo 2 (DM) e a síndrome metabólica (SM). Entretanto, os dados manipulados pelos pesquisadores que atuam nessa área são inerentemente caracterizados pela alta dimensionalidade e pelo número cada vez maior de amostras a serem analisadas, o que torna complexa a modelagem de fenômenos moleculares que constituem os processos bioquímicos subjacentes. Dessa forma, para que a modelagem e a simulação desses sistemas complexos sejam bem sucedidas, é fundamental combinar-se a memória do computador, para cálculo e armazenamento de dados, e a habilidade humana em reconhecer padrões, resolvendo-se assim, problemas multivariados. A proposta de pesquisa apresentada neste documento compreende uma investigação multidisciplinar cujas principais contribuições incluem o aprimoramento e a integração de técnicas de análise exploratória, gerando uma ferramenta computacional capaz de reduzir o tempo de análise dos dados obtidos a partir de modelos da química medicinal, caracterizados por sua alta dimensionalidade e que possa auxiliar na futura construção de um banco de dados que seja referência na área de propriedades biológicas de drogas e candidatos a fármacos.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Patrícia Rufino Oliveira - Coordenador / Káthia Maria Honório - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Patrícia Rufino Oliveira.
5.   2011-2014. Fatores Críticos de Sucesso na Integração de Sistemas Legados
Descrição: Os sistemas legados realizam contribuições críticas para o sucesso das organizações, mas resistem significativamente à evolução do ambiente organizacional. O objetivo deste trabalho foi analisar os fatores críticos de sucesso na integração de sistemas legados (ISL) em organizações públicas. Esta pesquisa usou uma abordagem exploratória e descritiva, e foi desenvolvida por meio de uma enquete (survey) aplicada aos profissionais do Serviço Federal de Processamento de Dados (SERPRO). A pesquisa identificou a analisou os fatores críticos de sucesso da ISL no contexto de órgãos públicos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador / Wellington Montefusco Anastácio - Integrante. Número de produções C, T A: 3 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
6.   2011-Atual. Instrumentação eficiente para teste e depuração de programas
Descrição: Rastrear os requisitos de teste estruturais em tempo de execução, em geral, torna os programas lentos e aumenta o consumo de memória. Em alguns casos, a execução do programa pode ficar inviável como, por exemplo, quando requisitos de critérios baseados em fluxo de dados (pares definição-uso) são rastreados em programas de longa execução. Isso ocorre porque rastrear requisitos de teste requer a inserção de código adicional --- isto é, a instrumentação do programa --- para coletar a cobertura dos requisitos de teste. Esse projeto tem por objetivo desenvolver técnicas de instrumentação para coletar eficientemente os requisitos cobertos durante a execução de um programa. Essa informação é útil tanto para o teste como para a depuração de programas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . Integrantes: Marcos Lordello Chaim - Coordenador / Márcio Delamaro - Integrante / Roberto Andrioli de Araujo - Integrante / Harry Trinta Pereira da Costa - Integrante / Maruscia Baklizky - Integrante / Karina Olga Maizman Bogdan - Integrante. Número de produções C, T A: 2 / Número de orientações: 2
Membro: Marcos Lordello Chaim.
7.   2011-2013. Investigações da cascata de segmentação na região anterior do embrião de Drosophila melanogastere do sciarídeo Trichosia pubescens
Descrição: A cascata de segmentação na região anterior do embrião da Drosophila melanogaster, correspondente a futura cabeça, foi pouco estudada e seu funcionamento é pouco conhecido em relação à outras partes. Dados recentes da literatura indicam a existência de uma rede gênica complexa regulando esta parte do embrião. Nossa hipótese é de que desta rede façam parte atividades repressoras necessárias para posicionar corretamente faixas de expressão pair-rule, e impedir que estas faixas sejam formadas na região anterior da cabeça onde elas normalmente não ocorrem. Nosso objetivo é investigar a regulação transcricional dos promotores modulares dos genes pair-rule com a finalidade de identificar os fatores trans-reguladores e os mecanismos moleculares de repressão atuando nos alvos cis-reguladores. Para isto propomos experimentos genéticos e de expressão ectópica para analisar in vivo, por meio de hibridações in situ de todo embrião, os efeitos desencadeados por candidatos reguladores dos genes pair-rule. Paralelamente, propomos estudar a segmentação do sciarídeo Trichosia pubescens. Aspectos moleculares da segmentação foram investigados em poucas espécies, contudo, as evidências já obtidas indicam diferenças fundamentais entre o funcionamento da cascata na região anterior do embrião de Drosophila e de outros insetos e mesmo de outros dípteros. A Drosophila é uma espécie derivada entre os dípteros, portanto, somente estudos com outras espécies revelariam formas da cascata de segmentação mais comuns dentro do grupo, e possibilitariam um entendimento do processo evolutivo da segmentação nos dípteros e em insetos de uma forma geral. Nossa opção pela Trichosia reside no fato de que esta é uma espécie da base do grupo, diferentemente da Drosophila. Além disso, a Trichosia reúne características favoráveis para estudos de embriogênese que pretendemos explorar. Para esta solicitação propomos a clonagem e determinação de padrões de expressão de ortólogos de genes gap da cabeça, que fornec. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Ariane Machado Lima - Integrante / Luiz Paulo Andrioli - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T A: 2 / Número de orientações: 1
Membro: Ariane Machado Lima.
8.   2011-2013. Programação Dinâmica em Tempo Real Fatorada
Descrição: Projeto Universal. RTDP (Real-time dynamic programming) resolve processos de decisão Markovianos (MDPs), quando o estado inicial e estados metas são conhecidos. Ao visitar(e atualizar), apenas uma fração do espaço de estados, esta abordagem pode ser usada para resolver problemas com espaço de estado grandes intratáveis. A fim de melhorar o desempenho do algoritmo RTDP, uma variante com base em representação simbólica foi proposta, chamada de sRTDP (symbolic RTDP). Abordagens baseadas em RTDP tradicionais trabalham melhor em problemas com matrizes de transição esparsas, em que muitas vezes essas abordagens podem atingir de forma eficiente uma e-convergência sem visitar todos os estados; no entanto, em problemas com matrizes de transição densas, em que a maioria dos estados são alcançáveis em um passo, o sRTDP mostra uma vantagem sobre o RTDP tradicional em até três ordens de magnitude, como demonstramos em trabalhos anteriores. Também propomos uma nova variante do sRTDP baseada em BRTDP (Bounded RTDP), chamada de sBRTDP, a qual converge rapidamente quando comparado com variantes do RTDP, uma vez que sBRTDP realiza menos atualizações, fazendo uma escolha melhor do próximo estado a ser visitado. O objetivo desse projeto é o de estudar melhorias para as abordagens RTDP baseadas em representação simbólica, tanto exatas quanto aproximadas para resolver problemas modelados como MDPs, em que são conhecidos os estados iniciais e metas, a fim de resolver problemas envolvendo milhares de estados. Assim, será possível resolver problemas reais, como por exemplo, o planejamento de tráfego urbano e automação de linhas de montagem industrial. Além disso, pretendemos explorar soluções baseadas em RTDP de problemas envolvendo variáveis binárias e contínuas.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Karina Valdivia Delgado - Coordenador / Leliane Nunes de Barros - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Karina Valdivia Delgado.
9.   2011-2013. Recuperação de imagens cardíacas tridimensionais por conteúdo
Descrição: Os modelos tridimensionais fornecem uma visão mais completa dos objetos analisados por considerar a profundidade de cada um deles. Com o crescimento de modelos tridimensionais disponíveis atualmente na área de saúde, se faz necessária a implementação de mecanismos eficientes de busca, que ofereçam formas alternativas para localizar casos de pacientes com determinadas características. A disponibilização de um histórico de imagens similares em relação àquelas pertencentes ao exame do paciente pode auxiliar no diagnóstico oferecendo casos semelhantes. O presente projeto visa a desenvolver técnicas para recuperação de imagens médicas tridimensionais com base em seu conteúdo, com foco no contexto médico, mais especificamente na área cardíaca. Pretende-se contribuir com a detecção de anomalias por meio da disponibilização de quadros clínicos similares, gerando-se um protótipo de sistema de consulta. Para alcançar o objetivo proposto foram realizadas as seguintes etapas: revisão bibliográfica, definição da base de dados, implementação de extratores e funções de similaridade, construção de um protótipo de sistema de recuperação, realização de testes com imagens médicas e análises dos resultados. Os resultados obtidos com os métodos desenvolvidos foram positivos, alcançando em alguns testes 90% de precisão no retorno da busca. Verificou-se que extratores que levaram em consideração a informação espacial das deformações obtiveram um resultado melhor do que os métodos que analisaram os modelos sob uma perspectiva global. Estes resultados confirmam o potencial que a recuperação por conteúdo possui no contexto médico podendo auxiliar na composição de diagnósticos e além de contribuir com a área de Computação no sentido de ter desenvolvido técnicas para recuperação por conteúdo no domínio de modelos tridimensionais.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Coordenador / Bergamasco, Leila C. C. - Integrante.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
10.   2011-Atual. ResDial - Um Repositório para Resumos de Diálogos
Descrição: Complementando o projeto intitulado "Influência do Domínio na Sumarização Automática de Diálogos", o ResDial trata de um conjunto de corpora (e ferramentas associadas) com a finalidade de fornecer subsídios à construção de sumarizadores automáticos de diálogos. Seu principais objetivos são: (a) a definição de um padrão de codificação para diálogos, seus resumos, e futuras anotações, feitas de modo stand-off; (b) a disponibilização de dois corpora de resumos feitos por humanos, a partir de diálogos artificiais, codificados conforme o padrão definido para o projeto, e possivelmente anotados com alguma outra informação; e (c) o desenvolvimento de ferramentas que possibilitem tanto a navegação pelos corpora presentes no ResDial, quanto sua manipulação, além do cálculo de estatísticas relacionadas à linguística de corpora.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) . Integrantes: Norton Trevisan Roman - Coordenador / Ana Maria Monteiro - Integrante / Felipe Rodrigues - Integrante / Richard Semolini - Integrante / Alexandre Rossi Alvares - Integrante / Tiago Emanuel Infante Missão - Integrante. Número de produções C, T A: 13 / Número de orientações: 6
Membro: Norton Trevisan Roman.
11.   2011-2014. Teste e validação de software: estudos teóricos e aplicações
Descrição: s atividades propostas neste projeto de pesquisa concentram-se no estudo, desenvolvimento e aplicação de critérios de adequação e métodos de seleção de casos de teste. O objetivo final é estabelecer ambientes que dêem suporte automatizado às atividades de validação e teste, em diversas etapas do ciclo de vida, numa abordagem sistemática e bem fundamentada.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Integrante / Márcio Eduardo Delamaro - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
12.   2011-2013. Uso da Computação em Nuvem no Contexto Brasileiro
Descrição: Com um forte apelo econômico, a computação em nuvem (CN) torna possível a ideia da computação como uma utilidade, e os recursos computacionais podem ser adquiridos sob demanda de um provedor. Nesse novo paradigma, uma empresa não necessita mais investir antecipadamente um alto capital em equipamentos de TI. Este projeto teve como objetivo identificar como este novo paradigma têm sido utilizado no cenário brasileiro. Dentro desse contexto, o projeto analisou a adoção da CN por organizações brasileiras, identificando o grau com que os serviços oferecidos no mercado atendem às características da CN, e as características das organizações brasileiras que estão associadas à adoção da CN. O projeto utilizou enquetes (surveys) e estudos de caso como métodos de pesquisa, e obteve um retrato da adoção da CN no Brasil, bem como o perfil das organizações que adotam a CN.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador / Bruno Afonso Souza Brito - Integrante / Neilson Carlos Leite Ramalho - Integrante. Número de produções C, T A: 2 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
13.   2011-Atual. Uso de cobertura de teste estrutural para depurar programas
Descrição: A cobertura de testes estruturais --- a lista de componentes de código, como nós, ramos, ou pares definição-uso cobertos por um teste --- pode ser utilizada para auxiliar a depuração de programas, especialmente para a localização de defeitos. Dados de cobertura de código são utilizados por heurísticas para calcular o nível de suspeição de nós, ramos e pares definição-uso. Aqueles componentes mais associados a casos de teste que falham, e menos associados a casos de teste que passam, são mais suspeitos. Depois de atribuir um valor suspeição para esses componentes, uma lista em ordem decrescente de desconfiança é gerada. Os componentes de código mais suspeitos são mapeados em trechos de código que devem ser verificados em primeiro lugar na busca de defeitos. Nosso objetivo é melhorar o uso de dados de cobertura na depuração por meio da combinação de diferentes tipos de cobertura para localização de defeitos. Estamos investigando o uso de cobertura do teste de integração (cobertura de pares e triplas de métodos), combinada com a cobertura de testes de unidade (nós, ramos e pares definição de uso) para indicar trechos mais precisos de código a serem verificados pelos programadores.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Marcos Lordello Chaim - Coordenador / Higor Amario de Souza - Integrante / Luiz Henrique Novo Baptistão - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T A: 1 / Número de orientações: 1
Membro: Marcos Lordello Chaim.

2010

1.   2010-2015. Ambiente de Apoio para os Cursos Básicos de Algoritmos e Programação
Descrição: Pesquisadores e docentes de computação têm se preocupado em achar a melhor forma de introduzir os alunos dos primeiros cursos de computação no mundo dos algoritmos e da programação. Pesquisas mostram que a taxa de evasão de alunos de primeiro e segundo ano de cursos de Ciência da Computação, motivada por dificuldades de aprendizagem de programação, é alta, situando-se entre 30% e 70% em muitos países. A importância e complexidade deste tema têm motivado a pesquisa de métodos educacionais para facilitar a aprendizagem de programação. As propostas existentes são variadas e enfatizam particularidades envolvidas no processo de aprendizagem de desenvolvimento de algoritmos, como o uso de auxílios sintáticos; simplificação de IDEs; uso de notações icônicas para descrever o fluxo de execução; ilustração gráfica de conceitos de algoritmos e estruturas de dados; motivação da aprendizagem de algoritmos a partir da utilização de aplicações gráficas, programas para a Web ou programação de robôs; planejamento especial de aspectos didáticos englobando currículo, monitoria, "assessment" e "feedback" do professor, para citar algumas. De forma geral os trabalhos existentes relatam as experiências de cursos introdutórios de algoritmos pela utilização de uma proposta em particular, mas não tentam decompor e investigar isoladamente fatores que afetam a aprendizagem de algoritmos. Este projeto de pesquisa tem por objetivo a explicitação de um conjunto de fatores que supostamente afetam a aprendizagem de algoritmos, envolvendo a investigação sistemática de várias hipóteses, dentre elas: (1) o emprego de domínios de problemas concretos favorece a aprendizagem de conceitos de algoritmos; (2) o uso de linguagens com primitivas próximas às do domínio dos problemas favorece a aprendizagem de conceitos de algoritmos; e (3) o emprego de linguagens formais com gramáticas próximas às das línguas naturais favorece a aprendizagem de conceitos de algoritmos. O trabalho envolve o projeto de ling. Situação: Concluído; Natureza: Pesquisa. Integrantes: Norton Trevisan Roman - Integrante / Ana Maria Monteiro - Integrante / Osvaldo Luís de Oliveira - Coordenador. Número de produções C, T A: 3
Membro: Norton Trevisan Roman.
2.   2010-2014. Apoio à sistematização e automatização da atividade de teste de software
Descrição: ste projeto de pesquisa se concentra na área de Engenharia de Software e, mais especificamente, de teste de software. Insere-se no contexto dos grandes desafios da computação no Brasil, à medida que visa a contribuir com o desenvolvimento de técnicas e ferramentas que permitam o desenvolvimento de sistemas mais confiáveis e seguros, no espírito descrito pelo desafio ``Desenvolvimento Tecnológico de Qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos''. Além de contribuir para o avanço do estado da arte e estado da prática, propondo técnicas e ferramentas para o teste de software, este projeto deve contribuir na formação de recursos humanos na área, por meio da formação de estudantes de graduação e pós-graduação, que participarão da sua execução. Sete tópicos principais são abordados: 1) utilização de máquinas virtuais no teste de software; 2) definição de oráculos de teste para programas com saídas gráficas; 3) geração de dados de teste para modelos Simulink; 4) definição de oráculos de teste para modelos Simulink; 5) utilização de teste estrutural em software embarcado; 6) definição de critérios de teste para aplicações de Realidade Virtual; e 7) aplicação de técnicas de experimentação em Engenharia de Software.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Integrante / Márcio Eduardo Delamaro - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
3.   2010-2012. Baile: Enabling Scalable Cloud Service Choreographies
Descrição: Projeto em colaboração com HP Labs de Palo Alto e financiado pela HP Brasil. O projeto Baile tem como objetivo estudar problemas relacionados ao desenvolvimento e uso de coreografias em ambientes de grande escala, em particular no contexto de Computação em Nuvem. O projeto irá investigar como tornar possível a evolução de coreografias à medida em que novos serviços e novas versões de serviços tornam-se disponíveis e como manter o sistema funcionando com desempenho aceitável na presença de falhas e mudanças dinâmicas na nuvem. A abordagem irá basear-se (1) no desenvolvimento de metodologias e catalogação de boas práticas para a implementação correta de serviços fracamente acoplados e (2) na representação explícita das dependências entre os serviços de forma que reconfigurações dinâmicas possam ser executadas sem a quebra dessas dependências de forma a permitir a evolução robusta e eficiente de coreografias de serviços em ambientes complexos de grande escala.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (4) . Integrantes: Daniel de Angelis Cordeiro - Integrante / Daniel Macêdo Batista - Integrante / Marco Aurélio Gerosa - Integrante / Marcelo Finger - Integrante / Dejan Milojicic - Integrante / Wagner Vernier - Integrante / Joel Pinho Lucas - Integrante / Alfredo Goldman vel Lejbman - Integrante / Fabio Kon - Coordenador. Financiador(es): Hewlett-Packard Brasil - Matriz - Auxílio financeiro. Número de produções C, T A: 1
Membro: Daniel de Angelis Cordeiro.
4.   2010-2011. CHOReOS: Large Scale Choreographies of the Future Internet
Descrição: CHOReOS will implement a framework for scalable choreography development. The goal is to enable domain experts to develop decentralized ultra-large scale (ULS) solutions composed of heterogeneous services that are adaptable and QoS (Quality-of-Service) aware. CHOReOS will deliver formally grounded abstractions and models, dynamic choreography-centric development processes, governance and service-oriented middleware manipulated via an Integrated Development Runtime Environment (IDRE) aimed at overcoming the ULS impact on software system development.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Medeiros Eler - Integrante / Antonia Bertolino - Coordenador.
Membro: Marcelo Medeiros Eler.
Descrição: CHOReOS rationale is sustaining decentralized service choreographies in the Future Internet. It revisits the concept of choreography-centric service-oriented systems to introduce a dynamic development process and associated methods, tools, and middleware referred to as CHOReOS Integrated Development and Runtime Environment (IDRE) for software systems coordinating services in the Ultra Large Scale Future Internet.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (6) / Doutorado: (6) . Integrantes: Daniel de Angelis Cordeiro - Integrante / Daniel Macêdo Batista - Integrante / Marco Aurélio Gerosa - Integrante / Alfredo Goldman vel Lejbman - Integrante / Fabio Kon - Coordenador. Financiador(es): European Commission - Auxílio financeiro.Número de orientações: 1
Membro: Daniel de Angelis Cordeiro.
5.   2010-Atual. Detecção semântica interprocedural de clones em programas bytecode
Descrição: Código duplicado, ou clones, são incorporados em sistemas como uma maneira simples de reutilizar código. Entretanto, a manutenção de um sistema torna-se cara se ele possui muitos clones, especialmente clones semânticos em que a sintaxe do programa muda mas a semântica é mantida. Existem ferramentas para detecção de clones semânticos que analisam o código fonte. No entanto, não existem ferramentas que detectam clones lendo programas compilados em bytecodes. O objetivo dessa pesquisa é desenvolver técnicas escaláveis para a detecção de clones semânticos levando em consideração chamadas de procedimento presentes em programas bytecode. Essa abordagem possui vantagens como análise multiplataforma e detecção de clones em sistemas para os quais o código não está presente.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Marcos Lordello Chaim - Coordenador / Felipe de Alencar Albuquerque - Integrante / Bruno Lima Neves - Integrante. Número de produções C, T A: 1 / Número de orientações: 1
Membro: Marcos Lordello Chaim.
6.   2010-Atual. Estudo e Desenvolvimento de Ferramentas para a Análise de Redes Sociais Acadêmicas
Descrição: Diversas informações relevantes para pesquisadores encontram-se disponíveis na web. Porém, muitas vezes, as mesmas acabam sendo subutilizadas. Este projeto visa o estudo e implementação de um sistema para análise de redes sociais de pesquisa. Currículos Lattes serão utilizados para a identificação de relações de pesquisa entre autores. A partir dessas relações, o sistema será capaz de formar redes sociais e disponibilizar um conjunto de métricas sobre as mesmas. Os resultados da análise destes currículos serão combinados com os critérios utilizados pelos comitês de área da CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior) para a avaliação das publicações dos docentes, trazendo uma maior automatização para esse processo que frequentemente é realizado manualmente durante a avaliação de programas de pós-graduação.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Luciano Antonio Digiampietri - Coordenador / Esteban Fernandez Tuesta - Integrante / Karina Valdivia Delgado - Integrante / Rogério Mugnaini - Integrante / Perez-Alcazar, Jose J. - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Pró-Reitoria de Pesquisa da USP - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T A: 11 / Número de orientações: 10
Membro: Luciano Antonio Digiampietri.
7.   2010-Atual. Ferramentas para criação e análise de indicadores dos dados clínicos e moleculares de pacientes HIV para gestão e tomada de decisão do DN-DST-Aids
Descrição: Projeto busca o desenvolvimento de indicadores criação e análise de indicadores dos dados clínicos e moleculares de pacientes HIV para gestão e tomada de decisão do PN-DST-Aids. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Doutorado: (1) . Integrantes: Luciano Vieira de Araújo - Coordenador / João Eduardo Ferreira - Integrante / Ester Cerdeira Sabino - Integrante. Financiador(es): Ministério da Saúde - Auxílio financeiro.
Membro: Luciano Vieira de Araújo.
8.   2010-2013. Gerenciamento de Recursos para Computação em Grade
Descrição: Neste projeto temos como objetivo a verificação e análise experimental de diversos problemas de computação distribuída com novos algoritmos de gerenciamento de recursos. Serão estudados os seguintes tópicos de maneira mais aprofundada: Algoritmos adaptativos, Escalonamento de tarefas BSP maleáveis e Ambientes de data-flow tolerantes a falhas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Daniel de Angelis Cordeiro - Integrante / Pierre-François Dutot - Integrante / Grégory Mounié - Integrante / Denis Trystram - Integrante / Jean-Marc Vincent - Integrante / Raphael Yokoingawa de Camargo - Integrante / João Eduardo Ferreira - Integrante / Alfredo Goldman vel Lejbman - Coordenador / Fabio Kon - Integrante. Financiador(es): COFECUB - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro. Número de produções C, T A: 3
Membro: Daniel de Angelis Cordeiro.
9.   2010-2015. Gerenciamento e Composição Automática de Serviços Web Semânticos
Descrição: Serviços Web representam uma tecnologia extremamente relevante para prover interoperabilidade. Um importante passo para o desenvolvimento de aplicações complexas baseadas em Serviços Web é a habilidade de selecionar e integrar serviços heterogêneos de oriundos de diferentes fontes. Além disso, sempre que não for possível encontrar um único serviço capaz de desempenhar uma certa tarefa, seria importante a existência de meios (automáticos e semiautomáticos) para compor serviços básicos de forma que, combinados, estes executem a tarefa desejada. Este projeto de pesquisa visa a estender a pesquisa realizada durante o doutorado do proponente realizado no Instituto de Computação da UNICAMP e intitulado "Gerenciamento de Workflows Científicos em Bioinformática". Além da generalização da aplicação de Serviços Web para todas as áreas de conhecimento, este projeto visa explorar o conceito de Serviços Web Semânticos de forma a permitir que sistemas de software, baseados em Planejamento em Inteligência Artificial, possam compor serviços básicos para desempenharem tarefas mais complexas. Adicionalmente, este projeto irá combinar os recursos oferecidos pelos modelos ontológicos para anotação de Serviços Web Semânticos (WSMO, WSDL-S e OWL-S) com os padrões de workflows ("Workflow Patterns") a fim de possibilitar o desenvolvimento de uma infraestrutura robusta e extensível para o gerenciamento e composição de Serviços Web Semânticos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) . Integrantes: Luciano Antonio Digiampietri - Coordenador / Caio Rafael do Nascimento Santiago - Integrante / Perez-Alcazar, Jose J. - Integrante / Adilson Lopes Khouri - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T A: 9 / Número de orientações: 9
Membro: Luciano Antonio Digiampietri.
10.   2010-2015. Influência do Domínio na Sumarização Automática de Diálogos
Descrição: Atualmente, as técnicas automáticas para sumarização de textos ou diálogos dependem unica e exclusivamente da presença explícita da informação no objeto resumido. Em certas situações, contudo, é notória a ausência de fatos ou informações esperadas, dado o domínio. Nesse projeto, será estudada a influência que conhecimento prévio sobre o domínio exerce na criação e julgamento de resumos de situações. Seus objetivos gerais são: (i) a identificação das situações em que a informação prévia sobre o domínio se faz indispensável, ou pode simplesmente ser ignorada, (ii) o desenvolvimento de técnicas de sumarização automática que possibilitem a inclusão e/ou consideração de informação específica do domínio, (iii) o refinamento das atuais técnicas para avaliação de resumos, de modo a refletir as espectativas gerais das pessoas, dado o domínio, (iv) a identificação e desenvolvimento de arcabouços teóricos e técnicos, quando for o caso, que auxiliem a execução dessa pesquisa, e (v) a formação de novos pesquisadores na área, permitindo que futuros avanços possam ser obtidos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . Integrantes: Norton Trevisan Roman - Coordenador / Ariadne Maria Brito Rizzoni Carvalho - Integrante / Paul Piwek - Integrante / Fernando José Vieira da Silva - Integrante / Marcelo Ventura dos Santos - Integrante. Número de produções C, T A: 5 / Número de orientações: 2
Membro: Norton Trevisan Roman.
11.   2010-Atual. Predição computacional de alvos de microRNAs
Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (1) . Integrantes: Ariane Machado Lima - Coordenador / Helena P. Brentani - Integrante / Patrícia Severino - Integrante. Número de orientações: 6
Membro: Ariane Machado Lima.
12.   2010-2012. Processos de Decisão Markovianos com Probabilidades Imprecisas
Descrição: Projeto Universal. Em trabalhos anteriores, foram propostas soluções eficientes, aproximadas e exatas, para resolver problemas de tomada de decisão sequencial com probabilidades imprecisas nos efeitos das ações. Nesse projeto, pretendemos investigar novos critérios de avaliação de soluções. Além disso, pretendemos investigar soluções para MDPs de primeira ordem, com probabilidades imprecisas e sua ligação com técnicas conhecidas de aprendizagen por reforço.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Karina Valdivia Delgado - Integrante / Leliane Nunes de Barros - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Karina Valdivia Delgado.
13.   2010-2014. Proposição, implementação e validação de técnicas para treinamento médico virtual interativo
Descrição: A Realidade Virtual, em conjunto com outras áreas de processamento gráfico, tem proporcionado grande inovação em sistemas de simulação e treinamento para os diversos campos de conhecimento. A formação adequada de médicos e profissionais da saúde requer laboratórios com altos custos de manutenção e operação. Ainda que o uso de tal infraestrutura seja indispensável para a aquisição de competências fundamentais pelos estudantes, é possível reduzir o tempo médio de sua utilização - e, portanto, os custos do treinamento - adotando-se ferramentas virtuais. No entanto, laboratórios virtuais também podem ter custos altos na medida em que se busque aumentar a sensação de presença e imersão dos alunos nas atividades de aprendizagem, a fim de que a motivação para o aprendizado seja incrementada. É possível, todavia, construir soluções de baixo custo ou, ainda, soluções que permitam uma relação custo-benefício viável e flexível, considerando os recursos disponíveis ao usuário. Como o nível de complexidade envolvido na implementação é alto, há exigências de pesquisa na área de Computação, produzindo resultados científicos multidisciplinares. A partir desse contexto, este projeto tem o objetivo de propor, implementar e validar técnicas para treinamento médico virtual, utilizando Realidade Virtual, Computação Gráfica e Processamento de Imagens. O projeto pretende, ainda, aplicar e desenvolver metodologias para validação das técnicas construídas considerando tanto aspectos técnicos quanto aspectos relacionados ao usuário.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Coordenador / Ana Claudia M T Gomes de Oliveira - Integrante / Romero Tori - Integrante / Cléber Gimenez Corrêa - Integrante / Liliane dos Santos Machado - Integrante / Ricardo Nakamura - Integrante / Vagner M. Gonçalves - Integrante / Eunice Pereira dos Santos Nunes - Integrante / Helton Hilderaldo Bíscaro - Integrante / Ronei Marcos de Moraes - Integrante / Alexandre Martins dos Anjos - Integrante / Leila Cristina Carneiro Bergamasco - Integrante / Everton N. Narciso - Integrante / DELAMARO, MARCIO EDUARDO - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
14.   2010-Atual. Utilização de gramáticas em reconhecimento de padrões em imagens
Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Ariane Machado Lima - Coordenador / Fátima de Lourdes dos Santos Nunes - Integrante. Número de orientações: 2
Membro: Ariane Machado Lima.
15.   2010-Atual. ViMeT - Projeto e Implementação de um Framework para Aplicações de Treinamento Médico usando Realidade Virtual
Descrição: O Conceito de framework tem sido aplicado em computação com o objetivo de construir aplicações para as mais diversas áreas de conhecimento, pois garante um desenvolvimento de software de qualidade e sem grandes esforços de implementação. Este trabalho apresenta o processo de desenvolvimento e a implementação de um framework orientado a objetos para treinamento médico que utiliza técnicas de Realidade Virtual, denominado ViMeT (Virtual Medical Training). O objetivo é construir um framework, a partir da reutilização de códigos de aplicações anteriormente desenvolvidas, que implementam funcionalidades de detecção de colisão, deformação e estereoscopia. A fim de propiciar, dentro do contexto de RV aplicada à Medicina, uma forma otimizada de construir ferramentas para simulação de exames de punção, o ViMeT foi desenvolvido de forma que garanta a possibilidade de inserção de novas técnicas para cada funcionalidade e a combinação entre várias técnicas utilizadas para construir novas aplicações.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Helton Hideraldo Bíscaro - Integrante / Fátima - Coordenador.
Membro: Helton Hideraldo Bíscaro.

2009

1.   2009-2011. (FAPESP nro. 2009/08499-9) Estudo e Desenvolvimento de Modelos Híbridos de Geração de Linguagem Natural
Descrição: O projeto constitui um primeiro estudo de maior abrangência para desenvolvimento de modelos híbridos (combinando conhecimento linguistico na forma de regras etc. e modelos estatísticos) de realização textual para o Português do Brasil, o qual deve servir de base à pesquisa e desenvolvimento de futuras aplicações nesta área. O resultado final do projeto é um componente de realização textual baseado em templates sintaticamente estruturados adquiridos de forma automática a partir de corpus, e preenchidos com conhecimento proveniente de bases lexicais e outras, em uma abordagem de geração em dois estágios com uso de modelos estatísticos de língua. O produto desenvolvido deve ainda oferecer suporte à entrada sub-especificada e com máxima flexibilidade de adaptação a um grande número de aplicações com diferentes graus de especificidade semântica, dentre outros requisitos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (7) . Integrantes: Ivandre Paraboni - Coordenador / Rafael Lage de Oliveira - Integrante / Eder Miranda de Novais - Integrante / Roberto Paulo Andrioli de Araujo - Integrante / Thiago Dias Tadeu - Integrante / Diogo Takaki Ferreira - Integrante / André Costa Mariotti - Integrante / Douglas Fernandes Pereira da Silva Júnior - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T A: 17 / Número de orientações: 12
Membro: Ivandre Paraboni.
2.   2009-2012. Adoção de Software Livre em Universidades Brasileiras
Descrição: Este projeto teve como objetivo principal estudar a adoção de software livre e padrões abertos por instituições de ensino superior públicas e privadas. O projeto identificou e analisou programas e iniciativas púbicas e privadas para a adoção de software, por meio de pesquisa qualitativa e quantitativa, bem como os benefícios da adoção desses modelos. Como resultado, identificaram-se políticas organizacionais que promovem a adoção de software de livre em instituições de ensino superior.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador / Fulvio Cristofoli - Integrante / MIRIAN QUIRANTE RIVEIRA - Integrante / Camila Mariane Costa Silva - Integrante. Número de produções C, T A: 5
Membro: Edmir Parada Vasques Prado.
3.   2009-2011. Avaliação da Gestão dos Sistemas de Informação nos Hospitais do Município de Guarulhos/SP
Descrição: O projeto realizou um mapeamento em 11 hospitais da cidade de Guarulhos/SP para descobrir informações como: a caracterização dos hospitais (nome e localização, composição do capital, quantidade de funcionários, número de leitos, número de atendimento com internação anual, número de atendimento laboratorial, nível de atendimento quanto à satisfação do cliente, etc.); recursos humanos e sua composição do quadro de pessoal (perfil dos dirigentes e demais funcionários do hospital, qualificação profissional, formação, nível educacional, recursos oferecidos pelo hospital para a qualificação/formação profissional, etc.); gestão estratégica do hospital (caracterização do planejamento realizado, sua freqüência e envolvimento dos profissionais, metodologia e ferramentas de planejamento usadas, elaboração e implementação de estratégias, contribuição para a inovação tecnológica, etc.); pesquisa e desenvolvimento PD (atividades realizadas e grau de importância, aquisição de conhecimento); inovação tecnológica (considera a introdução de novas tecnologias que possibilitam melhorar produtos e processos, como por exemplo: ERP, base de dados, redes de comunicação, etc.); investimento em inovação tecnológica (áreas a serem beneficiadas, tipos de recursos tecnologias e a serem adquiridos); cooperação para a inovação (convênios, acordos, parcerias, etc.); equipamentos e demais recursos de TI (atuais em uso e previsão de aquisição, identificação de demanda reprimida, etc.); sugestões e recomendações (relatório descritivo dos recursos e tecnologias necessárias para o aparelhamento do hospital).. Situação: Concluído; Natureza: Pesquisa. Integrantes: Edmir Parada Vasques Prado - Integrante / João Porto de Albuquerque - Coordenador / Marcelo Nerling - Integrante / Homero Fonseca Filho - Integrante / Antonio José Balloni - Integrante. Financiador(es): Centro de Tecnologia da Informação Renato Archer - Auxílio financeiro / Prefeitura Municipal de Guarulhos - Cooperação. Número de produções C, T A: 2
Membro: Edmir Parada Vasques Prado.
4.   2009-2012. Características da Inovação em TIC no Setor Público Brasileiro
Descrição: As Tecnologias de Informação e Comunicação (TIC) têm papel central na modernização do setor público. Um dos meios pelos quais o incentivo da inovação no setor público tem sido buscado são os mecanismos de reconhecimento de projetos de inovação bem sucedidos, tais como as premiações promovidas por órgãos governamentais ligados à gestão pública, organizações não governamentais ou mesmo empresas privadas. O projeto apresenta uma proposta para o estudo dos casos de inovação no setor público por meio da aplicação de TIC disponíveis no Observatório de Práticas de Tecnologia de Informação e Comunicação na Gestão Pública (Observe-gov). Atualmente o observatório possui 467 casos de inovação acessíveis para acesso público. A pesquisa explorará dois aspectos: a evolução das aplicações do governo eletrônico ao longo do tempo e as características dos processos de inovação em TIC brasileiros. A análise dos casos e recomendações obtidas podem dar subsídio a elaboração de políticas públicas ou mecanismos que incentivem a inovação em TIC nos órgãos governamentais dos diversos níveis e esferas. Inicialmente está prevista uma fase exploratória, em que alguns casos serão selecionados para uma análise qualitativa aprofundada, para o levantamento de categorias e aspectos ligados às inovações em si e aos processos a elas associadas. Após essa etapa qualitativa, a totalidade dos casos será estudada por meio da análise de conteúdo quantitativa, procurando se identificar e correlacionar os diversos aspectos estudados. Entre os resultados esperados estão uma análise comparativa dos aspectos das inovações em TIC brasileiras relacionadas às inovações em outros países e a derivação de recomendações para possibilidades e políticas públicas de incentivo à inovação em TIC no setor público no país. Situação: Concluído; Natureza: Pesquisa. Integrantes: Edmir Parada Vasques Prado - Coordenador / Nicolau Reinhard - Integrante / Cesar Alexandre de Souza - Integrante / Maria Alexandra Cunha - Integrante.
Membro: Edmir Parada Vasques Prado.
5.   2009-Atual. Classificação multiclasse de RNAs codificantes e não codificantes
Descrição: Até os anos 80 apenas três classes de RNAs eram conhecidas: mensageiros (mRNAs), transportadores (tRNAs) e ribossomais (rRNAs). Os mRNAs codi cam proteí nas, então chamados RNAs codi cantes. Por sua vez, os dois últimos são considerados RNAs não codi cantes (ncRNAs). Desde então, in úmeros outros ncRNAs foram identi cados, e acredita-se que ainda muitos outros estão por serem descobertos. De fato, enquanto 2% do genoma humano e anotado como sendo genes codi cantes, estudos recentes demonstram que na verdade grande parte do genoma humano e transcrito. Os RNAs não codi cantes conhecidos at é o momento desempenham diversas atividades importantes e muitos deles estão associados a diversas doen ças. A descoberta de novos ncRNAs e de seus pap éis moleculares não s ó traz avan ços no conhecimento da biologia molecular como tamb ém pode auxiliar no desenvolvimento de novas terapias de doenças associadas. No entanto, identifi car genes de RNAs não codi cantes nos genomas é um problema em aberto. Uma alternativa é j á partir de sequências transcritas e então classifi c á-las em RNAs codi cantes ou não codi cantes. Essa alternativa tem se tornado ainda mais atraente agora com as novas técnicas de sequenciamento usadas por sequenciadores como o 454 e Solid. Mas mesmo esse processo não e trivial, pois h á fatores confundidores que prejudicam essa classi fica ção. Este projeto visa ao desenvolvimento de um classi ficador de RNAs que não apenas lide com esses problemas mas tamb ém que realize uma classifi ca ção multiclasse que auxilie o pesquisador na caracteriza ção do transcrito.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) . Integrantes: Ariane Machado Lima - Coordenador / Lauretto, Marcelo S - Integrante. Financiador(es): Universidade de São Paulo - Auxílio financeiro.Número de orientações: 6
Membro: Ariane Machado Lima.
6.   2009-Atual. Estudo e desenvolvimento de técnicas de processamento de imagens e vídeos digitais
Descrição: O aumento da oferta de câmeras fotográficas e filmadoras digitais (cada dia melhores e mais baratas), bem como do acoplamento de câmeras digitais a microscópios, equipamentos de raio X e outros equipamentos utilizados em diagnósticos e pesquisa criaram novos desafios para o processamento, análise e organização das imagens e vídeos produzidos. O ser humano apresenta uma grande capacidade de olhar para uma imagem e reconhecer objetos ou temas, o que permite uma categorização eficiente de um conjunto de imagens. Mesmo assim, essa categorização manual é sujeita a falhas ocasionadas, por exemplo, pelo cansaço ou mesmo pelo caráter subjetivo de interpretação/entendimento de uma dada imagem. Desta forma são necessários mecanismos que automatizem processos de classificação e interpretação de imagens e vídeos.O objetivo geral deste projeto é desenvolver um conjunto de funções (ou biblioteca) para o processamento de imagens e vídeos. Esse conjunto de funções possuirá funções básicas para o processamento de imagens; funções para a recuperação de imagens por contéudo; e também funções específicas para o processamento de imagens relacionadas a LIBRAS (Língua Brasileira de Sinais) e para a análise morfológica de imagens relacionadas a biomedicina.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) . Integrantes: Luciano Antonio Digiampietri - Coordenador. Número de produções C, T A: 3 / Número de orientações: 5
Membro: Luciano Antonio Digiampietri.
7.   2009-2012. INCT-SEC -- Instituto Nacional de Ciência e Tecnologia, Sistemas Embarcados Críticos
Descrição: A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. O pesquisador está envolvido no subprojeto "Um 'Framework' para o Desenvolvimento de Sistemas Embarcados Críticos" que é realizado na Escola de Artes, Ciências e Humanidades da Universidade de São Paulo.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcos Lordello Chaim - Integrante / José Carlos Maldonado - Coordenador / Delano Medeiros Beder - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Marcos Lordello Chaim.
8.   2009-2012. INCT: SISTEMAS EMBARCADOS CRÍTICOS: Aplicações em Segurança e Agricultura
Descrição: A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são: a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcelo Fantinato - Integrante / Itana Maria de Souza Gimenes - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Marcelo Fantinato.
9.   2009-2013. Linha de Produto Dinâmica para Gestão de Processos de Negócio Baseados em Serviços (Programa Jovens Pesquisadores em Centros Emergentes - JP-Fapesp)
Descrição: O objetivo deste projeto de pesquisa é oferecer uma abordagem completa de Linha de Produto para a gestão dinâmica de processos de negócio baseados em serviços Web, centrada em templates de contratos eletrônicos envolvendo organizações cooperativas. Linha de Produto é uma abordagem da engenharia de software que visa racionalizar o reuso no desenvolvimento de sistemas, a qual pode ser adaptada para a Gestão de Processos de Negócio. Um grande desafio é criar uma Linha de Produto com aspectos dinâmicos, normalmente não necessários no desenvolvimento de software convencional.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (2) . Integrantes: Marcelo Fantinato - Coordenador / Maria Beatriz Felgar de Toledo - Integrante / Itana Maria de Souza Gimenes - Integrante / Felipe Gonçalvez Marchione - Integrante / Lucinéia Heloisa Thom - Integrante / Danilo Modesto Sousa - Integrante / Yara Rosetto Mariano Silva - Integrante / Garcia, Diego Zuquim Guimaraes - Integrante / Rafael de Magalhaes Vezzani - Integrante / Vitor Almeida Barros - Integrante / Lilian Florio Silva - Integrante / Alan Rodrigo Delcaro - Integrante / Fabricio da Rocha Silva - Integrante / Marcelo José Gomes Faria - Integrante / Leticia Mayumi Nagao - Integrante / Roberto dos Santos Rocha - Integrante / Guilherme Banduki Margarido Salles - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T A: 33 / Número de orientações: 12
Membro: Marcelo Fantinato.
10.   2009-2012. REDE - usando uma REde de sensores para Detectar Enchentes
Descrição: Em virtude de uma variedade de fatores que incluem as mudanças climáticas, as enchentes tem sido frequentes e problemáticas no Brasil. Por exemplo, as cidades de Marabá e Manaus, ambas na região norte do país, registraram este ano uma das piores enchentes dos últimos anos. Além disso, a cidade de São Paulo frequentemente sofre de enchentes durante o período das chuvas, no verão. Para minimizar este problema recorrente, o presente projeto de pesquisa propõe investigar o uso de uma rede de sensores para detectar possíveis ocorrências de enchentes, alarmando prioritamente a população que encontra-se em risco.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcos Lordello Chaim - Integrante / Delano Medeiros Beder - Integrante / Jó Ueyama - Coordenador / Daniel Hughes - Integrante.
Membro: Marcos Lordello Chaim.
11.   2009-2010. Técnicas de Aprendizado de Máquina para Processamento de Sinais em Telecomunicações
Descrição: Os problemas de processamento de sinais em telecomunicações requerem a proposição de técnicas avançadas para análise de dados, classificação e filtragem. As limitações existentes junto às abordagens lineares motivam a proposição de extensões e generalizações fundamentadas em abordagens não-lineares. Com a introdução de funções de kernel, são mantidas vantagens características dos métodos lineares, acrescidas de contribuições advindas do tratamento não-linear. Este cenário é evidenciado com a solução de problemas desafiadores em telecomunicações a partir do emprego de máquinas de vetores-suporte (SVM). Além da modelagem não-linear, a atual disponibilidade de recursos computacionais vem impulsionando a proposição de soluções que integram diversas funcionalidades, processo conhecido como agrupamento de máquinas. Sendo assim, este projeto de pesquisa visa a síntese e implementação computacional de técnicas avançadas de solução para problemas de processamento de sinais, baseadas em: (1) modelagem não-linear, particularmente modelagem não-paramétrica multidimensional baseada em métodos de kernel; (2) agrupamento de máquinas, particularmente ensembles e mistura de especialistas. As principais linhas de aplicação envolvem equalização supervisionada e não supervisionada, detecção multi-usuário e síntese de arranjos adaptativos de antenas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Clodoaldo Aparecido de Moraes Lima - Coordenador / Marcio Eisencraft - Integrante / Pollyana N. Mustaro - Integrante / Nizam Omar - Integrante. Financiador(es): Fundo Mackenzie de Pesquisa - Bolsa / Fundo Mackenzie de Pesquisa - Auxílio financeiro.
Membro: Clodoaldo Aparecido de Moraes Lima.
12.   2009-2011. Uma Infra-Estrutura para Gestão de Processos de Negócio Interorganizacionais Usando Linha de Produto
Descrição: Atualmente é comum que as organizações subcontratem serviços de parceiros. A Internet e o paradigma de computação orientada a serviços podem facilitar a troca de serviços e aumentar o escopo de Gestão de Processos de Negócio (GPN) de serviços intra-organizacionais para a cooperação entre organizações. Para apoiar as atividades de GPN, é necessária uma infra-estrutura que permita a descrição de processos; a negociação e estabelecimento de contratos eletrônicos; o reuso de contratos, processos e serviços; e o monitoramento e a auditoria de processos. Como GPN lida com grandes volumes de informação e dados complexos como contratos e processos de negócio, pode se beneficiar de técnicas de reuso na modelagem, execução e monitoramento de processos. Neste projeto, introduzimos a abordagem de Linha de Produto e a técnica de modelos de características como uma forma mais eficiente e sistemática para permitir a reutilização de informações dentro do contexto de GPN.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Mestrado acadêmico: (2) . Integrantes: Marcelo Fantinato - Integrante / Maria Beatriz Felgar de Toledo - Coordenador / Itana Maria de Souza Gimenes - Integrante / Daniel Avila Vecchiato - Integrante / Leonardo Luís dos Santos - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T A: 7
Membro: Marcelo Fantinato.
13.   2009-2011. Uma infraestrutura para otimização de bancos de dados e controle de carga de trabalho
Descrição: Atualmente, otimizadores de bancos de dados utilizam índices e visões materializadas (VMs) para produzir planos de execução de consultas. Enquanto índices e VMs podem acelerar a execução de consultas, existe um custo para armazená-los e gerenciá-los. Este projeto pretende especificar e implementar uma infraestrutura capaz de recomendar um conjunto de índices e VMs com o propósito de otimizar um banco de dados, dadas uma carga de trabalho e a restrição de espaço disponível em disco. A solução almejada será genérica, podendo ser usada em qualquer sistema de gerenciamento de banco de dados relacional que utilize VMs na seleção de planos de execução de consultas. Enquanto o objetivo principal está relacionado a bancos de dados frequentemente atualizados, a solução almejada também poderá ser utilizada em bancos de dados estáticos (apenas de leitura) e na estimativa do comportamento de novos bancos de dados (com cargas de trabalho pré-definidas).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Luciano Antonio Digiampietri - Coordenador. Número de produções C, T A: 1 / Número de orientações: 3
Membro: Luciano Antonio Digiampietri.
14.   2009-2012. Uso da técnica de teste estrutural para o teste e monitoração de serviços
Descrição: Neste projeto de doutorado foram desenvolvidas técnicas e ferramentas para possibilitar o uso da técnica de teste estrutural (caixa-branca) em um ambiente em que tipicamente apenas a técnica de teste funcional (caixa-preta) é utilizada em razão da natureza dos Serviços Web.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Marcelo Medeiros Eler - Integrante / Paulo Cesar Masiero - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T A: 7
Membro: Marcelo Medeiros Eler.

2008

1.   2008-2012. Análise de Risco em Projetos de Tecnologia da Informação
Descrição: Este projeto de pesquisa teve como objetivo analisar os riscos envolvidos em projetos relacionados à área de tecnologia de informação (TI). A análise compreendeu não só a avaliação qualitativa e quantitativa dos riscos envolvidos, mas também o desenvolvimento de artefatos que possam orientar as organizações na melhoria dos processos de gerenciamento de projetos de TI. Para atingir esse objetivo, o projeto utilizou não apenas pesquisas empíricas com base em ciência comportamental, mas também pesquisas com o paradigma da ciência de design com a criação de artefatos que ampliam o conhecimento dentro do campo da gestão de projetos de TI, e aprimoram o processo de gestão de projetos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador / Samuel Otero Schmidt - Integrante / Renato Pereira de Almeida - Integrante / Douglas Fernandes da Silva Junior - Integrante. Financiador(es): Ministério da Educação - Bolsa. Número de produções C, T A: 7
Membro: Edmir Parada Vasques Prado.
2.   2008-Atual. Aspectos Sociais, Técnicos e Organizacionais de Sistemas de Informação e Engenharia de Software
Descrição: Este projeto de pesquisa em objetivo amplo de estudar e avaliar aspectos sociotecnicos dos sistemas de informação nas organizações e propor consequentes soluções que visem oferecer melhor apoio na busca pela vantagem competitiva dessas organizações, não apenas do ponto de vista de negócios, mas do ponto de vista de objetivos estratégicos como um todo, sendo apoiado pelos sistemas de informação.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Marcelo Fantinato - Coordenador / Sarajane Marques Peres - Integrante / Marcos Lordello Chaim - Integrante / Marcelo Morandini - Integrante / Edmir Parada Vasques Prado - Integrante / Esteban Fernandez Tuesta - Integrante / Clodis Boscarioli - Integrante / Jorge Bidarra - Integrante / Guilherme Banduki Margarido Salles - Integrante / Alexandre Joaquim Julio - Integrante / Renata C. B. Madeo - Integrante / Neilson C. L. Ramalho - Integrante / Fernando H. I. B. Ferreira - Integrante / Maruscia Baklizky - Integrante / Keith Seixas de Souza - Integrante / Carolina Lima de Melo - Integrante. Número de produções C, T A: 48 / Número de orientações: 2
Membro: Marcelo Fantinato.
3.   2008-Atual. Educação em Sistemas de Informação
Descrição: Este projeto engloba várias inciativas em educação que ocorrem no contexto do curso de graduação em Sistemas de Informação da EACH-USP. As principais delas envolvem o estudo e avaliação de novas técnicas e métodos de ensino de disciplinas de graduação, em particular disciplinas que tratam de desenvolvimento de sistemas e avaliação comparativa da grade curricular dos cursos de graduação em Sistemas de Informação no Brasil e no mundo.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcos Lordello Chaim - Coordenador. Número de produções C, T A: 6
Membro: Marcos Lordello Chaim.
4.   2008-Atual. Estratégias Sistemáticas e Automatizadas de Teste de Software
Descrição: Este projeto de pesquisa tem o objetivo de investigar e propor soluções para diversas necessidades relacionados a atividades de teste de software, em diferentes campos da engenharia de software, focando principalmente no teste de software funcional e baseado em modelos.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . Integrantes: Marcelo Fantinato - Coordenador / Mario Jino - Integrante / Marcos Lordello Chaim - Integrante / Camila Socolowski - Integrante / Danilo Modesto Sousa - Integrante / Marcelo José Gomes Faria - Integrante / Leticia Mayumi Nagao - Integrante / Saulo Veronesi Ferreira Santos - Integrante / Regis Hideki Hattori - Integrante. Número de produções C, T A: 5 / Número de orientações: 4
Membro: Marcelo Fantinato.
5.   2008-2011. Implementação de realismo em um Framework para treinamento médico virtual Financiador: Conselho Nacional de Desenvolvimento Científico e Tecnológico-CNPq ? Bolsa Produtividade nível 2
Descrição: Em um projeto anterior (CNPq Processo 304590/2004-5 ? Bolsa PQ), foi proposto e implementado um Framework, denominado ViMeT, que disponibiliza classes destinadas a gerar ambientes virtuais, com funcionalidades para simular exames de punção. Atualmente, por meio do ViMeT é possível gerar aplicações com as seguintes características: Ambiente Virtual dinâmico, com dois objetos modelados - um para representar o órgão humano e outro para representar o instrumento médico; inclusão das funcionalidades de estereoscopia, detecção de colisão e deformação; uso de um Sistema Gerenciador de Banco de Dados para armazenar dados dos objetos modelados e das aplicações geradas e interação utilizando mouse e teclado. O objetivo deste projeto é implementar realismo no ViMeT, por meio de aperfeiçoamento do AV e de técnicas já implementadas, assim como de inclusão de novas funcionalidades, relacionadas principalmente à interação e visualização, permitindo que as aplicações geradas por ele possam ser aplicadas na rotina real de treinamento médico. Desta forma, tem-se como objetivos específicos: ·aperfeiçoar a modelagem tridimensional de objetos; ·aperfeiçoar o procedimento de deformação implementado; ·incluir novas formas de interação, com equipamentos não convencionais; ·incluir novas técnicas de detecção de colisão e deformação; ·avaliar as aplicações geradas com estudantes e professores da área de Medicina.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
6.   2008-2015. INCT-MACC - Instituto Nacional de Ciência e Tecnologia - Medicina Assistida por Computação Científica / Framework para simulação de exames de biópsia
Descrição: A missão do INCT-MACC é realizar pesquisa e desenvolvimento em computação científica e suas aplicações na medicina, em especial a modelagem e simulação computacional dos sistemas fisiológicos que integram o corpo humano; promover o desenvolvimento do processamento de imagens médicas, da visualização científica e da realidade virtual no desenvolvimento de aplicativos médicos orientados para a diagnose auxiliada por computador, tratamento, planejamento cirúrgico, treinamento e credenciamento médico; empregando as mais modernas técnicas de comunicação e transmissão multimídia desenvolver e gerenciar ambientes computacionais de alto desempenho que atendam às necessidades da medicina assistida por computação científica do País; formar recursos humanos e promover transferência de tecnologia e inovação para a área da saúde assistida por computação científica. Dentro deste contexto, um objetivo particular é desenvolver um Framework, denominado ViMeT, que disponibiliza classes destinadas a gerar ambientes virtuais, com funcionalidades para simular exames de biópsia. Com a instanciação do Framework construído pretende-se tornar possível a construção de novas aplicações para treinamento médico com maior produtividade. Com essas aplicações, estudantes de Medicina podem treinar o procedimento quantas vezes forem necessárias antes de realizá-lo em pacientes reais. Em médio prazo, é possível diminuir o custo do treinamento médico e oferecer subsídios para incluir uma nova cultura na rotina da educação médica. O projeto faz parte Instituto Nacional de Ciência e Tecnologia de Medicina Assistida por Computação Cientifica INCT MACC, coordenado por Raul Feijó. Edital Nº 15/2008 do MCT, CNPq, FNDCT, CAPES, FAPEMIG, FAPERJ e FAPESP.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (3) . Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Integrante / Márcio Eduardo Delamaro - Integrante / Ildeberto Aparecido Rodello - Integrante / Romero Tori - Integrante / Hélio Pedrini - Integrante / Raul Antonino Feijoó - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T A: 2 / Número de orientações: 1
Membro: Fátima de Lourdes dos Santos Nunes Marques.
7.   2008-2012. Lógica Probabística: Fundamentos e Aplicações Computacionais
Descrição: Projeto Temático FAPESP, processo 2008/03995-5, em Lógica e Probabilidade, com aplicações em Planejamento Probabilístico e Raciocínio Espacial, sob coordenação de Marcelo Finger, e pesquisadores principais, Leliane Nunes de Barros e Fábio Cozman. Resumo: Das possíveis formas de raciocínio que um agente racional pode utilizar, o raciocínio lógico e as inferências probabilisticas estão entre as que recebem maior destaque na prática, sendo incorporadas em modelos e em programas de computador para a realização das mais diversas tarefas. No entanto, as interações possíveis entre estas formas de raciocínio ainda não são muito bem compreendidas, tanto do ponto de vista teórico como no de aplicações computacionais. Do ponto de vista teórico, ainda está-se por estabelecer, de forma equívoca, relações entre valores verdades e distribuições de probabilidades sobre fórmulas. Do ponto de vista de aplicações, ainda está-se tentanto estabelecer a fronteira entre quando empregar inferências lógicas e quando empregar inferências estatísticas. Este projeto pretende investigar estas questões, tanto do aspecto teórico quanto do aspecto de aplicações computacionais. Abordaremos a área de satisfatibilidade probabilística, lógicas de descrição probabilísticas para web semântica, planejamento probabilístico e análise de cenas. Estre projeto pretende desenvolver softwares que abordem os temas investigados e disponibilizá-los através de uma licença de software livre dentro do escopo da Divisão de Inteligência Artificial do Centro de Competência em Software Livre da USP.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Karina Valdivia Delgado - Integrante / Leliane Nunes de Barros - Integrante / Renata Wassermann - Integrante / MARCELO FINGER - Coordenador / Fabio Cozman - Integrante / Paulo Eduardo Santos - Integrante / Anna Helena Reali Costa - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Karina Valdivia Delgado.
8.   2008-2010. Novas Abordagens de Aprendizado de Máquina e Mineração de Dados Dirigidas à Análise e Previsão de Séries Temporais
Descrição: O escopo de investigação do presente projeto se encontra na interseção de três áreas de pesquisa correlatas, quais sejam a de Aprendizado de Máquina (AM), Mineração de Dados (MD) e Análise e Previsão de Séries Temporais. Pretende-se investigar e comparar novas abordagens destinadas ao pré-processamento, à extração de padrões escondidos e à construção de modelos de previsão mais robustos com base em dados de séries temporais estocásticas ou caóticas mediante a aplicação de técnicas avançadas de aprendizado de máquina e mineração de dados. Mais especificamente, as linhas de investigação propostas envolvem: (i) o estudo e implementação de novos algoritmos de previsão e análise de dados temporais baseados no conceito de máquinas de kernel; (ii) o projeto automático via métodos de otimização bioinspirada de arquiteturas de comitês de máquinas (ensembles e misturas de especialistas) compostas por modelos homogêneos e heterogêneos (lineares ou não-lineares) de preditores de curto ou longo prazo; (iii) a comparação de diferentes abordagens voltadas à limpeza, seleção e extração de características de dados temporais; e (iv) a concepção e avaliação de técnicas de mineração de dados destinadas às tarefas de classificação, agrupamento, detecção de correlações e detecção de anomalias em séries temporais. Dentre os tipos de séries temporais, pretende-se dar um maior destaque ao estudo de séries financeiras e fisiológicas e sinais de natureza caótica imersos em ruído. Desse modo, este projeto envolverá atividades de pesquisa a serem conduzidas em paralelo tanto nos domínios de AM e MD como no de séries temporais, enfatizando a sua integração.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Clodoaldo Aparecido de Moraes Lima - Integrante / André Luis Vasconcelos Coelho - Integrante / Marcio Eisencraft - Integrante / Guilherme de Alencar Barreto - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Clodoaldo Aparecido de Moraes Lima.
9.   2008-2010. Plataforma para o Ensino da Informática
Descrição: Este projeto visa desenvolver um ambiente computacional a ser utilizado por professores e alunos para o aperfeiçoamento no aprendizado de disciplinas ligadas à computação. O domínio "desenvolvimento jogos" foi escolhido pelos seguintes motivos: (i) por envolver os mais diversos assuntos da computação; (ii) por ser de interesse dos alunos e das empresas; (iii) por apresentar desafios científicos; e (iv) pela sua grande visibilidade para alunos do ensino médio. A seguir, cada um desses motivos é descrito. O desenvolvimento de jogos envolve aspectos de diversas áreas da Ciência da Computação. Destacamos: (a) Engenharia de Software: projeto, implementação e testes; (b) Interface Humano-Computador: interface gráfica, aspectos de acessibilidade e jogabilidade; (c) Inteligência Artificial: representação de conhecimento; (d) algoritmos de busca para implementação de bots; (e) Sistemas Distribuídos; (f) Redes Sociais; (g) Algoritmos e Estruturas de Dados; entre outros. Cada uma destas disciplinas poderia tirar proveito deste ambiente para apresentar exemplos práticos nas aulas ou mesmo para o desenvolvimento de projetos práticos. Além do desenvolvimento de jogos, este projeto também aborda o desenvolvimento de simuladores / visualizadores de algoritmos clássicos da computação.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Luciano Antonio Digiampietri - Integrante / Flavio Soares Correa da Silva - Coordenador. Financiador(es): Microsoft Brasil - Auxílio financeiro. Número de produções C, T A: 2 / Número de orientações: 2
Membro: Luciano Antonio Digiampietri.
10.   2008-2010. Processamento Digital de Sinais e Aprendizado de Máquina
Descrição: O objetivo principal deste projeto é vislumbrar novas possibilidades de aplicação de técnicas estabelecidas de Processamento Digital de Sinais (técnicas de extração e seleção de características) e de Aprendizado de Máquina (Máquinas de Vetores Suporte, Modelos de Mistura, Agrupamento de Máquinas, Redes Neurais), assim como estendê-las e adaptá-las, tomando os problemas de processamento de sinais em Telecomunicações como alvos de investigação. Dentre os problemas abordados neste projeto, pode-se citar: classificação de sinais de eletro-encefalograma e eletro-cardiograma, caracterização de sinais caóticos, equalização de canais, estimação do ângulo de direção de chegada em antenas adaptativas, mineração de dados em séries temporais, predição de series temporais, reconhecimento e síntese de sinais de voz.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Clodoaldo Aparecido de Moraes Lima - Integrante / André Luis Vasconcelos Coelho - Integrante / Marcio Eisencraft - Coordenador / Maria D. Miranda - Integrante / Magno T. M. Silva - Integrante.
Membro: Clodoaldo Aparecido de Moraes Lima.
11.   2008-2010. Uma linha de produto de apoio a processos de negócio
Descrição: Este projeto propõe uma linha de produto de apoio ao gerenciamento de processos de negócios baseados na tecnologia de serviços Web que: (i) permita a reutilização de artefatos como contratos eletrônicos, processos de negócio e serviços Web; e, (ii)realize estudos experimentais sobre os modelos, métodos e ferramentas propostos. Esta linha de produto auxiliará os fornecedores e consumidores de processos de negócio e serviços Web a identificar potenciais serviços, selecionar as características os serviços negociados e firmar acordos que permitam a definição de atributos de qualidade dos serviços negociados.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . Integrantes: Marcelo Fantinato - Integrante / Maria Beatriz Felgar de Toledo - Integrante / Itana Maria de Souza Gimenes - Coordenador / Alessandro Fabricio Garcia - Integrante / Tiago Lopes Gonçalves - Integrante / Guilherme Horta Travassos - Integrante / Gabriel Costa Silva - Integrante / Mario Freitas da Silva - Integrante / Vanderson Hafemann Fragal - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T A: 7
Membro: Marcelo Fantinato.
12.   2008-2011. Uma Radiografia do Ensino Superior em Sistemas de Informação no Brasil
Descrição: Este projeto objetiva efetuar uma análise dos cursos de Bacharelado em Sistemas de Informação das universidades brasileiras, analisando as circunstâncias de sua criação, expansão e contextualizando sua oferta e abordagem de forma comparada com experiências internacionais e com o perfil de profissional demandado pelo mercado. A investigação será de natureza exploratória utilizando-se do levantamento de informações primárias de cursos, além de levantamento bibliográfico sobre o perfil do profissional de SI demandado pelo mercado. Será dada especial ênfase à análise de aspectos organizacionais e sociotécnicos, procurando verificar em que medida os cursos analisados abrangem esses aspectos e comparando-os com a abordagem do curso de Sistemas de Informação da Escola de Artes, Ciências e Humanidades da Universidade de São Paulo. Como resultado, será confeccionada uma análise aprofundada de matrizes curriculares e outros dados qualitativos (objetivo dos cursos, público-alvo, localização) de alguns cursos selecionados, com o intuito de compor um quadro do ensino de graduação em sistemas de informação no Brasil na atualidade.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Edmir Parada Vasques Prado - Integrante / João Porto de Albuquerque - Coordenador / Fernando de Souza Coelho - Integrante. Financiador(es): (USP) Universidade de São Paulo - Bolsa. Número de produções C, T A: 2
Membro: Edmir Parada Vasques Prado.
13.   2008-2013. VIDA - Virtual and Interactive Distance-learning on Anatomy
Descrição: As aplicações de Realidade Virtual podem oferecer ferramentas diferenciadas para profissionais e alunos da área de saúde. Convencionalmente o material didático para o ensino de anatomia e fisiologia é composto por livros, cadáveres e objetos físicos que simulam estruturas do corpo humano. Os livros, em geral, proporcionam somente a representação bidimensional das estruturas, enquanto que os cadáveres apresentam dificuldades em relação a sua obtenção e custo elevado de manutenção. Da mesma forma, os objetos físicos de simulação muitas vezes têm uso limitado devido ao desgaste ou à dificuldade de reproduzir situações reais. Por meio de atlas virtuais, estudantes e docentes podem visualizar estruturas do corpo humano e procedimentos de forma mais interativa, possibilitando maior abrangência das situações quando comparado com as ferramentas tradicionais para o ensino dessa área. O objetivo deste projeto é a construção de um atlas virtual interativo e tridimensional para estudo de anatomia e fisiologia relacionadas às ações inerentes ao procedimento de parto, a fim de fornecer uma ferramenta dinâmica para docentes e alunos da área de obstetrícial, inicialmente, sendo ampliado posteriormente para outras áreas. O atlas virtual proposto neste projeto utilizará objetos modelados que representam estruturas do corpo humano e técnicas de interação para permitir variação de situações para imprimir flexibilidade e dinamismo ao ensino da área. Além do atlas virtual que será uma ferramenta didática inicialmente para a área de obstetrícia, será gerado material didático (tutoriais ou apostilas) para uso em cursos da área de informática, tendo as implementações realizadas como exemplo de aplicação em diversas áreas do ensino da Computação.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Integrante / Romero Tori - Coordenador / Maria Fernanda Diniz - Integrante / Ricardo Nakamura - Integrante.
Membro: Fátima de Lourdes dos Santos Nunes Marques.

2007

1.   2007-2011. Banco de Dados para as pesquisas do programa Transtornos do Espectro Obsessivo-Compulsivo do Instituto de Psiquiatria da Faculdade de Medicina da USP
Descrição: A articulação e o cruzamento das informações geradas a partir dos diversos módulos do projeto temático FAPESP "CARACTERIZAÇÃO FENOTÍPICA, GENÉTICA E NEUROBIOLÓGICA DO TRANSTORNO OBSESSIVO-COMPULSIVO E SUAS IMPLICAÇÕES PARA O TRATAMENTO" requerem uma infra-estrutura eficiente de armazenamento e recuperação de informação. Este projeto tem o objeivo de desenvolver um banco de dados para apoiar às necessidades de busca e recuperação de informações geradas neste projeto temático, atendendo os desafios computacionais nele envolvidos. Coordenadores: João Eduardo Ferreira e Ariane Machado Lima. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) . Integrantes: Ariane Machado Lima - Coordenador / João Eduardo Ferreira - Integrante / Eurípedes Constantino Miguel Filho - Integrante / Beny Lafer - Integrante / Rodrigo da Silva Dias - Integrante / Rodrigo Müller de Carvalho - Integrante / Mina Cintho - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.Número de orientações: 2
Membro: Ariane Machado Lima.
2.   2007-2013. Definição de oráculos de teste para programas com saída gráfica usando recuperação baseada em conteúdo
Descrição: Uma questão bastante básica, porém nada trivial, na atividade de teste de software é como decidir se o omportamento de um programa P com um determinado dado de teste é correto ou não. O mecanismo que se utiliza para definir a saída ou o comportamento esperado de uma execução de P é conhecido como "oráculo''. Um ponto particularmente delicado na automatização de um oráculo aparece quando as saídas a serem comparadas se encontram num formato não trivial, como, por exemplo, a tela de uma interface gráfica ou uma outra imagem produzida pelo programa sendo considerado. Técnicas específicas devem ser desenvolvidas para tal, e constituem, exatamente, o tema central deste projeto, durante o qual pretende-se utilizar conceitos de ?recuperação de imagens baseada em conteúdo?, processo que emprega técnicas de processamento de imagens para extrair características de imagens e utiliza-as em buscas por similaridade, para auxiliar na atividade de teste, permitindo a automatização de oráculos gráficos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Fátima de Lourdes dos Santos Nunes Marques - Integrante / Márcio Eduardo Delamaro - Coordenador / Rafael A. P. Oliveira - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Fátima de Lourdes dos Santos Nunes Marques.
3.   2007-2012. Estudo exploratório sobre o fornecimento de serviços de Tecnologia de Informação
Descrição: O projeto de pesquisa estudou o outsourcing da tecnologia de informação (TI) em organizações do Brasil. O objetivo da pesquisa foi proporcionar uma compreensão sobre o sourcing de serviços de TI em organizações de médio e grande porte, por meio da análise dos processos de seleção, contratação e gestão dos serviços. Para atingir esse objetivo, o projeto utilizou pesquisas empíricas em organizações, por meio de um paradigma positivista de Sistemas de Informação. O resultado contribuiu para reconhecer as melhores práticas de outsourcing aplicadas pelos gestores de TI em organizações brasileiras, bem como identificou os fatores de risco associados ao outsourcing.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Edmir Parada Vasques Prado - Coordenador / Fulvio Cristofoli - Integrante / Samuel Otero Schmidt - Integrante / Neilson Carlos Leite Ramalho - Integrante. Número de produções C, T A: 13 / Número de orientações: 1
Membro: Edmir Parada Vasques Prado.
4.   2007-2011. Identificação de RNAs não codificantes em transtornos psiquiátricos e envelhecimento cerebral
Descrição: RNAs não codificantes (ncRNAs) são RNAs funcionais que, ao invés de serem traduzidos para proteínas, desempenham eles mesmos diversas atividades importantes. Muitos deles exercem um papel regulatório do mecanismo de expressão gênica, controlando a atividade de diversos genes, codificantes ou não. Mutações ou a má regulação desses ncRNAs estão relacionadas com diversas doenças como enfarto, câncer e transtornos neurológicos e transtornos neuropsiquiátricos (TNPs). Um transtorno neuropsiquiátrico de relevância mundial é conhecido como Transtorno Obsessivo-Compulsivo (TOC). O TOC é um transtorno que causa acentuado sofrimento e/ou prejuízo funcional e que afeta aproximadamente 1 a 3\% da população mundial. A exemplo de outros TNPs, ainda não foi identificado nenhum ncRNA associado ao TOC. No entanto, recentes e constantes descobertas têm revelado o envolvimento dessas moléculas em muitos TNPs. Dentre esses TNPs estão Alzheimer, epilepsia, X frágil, Parkinson, ataxia espinocerebelar, doenças de príons, esquizofrenia, síndrome de Tourette e de Prader-Willi, sendo que as três últimas apresentam comorbidade com TOC. Além de associação com transtornos, vários ncRNAs exercem importantes papéis no desenvolvimento normal do sistema nervoso central e de várias outras atividades celulares. É esperado que muitos ncRNAs ainda não tenham sido identificados. Desta forma, novos ncRNAs envolvidos em TNPs podem estar ocultos nas regiões ``intergênicas'' e intrônicas. Considerando essas evidências, acreditamos que devam existir ncRNAs envolvidos não só em TOC como também em um amplo espectro de TNPs. A descoberta desses ncRNAs e de seus envolvimentos com os vários TNPs pode auxiliar no desenvolvimento de novas terapias. A fim de iniciar esse processo de descoberta, este projeto propõe a realização de uma seleção de ncRNAs já conhecidos e de uma busca por novos ncRNAs, ambos potencialmente relacionados com TNPs, incluindo TOC. O projeto também inclui uma validação inicial de candida. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . Integrantes: Ariane Machado Lima - Coordenador / Carlos Alberto de Bragança Pereira - Integrante / Helena P. Brentani - Integrante / Eurípedes Constantino Miguel Filho - Integrante / Ana G. Hounie - Integrante / Carolina Cappi - Integrante / Lea Grindberg - Integrante / Wilson Jacob Filho - Integrante / Kátia Oliveira - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T A: 1
Membro: Ariane Machado Lima.
5.   2007-2011. QualiPSo --- Quality Platform for Open-Source Software
Descrição: O projeto QualiPSo ("Quality Plataform for Open Source") propõe-se a definir e implementar tecnologias, procedimentos, leis e políticas com o objetivo de potencializar as práticas de desenvolvimento de software livre, tornando-as confiáveis, reconhecidas e estabelecidas na indústria. Para viabilizar o projeto e a sustentação do software livre como uma solução confiável para a indústria, foi criado um consórcio formado por indústrias, academia e governo. O projeto conta com a participação de colaboradores de diferentes origens: França, Itália, Brasil, Espanha, China e Alemanha.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcos Lordello Chaim - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Delano Medeiros Beder - Integrante. Financiador(es): Comissão Européia - Auxílio financeiro. Número de produções C, T A: 2
Membro: Marcos Lordello Chaim.
6.   2007-2010. Reconhecimento do conteúdo programático de Ciências do Ensino Fundamental para o desenvolvimento de softwares educacionais
Descrição: O presente projeto visa o desenvolvimento de material didático na forma de softwares educacionais que serão empregados no Ensino de Ciências para o Nível Fundamental. Será realizado o reconhecimento do conteúdo programático recomendado pelo Ministério da Educação e Cultura para o Ensino de Ciências para que sejam desenvolvidas atividades adequadas ao currículo e a faixa etária dos alunos de cada período do Ensino Fundamental. Tais atividades serão convertidas em softwares de ensino. Também é objetivo deste projeto viabilizar a adequação dos softwares concebidos para o uso por alunos deficientes auditivos, os quais possuem caracteríticas cognitivas especiais, que devem ser levadas em consideração quando da concepção do material didático utilizado na sua educação. Inicialmente tais softwares serão aplicados em escola pública da Zona Leste de São Paulo sob o acompanhamento e supervisão dos professores afetos e, com o alcance da sua maturidade atestada com a avaliação da eficiência do seu uso, poderão ser aplicados a outras escolas públicas do Estado de São Paulo. Em uma outra estapa os softwares serão disponibilizados gratuitamente na rede mundial de computadores. Todas as atividades serão realizadas sob a coordenação, orientação e supervisão dos professores do DESSEC, grupo interdisciplinar para Desenvolvimento de Softwares para Ensino de Ciências.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Sarajane Marques Peres - Integrante / Edmir Parada Vasques Prado - Integrante / Geórgia C. Labuto Araújo - Coordenador / Rosana Retsos Signorelli Vargas - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Membro: Sarajane Marques Peres.
7.   2007-2010. Simulação de Estratégias de Instrumentação de Programas
Descrição: Teste de software é uma das atividades que demandam mais tempo dos programadores. Apesar da existência de técnicas de teste eficazes, como o teste baseado em análise de fluxo de dados, na maioria das vezes o teste é realizado de maneira \textit{ad hoc}. Um dos problemas é o custo envolvido na instrumentação de programas para determinar a cobertura dos testes em ambientes reais. Nesses ambientes, os programas executam milhões de comandos e determinar a cobertura pode ser inviável. Novas estratégias de instrumentação de código objeto têm sido propostas para tratar este problema. No entanto, comparar essas estratégias é uma atividade difícil, pois implica a manipulação de código objeto para a implementação das estratégias. Nesse projeto é proposto o desenvolvimento de um simulador de estratégias de instrumentação de programas. A idéia é simular os procedimentos dessas estratégias sem implementá-las em código objeto. Dessa maneira, pretende-se comparar as diferentes estratégias, e variantes delas, para determinar a mais eficiente para apoiar o teste e a depuração baseados em análise de fluxo de dados.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) . Integrantes: Marcos Lordello Chaim - Coordenador / Anthony Accioly - Integrante / Roberto Andrioli de Araujo - Integrante / Felipe de Alencar Albuquerque - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T A: 2 / Número de orientações: 4
Membro: Marcos Lordello Chaim.
8.   2007-2012. Técnicas Computacionais Inteligentes e Bio-Inspiradas para Suporte ao Desenvolvimento e Aprimoramento de Tecnologias Assistivas
Descrição: O escopo em que este projeto abrange a modelagem e desenvolvimento de rotinas que possibilitem a criação de ferramentas que possam: facilitar o entendimento dos sinais e formas de expressão do deficiente auditivo para aqueles que não sofrem da mesma dificuldade - o processamento de sinais utilizados na língua de sinais e a sua tradução para o respectivo significado na língua portuguesa; facilitar o entendimento dos sinais do mundo oralista para aqueles indivíduos portadores de deficiência auditiva - o tratamento de informação expressa em sinais naturais do oralista (como a língua portuguesa, por exemplo) a fim de torná-la mais simples ao entendimento do deficiente auditivo oralista ou falante da língua de sinais. Para isto, far-se-á uso de técnicas inteligentes e bio-inspiradas como lógica fuzzy, redes neurais artificiais, computação evolutiva entre outras, que são suscetíveis à aplicação em problemas que exigem o tratamento e mapeamento de informações, muitas vezes imprecisas e incertas, armazenadas em diferentes formas de representação como imagem ou texto.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) . Integrantes: Sarajane Marques Peres - Coordenador. Número de produções C, T A: 16 / Número de orientações: 24
Membro: Sarajane Marques Peres.

2005

1.   2005-2011. InteGrade - a middleware for opportunistic Grid Computing
Descrição: O Projeto InteGrade [http://integrade.org.br] visa desenvolver um middleware inovador que permita a utilização de recursos computacionais ociosos existentes em instituições acadêmicas e empresariais para a execução de aplicações científicas, industriais e de entretenimento que demandem alto podercomputacional. O middleware é baseado em tecnologias avançadas de objetos distribuídos e fornece suporte à execução de aplicações paralelas com um nível significativo de comunicação entre os nós (ao contrário de aplicações tipo \emph{bag of tasks} onde não há comunicação entre os nós). O middleware do InteGrade possibilita a formação de \emph{Grades Computacionais Oportunistas}, i.e., coleções de aglomerados (\emph{clusters}) de computadores formados a partir de máquinas já existentes em um grupo de instituições. O objetivo do InteGrade é oferecer aos usuários da Grade esse enorme poder computacional sem comprometer a Qualidade de Serviço oferecida aos usuários locais e respectivos donos dos computadores compartilhados, os quais devem sempre ter prioridade.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (8) / Mestrado profissional: (8) / Doutorado: (5) . Integrantes: Daniel de Angelis Cordeiro - Integrante / Marcelo Finger - Integrante / Fábio Moreira Costa - Integrante / Francisco José da Silva e Silva - Integrante / Markus Endler - Integrante / Siang Wun Song - Integrante / Renato Fontoura de Gusmão Cerqueira - Integrante / Fernando Castor Filho - Integrante / Edson Cáceres - Integrante / Raphael Yokoingawa de Camargo - Integrante / Eduardo Laber - Integrante / Henrique Mongelli - Integrante / Alfredo Goldman vel Lejbman - Integrante / Fabio Kon - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa. Número de produções C, T A: 1
Membro: Daniel de Angelis Cordeiro.


(*) Relatório criado com produções desde 2010 até 2018
Data de processamento: 03/03/2019 22:47:59