Jorge Cruz

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