SimplyRep: A simple and effective reputation system to fight pollution in P2P live streaming
Vieira, Alex Borges, de Almeida, Rafael Barra, de Almeida, Jussara Marques, Campos, Sérgio Vale Aguiar
Published in Computer networks (Amsterdam, Netherlands : 1999) (13.03.2013)
Published in Computer networks (Amsterdam, Netherlands : 1999) (13.03.2013)
Get full text
Journal Article
ViMT - Development of a Web-Based Vivarium Management Tool
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
Published in Advances in Bioinformatics and Computational Biology (01.01.2018)
Published in Advances in Bioinformatics and Computational Biology (01.01.2018)
Get full text
Book Chapter
PRODIS: a proteomics data management system with support to experiment tracking
Faria-Campos, Alessandra, Fernandes-Rausch, Herbert, Val, Celina, Thorun, Peter, Abreu, Vinicius, Batista, Paulo Henrique, Mendonça, Paulo Henrique, Alves, Vinicius, Rodrigues, Maíra Ribeiro, Pimenta, Adriano, Franco, Glória, Campos, Sérgio Vale Aguiar
Published in BMC genomics (22.12.2011)
Published in BMC genomics (22.12.2011)
Get full text
Journal Article
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235
Rausch Fernandes, Herbert, Gomes, Giovanni Freitas, Pinheiro de Oliveira, Antonio Carlos, Campos, Sérgio Vale Aguiar
Published in Science of computer programming (01.01.2024)
Published in Science of computer programming (01.01.2024)
Get full text
Journal Article
Differential abundances of four forms of Binder of SPerm 1 in the seminal plasma of Bos taurus indicus bulls with different patterns of semen freezability
Magalhães, Marcos Jorge, Martins, Leonardo Franco, Senra, Renato Lima, Santos, Thaís Ferreira dos, Okano, Denise Silva, Pereira, Paulo Roberto Gomes, Faria-Campos, Alessandra, Campos, Sérgio Vale Aguiar, Guimarães, José Domingos, Baracat-Pereira, Maria Cristina
Published in Theriogenology (01.08.2016)
Published in Theriogenology (01.08.2016)
Get full text
Journal Article
Computer aided identification of a Hevein-like antimicrobial peptide of bell pepper leaves for biotechnological use
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
Published in BMC genomics (15.12.2016)
Published in BMC genomics (15.12.2016)
Get full text
Journal Article
The Verus language: representing time efficiently with BDDs
Get full text
Journal Article
Conference Proceeding
Development of an Antiviral Medicinal Plant and Natural Product Database (avMpNp Database) from Biodiversity
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
Published in Chemistry & biodiversity (15.11.2024)
Published in Chemistry & biodiversity (15.11.2024)
Get full text
Journal Article
Simplified model for automatic QCA circuitry verification
Borges Sardinha, Luiz Henrique, Buxbaum Orlandi, Vitor, Paranaiba Vilela Neto, Omar, Aguiar Campos, Sergio Vale
Published in 2017 30th Symposium on Integrated Circuits and Systems Design (SBCCI) (01.08.2017)
Published in 2017 30th Symposium on Integrated Circuits and Systems Design (SBCCI) (01.08.2017)
Get full text
Conference Proceeding
Symbolic model checking in practice
Campos, S.V.A.
Published in Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) (1999)
Published in Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) (1999)
Get full text
Conference Proceeding
VERIFYING AN OBJECT RECOGNITION DETERMINATION PRODUCED BY A PERCEPTION SYSTEM FROM DATA RECEIVED FROM A RANGING SENSOR SYSTEM
Jackson, Daniel, Chow, Jeff, Guajardo, Uriel, Litt, Geoffrey, Pollock, Joshua Maxwell, Campos, Sergio Vale Aguiar, Bryan, Anna G, Kong, Soon Ho, Arechiga Gonzalez, Nikos
Year of Publication 17.11.2022
Get full text
Year of Publication 17.11.2022
Patent