Parameter estimation using interval computations L Granvilliers, J Cruz, P Barahona SIAM Journal on Scientific Computing 26 (2), 591-612, 2004 | 35 | 2004 |
The Role of Knowledge Based Systems in Clinical Practice-EPISTOL, München Workshop, 28-30 June, 1993, Working Group 1 Report J Durinck, E Coiera, R Baud, L Console, J Cruz, P Frutiger, ... Knowledge and Decisions in Health Telematics, 199-203, 1994 | 32 | 1994 |
Constraint reasoning for differential models JCFR da Cruz PQDT-Global, 2003 | 31 | 2003 |
Constraint satisfaction differential problems J Cruz, P Barahona International Conference on Principles and Practice of Constraint …, 2003 | 23 | 2003 |
On the Efficient Implementation of Social Abstract Argumentation. M Correia, J Cruz, J Leite ECAI, 225-230, 2014 | 21 | 2014 |
Global hull consistency with local search for continuous constraint solving J Cruz, P Barahona Portuguese Conference on Artificial Intelligence, 349-362, 2001 | 20 | 2001 |
Maintaining global hull consistency with local search for continuous CSPs J Cruz, P Barahona International Workshop on Global Optimization and Constraint Satisfaction …, 2002 | 18 | 2002 |
Constraint reasoning in deep biomedical models J Cruz, P Barahona Artificial Intelligence in Medicine 34 (1), 77-88, 2005 | 12 | 2005 |
An interval constraint approach to handle parametric ordinary differential equations for decision support J Cruz, P Barahona Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999 | 12 | 1999 |
Constraint reasoning with differential equations J Cruz, P Barahona Applied Numerical Analysis & Computational Mathematics 1 (1), 140-154, 2004 | 10 | 2004 |
A causal-functional model applied to EMG diagnosis J Cruz, P Barahona Artificial Intelligence in Medicine: 6th Conference on Artificial …, 1997 | 9 | 1997 |
Probabilistic continuous constraint satisfaction problems E Carvalho, J Cruz, P Barahona 2008 20th IEEE International Conference on Tools with Artificial …, 2008 | 8 | 2008 |
A note on the uniqueness of models in social abstract argumentation L Amgoud, E Bonzon, M Correia, J Cruz, J Delobelle, S Konieczny, J Leite, ... arXiv preprint arXiv:1705.03381, 2017 | 7 | 2017 |
Handling differential equations with constraints for decision support J Cruz, P Barahona International Workshop on Frontiers of Combining Systems, 105-120, 2000 | 7 | 2000 |
Integrating deep biomedical models into medical decision support systems: an interval constraint approach J Cruz, P Barahona, F Benhamou Joint European Conference on Artificial Intelligence in Medicine and Medical …, 1999 | 7 | 1999 |
Integrating deep biomedical models into medical decision support systems: an interval constraint approach J Cruz, P Barahona, F Benhamou Joint European Conference on Artificial Intelligence in Medicine and Medical …, 1999 | 7 | 1999 |
Integrating deep biomedical models into medical decision support systems: an interval constraint approach J Cruz, P Barahona, F Benhamou Joint European Conference on Artificial Intelligence in Medicine and Medical …, 1999 | 7 | 1999 |
Constraint Reasoning for Differential Models Vol: 126 Frontiers in Artificial Intelligence and Applications J Cruz IOS Press, 2005 | 6 | 2005 |
Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities A Goldsztejn, J Cruz, E Carvalho Journal of computational and applied mathematics 260, 543-560, 2014 | 5 | 2014 |
Probabilistic Constraints for Inverse Problems E Carvalho, J Cruz, P Barahona Interval/Probabilistic Uncertainty and Non-Classical Logics, 115-128, 2008 | 5 | 2008 |