Jorge Carlos Ferreira Rodrigues da Cruz

Jorge Carlos Ferreira Rodrigues da Cruz

Former affiliation
Calculated based on number of publications stored in Pure and citations from Scopus
19992017

Research activity per year

Filter
Conference contribution

Search results

  • 2015

    Probabilistic constraint programming for parameters optimisation of generative models

    Zanin, M., Correia, M., Cruz, J. & Sousa, P. A. D. C., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 376-387 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)
  • Probabilistic constraints for robot localization

    Correia, M., Meshcheryakova, O., Sousa, P. A. D. C. & Cruz, J., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 480-486 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Reasoning with uncertainty in biomedical models

    Franco, A., Correia, M. & Cruz, J., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 41-53 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Safe reliability assessment through probabilistic constraint reasoning

    Carvalho, E., Cruz, J. & Barahona, P., 2015, Safety and Reliability: Methodology and Applications - Proceedings of the European Safety and Reliability Conference, ESREL 2014. CRC Press/Balkema, p. 2269-2277 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Citation (Scopus)
  • Uncertainty propagation in biomedical models

    Franco, A., Correia, M. & Cruz, J., 2015, Artificial Intelligence in Medicine - 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Proceedings. Springer Verlag, Vol. 9105. p. 166-171 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9105).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)
  • 2014

    On the Efficient Implementation of Social Abstract Argumentation

    Correia, M., Cruz, J. C. F. R. D. & Leite, J. A. C. P., 1 Jan 2014, Frontiers in Artificial Intelligence and Applications. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). {IOS} Press, Vol. 263. p. 225--230

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    13 Citations (Scopus)
  • Probabilistic constraints for nonlinear inverse problems

    Carvalho, E., Cruz, J. & Barahona, P., 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, Vol. 8656 LNCS. p. 913-917 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8656 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2010

    Probabilistic Constraints for Reliability Problems

    Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. ACM - Association for Computing Machinery, p. 2055-2060

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Reasoning with Uncertainty in Continuous Domains

    Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2010, Advances in Intelligent and Soft Computing. Springer, Vol. 68. p. 357-369

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2008

    Probabilistic constraints for inverse problems

    Carvalho, E., Cruz, J. & Barahona, P., 2008, Interval / Probabilistic Uncertainty and Non-Classical Logics. Huynh, V-N., Nakamori, Y., Ono, H., Lawry, J., Kreinovich, V. & Nguyen, H. (eds.). Berlin: Springer, Vol. 46. p. 115-128 14 p. (Advances in Soft Computing; vol. 46).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • Probabilistic continuous constraint satisfaction problems

    Carvalho, E., Cruz, J. & Barahona, P., 2008, Proceedings - 20th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'08. Los Alamitos, Vol. 2. p. 155-162 8 p. 4669769. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Citations (Scopus)
  • 2007

    Probabilistic reasoning with continuous constraints

    Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2007, AIP Conference Proceedings. Simos, TE. (ed.). Vol. 936. p. 105-108

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Citations (Scopus)
  • 2003

    Constraint reasoning in deep biomedical models

    Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2003, Lecture Notes in Artificial Intelligence. Vol. 2780. p. 324-334

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Constraint satisfaction differential problems

    Cruz, J. & Barahona, P., 2003, Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings. Rossi, F. (ed.). Berlin: Springer Verlag, Vol. 2833. p. 259-273 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2833).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Citations (Scopus)
  • Maintaining global hull consistency with local search for continuous CSPs

    Cruz, J. & Barahona, P., 2003, Global Optimization and Constraint Satisfaction: First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers. Bliek, C., Jermann, C. & Neumaier, A. (eds.). Berlin: Springer, p. 178-193 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2861).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Citations (Scopus)
  • 2000

    Handling differential equations with constraints for decision support

    Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2000, Lecture Notes in Artificial Intelligence. Vol. 1794. p. 105-120

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Citations (Scopus)
  • 1999

    Integrating deep biomedical models into medical decision support systems: An interval constraint approach

    Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 1999, Lecture Notes in Artificial Intelligence. Vol. 1620. p. 185-194

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.