1
TITLE: Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities  Full Text
AUTHORS: Alexandre Goldsztejn; Jorge Cruz ; Elsa Carvalho;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 260
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Probabilistic constraints for nonlinear inverse problems. An ocean color remote sensing example  Full Text
AUTHORS: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
3
TITLE: Probabilistic constraints for reliability problems  Full Text
AUTHORS: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus CrossRef
IN MY: ORCID
4
TITLE: Reasoning with Uncertainty in Continuous Domains
AUTHORS: Elsa Carvalho; Jorge Cruz ; Pedro Barahona;
PUBLISHED: 2010, SOURCE: International Symposium on Integrated Uncertainty Management and Applications in INTEGRATED UNCERTAINTY MANAGEMENT AND APPLICATIONS, VOLUME: 68
INDEXED IN: WOS
5
TITLE: Probabilistic constraints for inverse problems  Full Text
AUTHORS: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLISHED: 2008, SOURCE: International Workshop on Interval and Probabilistic Uncertainty and Non-Classical Logics in INTERVAL / PROBABILISTIC UNCERTAINTY AND NON-CLASSICAL LOGICS, VOLUME: 46
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Probabilistic Continuous Constraint Satisfaction Problems
AUTHORS: Elsa Carvalho; Jorge Cruz ; Pedro Barahona ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 2, PROCEEDINGS, VOLUME: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Probabilistic reasoning with continuous constraints  Full Text
AUTHORS: Carvalho, E; Cruz, J ; Barahona, P ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2007, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in Numerical Analysis and Applied Mathematics, VOLUME: 936
INDEXED IN: Scopus WOS CrossRef
8
TITLE: Constraint reasoning in deep biomedical models  Full Text
AUTHORS: Cruz, J ; Barahona, P ;
PUBLISHED: 2005, SOURCE: 9th Conference on Artificial Intelligence in Medicine in Europe in ARTIFICIAL INTELLIGENCE IN MEDICINE, VOLUME: 34, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
TITLE: Parameter estimation using interval computations  Full Text
AUTHORS: Granvilliers, L; Cruz, J ; Barahona, P ;
PUBLISHED: 2004, SOURCE: SIAM JOURNAL ON SCIENTIFIC COMPUTING, VOLUME: 26, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
10
TITLE: Constraint reasoning in deep biomedical models
AUTHORS: Cruz, J ; Barahona, P ;
PUBLISHED: 2003, SOURCE: 9th Conference on Artificial Intelligence in Medicine in Europe in ARTIFICIAL INTELLIGENCE IN MEDICINE, PROCEEDINGS, VOLUME: 2780
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 1 of 2. Total results: 18.