Picture for Michael Huth

Michael Huth

Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection

Add code
Jul 28, 2021
Figure 1 for Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection
Figure 2 for Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection
Viaarxiv icon

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems

Add code
Mar 20, 2018
Figure 1 for Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Figure 2 for Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Figure 3 for Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Figure 4 for Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Viaarxiv icon

Constrained Bayesian Networks: Theory, Optimization, and Applications

Add code
May 15, 2017
Figure 1 for Constrained Bayesian Networks: Theory, Optimization, and Applications
Figure 2 for Constrained Bayesian Networks: Theory, Optimization, and Applications
Figure 3 for Constrained Bayesian Networks: Theory, Optimization, and Applications
Figure 4 for Constrained Bayesian Networks: Theory, Optimization, and Applications
Viaarxiv icon

Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving

Add code
Feb 04, 2017
Figure 1 for Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
Figure 2 for Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
Figure 3 for Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
Viaarxiv icon