Effectiveness and even more efficiency are substantial indicators of information technology (IT) performance management. Evaluation of an organisation’s IT performance relies heavily on benchmarking with other organisations. The comparability of IT key performance indicators (KPIs) is critical for resilient benchmarking results. KPI suggestions of established frameworks remain very generic. The...

The world-wide electricity sector reforms have led to a search for alternative and innovative approaches to regulation to promote efficiency improvement in the natural monopoly electricity networks. A number of countries have used incentive regulation models based on efficiency benchmarking of the electricity network utilities. While most regulators have opted adopted parametric and non-paramet...

Randomized benchmarking is a powerful technique to efficiently estimate the performance and reliability of quantum gates, circuits devices. Here we propose perform randomized in coherent way, where superpositions different random sequences rather than independent samples are used. We show that this leads uniform simple protocol with significant advantages respect gates can be benchmarked, terms...

Software model checking is a successful technique for automated program verification. Several of the most widely used approaches for software model checking are based on solving first-order-logic formulas over predicates using SMT solvers, e.g., predicate abstraction, bounded model checking, k-induction, and lazy abstraction with interpolants. We define a configurable framework for predicate-ba...

Given the prevailing emphasis on agency performance, customer focus, stakeholder's interests and other methods of assessment under new public administration and prevailing managerialism in many public sectors around the world, administrative practitioners have taken to benchmarking as an instrument for assessing organizational performance and for facilitating management transfer and learning fr...