Marco Vargas Correia
AuthID: R-000-ABY
1
TÃTULO: From phenotype to genotype in complex brain networks Full Text
AUTORES: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLICAÇÃO: 2016, FONTE: SCIENTIFIC REPORTS, VOLUME: 6
AUTORES: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLICAÇÃO: 2016, FONTE: SCIENTIFIC REPORTS, VOLUME: 6
2
TÃTULO: Probabilistic Constraint Programming for Parameters Optimisation of Generative Models
AUTORES: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTORES: Massimiliano Zanin; Marco Correia; Pedro A C Sousa; Jorge Cruz;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
3
TÃTULO: Reasoning with Uncertainty in Biomedical Models
AUTORES: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTORES: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
4
TÃTULO: Probabilistic Constraints for Robot Localization
AUTORES: Marco Correia; Olga Meshcheryakova; Pedro Sousa; Jorge Cruz;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTORES: Marco Correia; Olga Meshcheryakova; Pedro Sousa; Jorge Cruz;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
5
TÃTULO: Uncertainty Propagation in Biomedical Models
AUTORES: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLICAÇÃO: 2015, FONTE: 15th Conference on Artificial Intelligence in Medicine (AIME) in ARTIFICIAL INTELLIGENCE IN MEDICINE (AIME 2015), VOLUME: 9105
AUTORES: Andrea Franco; Marco Correia; Jorge Cruz;
PUBLICAÇÃO: 2015, FONTE: 15th Conference on Artificial Intelligence in Medicine (AIME) in ARTIFICIAL INTELLIGENCE IN MEDICINE (AIME 2015), VOLUME: 9105
6
TÃTULO: On the Efficient Implementation of Social Abstract Argumentation
AUTORES: Marco Correia; Jorge Cruz; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTORES: Marco Correia; Jorge Cruz; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS
7
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
AUTORES: Marco Correia; Pedro Barahona ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 4
8
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
AUTORES: Marco Correia; Pedro Barahona ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
9
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
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
10
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
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