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

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

(ARQ) link layer protocols for wireless connections. However, a drawback comes with their use when transferring mixed traffic type, which is the introduction of excessive and highly jittered transmission delay, which negatively affect the performance of both real-time and TCP traffic. Here, we propose a selective ARQ protocol which is capable of switching between ARQ and non-ARQ modes based on ...

Network-on-Chip (NoC) is proposed as a new scalable architecture to address the future design challenges of system-ona-chip (SoC). As current verification techniques for on-chip communication algorithms are typically complicated tasks including many hardware modules and software routines, verifying the algorithms themselves is almost impossible. Having the incentive for simplifying verification...

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

This study attempted to investigate the impact of teacher’s code-switching on the acquisition of a problematic grammatical structure, namely, object relative clauses, by intermediate EFL learners. Moreover, a secondary objective of the study was to determine the EFL learners’ attitudes and opinions regarding the effectiveness of teacher’s code-switching in their learning of a specific aspect of...