Contributors: Arbab, F. (Farhad), Sirjani, M. (Marjan)

Superior Title: Journal of Universal Computer Science vol. 13 no. 13, pp. 1970-2104

Subject Terms: formal methods, verification, hardware/software co-design, self-evolving Petri nets, e-barter, model checking, spanning tree protocol

Relation: https://ir.cwi.nl/pub/12030

Availability: https://ir.cwi.nl/pub/12030

Authors: Halder, Y. (Yous) van, Sanderse, B. (Benjamin), Koren, B. (Barry)

Superior Title: SIAM Journal on Scientific Computing vol. 41 no. 6, pp. A3624-A3648

Subject Terms: multielement method, stochastic collocation, support vector machines, minimum spanning trees, uncertainty quantification, discontinuity detection

Relation: info:eu-repo/grantAgreement/NWO/NWO/14909; https://ir.cwi.nl/pub/29173

Availability: https://doi.org/10.1137/18M1219643
https://ir.cwi.nl/pub/29173

Authors: Eggels, A.W. (Anne), Crommelin, D.T. (Daan)

Subject Terms: Rényi entropy, Dependent data, Sensitivity analysis, Large datasets, Minimum spanning trees

File Description: application/pdf

Relation: info:eu-repo/grantAgreement/NWO/NWO/14186; https://ir.cwi.nl/pub/27430

Availability: https://ir.cwi.nl/pub/27430