Hyper-minimisation of deterministic nite automata is a recently introduced state reduction technique that allows a nite change in the recognised language. A generalisation of this lossy compression method to the weighted setting over semi elds is presented, which allows the recognised formal power series to di er for nitely many input strings. First, the structure of hyper-minimal deterministic...

Hyper-minimisation of deterministic finite automata is a recently introduced state reduction technique that allows a finite change in the recognised language. A generalisation of this lossy compression method to the weighted setting over semifields is presented, which allows the recognised formal power series to differ for finitely many input strings. First, the structure of hyper-minimal deter...

Event structures are fundamental models in concurrency theory, providing a representation of events computation and their relations, notably concurrency, conflict causality. In this paper we present theory minimisation for event structures. Working class that generalises many stable structure the literature (e.g., prime, asymmetric, flow bundle structures), study notion behaviour-preserving quo...

BACKGROUND Minimisation can be used within treatment trials to ensure that prognostic factors are evenly distributed between treatment groups. The technique is relatively straightforward to apply but does require running tallies of patient recruitments to be made and some simple calculations to be performed prior to each allocation. As computing facilities have become more widely available, min...

The major objective of this study is to find accuracy in movie suggestion systems using machine learning algorithms namely Empirical Risk Minimisation Algorithm and Decision Tree Algorithm. algorithm with sample size N = 10 was iterated 20 times for finding systems.The riskminimisation produces a better [92.02%] than the tree [80.58%]. significance risk minimisation[p<0.05] independent T-tes...

The UK waste strategy is based upon a concept of a hierarchy of preferable options for handling and disposal of waste. Minimisation is at the top of this hierarchy and several policy strategies have been introduced to encourage the uptake of waste minimisation methodology by industry. Waste minimisation clubs are a key component of the UK waste strategy and an essential vehicle for encouraging ...

Probabilistic model checking is a technique for the verification of probabilistic systems. The size of the state space is a limiting factor for model checking. We used bisimulation minimisation to combat this problem. Bisimulation minimisation is a technique where the model under consideration is first minimised prior to the actual model checking. We also considered a technique where the model ...

This paper investigates conditions under which the solution of an underdetermined linear system with minimal � norm, 0 < p ≤ 1, is guaranteed to be also the sparsest one. Matrices are constructed with restricted isometry constants (RIC) δ2m arbitrarily close to 1/ √ 2 ≈ 0.707 where sparse recovery with p = 1 fails for at least one m-sparse vector, as well as matrices with δ2m arbitrarily close ...

Appropriate management and prevention of anaphylaxis in the school, pre-school and childcare settings requires advanced planning and communication. The Australasian Society of Clinical Immunology and Allergy has developed Guidelines for Prevention of Anaphylaxis in Schools, Pre-schools and Childcare to assist school, pre-school and childcare staff in appropriate implementation of risk-minimisat...