Sergio Vale Aguiar Campos

possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (1986), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (1990), mestrado em Ciência da Computação - Carnegie Mellon University (1992) e doutorado em Ciência da Computação - Carnegie Mellon University (1996). Atualmente é professor associado da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: symbolic model checking, verificacao formal, sistemas de tempo real, algoritmos simbolicos. Atua também em pesquisa na área de Bioinformática, trabalhando com sistemas de gerência de dados biológicos, ou Laboratory Information Management Systems.

Informações coletadas do Lattes em 06/09/2025

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

1990 - 1996

Carnegie Mellon University
Título: A Quantitative Approach to the Formal Verification of Real-Time Systems
Orientador: Edmund M Clarke

Mestrado em Ciência da Computação

1990 - 1992

Carnegie Mellon University
Título: Mestrado sem dissertação, Ano de Obtenção: 1992
Orientador: Idem acima
Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

1987 - 1990

Universidade Federal de Minas Gerais
Título: Um Algoritmo para Exclusão Mútua e sua Implementação
Orientador: Osvaldo Sérgio Farhat de Carvalho
, Ano de Obtenção: 1990.

Graduação em Ciência da Computação

1983 - 1986

Universidade Federal de Minas Gerais

Pós-doutorado

2019 - 2020

Pós-Doutorado. , Massachusetts Institute of Technology, MIT, Estados Unidos. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de software.

1996 - 1997

Pós-Doutorado. , Carnegie Mellon University, CMU, Estados Unidos. , Grande área: Ciências Exatas e da Terra

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Bioinformática/Especialidade: Armazenamento e Análise de Dados Biológicos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Organização de eventos

Campos, Sérgio . Brazilian Symposium on Bioinformatics. 2015. (Congresso).

OLIVEIRA, G. ; Campos, Sérgio . 10th International Conference of the AB3C, Associação Brasileira de Bioinformática e Biologia Computacional. 2014. (Congresso).

OLIVEIRA, G. ; Campos, Sérgio . Meeting of the International Society for Computational Biology, Latin America. 2014. (Congresso).

Campos, Sérgio V.A. ; OLIVEIRA, G. . Brazilian Symposium on Bioinformatics. 2014. (Congresso).

Participação em bancas

Aluno: Gabriel A Novillo

FERNANDEZ, L. B.;Campos, Sérgio. Definición de um patrón de diseño de um Cuadro de Mando Integral aplicado a Gobiernos Urbanos. 2016. Dissertação (Mestrado em Ciência da computação) - Universidad Nacional de San Luis.

Aluno: Handressa Pereira Fêu

GRANJEIRO, J. M.; FARIACAMPOS, Alessandra C;FLATSCHART, A. F.Campos, Sérgio. Desenvolvimento de Fluxos de Trabalho (Workflows) para Implementação de Boas Práticas de Laboratórios (BPL). 2015. Dissertação (Mestrado em Biotecnologia) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

Aluno: Leandro Israel Pinto

ROSSO, R. S. U.; LEAL, A. B.;CAMPOS, S. V. A.. UM MÉTODO DE RECONFIGURAÇÃO DINÂMICA SEGURA E SUA APLICAÇÃO EM SISTEMAS ADERENTES À IEC 61499. 2019. Tese (Doutorado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Wanessa Luciene Fonseca Tavares Vicentini

FONSECA, LEORGES M.; CERQUEIRA, M.; LEITE, M.;CAMPOS, S. V. A.. Uso de espectrofotometria FTIR (fourier transform infrared) e mineração de dados para a detecção e identificação de adulterantes no leite cru. 2019. Tese (Doutorado em Ciência Animal) - Universidade Federal de Minas Gerais.

Aluno: Raghid El Yafouri

KLIEB, L.;Campos, Sérgio. Electronic Medical Records Adoption and Use Understanding the Barriers and the Levels of Adoption for Physicians in the USA. 2015. Tese (Doutorado em Doctorate in Business Administration) - Grenoble Ecole de Management.

Aluno: Daniela Cristina Solo de Zaldivar Ribeiro

FONSECA, LEORGES M.; CERQUEIRA, M.; LEITE, M.;CAMPOS, S. V. A.. Uso da espectroscopia FTIR para quantificação de lactose. 2018. Exame de qualificação (Doutorando em Ciência Animal) - Universidade Federal de Minas Gerais.

CAMPOS, S. V. A.; SIMAO, A. S.; MACHADO, P. D. L.. Presidência da Comissão de Avaliação para Promoção para Professor Titular. 2019. Universidade Federal de Pernambuco.

Orientou

Gabriel Marinello

Visualizações Alternativas em Sistemas de Gestão de Dados Laboratoriais; Início: 2021; Dissertação (Mestrado profissional em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Adriana pereira

Gerenciamento Integrado de Experimentos Laboratoriais; Início: 2021; Dissertação (Mestrado profissional em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Fábio Buritis

Projeto Conceitual de Sistemas Médicos; Início: 2021; Dissertação (Mestrado profissional em Bioinformática) - Universidade Federal de Minas Gerais; (Orientador);

Alexandre Alphonso

Bioconceitos, Conceptual Design for Software para Softwares Médicos; Início: 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Mário Luiz Rodrigues Oliveira

Um Sistema de Tradução Simulink-SMV para Verificação de Modelos; Início: 2017; Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Elizabeth Espinoza

Gestão Integrada de Experimentos de Proteômica; Início: 2021; Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Gustavo Carnivali

Drug Repurposing using GCNs, COVID-19 as a Case Study; Início: 2020; Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; (Orientador);

Daniel Conrado

BioConcepts: Conceptual Design for Biomedical Applications, Lessons from Software Design; Início: 2019; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Herbert Rausch

Verificação Probabilística de Sistemas de Transporte de Íons; Início: 2017; Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais; (Orientador);

Daniela Vale Campos Barbosa

Reconstrução Filogenética Utilizando Análise Completa de DNA; Início: 2005; Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais; (Orientador);

José Carlos Serufo

Início: 2020; Universidade Federal de Minas Gerais;

Cláudio Campanha Félix

VERIFICAÇÃO DE PROJETOS DE CONTROLE DE VEÍCULOS AÉREOS AUTÔNOMOS; 2020; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Ana Beatriz Delavia Thomasi

CASIDS: CHRONIC ARSENIC INTOXICATION DIAGNOSTIC SCORE IDENTIFICATION SYSTEM; 2019; Dissertação (Mestrado em Bioinformática) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Juliana Silva Nunes

Otimização Bayesiana e Extreme Gradient Boosting Aplicados à Predição de Função de Proteína; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Paulo Henrique Batista

Desenvolvimento de uma Estrutura para Responsabilidade após-o-fato em um S-RES Adaptável; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Demian Bueno

BDDBlast, A Memory and Time Efficient Architecture for Pairwise Alignments; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Eduardo Ferreira Liboredo

Mineração de Dados Aplicada à dados Médicos; 2015; Dissertação (Mestrado em Bioinformática) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Fernando Braz

Verificação Probabilística de Modelos para Modelagem e Análise de Interações de Toxinas com Sistemas de Transporte Transmembrânico de Íons; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio Vale Aguiar Campos;

Herbert Rausch Fernandes

BioBI, uma Ferramenta para Mineração de Dados em Bioinformática; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Alexandre Simões de Melo

SIGLa: Um LIMS baseado em workflows adaptáveis com suporte a múltiplos laboratórios; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Pedro de Carvalho Gomes

Abstrações semiautomáticas na verificação de modelos simétricos; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio Vale Aguiar Campos;

João Ferreira D' Araújo e Oliveira

Super Nós em sistemas P2P de distribuição de mídia ao vivo; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Sergio Vale Aguiar Campos;

Daniel Rezende Silveira

Síndrome-Fortuna:Uma abordagem viável para a geração de números pseudoaleatórios no linux; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Coorientador: Sergio Vale Aguiar Campos;

Cristiano Santos Botelho

Definição de Visões em um LIMS Orientado a Fluxo de Trabalho para Gerenciamento de Dados e Processos Laboratoriais; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Sergio Vale Aguiar Campos;

Mirlaine Aparecida Crepalde

ANÁLISE DO COMPORTAMENTO DE CANAIS IÔNICOS UTILIZANDO MODEL CHECKING SIMBÓLICO; 2009; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Daniel Oliveira Nascimento

Monitoração Avançada de Redes de Computadores de Grande Escala; 2007; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, ; Orientador: Sergio Vale Aguiar Campos;

João de Abreu e Tôrres

PCT - Uma Ferramenta para Anotação de Proteínas Utilizando Bases Secundárias; 2006; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Alex Borges Vieira

Sistema Gerador de Apresentações para Ensino a Distância; 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Hugo Valentim Barros

Um Algoritmo Distribuído para Verificação de Modelos com Fronteiras; 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Alberto Rubens Beckler

Verificação Formal de Protocolos para Sistemas de Tempo Real Tolerantes a Falhas; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Guilherme Rocha Ribeiro

DEVICE ANYWHERE: Acesso Otimizado a Recursos em Sistemas Distribuídos; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Judson Santos Santiago

Particionamento Simbólico de Programas; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Lamarque Vieira Souza

Técnicas de Compartilhamento de Recursos no Ambiente Metasys; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

André Luiz do Vale Soares

Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Tanara Lauschner

Verificação Formal e Análise de Protocolos de Roteamento de Redes Móveis Ad Hoc; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Habib Asseis Neto

METODOLOGIA DE APRENDIZADO AUTOML BASEADO EM INFORMAÇÕES DE COMPLEXIDADE DE INSTÂNCIAS; 2020; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Eliseu César Miguel

Overlay Construction Strategies for Peer-to-peer Live STreaming Systems; 2017; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Sergio Vale Aguiar Campos;

Bruno Ferreira

Análise Formal de Redes Veiculares com Verificação de Modelos Probabilística; 2016; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Sergio Vale Aguiar Campos;

João Ferreira D' Araújo e Oliveira

Perdas de Pacotes em Redes P2P de Live Streaming; 2015; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Sergio Vale Aguiar Campos;

Gabriel Domingo Vilallonga

Modelado y Análisis Estocástico de Sistemas Biológicos; 2015; Tese (Doutorado em Ciência da computação) - Universidad Nacional de San Luis, ; Orientador: Sergio Vale Aguiar Campos;

Alex Borges Vieira

Transmissão de Mídia Contínua ao Vivo em P2P: Modelagem, Caracterização e Implementação de Mecanismos de Resiliência a Ataques; 2010; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Wesley Dias Maciel

Um Modelo para Descobertas Baseadas em Literatura Biológica - Uma Avaliação usando Patentes como Literatura de Referência; 2009; Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Sergio Vale Aguiar Campos;

Ruiter Braga Caldas

Modelagem, Verificação Formal e Codificação de Sistemas Reativos Autônomos; 2009; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Marcus Vinicius de Melo Rocha

Estratégias Híbridas para Transmissão de Mídia Contínua Interativa com Compartilhamento de Fluxo; 2007; Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, ; Orientador: Sergio Vale Aguiar Campos;

Maurício de Alvarenga Mudado

Uso da Base de Dados Secundária KOG como Ferramenta para Caracterização de Expressão Gênica e Mineração de Dados em Projetos Transcriptoma; 2007; Tese (Doutorado em Bioinformática) - Doutorado em Bioinformática - ICB - UFMG, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Sergio Vale Aguiar Campos;

Umberto da Souza Costa

Um Verificador de Modelos Explícito-Simbólico; 2005; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Sergio Vale Aguiar Campos;

Mark Alan Song

UML - Cafe, Uma Metodologia para Projeto e Verificação de Sistemas Transacionais; 2004; 130 f; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Marcos P Oliveira

Tolerância a Falhas através de Escalonamento em um Sistema Multiprocessado; 2004; 183 f; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Coorientador: Sergio Vale Aguiar Campos;

Autran Macedo

Solução Exata de Problemas de Escalonamento Determinísticos por meio de Verificação Simbólica de Modelos; 2002; 104 f; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Sergio Vale Aguiar Campos;

Kerley Alberto Pereira de Oliveira

2019; Universidade Federal de Minas Gerais, ; Sergio Vale Aguiar Campos;

Maria Cristina Baracat Pereira

2016; Universidade Federal de Minas Gerais, ; Sergio Vale Aguiar Campos;

Alessandra Faria-Campos

2015; Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Sergio Vale Aguiar Campos;

Ana Karolina Madeira Vilhena

MODELAGEM E VERIFICAÇÃO DE CONTROLE UTILIZANDO MÉTODOS FORMAIS; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais; Orientador: Sergio Vale Aguiar Campos;

Produções bibliográficas

  • RAUSCH FERNANDES, HERBERT ; GOMES, GIOVANNI FREITAS ; PINHEIRO DE OLIVEIRA, ANTONIO CARLOS ; CAMPOS, SÉRGIO VALE AGUIAR . Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235. SCIENCE OF COMPUTER PROGRAMMING , v. 232, p. 103028, 2024.

  • QUADROS DE AZEVEDO, DANIELA ; VINÍCIUS VIERA NÓIA, JOÃO ; RIBEIRO, YASMIM CARLA M. ; ALVES DOS REIS, RAPHAEL ; RIBEIRO, PAULO HENRIQUE OTONI ; ALMEIDA MOURA, GUSTAVO ; MENDES, PAMELA ; BARBOSA DE SOUZA, ANA BEATRIZ ; CARPINI MERMEJO, SOFIA ; SERAFIM, MATEUS SÁ MAGALHÃES ; FERNANDES, THAÍS HELENA MACIEL ; O'DONOGHUE, ANTHONY J. ; CAMPOS, ALESSANDRA C. FARIA AGUIAR ; CAMPOS, SÉRGIO VALE AGUIAR ; GONÇALVES MALTAROLLO, VINÍCIUS ; OLIVEIRA CASTILHO, RACHEL . Development of an Antiviral Medicinal Plant and Natural Product Database (avMpNp Database) from Biodiversity. CHEMISTRY & BIODIVERSITY , v. 21, p. 1, 2024.

  • RIBEIRO, DANIELA C.S.Z. ; NETO, HABIB ASSEISS ; LIMA, JULIANA S. ; DE ASSIS, DÉBORA C.S. ; KELLER, KELLY M. ; Campos, Sérgio V.A. ; OLIVEIRA, DANIEL A. ; FONSECA, LEORGES M. . Determination of the lactose content in low-lactose milk using Fourier-transform infrared spectroscopy (FTIR) and convolutional neural network. HELIYON , v. 9, p. e12898, 2023.

  • LIMA, JULIANA S. ; RIBEIRO, DANIELA C.S.Z. ; NETO, HABIB ASSEISS ; Campos, Sérgio V.A. ; LEITE, MÔNICA O. ; FORTINI, MÁRCIA E. DE R. ; DE CARVALHO, BEATRIZ PINHO MARTINS ; ALMEIDA, MARCOS VINÍCIUS OLIVEIRA ; FONSECA, LEORGES M. . A machine learning proposal method to detect milk tainted with cheese whey. JOURNAL OF DAIRY SCIENCE , v. 1, p. 1, 2022.

  • MIGUEL, ELISEU C. ; SILVA, CRISTIANO M. ; COELHO, FERNANDO C. ; CUNHA, ÍTALO F. S. ; CAMPOS, SÉRGIO V. A. . Construction and maintenance of P2P overlays for live streaming. MULTIMEDIA TOOLS AND APPLICATIONS (DORDRECHT. ONLINE) , v. -, p. -, 2021.

  • FARIACAMPOS, Alessandra C ; ALPHONSOS, A. ; TEIXEIRA, G. ; LEITE, G. ; LIMA, M. E. ; DIAS, C. C. ; CAMPOS, S. V. A. . Protocol data management in biology laboratories. BRAZILIAN JOURNAL OF INFORMATION SCIENCE , v. 14, p. 173-190, 2020.

  • VILALLONGA, GABRIEL DOMINGO ; RIESCO, DANIEL EDGARDO ; ALMEIDA, ANTONIO-CARLOS GUIMARAES ; RODRIGUES, ANTONIO MARCIO ; CAMPOS, SERGIO V. A. . In Silico Laboratory Experiments using Statistical Model Checking: A new model of the Palytoxin-Induced Pump Channel as Case Study. IEEE-ACM Transactions on Computational Biology and Bioinformatics , v. 1, p. 1-1, 2020.

  • NETO, HABIB ASSEISS ; TAVARES, WANESSA L.F. ; RIBEIRO, DANIELA C.S.Z. ; ALVES, RONNIE C.O. ; FONSECA, LEORGES M. ; Campos, Sérgio V.A. . On the utilization of deep and ensemble learning to detect milk adulteration. BioData Mining , v. 12, p. 1-13, 2019.

  • VILALLONGA, GABRIEL D. ; DE ALMEIDA, ANTÔNIO-CARLOS G. ; RIBEIRO, KELISON T. ; CAMPOS, SERGIO V. A. ; RODRIGUES, ANTÔNIO M. . Hypothesized diprotomeric enzyme complex supported by stochastic modelling of palytoxin-induced Na/K pump channels. Royal Society Open Science , v. 5, p. 172155, 2018.

  • MAGALHÃES, MARCOS JORGE ; MARTINS, LEONARDO FRANCO ; SENRA, RENATO LIMA ; DOS SANTOS, THAÍS FERREIRA ; OKANO, DENISE SILVA ; PEREIRA, PAULO ROBERTO GOMES ; FARIA-CAMPOS, ALESSANDRA ; CAMPOS, SÉRGIO VALE AGUIAR ; GUIMARÃES, JOSÉ DOMINGOS ; BARACAT-PEREIRA, MARIA CRISTINA . Differential abundances of four forms of BSP1 in the seminal plasma of Bos taurus indicus bulls with different patterns of semen freezability. Theriogenology , v. 16, p. 102, 2016.

  • GAMES, PATRÍCIA DIAS ; DASILVA, ELÓI QUINTAS GONÇALVES ; BARBOSA, MEIRE DE OLIVEIRA ; ALMEIDA-SOUZA, HEBRÉIA OLIVEIRA ; FONTES, PATRÍCIA PEREIRA ; DEMAGALHÃES-JR, MARCOS JORGE ; PEREIRA, PAULO ROBERTO GOMES ; PRATES, MAURA VIANNA ; FRANCO, GLORIA REGINA ; FARIA-CAMPOS, ALESSANDRA ; CAMPOS, SÉRGIO VALE AGUIAR ; BARACAT-PEREIRA, MARIA CRISTINA . Computer aided identification of a Hevein-like antimicrobial peptide of bell pepper leaves for biotechnological use. BMC GENOMICS , v. 17, p. 1-13, 2016.

  • FARIACAMPOS, Alessandra C ; Hanke, Lucas A. ; BATISTA, P. ; Vinicius Garcia ; CAMPOS, S. V. A. . An innovative electronic health records system for rare and complex diseases. BMC Bioinformatics , v. 16, p. S4, 2015.

  • FARIACAMPOS, Alessandra C ; BALOTTIN, L. ; ZUIN, G. ; Vinicius Garcia ; BATISTA, P. ; GRANJEIRO, J. M. ; CAMPOS, S. V. A. . FluxCTTX: A LIMS-based tool for management and analysis of cytotoxicity assays data. BMC Bioinformatics , v. 16, p. S8, 2015.

  • Hanke, Lucas A. ; BOTELHO, C. ; BRAZ, F. A. F. ; BATISTA, P. ; FLATSCHART, A. F. ; NODA, R. ; CARNEIRO, A. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . FluxTransgenics: a flexible LIMS-based tool for management of plant transformation experimental data. Plant Methods , v. 10, p. 2, 2014.

  • CAMPOS, S. V. A. ; VIEIRA, Alex Borges ; Almeida, Rafael Barra ; Almeida, Jussara M. ; ALMEIDA, Jussara M. . SimplyRep: A simple and effective reputation system to fight pollution in P2P live streaming. Computer Networks (1999) , v. 57, p. 1019-1036, 2013.

  • BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE/ACM Transactions on Computational Biology and Bioinformatics (Print) , v. 10, p. 1530-1541, 2013.

  • BORGES, Alex ; Gomes, Pedro ; Nacif, José ; Mantini, Rodrigo ; Almeida, Jussara M. ; Campos, Sérgio . Characterizing SopCast client behavior. Computer Communications , v. 35, p. 1004-1016, 2012.

  • CREPALDE, M. A. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Modeling and analysis of cell membrane systems with probabilistic model checking. BMC Genomics , v. 12, p. S14, 2011.

  • MACIEL, W. D. ; FARIACAMPOS, Alessandra C ; GONCALVES, M. A. ; Campos, Sérgio V.A. . Can the vector space model be used to identify biological entity activities?. BMC Genomics , v. 12, p. S1, 2011.

  • FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; VAL, C. ; THORUN, P. ; ABREU, V. ; BATISTA, P. ; MENDONCA, P. ; ALVES, V. ; RODRIGUES, M. ; PIMENTA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . PRODIS: a proteomics data management system with support to experiment tracking. BMC Genomics , v. 12, p. S15, 2011.

  • CAMPOS, S. V. A. ; Lana-Peixoto, Marco A. ; Talim, Lívia Edwiges ; Faria-Campos, Alessandra C. ; Rocha, Cristiane F. ; Hanke, Lucas A. ; Talim, Natália ; Batista, Paulo Henrique ; Araujo, Carolina R. ; Kleinpaul, Rodrigo . NMO-DBr: the Brazilian Neuromyelitis Optica Database System. Arquivos de Neuro-Psiquiatria (Impresso) , v. 69, p. 687-692, 2011.

  • SIMOES, A. ; FARIACAMPOS, Alessandra C ; DELAAT, D. M. ; ABREU, V. ; CAMPOS, S. V. A. . SIGLa: an adaptable LIMS for multiple laboratories. BMC Genomics , v. 11, p. 8, 2010.

  • GOMES, R. R. ; CAMPOS, S. V. A. ; PENA, S. D. . PEDEXPERT: a computer program for the application of Bayesian networks to human paternity testing. Genetics and Molecular Research , v. 8, p. 273-283, 2009.

  • BARBOSA, Daniela V C ; FERNANDES, G. ; PROSDOCIMI, F ; Pena I ; Santana-Santos L ; Coelho Jr O ; SILVA, A. B. ; MUDADO, M. ; NATALE, D. ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; ORTEGA, José M . A procedure to recruit members to enlarge protein family databases--the building of UECOG (UniRef-Enriched COG Database) as a model. Genetics and Molecular Research , v. 7, p. 910-924, 2008.

  • FARIACAMPOS, Alessandra C ; GOMES, R. R. ; MORATELLI, F. ; ROLLA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . BNDb - BIomolecules Nucleus Database: An Integrated Proteomics and Transcriptomics Database. Genetics and Molecular Research , v. 6, p. 937-945, 2007.

  • FARIACAMPOS, Alessandra C ; MORATELLI, F. ; MENDES, I. K. ; ORTOLANI, P. ; OLIVEIRA, G. ; CAMPOS, S. V. A. ; ORTEGA, José M ; FRANCO, Glória R . Production of Full-length cDNAs by Sequencing and Analysis of Expressed Sequence Tags from Schistosoma mansoni. Memórias do Instituto Oswaldo Cruz , v. 1, p. In press, 2006.

  • FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; PROSDOCIMI, F ; FRANCO, Glória R ; ORTEGA, José M . Efficient Secondary Database Driven Annotation Using Model Organisms Sequences. In Silico Biology. An International Journal on Computational Molecular Biology , v. 6, p. 34, 2006.

  • COSTA, U. ; CAMPOS, S. V. A. ; VIEIRA, N. ; DEHARBE, D. . Explicit-Symbolic Modelling for Formal Verification. Electronic Notes in Theoretical Computer Science , v. 130, p. 301-321, 2005.

  • CAMPOS, S. V. A. ; GRUMBERG, Orna ; YORAV, Karen ; FADY, Copty . Test Sequence generation and model checking using dynamic transition relations. International Journal on Software Tools for Technology Transfer , Alemanha, v. 6, n.2, p. 174-182, 2004.

  • CAMPOS, S. V. A. ; CLARKE, E. . The Verus Language: representing time efficiently with BDDs. Theoretical Computer Science , v. 253, p. 95-118, 2001.

  • CAMPOS, S. V. A. ; TEIXEIRA, M. ; MINEA, M. ; KUEHLMANN, A. ; CLARKE, E. . Model Checking Semi-Continuous Time Models Using BDDs. Electronic Notes in Theoretical Computer Science , v. 23, p. 1-13, 2001.

  • CAMPOS, S. V. A. ; CLARKE, E. ; GRUMBERG, O. . Selective quantitative analysis and interval model checking: verifyng different facets of a system. Formal Methods In System Design, v. 17, p. 163-192, 2000.

  • CAMPOS, S. V. A. ; HARTONAS-GARMHAUSEN, V. ; CIMATTI, A. ; CLARKE, E. ; GIUNCHIGLIA, F. . Verification of a safety-critical railway interlocking system with real-time constraints. Science Of Computer Programming, v. 36, n.1, p. 53-65, 2000.

  • CAMPOS, S. V. A. ; CLARKE, E. . Analysis And Verification Of Real-Time Systems Using Quantitative Symbolic Algorithms A Ser Publicado Em 1998. SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER JOURNAL, v. 2, n.3, p. 260-269, 1999.

  • CAMPOS, S. V. A. ; CLARKE, E. ; MINEA, M. . Symbolic Techniques For Formally Verifying Industrial Systems. SCIENCE OF COMPUTER PROGRAMMING, v. 29, p. 79-98, 1997.

  • CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. ; HIRAISHI, H. . Temporal Verification Of Real-Time Systems. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v. E78-D, n.7, p. 796-801, 1995.

  • CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Verus: A Tool For Quantitative Analysis Of Finite-State Real-Time Systems. ACM SIGPLAN NOTICES, v. 30, n.11, p. 70-78, 1995.

  • CAMPOS, S. V. A. ; CARVALHO, O. . Temis - Um Nucleo Para Desenvolvimento de Programas Paralelos. REVISTA BRASILEIRA DE COMPUTACAO, v. 6, n.1, p. 33-44, 1990.

  • Campos, Sérgio V.A. ; MINEA, M. . Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021. 1. ed. Heidelberg: Springer, 2021. v. 1. 149p .

  • Campos, Sérgio . Advances in Bioinformatics and Computational Biology, 9th Brazilian Symposium on Bioinformatics. 1. ed. Springer: Heidelberg, 2014. v. 1. 153p .

  • MEIRA, W. ; MURTA, C. ; CAMPOS, S. V. A. ; GUEDES, D. O. . Comércio Eletrônico: projeto e desenvolvimento. Editora Campus, 2002.

  • Campos, Sérgio ; FARIA-CAMPOS, ALESSANDRA ; de Oliveira, Demian Bueno . BDDBlast¿A Memory Efficient Architecture for Pairwise Alignments. Lecture Notes in Computer Science. 1ed.: Springer Nature Switzerland, 2022, v. , p. 1-13.

  • Pimenta, Cristiano Guimarães ; Faria-Campos, Alessandra Conceição ; Rocha, Jerônimo Nunes ; Dias, Adriana Abalen Martins ; da Glória de Souza, Danielle ; Rezende, Carolina Andrade ; Medeiros, Giselle Marina Diniz ; CAMPOS, SÉRGIO VALE AGUIAR . ViMT - Development of a Web-Based Vivarium Management Tool. Lecture Notes in Computer Science. 11ed.: Springer International Publishing, 2018, v. , p. 58-65.

  • BEREZIN, S. ; CAMPOS, S. V. A. ; CLARKE, E. . Compositional Reasoning In Model Checking. In: Willem-Paul de Roever; Hans Langmaack; Amir Pnueli. (Org.). Compositionaly: The Significant Difference. : Spring-Verlag, 1998, v. , p. -.

  • CAMPOS, S. V. A. . Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. In: S. Budkowski; A. Cavalli; E. Najm. (Org.). Formal Description Techniques and protocol Specification, Testing and Verification. : Klumer Academic Publishers, 1998, v. 1, p. -.

  • CAMPOS, S. V. A. ; CLARKE, E. ; MINEA, M. . Analysis Of Real-Time Systems Using Symbolic Techniques. In: C. Heitmeyer; D. Mandrioli. (Org.). TRENDS IN SOFTWARE - FORMAL METHODS FOR REAL-TIME COMPUTING. CHICHESTER, ENGLAND: JOHN WILEY & SONS, 1996, v. , p. 217-236.

  • CAMPOS, S. V. A. ; CLARKE, E. . AMAST Series in Computing: Theories and Experiences for Real-Time Systems Development. In: T. Rus; C. Rattray. (Org.). Real-time symbolic model checking for discrete time models. 1ed.SINGAPORE: WORLD SCIENTIFIC PUBLISHING, 1995, v. , p. 129-146.

  • CAMPOS, S. V. A. . Computadores Telefônicos ou Telefones Computadorizados?. Jornal Hoje em Dia, Belo Horizonte, p. 2 - 2, 02 nov. 1998.

  • CAMPOS, S. V. A. . Os Bugs do Novo Milênio. Jornal Hoje em Dia, Belo Horizonte, p. 2 - 2, 08 mar. 1900.

  • GUAJARDO, U. ; BRYAN, A. ; ARECHIGA, N. ; CAMPOS, S. V. A. ; CHOW, J. ; JACKSON, D. ; KONG, S. ; LITT, G. ; POLLOCK, J. . Certified Perception for Autonomous Cars. In: 6TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS, 2021, Nashville. PROCEEDINGS OF THE 6TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS, 2021.

  • CONRADO, D. ; FARIACAMPOS, Alessandra C ; SERUFO, J. C. ; SANTOS, V. ; CAMPOS, S. V. A. . A System for Storage and Georeferenciation of Dengue Vector Surveillance. In: Medinfo ? World Congress on Medical and Health Informatics, 2021, Taiwan. Proceedings of the World Congress on Medical and Health Informatics, 2021.

  • FARIA-CAMPOS, ALESSANDRA ; Feu, H. P. ; NOIA, J. V. ; FLATSCHART, A. F. ; GRANJEIRO, J. M. ; CAMPOS, S. V. A. . BPL++ - A quality management and assurance support system. In: 11o Congresso Brasileiro de Metrologia, 2021, Rio de Janeiro. Anais do 11o Congresso Brasileiro de Metrologia, 2021.

  • ALFARO-ESPINOZA, E. ; PAIVA, L. F. ; FARIA-CAMPOS, ALESSANDRA ; BARACAT-PEREIRA, MARIA CRISTINA ; Campos, Sérgio V.A. . FluxPRT: An Adaptable and Extensible Proteomics LIMS. In: Brazilian Symposium of Bioinformatics, 2021, online. Advances in Bioinformatics and Computational Biology. Heidelberg: Springer, 2021. v. 13063. p. 125-130.

  • RAUSCH-FERNANDES, H. ; GOMES, G. ; OLIVEIRA, A. C. ; CAMPOS, S. V. A. . Statistical Model Checking in Drug Repurposing for Alzheimer?s Disease. In: Brazilian Symposium on Formal Methods, 2020, Ouro Preto, MG. Proceedings of the Brazilian Symposium on Formal Methods, 2020.

  • MIGUEL, E. ; CARVALHO, F. ; MORGAN, B. ; CALADO, M. ; CUNHA, I. ; Campos, Sérgio . Join rate improvements in P2P live streaming based on topological aspects during Flash Crowds. In: XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017, Belém, PA. Anais do XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017.

  • SARDINHA, L. H. ; ORLANDI, V. B. ; VILELA NETO, O. ; Campos, Sérgio . Simplified Model for Automatic QCA Circuitry Verification. In: 30th Symposium on Integrated Circuits and System Design - SBCCI 2017, 2017, Fortaleza. Proceeding of the 30th Symposium on Integrated Circuits and System Design - SBCCI 2017, 2017.

  • MIGUEL, E. ; CUNHA, I. ; SILVA, C. ; CARVALHO, F. ; Campos, Sérgio . Resource-constrained P2P Streaming Overlay Construction for Efficient Joining Under Flash Crowds. In: The 22nd IEEE Symposium on Computers and Communications, 2017, Creta. Proceedings of the 22nd IEEE Symposium on Computers and Communications, 2017.

  • OLIVEIRA, J. ; CUNHA, I. ; MIGUEL, E. ; Campos, Sérgio . AERO: Adaptive Emergency Request Optimization in CDN-P2P Live Streaming. In: IEEE Globecom, 2017, Cingapura. Proceedings of the IEEE Globecom, 2017.

  • AMERICO, A. ; VAZ, A. ; ALVIM, M. S. ; CAMPOS, S. V. A. ; MCIVER, A. . Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. In: Simpósio Brasileiro de Métodos Formais, 2017, Recife. Anais do XX Simpósio Brasileiro de Métodos Formais, 2017. p. 142-158.

  • MIGUEL, E. ; CUNHA, I. ; Campos, Sérgio . Ingressos em Redes P2P para Vídeo ao Vivo. In: Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo, 2016, Salvador. Anais do Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo, 2016.

  • FERREIRA, B. ; BRAZ, F. A. F. ; Campos, Sérgio ; LOUREIRO, A. . A Probabilistic Model Checking Analysis of Vehicular Ad-hoc Networks. In: 81st Vehicular Technology Conference: VTC2015, 2015, Glasgow. Proceedings of the 81st Vehicular Technology Conference, 2015.

  • ANTUNA, L. ; ARAIZA-ILLAN, D. ; EDER, K. ; CAMPOS, S. V. A. . Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. In: 16th Towards Autonomous Robotics Systems, 2015, Liverpool. Proceedings of the 16th Towards Autonomous Robotics Systems, 2015.

  • FERREIRA, B. ; Campos, Sérgio ; CUNHA, F. D. ; LOUREIRO, A. ; BRAZ, F. A. F. . Intelligent Service to Perform Overtaking in Vehicular Networks. In: ISCC 2015 - The Twentieth IEEE Symposium on Computers and Communications, 2015, Larnaca. Proceedings of the Twentieth IEEE Symposium on Computers and Communications, 2015.

  • GRUNWELL, D. ; Batista, Paulo Henrique ; Campos, Sérgio ; SAHAMA, T. . Managing and sharing health data through information accountability protocols. In: 17th International Conference on E-health Networking, Application and Services (Healthcom), 2015, Boston, EUA. Proceedings of the 17th International Conference on E-health Networking, Application and Services (Healthcom), 2015.

  • Eduardo Ferreira ; RAUSCH-FERNANDES, H. ; FARIACAMPOS, Alessandra C ; PIETRA, E. ; Lilian Santos ; Campos, Sérgio V.A. . Medical Data Mining: a case study of a Paracoccidioidomicosis Patient?s Database. In: 16th International Conference on E-health Networking, Application & Services, 2014, Natal. 16th International Conference on E-health Networking, Application & ServicesProceedings of the, 2014.

  • FARIACAMPOS, Alessandra C ; Hanke, Lucas A. ; Vinicius Garcia ; Campos, Sérgio V.A. . FluxMED: An Adaptable and Extensible Electronic Health Record System. In: Brazilian Symposium on Bioinformatics, 2014, Belo Horizonte. Lecture Notes in Bioinformatics, 2014. v. 8429.

  • Demian Oliveira ; BRAZ, F. A. F. ; FERREIRA, B. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool. In: Brazilian Symposium on Bioinformatics, 2014, Belo Horizonte. Lecture Notes in Bioinformatics, 2014. v. 8429.

  • FERREIRA, B. ; BRAZ, F. A. F. ; CAMPOS, SÉRGIO VALE AGUIAR . A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. In: Brazilian Symposium of Formal Methods, 2014. Proceedings of the Brazilian Symposium of Formal Methods, 2014.

  • BRAZ, F. A. F. ; FERREIRA, B. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na+/K+-ATPase Complex. In: Brazilian Symposium on Bioinformatics, 2013, Recife. 8th Brazilian Symposium on Bioinformatics, 2013.

  • SILVA, A. S. F. ; Batista, Paulo Henrique ; COSTA, A. M. M. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. ; VILELA NETO, O. . NanoTrack - Sistema de Gerenciamento de Dados de Nanoestruturas com Plugins Inteligentes. In: VII e-Science workshop - Congresso da Sociedade Brasileira de Computação CSBC 2013, 2013, Maceió. VII e-Science workshop - Congresso da Sociedade Brasileira de Computação CSBC 2013, 2013.

  • OLIVEIRA, J. ; MIGUEL, E. ; CUNHA, I. ; VIEIRA, Alex Borges ; ROCHA, M. V. ; Campos, Sérgio V.A. . Can P2P Live Streaming Systems Coexist with Free Riders?. In: IEEE International Conference on Peer-to-Peer Computing, 2013, Trento, Itália. IEEE International Conference on Peer-to-Peer Computing 2013, 2013.

  • BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase. In: Brazilian Symposium on Bioinformatics, 2012, Campo Grande, MS. Proceedings of the 2012 Brazilian Symposium on Bioinformatics, 2012.

  • BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Palytoxin Inhibits the Sodium-Potassium Pump ? An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal, RN. Anais do Simpósio Brasileiro de Métodos Formais, 2012.

  • SILVA, A. S. F. ; Batista, Paulo Henrique ; ANDRADE, T. K. C. ; VILELA NETO, O. ; Campos, Sérgio V.A. ; FARIACAMPOS, Alessandra C . NanoTrack Sistema Inteligente de Gerenciamento de Dados de Síntese de Nanoestruturas. In: VI Workshop de e-Science - XXXII Congresso da Sociedade Brasileira de Computação, 2012, Curitiba. VI Workshop de e-Science - XXXII Congresso da Sociedade Brasileira de Computação, 2012.

  • BRAZ, F. A. F. ; FERREIRA, B. ; Campos, Sérgio V.A. . A Probabilistic Model Checking Approach to Investigate Vehicular Networks. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Brazilian Symposium on Formal Methods, 2012.

  • Gomes, Pedro ; VIEIRA, Alex Borges ; Campos, Sérgio . Verification of P2P Live Streaming Systems Using Symmetry-based Semiautomatic Abstractions. In: International Conference on High Performance Computing and Simulation (HPCS/MOSPAS), 2012, Madrid. Proceedings of the International Conference on High Performance Computing and Simulation (HPCS/MOSPAS), 2012.

  • GONCALVES, M. A. ; BORGES, Alex ; ALMEIDA, J. ; silva, a. p. ; CAMPOS, S. V. A. . Caracterização das Propriedades Dinâmicas da Estrutura da Rede Sobreposta do SopCast. In: WPerformance - X Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2011, Natal. WPerformance - X Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2011.

  • GONCALVES, M. A. ; BORGES, Alex ; ALMEIDA, J. ; neto h. m. ; silva, a. p. ; CAMPOS, S. V. A. . Characterizing Dynamic Properties of the SopCast Overlay Network. In: 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, 2011, Garching. Proceedings of the 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, 2011.

  • SILVEIRA, D. R. ; Campos, Sérgio V.A. . Syndrome-Fortuna: A viable approach on Linux random number generation. In: Simpósio Brasileiro em Segurança da  Informação e de Sistemas Computacionais, 2011, Brasília. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2011.

  • CALDAS, R. ; Barreto R. S. ; CORDEIRO, L. ; CAMPOS, SERGIO V. A. . A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In: IADIS Applied Computing Conference, 2011, Rio de Janeiro. Proceedings of the IADIS Applied Computing Conference, 2011.

  • OLIVEIRA, J. ; BORGES, Alex ; GOMES, P. ; CAMPOS, S. V. A. ; CAMPOS, S. . Centralidade em Redes P2P de Transmissão ao Vivo. In: VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P), 2010, Porto Alegre. VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P),, 2010.

  • BORGES, Alex ; GOMES, P. ; ROCHA, M. V. ; ALMEIDA, J. ; CAMPOS, S. V. A. . Modelo de Comportamento dos Participantes do SopCast. In: Simpósio Brasileiro de Sistemas Multimídia e Web - Webmedia, 2009, Fortaleza. Anais do XV Simpósio Brasileiro de Sistemas Multimídia e Web (Webmedia), 2009.

  • OLIVEIRA, J. ; BORGES, Alex ; CAMPOS, S. V. A. . Poluição de conteúdo em sistemas P2P Live Streaming. In: Simpósio Brasileiro de Sistemas Multimídia e Web - Webmedia, 2009, Fortaleza. Anais do XV Simpósio Brasileiro de Sistemas Multimídia e Web (Webmedia), 2009.

  • VIEIRA, Alex Borges ; Gomes, Pedro ; ROCHA, MARCUS ; ALMEIDA, JUSSARA ; CAMPOS, SERGIO . A behaviour model of the SopCast users. In: the XV Brazilian Symposium, 2009, Fortaleza. Proceedings of the XV Brazilian Symposium on Multimedia and the Web - WebMedia '09, 2009. p. 1.

  • VIEIRA, Alex Borges ; CAMPOS, SERGIO ; ALMEIDA, JUSSARA . Fighting Attacks in P2P Live Streaming. Simpler is Better. In: IEEE INFOCOM 2009 IEEE Conference on Computer Communications Workshops, 2009, Rio de Janeiro. IEEE INFOCOM Workshops 2009, 2009. p. 1.

  • CAMPOS, S. ; NEVES, J. ; ZARATE, L. ; SONG, M. . Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. In: 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), 2009, San Francisco. 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009. p. 89.

  • BORGES, Alex ; ALMEIDA, J ; CAMPOS, S. V. A. . Fighting pollution in P2P live streaming systems. In: IEEE International Conference On Multimedia & Expo, 2008, Hannover. Proc. of the IEEE International Conference On Multimedia & Expo, 2008. p. 481-484.

  • GOMES, R. R. ; COTA, C. ; SONG, Mark Alan ; CAMPOS, S. V. A. . Large Scale Genetic Identity Inference Using Symbolic Model Checking. In: Fifth International Workshop on Constraints in Formal Verification, 2008, Sidney. Proc. of the Fifth International Workshop on Constraints in Formal Verification, 2008.

  • CALDAS, R. ; Barreto R. S. ; CAMPOS, S. V. A. . On the use of X-machine Formal Model to Design Sensor Network Applications. In: IEEE Symposium on Industrial Embedded Systems (SIES2008), 2008, Montpellier. IEEE Symposium on Industrial Embedded Systems (SIES2008), 2008.

  • BORGES, Alex ; ALMEIDA, J. ; CAMPOS, S. V. A. . Combate a Poluição em Sistemas P2P de Mídia Contínua ao Vivo. In: O Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC),, 2008, Rio de Janeiro. Proc. SBRC, 2008.

  • BARROS, H. ; CAMPOS, S. V. A. ; SONG, Mark Alan ; ZARATE, L. . Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. In: 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007, Tucson, AZ, EUA. Proceedings of the 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007.

  • FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; GOMES, R. R. ; RATES, B. ; PIMENTA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . A New Approach to the Integration of Proteomics Experimental Data. In: Brazilian Symposium on Bioinformatics, 2007, Angra dos Reis, RJ. Proceedings of the Brazilian Symposium on Bioinformatics, 2007.

  • ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Estratégias Híbridas para Transmissão de Mídia Contínua Interativa com Compartilhamento de Fluxo. In: Simpósio Brasileiro de Redes de Computadores, 2006, Curitiba. Anais do Simpósio Brasileiro de Redes de Computadores, 2006.

  • ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Requisitos de Banda de Rede para Protocolos de Mídia Contínua Otimizados para Interatividade. In: XII Brazilian Symposium on Multimidia and the Web, 2006, Natal. Proceedings of the XII Brazilian Symposium on Multimidia and the Web, 2006.

  • PEREIRA, Adriano ; SONG, Mark Alan ; CAMPOS, S. V. A. ; GALVEZ, L. E. Z. . Formal Verification of Transactional Systems Based on UML Specifications. In: The Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005, Taipei. Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005.

  • ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Scalable Media Streaming to Interactive Users. In: ACM Multimedia, 2005, Cingapura. Proceedings of ACM Multimedia, 2005.

  • ROCHA, M. V. ; MAIA, M. ; ALMEIDA, J ; CAMPOS, S. V. A. . Escalabilidade de Protocolos com Compartilhamento de Banda Para Cargas de Mídia Contínua Realistas. In: IV Workshop em Desempenho de Sistemas Computacionais e de Comunicacao (WPerformance), 2005, Porto Alegre. Anais do IV Workshop em Desempenho de Sistemas Computacionais e de Comunicacao (WPerformance), 2005.

  • SONG, Mark Alan ; PEREIRA, Adriano ; CAMPOS, S. V. A. . Formal Verification of Transactional Systems. In: 1st International Conference on Web Information Systems and Technologies, 2005, Miami. Proceedings of the 1st International Conference on Web Information Systems and Technologies, 2005.

  • MAIA, M. ; ROCHA, M. V. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Network bandwidth requirements for optimized streaming media transmission to interactive users. In: Brazilian Symposium on Multimedia and the Web, 2005, Natal. Proc. of the 12th Brazilian Symposium on Multimedia and the Web. New York: ACM Press, 2005. v. 192. p. 283-292.

  • FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . Automated selection of schistosoma mansoni clones for full length sequencing: algorithm test and inspection of putative kosak consensus. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2004, Caxambu, 2004.

  • OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, SERGIO V. A. ; ZUQUIM, Ana Luiza ; BECKLER, Alberto R . RMCAN - a protocol for multiprocessor fault tolerant architectures. In: IEEE Latin American Test Workshop, 2004. IEEE Latin American Test Workshop, 2004.

  • VIEIRA, Alex Borges ; GUIMARAES, e ; CUNHA, I ; COSTA, C P ; CAMPOS, S. V. A. ; ALMEIDA, J . Easypres: an easy-to-use tool for creating synchronized multimedia presentations. In: World Conference on Educational Multimedia, Hypermedia & Telecommunications, 2004, Zurich, 2004.

  • PEREIRA, Adriano ; SONG, Mark Alan ; CAMPOS, S. V. A. . Modeling and verifying web based systems - an uml-cafe case study. In: Argentine Symposium on Software Engineering, 2004, Cordoba, 2004.

  • OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, S. V. A. ; ZUQUIM, Ana Luiza ; MATA, José M . Guaranteeing fault tolerance through scheduling on a can bus. In: International CAN Conference, 2003. Proceedings of the 9th International CAN Conference. v. 9.

  • OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, S. V. A. ; ZUQUIM, Ana Luiza . Guaranteeing fault tolerance through scheduling on a can bus. In: Test and Fault Tolerant Workshop, 2003. Proceedings of the VI Test and Fault Tolerant Workshop.

  • SANTOS, Daniela A S ; VIEIRA, Alex Borges ; RIBEIRO NETO, Berthier ; CAMPOS, S. V. A. . Performance analysis and optimization of a distributed video on demand service. In: IEEE International Symposium on Performance Analysis of Systems and Software, 2003, 2003.

  • SONG, Mark Alan ; PEREIRA, Adriano ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . UML Cafe: a process to specify and verify e-commerce systems. In: International conference on Electronic Commerce Research, 2003, 2003.

  • SONG, Mark Alan ; PEREIRA, Adriano ; LIMA, Fernanda ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A software engineering process to specify and verify e-commerce systems. In: International Conference on Software Engineering Research and Practice, 2003, 2003.

  • SONG, Mark Alan ; PEREIRA, Adriano ; LIMA, Fernanda ; GORGULHO, Gustavo ; CAMPOS, S. V. A. . Extending UML to specify and verify e-commerce systems. In: 15th International Conference on Software Engineering and Knowledge Engineering, SEKE, 2003, San Francisco, CA, EUA. Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, 2003. p. 306-315.

  • PEREIRA, Adriano ; SONG, Mark Alan ; MEIRA, W. ; CAMPOS, SERGIO V. A. . Formal-CAFE Methodology: an E-commerce System? s Case Study. In: International Conference on Electronic Commerce Research, 2003. Proceedings of the International Conference on Electronic Commerce Research, 2003.

  • SANTOS, Daniela A S ; BORGES, Alex ; RIBEIRO, M ; CARAM, J ; RIBEIRO NETO, Berthier ; CAMPOS, S. V. A. . Architectures for a new generation of VoD servers. In: Brazilian Symposium on Multimedia and Hypermedia Systems, 2002. Proceedings of the VIII Brazilian Symposium on Multimedia and Hypermedia Systems.

  • PEREIRA, Adriano ; SONG, Mark Alan ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A formal methodology to specify e-commerce systems. In: International Conference on Formal Engineering Methods, 2002, 2002.

  • PEREIRA, Adriano ; SONG, Mark Alan ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A formal specification methodology for e-commerce systems. In: International Conference on Electronic Commerce Research, 2002, 2002.

  • SONG, Mark Alan ; PEREIRA, Adriano ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . Model checking patterns for e-commerce systems. In: First Seminar on Advanced Research in Eletronic Business, 2002, 2002.

  • SILVA, E. S. E. ; LEAO, R. ; RIBEIRO NETO, Berthier ; CAMPOS, SERGIO V. A. . Performance Issues of Multimedia Applications. In: IFIP International Symposium on Computer Performance Modeling, Measurement and Evaluation, 2002. Proceedings of the IFIP International Symposium on Computer Performance Modeling, Measurement and Evaluation, 2002.

  • MACÊDO, A. ; CAMPOS, S. V. A. ; CARVALHO, C. . Symbolic model checking: a new approach for solving scheduling problems. In: X Latin-Ibero-American Conference on Operations Research and Systems, 2000, Cidade do México. Proceedings of CORS'2000, 2000.

  • BERTINI, L. ; CAMPOS, S. V. A. ; JAMIL, G. ; RIBEIRO NETO, Berthier . Análise de Desempenho do Servidor de Vídeo ALMADEN-VOD. In: Simpósio Brasileiro de Multimídia, 1999. Anais do SBMIDIA'99, 1999.

  • DINIZ, A. L. ; CAMPOS, S. V. A. ; NOGUEIRA, J. M. ; MACHADO, C. M. ; SOUZA, L. . Um Sistema de Gereciamento de Tráfego para Redes Telefônicas de Grande Porte. In: XVII Simpósio Brasileiro de Redes de Computadores, 1999, Salvador. Anais do SBRC'99, 1999.

  • CAMPOS, S. V. A. . Symbolic Model Checking in Pratice. In: XII Symposium on Integrated Circuits and Systems Design, 1999. Proceedings of SBCCI'99, 1999.

  • DINIZ, A. L. ; CAMPOS, S. V. A. ; NOGUEIRA, J. M. ; MACHADO, C. M. ; SOUZA, L. . An Efficient low-cost traffic management system for large switching networks. In: IEEE Latin American Network Operations and Management Symposium, 1999. Proceedings of IEEE Latin American, 1999.

  • CAMPOS, S. V. A. ; RIBEIRO NETO, Berthier ; MACÊDO, A. ; BERTINI, L. . Formal Verification and Analysis of Multimedia System. In: ACM International Multimedia Conference, 1999. Proceedings of ACM'99, 1999.

  • CAMPOS, S. V. A. ; TEIXEIRA, M. ; MINEA, M. ; KUEHKMANN, A. ; CLARKE, E. . Model Checking semi-continous time models using BDDs. In: International Workshop on Symbolic Model Checking, 1999. Proceedings of WSMC'99, 1999.

  • MACÊDO, A. ; CAMPOS, S. V. A. . An Efficient formal verification tool for real-time systems. In: II Workshop on Formal Methods, 1999. Proceedings of WMF'99, 1999. p. 297-308.

  • HARTONAS-GARMHAUSEN, V. ; CAMPOS, S. V. A. . ProbVerus: probabilistic symbolic model checking. In: IV International AMAST Workshop on Real-Time and Probabilistic Systems, 1999. Proceedings of AMAST'99, 1999.

  • CAMPOS, S. V. A. . Shared Variables And Efficient Synchronization Primitives For Synchronous Symbolic Verifiers. In: FORMAL DESCRIPTION TECHNIQUES & PROTOCOL SPECIFICATION, TESTING AND VERIFICATION SYMPOSIUM, 1998. PARIS, FRANCA. p. 0-0.

  • CAMPOS, S. V. A. . Verification Of A Safety-Critical Railway Interlocking System With Real-Time Constraints. In: IEEE 28TH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1998. MUNICH, ALEMANHA. p. 0-0.

  • CLARKE, E. ; MCMILLAN, K. ; CAMPOS, S. V. A. ; HARTONAS-GARMHAUSEN, V. . Symbolic Model Checking. In: Seminário Integrado de Hardware e Software, 1998, Belo Horizonte. Anais do SEMISH'98, 1998. v. 1. p. 0-0.

  • CAMPOS, S. V. A. ; CLARKE, E. ; MINEA, M. . The Verus tool: a quantitative approach to the formal verification of real-time systems. In: Conference on Computer Aided Verification, 1997. Proceedings of CCAV'1997, 1997.

  • CAMPOS, S. V. A. . Selective Quantitative Analysis And Interval Model Checking: Verifyingdifferent Facets Of A System. In: COMPUTER AIDED VERIFICATION, 1996. NEW BRUSWICK, EUA. p. 0-0.

  • CAMPOS, S. V. A. . Deadlock Prevention In Flexible Manufacturing Systems Using Symbolic Model Checking. In: INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, 1996. MINNEAPOLIS, MN, EUA. p. 0-0.

  • CLARKE, E. ; MCMILLAN, K. ; CAMPOS, S. V. A. ; HARTONAS-GARMHAUSEN, V. . Symbolic model checking. In: Conference on Computer Aided Verification, 1996. Proceedings of CCAV'1996, 1996.

  • CLARKE, E. ; HARTONAS-GARMHAUSEN, V. ; CAMPOS, S. V. A. . Deadlock prevention in flexible mana\ufacturing systems using symbolic model checking. In: International Conference on Robotics and Automation, 1996. Proceedings of ICRA'96, 1996.

  • CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Verifying The Performance Of The Pci Local Bus Using Symbolic Techniques. In: INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 1995. AUSTIN, EUA. p. 0-0.

  • CAMPOS, S. V. A. . Formally Verifying Arithmetic Circuits - Avoiding The Pentium Fdiv Bug. In: Intel Design and Test Technology Conference, 1995. proceedings of IDTTC, 1995.

  • CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Timing Analysis of Industrial real-time systems. In: Workshop on Industrial Strength Formal Specification Techniques, 1995. Proceedings of WISFST'95, 1995.

  • CAMPOS, S. V. A. ; KHAIRA, M. ; MARRERO, W. ; ZHAO, X. ; CLARKE, E. . Formally verifying arithmetic circuits - avoiding the Pentium fdiv bug. In: Intel Design and Test Technology Conference, 1995. Proceedings of IDTTC'95, 1995.

  • CAMPOS, S. V. A. ; KHAIRA, M. ; ZHAO, X. . Formally Verifying Bus Designs. In: Intel Design Technologu Conference, 1994. Proceedings of IDTC'94, 1994.

  • CAMPOS, S. V. A. ; CLARKE, E. ; MARRERO, W. ; MINEA, M. ; HIRAISHI, H. . Computing quantitative chacteristics of finite-state real-time systems. In: IEEE Real-Time Systems Sympoisum, 1994. Proceedings of IEEE RTSS'94, 1994.

  • CAMPOS, S. V. A. ; CARVALHO, O. . Um Algoritmo 0..O(Sqrt{N}) Para Exclusao Mutua. In: VII Brazilian Computer Network Symposium, 1989, Porto Alegre. Anais do BCNS'99, 1989.

  • OLIVEIRA, J. ; VIANA, R. ; BORGES, Alex ; ROCHA, M. V. ; Campos, Sérgio V.A. . TVPP: A Research Oriented P2P Live Streaming System. In: Simpósio Brasileiro de Redes de Computadores, 2013, Brasília. SBRC 2013 - Salão de Ferramentas, 2013.

  • FARIACAMPOS, Alessandra C ; BRAVONETO, e ; TORRES, João A ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . Escolha automática de clones de cdna de s. mansoni que potencialmente contêm a região codificadora completa para caracterização e expansão da base de dados cog. In: Congresso da Sociedade Brasileira de Genética, 2002, 2002.

  • CARNIVALI, G. ; CAMPOS, S. V. A. . Does the Ataxia group have genetic similarities?. In: XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL - ENMC, 2020, Petrópolis. XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL - ENMC, 2020.

  • NETO, HABIB ASSEISS ; TAVARES, WANESSA L.F. ; RIBEIRO, DANIELA C.S.Z. ; LIMA, J. S. ; CAMPOS, S. V. A. ; FONSECA, LEORGES M. . Detection of adulteration in milk using infrared spectros- copy and machine learning. In: American Dairy Science Annual Meeting, 2019, Cincinnati, Ohio. Journal of Dairy Science, 2019. v. 102. p. 38-38.

  • RIBEIRO, DANIELA C.S.Z. ; TAVARES, WANESSA L.F. ; NETO, HABIB ASSEISS ; CAMPOS, S. V. A. ; FONSECA, LEORGES M. . Use of infrared spectroscopy to estimate the lactose content in hydrolyzed milk. In: American Dairy Science Annual Meeting, 2019, Cincinnati, Ohio. Journal of Dairy Science, 2019. v. 102. p. 38-38.

  • LIMA, J. S. ; RIBEIRO, DANIELA C.S.Z. ; TAVARES, WANESSA L.F. ; NETO, HABIB ASSEISS ; CAMPOS, S. V. A. ; FONSECA, LEORGES M. . Machine learning applied to Fourier-transform infrared spectroscopy for detection of cheese whey addition to raw milk. In: American Dairy Science Annual Meeting, 2019, Cincinnati, Ohio. Journal of Dairy Science, 2019. v. 102. p. 38-39.

  • BARBOSA, Daniela V C ; TORRES, João A ; CAMPOS, S. V. A. ; ORTEGA, José M . Contribution of aminoacid insertions and deletions to proteobacteria-b and proteobacteria-d molecular evolution. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2004, Caxambu, 2004.

  • TORRES, João A ; BRAVONETO, e ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; ORTEGA, José M . Biodados server: a new system to query secondry databases cogs, biocarta and kegg. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2003, 2003.

  • FARIACAMPOS, Alessandra C ; PROSDOCIMI, F ; TORRES, João A ; PEIXOTO, F C ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . Comparison of sequence sets of s. mansoni to d. melanogaster and c. elegans and development of tools for selection of s. mansoni clones for full length sequencing. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2002, Caxambu, 2002.

  • LIMA, J. ; RIBEIRO, DANIELA C.S.Z. ; NETO, HABIB ASSEISS ; Campos, Sérgio V.A. ; LEITE, M. ; FORTINI, M. ; CARVALHO, B. ; ALMEIDA, M. V. ; FONSECA, LEORGES M. . Detection of cheese whey illegally added to milk using machine learning methods associated with Fourier Transform Infrared. JOURNAL OF DAIRY SCIENCE , 2022.

  • CAMPOS, S. V. A. . Applications of Formal Methods in Industry. 2020. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMPOS, S. V. A. . Formal Verification, Model Checking. 2019. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMPOS, S. V. A. . Formal Verification, Model Checking. 2019. (Apresentação de Trabalho/Outra).

  • VAL, C. ; SIMOES, A. ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. . SIGLa - A Dynamic System to Integrate Laboratory Data Based on Workflow Definition. 2008. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMPOS, S. V. A. . The Priority Inversion Problem and Real-Time Symbolici Model Cheking. EUA: Carnegie Mellon University, 1993 (Relatório Técnico).

Outras produções

FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; GRANJEIRO, J. M. . FluxDAF : Gerenciamento de dados de ensaios de toxicidade de nanomateriais com Daphnia magna. 2020.

CAMPOS, S. V. A. ; FARIACAMPOS, Alessandra C ; GRANJEIRO, J. M. . BPL++, Um Sistema de Apoio à Adesão às Boas Práticas de Laboratório. 2018.

CAMPOS, S. V. A. ; FARIACAMPOS, Alessandra C ; GRANJEIRO, J. M. . FluxCTTX: A LIMS-based tool for management and analysis of cytotoxicity assays data. 2015.

Faria-Campos, Alessandra C. ; Lana-Peixoto, Marco A. ; CAMPOS, S. V. A. . NMO-DBr The Neuromielitis Optica Brazilian Database. 2011.

SIMOES, A. ; FARIACAMPOS, Alessandra C ; DELAAT, D. M. ; KELLER, R. ; ABREU, V. ; CAMPOS, S. V. A. . SIGLa - Sistema Integrado de Gerência de Laboratórios. 2010.

FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; VAL, C. ; THORUN, P. ; ABREU, V. ; BATISTA, P. ; PIMENTA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . Prodis - Proteomics Data Integrated System. 2009.

FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; CAMPOS, S. V. A. . BNDb - Biomolecules Network Database. 2006.

CAMPOS, S. V. A. ; MACIEL, P. N. . Neosyst - Sistema de Gerência de Negócios para Pequena Empresa. 2005.

CAMPOS, S. V. A. . Metasys. 2002.

CAMPOS, S. V. A. ; CLARKE, E. . O Sistema de Verificação de Modelos Simbólico (Symbolic Model Checker) Verus. 1997.

CAMPOS, S. V. A. ; FARIACAMPOS, Alessandra C ; VILELA NETO, O. . NanoTrack - Sistema de Gerenciamento de Dados de Nanoestruturas com Plugins Inteligentes. 2013.

CAMPOS, S. V. A. ; FARIACAMPOS, Alessandra C ; FLATSCHART, A. F. ; CARNEIRO, A. ; NODA, R. . FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas. 2012.

CAMPOS, S. V. A. ; FARIACAMPOS, Alessandra C ; Lana-Peixoto, Marco A. . NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica. 2012.

Campos, Sérgio V.A. ; FARIACAMPOS, Alessandra C ; PIETRA, E. . FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose. 2012.

CAMPOS, S. V. A. ; MACIEL, P. N. ; CAMPOS, I. M. . Metasys, Software para Inclusão Digital. 2005.

Projetos de pesquisa

  • 2020 - Atual

    MEDCON, Telemedicina Plena Através do Registro e Acompanhamento de Dados Médicos Específicos de COVID-19 e Outras Doenças, Projeto certificado pela empresa Hospital da Baleia em 13/08/2020., Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Enio Mazzieiro - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 1

  • 2019 - Atual

    BioConcepts: Conceptual Design for Biomedical Applications, Lessons from Software Design, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Daniel Jackson - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 1

  • 2018 - Atual

    Modelagem, Análise e Avaliação Formal de Sistemas Aeronáuticos, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.Número de orientações: 1

  • 2017 - 2020

    Projeto e Avaliação de Sistemas de Aeronaves Remotamente Pilotadas, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2013 - 2019

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - 2018

    SIGPC ? Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante., Número de produções C, T & A: 1

  • 2012 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2011 - 2018

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2011 - 2018

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante., Número de produções C, T & A: 1

  • 2008 - 2019

    TVPP: A Research Oriented P2P Live Streaming System, Descrição: Um projeto de desenvolvimento e pesquisa na transmissão de vídeo ao vivo utilizando tecnologias P2P.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alex Borges - Integrante / Marcus Vinicius Rocha - Integrante / italo cunha - Integrante., Número de produções C, T & A: 3

  • 2008 - 2013

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar ?O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni?, ?Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis?, ?Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico? dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 19

  • 1998 - Atual

    Verificação Automática de Sistemas de Complexidade Industrial, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / EDMUND CLARKE - Integrante / O Grumberg - Integrante / Mark Alan Song - Integrante / David Deharbe - Integrante / Hugo Barros - Integrante / Rodrigo Richard Gomes - Integrante / Coelho Jr O - Integrante / Gomes, Pedro - Integrante., Número de produções C, T & A: 3

Projetos de desenvolvimento

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante.Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2013 - Atual

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - Atual

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - Atual

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - Atual

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - 2018

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - 2018

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - 2018

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - 2018

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - 2018

    SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica, Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.

  • 2013 - 2018

    ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica, Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2013 - Atual

    FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose, Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.

  • 2012 - Atual

    NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica, Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.

  • 2011 - 2018

    FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas, Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.

  • 2011 - 2018

    FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração, Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013., Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.

  • 2005 - 2008

    SIGLa, Um Sistema Integrado de Gerência de Laboratórios, Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. .. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.

  • 2004 - 2006

    Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.

  • 2001 - 2005

    Computador Popular, Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013., Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

Prêmios

2022

Best Full Paper and Presentation, Brazilian Symposium on Bioinformatics.

2014

Best Oral Presentation, Brazilian Symposium in Bioinformatics.

2011

Menção Honrosa, WPerformance, X Workshop em Desempenho de Sistemas Computacionais e de Comunicação.

2008

Best Oral Presentation Award, 3rd place, Brazilian Society for Bioinformatics and Computational Biology.

2005

Melhor Artigo da Conferência WPERFORMANCE, Workshop em Desempenho de Sistemas Computacionais e de Comunicação.

2004

Prêmio Telemar de Inclusão Digital - Segundo Lugar Universidades, Instituto Telemar.

2001

Destaque SUCESU 2001 de Informática e Telecomunicações de Minas Gerais, SUCESU.

2001

Tecnologia da Informação - Escolhido entre os 100 mais influentes, Info Exame.

2001

Melhores de Hoje, Informática, Jornal Hoje em Dia.

1994

Prêmio de Melhor Artigo Técnico e Apresentação, Intel Design Technology Conference.

1990

Segundo Lugar no Concurso de Tese e Dissertações, Sociedade Brasileira de Computação.

Histórico profissional

Endereço profissional

  • Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Av. Antônio Carlos, 6627, Pampulha, 31270-010 - Belo Horizonte, MG - Brasil, Telefone: (31) 34995860, Fax: (31) 34995858, URL da Homepage:

Experiência profissional

2019 - Atual

Massachusetts Institute Of Technology

Vínculo: , Enquadramento Funcional:

2013 - 2019

Sociedade Brasileira de Computação - Porto Alegre

Vínculo: Coordenação da CE BioComp, Enquadramento Funcional: Coordenador

Outras informações:
Coordenação da Comissão Especial de Biologia Computacional da Sociedade Brasileira de Computação

2016 - Atual

Universidade Federal de Minas Gerais

Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

2006 - 2015

Universidade Federal de Minas Gerais

Vínculo: , Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

1998 - 2006

Universidade Federal de Minas Gerais

Vínculo: , Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Atividades

  • 05/2005

    Conselhos, Comissões e Consultoria, Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG.,Cargo ou função, Membro Titular do Colegiado do PPGCC.

  • 03/2005

    Direção e administração, Doutorado em Bioinformática - ICB - UFMG.,Cargo ou função, Coordenador de Curso.

  • 03/2005

    Conselhos, Comissões e Consultoria, Doutorado em Bioinformática - ICB - UFMG.,Cargo ou função, Membro Titular do Colegiado.

  • 08/1998

    Pesquisa e desenvolvimento, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

  • 08/1998

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Sistemas Operacionais, TECC: Verificação Automática

  • 08/1998

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas Operacionais, Sistemas de Tempo-Real