Jorge Cruz

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 7

Top Topics

Optimization Problems

Extended Abstract

Robot Localization

Abstract Argumentation

Top Venues

J. Comput. Appl. Math.

Publications

António Mestre, Dinis Faustino, Bruno Silva, Jorge Cruz
Genetic Algorithm Approach for Smart Industrial Multi-Objective Production Planning. ECAI (2024)
Benjamin Martin, Marco Correia, Jorge Cruz
A certified Branch & Bound approach for reliability-based optimization problems. J. Glob. Optim. 69 (2) (2017)
Leila Amgoud, Elise Bonzon, Marco Correia, Jorge Cruz, Jérôme Delobelle, Sébastien Konieczny, João Leite, Alexis Martin, Nicolas Maudet, Srdjan Vesic
A note on the uniqueness of models in social abstract argumentation. CoRR (2017)
Marco Correia, Olga Meshcheryakova, Pedro A. C. Sousa, Jorge Cruz
Probabilistic Constraints for Robot Localization. EPIA (2015)
Massimiliano Zanin, Marco Correia, Pedro A. C. Sousa, Jorge Cruz
Probabilistic Constraint Programming for Parameters Optimisation of Generative Models. EPIA (2015)
Andrea Franco, Marco Correia, Jorge Cruz
Uncertainty Propagation in Biomedical Models. AIME (2015)
Andrea Franco, Marco Correia, Jorge Cruz
Reasoning with Uncertainty in Biomedical Models. EPIA (2015)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). CP (2014)
Marco Correia, Jorge Cruz, João Leite
On the Efficient Implementation of Social Abstract Argumentation. ECAI (2014)
Alexandre Goldsztejn, Jorge Cruz, Elsa Carvalho
Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities. J. Comput. Appl. Math. 260 (2014)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. Constraints An Int. J. 18 (3) (2013)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Probabilistic constraints for reliability problems. SAC (2010)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Reasoning with Uncertainty in Continuous Domains. IUM (2010)
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Probabilistic Continuous Constraint Satisfaction Problems. ICTAI (2) (2008)
Jorge Cruz, Pedro Barahona
Constraint reasoning in deep biomedical models. Artif. Intell. Medicine 34 (1) (2005)
Laurent Granvilliers, Jorge Cruz, Pedro Barahona
Parameter Estimation Using Interval Computations. SIAM J. Sci. Comput. 26 (2) (2004)
Jorge Cruz, Pedro Barahona
Constraint Reasoning in Deep Biomedical Models. AIME (2003)
Jorge Cruz, Pedro Barahona
Constraint Satisfaction Differential Problems. CP (2003)
Jorge Cruz, Pedro Barahona
Maintaining Global Hull Consistency with Local Search for Continuous CSPs. COCOS (2002)
Jorge Cruz, Pedro Barahona
Global Hull Consistency with Local Search for Continuous Constraint Solving. EPIA (2001)
Jorge Cruz, Pedro Barahona
Handling Differential Equations with Constraints for Decision Support. FroCoS (2000)
Jorge Cruz, Pedro Barahona, Frédéric Benhamou
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. AIMDM (1999)
Jorge Cruz, Pedro Barahona
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. CP (1999)
Jorge Cruz, Pedro Barahona
A Causal-Functional Model Applied to EMG Diagnosis. AIME (1997)