Pedro Manuel Correa Calvente Barahona


AuthID: R-000-EVD

Confirmed Publications: 43



21
TITLE: Constraint reasoning in deep biomedical models  Full Text
AUTHORS: Cruz, J ; Barahona, P ;
PUBLISHED: 2005, SOURCE: 9th Conference on Artificial Intelligence in Medicine in Europe in ARTIFICIAL INTELLIGENCE IN MEDICINE, VOLUME: 34, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
22
TITLE: Machine learned heuristics to improve constraint satisfaction
AUTHORS: Correia, M; Barahona, P ;
PUBLISHED: 2004, SOURCE: 17th Brazilian Symposium on Artificial Intelligence (SBIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2004, VOLUME: 3171
INDEXED IN: Scopus WOS
IN MY: ORCID
23
TITLE: Parameter estimation using interval computations  Full Text
AUTHORS: Granvilliers, L; Cruz, J ; Barahona, P ;
PUBLISHED: 2004, SOURCE: SIAM JOURNAL ON SCIENTIFIC COMPUTING, VOLUME: 26, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
24
TITLE: Constraint reasoning in deep biomedical models
AUTHORS: Cruz, J ; Barahona, P ;
PUBLISHED: 2003, SOURCE: 9th Conference on Artificial Intelligence in Medicine in Europe in ARTIFICIAL INTELLIGENCE IN MEDICINE, PROCEEDINGS, VOLUME: 2780
INDEXED IN: Scopus WOS
IN MY: ORCID
25
TITLE: Constraint satisfaction differential problems
AUTHORS: Cruz, J ; Barahona, P ;
PUBLISHED: 2003, SOURCE: 9th International Conference on Principles and Practice of Constraint Programming in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, VOLUME: 2833
INDEXED IN: Scopus WOS
IN MY: ORCID
26
TITLE: Maintaining global hull consistency with local search for continuous CSPs
AUTHORS: Cruz, J ; Barahona, P ;
PUBLISHED: 2003, SOURCE: 1st International Workshop on Global Constraint Optimization and Constraint Satisfaction in GLOBAL OPTIMIZATION AND CONSTRAINT SATISFACTION, VOLUME: 2861
INDEXED IN: Scopus WOS
IN MY: ORCID
27
TITLE: Propagating N-ary rigid-body constraints
AUTHORS: Krippahl, L; Barahona, P ;
PUBLISHED: 2003, SOURCE: 9th International Conference on Principles and Practice of Constraint Programming in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, VOLUME: 2833
INDEXED IN: Scopus WOS
IN MY: ORCID
28
TITLE: PSICO: Solving protein structures with constraint programming and optimization  Full Text
AUTHORS: Krippahl, L; Barahona, P ;
PUBLISHED: 2002, SOURCE: Constraints, VOLUME: 7, ISSUE: 3-4
INDEXED IN: Scopus CrossRef: 17
IN MY: ORCID
29
TITLE: Computerising a guideline for the management of diabetes  Full Text
AUTHORS: Barahona, P ; Azevedo, F; Veloso, M; Estevao, N; Gallego, R;
PUBLISHED: 2001, SOURCE: 16th Medical Informatics Europe Congress/45th Annual Congress of the German-Association-for-Medical-Informatics-Biometry-and-Epidemiology in INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 64, ISSUE: 2-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
30
TITLE: Global hull consistency with local search for continuous constraint solving
AUTHORS: Cruz, J ; Barahona, P ;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI
INDEXED IN: Scopus
IN MY: ORCID
Page 3 of 5. Total results: 43.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service