OBJECTIVE The objective of this study is to evaluate the economic benefits of immunoglobulin replacement therapy achieved subcutaneously (subcutaneous immunoglobulin, SCIG) by the rapid push method compared to intravenous infusion therapy (intravenous immunoglobulin, IVIG) in primary immune deficiency (PID) patients from the healthcare system perspective in the context of the adult SCIG home in...

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 ...

The Internet of Things (IoT) is a self-configuring, intelligent system in which autonomous things connect to the and communicate with each other. As ‘things’ are autonomous, it may raise privacy concerns. In this study, authors describe background IoT systems security measures, including (a) approaches preserving IoT-based systems, (b) existing solutions, (c) recommending models for different l...

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...

Data minimisation is a privacy-enhancing principle considered as one of the pillars of personal data regulations. This principle dictates that personal data collected should be no more than necessary for the specific purpose consented by the user. In this paper we study data minimisation from a programming language perspective. We assume that a given program embodies the purpose of data collect...

We investigate conditions under which the solution of an underdetermined linear system with minimal lp norm, 0 < p ≤ 1, is guaranteed to be also the sparsest one. Our results highlight the pessimistic nature of sparse recovery analysis when recovery is predicted based on the restricted isometry constants (RIC) of the associated matrix. We construct matrices with RIC δ2m arbitrarily close to 1/ ...