High-Level Methods for Quantum Computation and Information

A research programme is set out for developing the use of high-level methods for quantum computation and information, based on the categorical formulation of quantum mechanics introduced by the author and Bob Coecke.Comment: 5 page

Over-the-air software updates in the internet of things : an overview of key principles

Due to the fast pace at which IoT is evolving, there is an increasing need to support over-theair software updates for security updates, bug fixes, and software extensions. To this end, multiple over-the-air techniques have been proposed, each covering a specific aspect of the update process, such as (partial) code updates, data dissemination, and security. However, each technique introduces overhead, especially in terms of energy consumption, thereby impacting the operational lifetime of the battery constrained devices. Until now, a comprehensive overview describing the different update steps and quantifying the impact of each step is missing in the scientific literature, making it hard to assess the overall feasibility of an over-the-air update. To remedy this, our article analyzes which parts of an IoT operating system are most updated after device deployment, proposes a step-by-step approach to integrate software updates in IoT solutions, and quantifies the energy cost of each of the involved steps. The results show that besides the obvious dissemination cost, other phases such as security also introduce a significant overhead. For instance, a typical firmware update requires 135.026 mJ, of which the main portions are data dissemination (63.11 percent) and encryption (5.29 percent). However, when modular updates are used instead, the energy cost (e.g., for a MAC update) is reduced to 26.743 mJ (48.69 percent for data dissemination and 26.47 percent for encryption)

Partnership, high performance work systems and quality of working life

The paper measures the effects of workplace partnership and selected high performance work practices on four different dimensions of employee experience. Whilst the partnership-high performance work systems nexus seems to have little impact on employees' job satisfaction or sense of attachment, it does, however, have a negative impact on both workplace stress and employee evaluations of union performance. The analysis thus questions common assumptions about the inevitability of 'mutual gain' and the necessity of employer/unionpartnership. Introduction and researc

Be My Guest: Normalizing and Compiling Programs using a Host Language

In programming language research, normalization is a process of fundamental importance to the theory of computing and reasoning about programs.In practice, on the other hand, compilation is a process that transforms programs in a language to machine code, and thus makes the programminglanguage a usable one. In this thesis, we investigate means of normalizing and compiling programs in a language using another language as the "host".Leveraging a host to work with programs of a "guest" language enables reuse of the host\u27s features that would otherwise be strenuous to develop.The specific tools of interest are Normalization by Evaluation and Embedded Domain-Specific Languages, both of which rely on a host language for their purposes. These tools are applied to solve problems in three different domains: to show that exponentials (or closures) can be eliminated from a categorical combinatory calculus, to propose a new proof technique based on normalization for showing noninterference, and to enable the programming of resource-constrained IoT devices from Haskell

Cigarette smoking and food insecurity among low-income families in the United States, 2001

The goal of this research is to quantify the association between food insecurity and smoking among low-income families. This analysis is a retrospective study using data from the 2001 Panel Study of Income Dynamics, a longitudinal study of a representative sample of U.S. men, women, and children and the family units in which they reside. Family income is linked with U.S. poverty thresholds to identify 2,099 families living near or below 200 percent of the federal poverty level. Food insecurity (that is, having insufficient funds to purchase enough food to maintain an active and healthy lifestyle) is calculated from the eighteen core items in the food security module of the U.S. Department of Agriculture. The results indicate that smoking prevalence is higher among low-income families who are food insecure compared to low-income families who are food secure (43.6 percent versus 31.9 percent). Multivariate analysis reveals that smoking is associated with an increase in food insecurity of approximately 6 percentage points. Given our finding that families near the federal poverty level spend a large share of their income on cigarettes, perhaps it would be prudent for food assistance and tobacco control programs to work together to help low-income people quit smoking.

Modular Normalization with Types

With the increasing use of software in today’s digital world, software is becoming more and more complex and the cost of developing and maintaining software has skyrocketed. It has become pressing to develop software using effective tools that reduce this cost. Programming language research aims to develop such tools using mathematically rigorous foundations. A recurring and central concept in programming language research is normalization: the process of transforming a complex expression in a language to a canonical form while preserving its meaning. Normalization has compelling benefits in theory and practice, but is extremely difficult to achieve. Several program transformations that are used to optimise programs, prove properties of languages and check program equivalence, for instance, are after all instances of normalization, but they are seldom viewed as such.Viewed through the lens of current methods, normalization lacks the ability to be broken into sub-problems and solved independently, i.e., lacks modularity. To make matters worse, such methods rely excessively on the syntax of the language, making the resulting normalization algorithms brittle and sensitive to changes in the syntax. When the syntax of the language evolves due to modification or extension, as it almost always does in practice, the normalization algorithm may need to be revisited entirely. To circumvent these problems, normalization is currently either abandoned entirely or concrete instances of normalization are achieved using ad hoc means specific to a particular language. Continuing this trend in programming language research poses the risk of building on a weak foundation where languages either lack fundamental properties that follow from normalization or several concrete instances end up repeated in an ad hoc manner that lacks reusability.This thesis advocates for the use of type-directed Normalization by Evaluation (NbE) to develop normalization algorithms. NbE is a technique that provides an opportunity for a modular implementation of normalization algorithms by allowing us to disentangle the syntax of a language from its semantics. Types further this opportunity by allowing us to dissect a language into isolated fragments, such as functions and products, with an individual specification of syntax and semantics. To illustrate type-directed NbE in context, we develop NbE algorithms and show their applicability for typed programming language calculi in three different domains (modal types, static information-flow control and categorical combinators) and for a family of embedded-domain specific languages in Haskell

Implementing the convention on the rights of the child for 'youth': who and how?

From various perspectives, an ambiguous relationship between the Convention on the Rights of the Child and young persons emerges. Given the overlap between the target groups of children’s rights policies and youth policies, the current and potential connections between these two policies are explored, in order to assess whether (further) linking these policies could increase the realization of the rights of young persons. The inquiry is carried out at the international and European level (United Nations, Council of Europe and European Union), on the one hand, and within Flanders (Belgium), on the other. Contrasting results appear, calling for a middle ground in the degree of interconnection between children’s rights policies and youth policies