2
TITLE: A certified Branch & Bound approach for reliability-based optimization problems
AUTHORS: Martin, B; Correia, M; Cruz, J;
PUBLISHED: 2017, SOURCE: JOURNAL OF GLOBAL OPTIMIZATION, VOLUME: 69, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
3
TITLE: From phenotype to genotype in complex brain networks  Full Text
AUTHORS: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLISHED: 2016, SOURCE: SCIENTIFIC REPORTS, VOLUME: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Safe reliability assessment through probabilistic constraint reasoning
AUTHORS: Carvalho, E; Cruz, J; Barahona, P;
PUBLISHED: 2015, SOURCE: European Safety and Reliability Conference, ESREL 2014 in Safety and Reliability: Methodology and Applications - Proceedings of the European Safety and Reliability Conference, ESREL 2014
INDEXED IN: Scopus CrossRef
IN MY: ORCID
5
TITLE: Probabilistic Constraint Programming for Parameters Optimisation of Generative Models
AUTHORS: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Reasoning with Uncertainty in Biomedical Models
AUTHORS: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Probabilistic Constraints for Robot Localization
AUTHORS: Marco Correia; Olga Meshcheryakova; Pedro Sousa; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: Uncertainty Propagation in Biomedical Models
AUTHORS: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLISHED: 2015, SOURCE: 15th Conference on Artificial Intelligence in Medicine (AIME) in ARTIFICIAL INTELLIGENCE IN MEDICINE (AIME 2015), VOLUME: 9105
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
TITLE: Probabilistic constraints for nonlinear inverse problems (extended abstract)
AUTHORS: Carvalho, E; Cruz, J; Barahona, P;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8656 LNCS
INDEXED IN: Scopus
IN MY: ORCID
10
TITLE: Probabilistic Constraints for Nonlinear Inverse Problems
AUTHORS: Carvalho, E; Cruz, J; Barahona, P;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXED IN: WOS CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 16.