Pedro Manuel Correa Calvente Barahona


AuthID: R-000-EVD

Publicações Confirmadas: 43



1
TÍTULO: Constraining protein docking with coevolution data for medical research
AUTORES: Krippahl, L; Madeira, F; Barahona, P ;
PUBLICAÇÃO: 2013, FONTE: 14th Conference on Artificial Intelligence in Medicine, AIME 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7885 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
2
TÍTULO: Probabilistic constraints for nonlinear inverse problems. An ocean color remote sensing example  Full Text
AUTORES: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: View-based propagation of decomposable constraints  Full Text
AUTORES: Marco Correia; Pedro Barahona ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
4
TÍTULO: Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions  Full Text
AUTORES: Gregory Wheeler; Pedro Barahona ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 41, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
5
TÍTULO: Classification Tree Generation Constrained with Variable Weights
AUTORES: Pedro Barahona ; Gemma Bel Enguix; Veronica Dahl; Dolores Jimenez Lopez, MD; Ludwig Krippahl;
PUBLICAÇÃO: 2011, FONTE: 4th International Work-Conference on the Interplay Between Natural and Artificial Computation (IWINAC)/Joint Workshop and Summer School on Astrostatistics and Data Mining in Large Astronomical Databases in FOUNDATIONS ON NATURAL AND ARTIFICIAL COMPUTATION: 4TH INTERNATIONAL WORK-CONFERENCE ON THE INTERPLAY BETWEEN NATURAL AND ARTIFICIAL COMPUTATION, IWINAC 2011, PART I, VOLUME: 6686, NÚMERO: PART 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
6
TÍTULO: Biological concept formation grammars: A flexible, multiagent linguistic tool for biological processes
AUTORES: Dahl, V; Barahona, P ; Bel Enguix, G; Krippahl, L;
PUBLICAÇÃO: 2010, FONTE: 2nd International Conference on Agents and Artificial Intelligence, ICAART 2010 in ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings, VOLUME: 2
INDEXADO EM: Scopus
NO MEU: ORCID
7
TÍTULO: Probabilistic constraints for reliability problems  Full Text
AUTORES: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLICAÇÃO: 2010, FONTE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
8
TÍTULO: Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction
AUTORES: Olivier Perriquet; Pedro Barahona ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
9
TÍTULO: Type Parametric Compilation of Algebraic Constraints
AUTORES: Marco Correia; Pedro Barahona ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
10
TÍTULO: Constraint programming in structural bioinformatics  Full Text
AUTORES: Pedro Barahona ; Ludwig Krippahl;
PUBLICAÇÃO: 2008, FONTE: CONSTRAINTS, VOLUME: 13, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 1 de 5. Total de resultados: 43.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service