Pedro Manuel Correa Calvente Barahona


AuthID: R-000-EVD

Publicações Confirmadas: 43



11
TÍTULO: On the Efficiency of Impact Based Heuristics  Full Text
AUTORES: Marco Correia; Pedro Barahona ;
PUBLICAÇÃO: 2008, FONTE: 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, VOLUME: 5202
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
12
TÍTULO: On the Integration of Singleton Consistencies and Look-Ahead Heuristics
AUTORES: Marco Correia; Pedro Barahona ;
PUBLICAÇÃO: 2008, FONTE: 12th Annual Recent Advances in Constraints International Workshop on Constraint Solving and Constraint Logic Programming in RECENT ADVANCES IN CONSTRAINTS, 12TH ANNUAL ERCIM INTERNATIONAL WORKSHOP, VOLUME: 5129
INDEXADO EM: Scopus WOS
13
TÍTULO: Probabilistic constraints for inverse problems  Full Text
AUTORES: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLICAÇÃO: 2008, FONTE: International Workshop on Interval and Probabilistic Uncertainty and Non-Classical Logics in INTERVAL / PROBABILISTIC UNCERTAINTY AND NON-CLASSICAL LOGICS, VOLUME: 46
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
14
TÍTULO: Probabilistic Continuous Constraint Satisfaction Problems
AUTORES: Elsa Carvalho; Jorge Cruz ; Pedro Barahona ;
PUBLICAÇÃO: 2008, FONTE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 2, PROCEEDINGS, VOLUME: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
15
TÍTULO: Using Indexed Finite Set Variables for Set Bounds Propagation
AUTORES: Ruben Duarte Viegas; Marco Correia; Pedro Barahona ; Francisco Azevedo;
PUBLICAÇÃO: 2008, FONTE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
16
TÍTULO: A constraint programming approach to bioinformatics structural problems
AUTORES: Pedro Barahona ; Ludwig Krippahl;
PUBLICAÇÃO: 2007, FONTE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXADO EM: Scopus WOS
17
TÍTULO: Probabilistic reasoning with continuous constraints  Full Text
AUTORES: Carvalho, E; Cruz, J ; Barahona, P ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLICAÇÃO: 2007, FONTE: International Conference on Numerical Analysis and Applied Mathematics in Numerical Analysis and Applied Mathematics, VOLUME: 936
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
18
TÍTULO: A framework for optimal correction of inconsistent linear constraints  Full Text
AUTORES: Amaral, P ; Barahona, P ;
PUBLICAÇÃO: 2005, FONTE: Annual Conference on Principles and Practice of Constraint Progamming in CONSTRAINTS, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 7
NO MEU: ORCID
19
TÍTULO: Applying constraint programming to rigid body protein docking
AUTORES: Krippahl, L; Barahona, P ;
PUBLICAÇÃO: 2005, FONTE: 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, VOLUME: 3709
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
20
TÍTULO: Connections between the total least squares and the correction of an infeasible system of linear inequalities  Full Text
AUTORES: Amaral, P ; Barahona, P ;
PUBLICAÇÃO: 2005, FONTE: Linear Algebra and Its Applications, VOLUME: 395, NÚMERO: 1-3
INDEXADO EM: Scopus CrossRef: 12
NO MEU: ORCID
Página 2 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