2
TITLE: A certified Branch & Bound approach for reliability-based optimization problems
AUTHORS: Benjamin Martin; Marco Correia; Jorge Cruz;
PUBLISHED: 2017, SOURCE: JOURNAL OF GLOBAL OPTIMIZATION, VOLUME: 69, ISSUE: 2
INDEXED IN: Scopus WOS
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
4
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
5
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
6
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
7
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
8
TITLE: Safe reliability assessment through probabilistic constraint reasoning
AUTHORS: Elsa Carvalho; Jorge Cruz; Pedro Barahona;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE EUROPEAN SAFETY AND RELIABILITY CONFERENCE (ESREL) in Safety and Reliability: Methodology and Applications
INDEXED IN: WOS
9
TITLE: On the Efficient Implementation of Social Abstract Argumentation
AUTHORS: Marco Correia; Jorge Cruz; Joao Leite ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: Scopus WOS
10
TITLE: West Nile virus in Southern Portugal, 2004
AUTHORS: Esteves, A ; Almeida, APG ; Galao, RP; Parreira, R ; Piedade, J ; Rodrigues, JC; Sousa, CA ; Novo, MT ;
PUBLISHED: 2005, SOURCE: VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 5, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
Page 1 of 2. Total results: 11.