3 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.CR2019★ 3 cited
Owner-centric sharing of physical resources, data, and data-driven insights in digital ecosystems
Kwok Cheung, Michael Huth, Laurence Kirk +3
We are living in an age in which digitization will connect more and more physical assets with IT systems and where IoT endpoints will generate a wealth of valuable data. Companies,…
cs.AI2017★ 2 cited
Constrained Bayesian Networks: Theory, Optimization, and Applications
Paul Beaumont, Michael Huth
We develop the theory and practice of an approach to modelling and probabilistic inference in causal networks that is suitable when application-specific or analysis-specific constr…
cs.AI2017★ 3 cited
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
Andrea Callia D'Iddio, Michael Huth
Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports important decisions in applications such as Chemical Process Engineering. But current solvers have limited abi…