A method for improving search-based inference techniques in Bayesian networks by obtaining a prior estimation of the error is presented. The method is based on a recently introduced algorithm for calculating the contribution of a given set of instantiations to the total probability mass. If a certain accuracy for the solution is desired, the method provides us with the number of replications (i...

This paper deals with temperature control of multivariable system of office building. The system is simplified to several single input-single output systems by decoupling their mutual linkages, which are separately controlled by regulator based on generalized model predictive control. Main part of this paper focuses on the accuracy of the office temperature with respect to occupancy profile and...

We present detailed analysis of a lattice Boltzmann approach to model time-dependent Newtonian flows. The aim of this study is to find optimized simulation parameters for a desired accuracy with minimal computational time. Simulation parameters for fixed Reynolds and Womersley numbers are studied. We investigate influences from the Mach number and different boundary conditions on the accuracy a...

We present a direct, adaptive solver for the Poisson equation which can achieve any prescribed order of accuracy. It is based on a domain decomposition approach using local spectral approximation, as well as potential theory and the fast multipole method. In two space dimensions, the algorithm requires O(NK) work where N is the number of discretization points and K is the desired order of accur...

We present a formulation of rigid body dynamics with frictional contact that leverages ideas from discrete mechanics to derive time-stepping schemes with any desired order of integration accuracy. By utilizing the new time-stepping methods as dynamics constraints in a direct trajectory optimization scheme, we are able to perform contact-implicit trajectory optimization with accuracy equal to tr...

The desired security properties of electronic voting protocols include verifiability, accuracy, democracy and fairness. In this paper we use a static program analysis tool to validate these properties for one of the classical voting protocols under appropriate assumptions. The protocol is formalised in an extension of the LYSA process calculus with blinding signatures. The analysis, which is fu...

Empirical tight binding has proven to be very popular in recent years on account of its computational efficiency and accuracy. However, it has limitations, notably the difficulties associated with fitting parameters and improving models when the desired accuracy cannot be achieved. In the light of this, a number of efforts have been made to derive tight-binding models from first principles. Her...

Reliability, availability, and maintainability (RAM) analysis has helped to identify the critical and sensitive subsystems in the production systems that have a major effect on system performance. But the collected or available data, reflecting the system failure and repair patterns, are vague, uncertain, and imprecise due to various practical constraints. Under these circumstances it is diffic...