Resource Control for Synchronous Cooperative Threads

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} model of interaction based on cooperative threads whose execution proceeds in synchronous rounds called instants. Our contribution is a system of compositional static analyses to guarantee that each instant terminates and to bound the size of the values computed by the system as a function of the size of its parameters at the beginning of the instant. Our method generalises an approach designed for first-order functional languages that relies on a combination of standard termination techniques for term rewriting systems and an analysis of the size of the computed values based on the notion of quasi-interpretation. We show that these two methods can be combined to obtain an explicit polynomial bound on the resources needed for the execution of the system during an instant. As a second contribution, we introduce a virtual machine and a related bytecode thus producing a precise description of the resources needed for the execution of a system. In this context, we present a suitable control flow analysis that allows to formulte the static analyses for resource control at byte code level

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations in actual applications. In previous work, it has been established that the sets of numbers that are recognizable by weak deterministic automata in two bases that do not share the same set of prime factors are exactly those that are definable in the first order additive theory of real and integer numbers. This result extends Cobham's theorem, which characterizes the sets of integer numbers that are recognizable by finite automata in multiple bases. In this article, we first generalize this result to multiplicatively independent bases, which brings it closer to the original statement of Cobham's theorem. Then, we study the sets of reals recognizable by Muller automata in two bases. We show with a counterexample that, in this setting, Cobham's theorem does not generalize to multiplicatively independent bases. Finally, we prove that the sets of reals that are recognizable by Muller automata in two bases that do not share the same set of prime factors are exactly those definable in the first order additive theory of real and integer numbers. These sets are thus also recognizable by weak deterministic automata. This result leads to a precise characterization of the sets of real numbers that are recognizable in multiple bases, and provides a theoretical justification to the use of weak automata as symbolic representations of sets.Comment: 17 page

‘Because it’s our culture!’ (Re)negotiating the meaning of lobola in Southern African secondary schools

Payment of bridewealth or lobola is a significant element of marriage among the Basotho of Lesotho and the Shona of Zimbabwe. However, the functions and meanings attached to the practice are constantly changing. In order to gauge the interpretations attached to lobola by young people today, this paper analyses a series of focus group discussions conducted among senior students at two rural secondary schools. It compares the interpretations attached by the students to the practice of lobola with academic interpretations (both historical and contemporary). Among young people the meanings and functions of lobola are hotly contested, but differ markedly from those set out in the academic literature. While many students see lobola as a valued part of ‘African culture’, most also view it as a financial transaction which necessarily disadvantages women. The paper then seeks to explain the young people’s interpretations by reference to discourses of ‘equal rights’ and ‘culture’ prevalent in secondary schools. Young people make use of these discourses in (re)negotiating the meaning of lobola, but the limitations of the discourses restrict the interpretations of lobola available to them

Invasion percolation on a tree and queueing models

We study the properties of the Barabási model of queuing [ A.-L. Barabási Nature (London) 435 207 (2005); J. G. Oliveira and A.-L. Barabási Nature (London) 437 1251 (2005)] in the hypothesis that the number of tasks grows with time steadily. Our analytical approach is based on two ingredients. First we map exactly this model into an invasion percolation dynamics on a Cayley tree. Second we use the theory of biased random walks. In this way we obtain the following results: the stationary-state dynamics is a sequence of causally and geometrically connected bursts of execution activities with scale-invariant size distribution. We recover the correct waiting-time distribution PW(τ)∼τ−3/2 at the stationary state (as observed in different realistic data). Finally we describe quantitatively the dynamics out of the stationary state quantifying the power-law slow approach to stationarity both in single dynamical realization and in average. These results can be generalized to the case of a stochastic increase in the queue length in time with limited fluctuations. As a limit case we recover the situation in which the queue length fluctuates around a constant average value

Modeling bursts and heavy tails in human dynamics

Current models of human dynamics, used from risk assessment to communications, assume that human actions are randomly distributed in time and thus well approximated by Poisson processes. We provide direct evidence that for five human activity patterns the timing of individual human actions follow non-Poisson statistics, characterized by bursts of rapidly occurring events separated by long periods of inactivity. We show that the bursty nature of human behavior is a consequence of a decision based queuing process: when individuals execute tasks based on some perceived priority, the timing of the tasks will be heavy tailed, most tasks being rapidly executed, while a few experiencing very long waiting times. We discuss two queueing models that capture human activity. The first model assumes that there are no limitations on the number of tasks an individual can hadle at any time, predicting that the waiting time of the individual tasks follow a heavy tailed distribution with exponent alpha=3/2. The second model imposes limitations on the queue length, resulting in alpha=1. We provide empirical evidence supporting the relevance of these two models to human activity patterns. Finally, we discuss possible extension of the proposed queueing models and outline some future challenges in exploring the statistical mechanisms of human dynamics.Comment: RevTex, 19 pages, 8 figure

A Novel Adaptation of a Parent-Child Observational Assessment Tool for Appraisals and Coping in Children Exposed to Acute Trauma

Background: Millions of children worldwide are exposed to acute potentially traumatic events (PTEs) annually. Many children and their families experience significant emotional distress and/or functional impairment following PTEs. While current research has begun to highlight a role for early appraisals and coping in promoting or preventing full recovery from PTEs, the exact nature of the relationships among appraisals, coping, and traumatic stress reactions as well as how appraisals and coping behaviors are influenced by the child\u27s environment (e.g., parents) remains unclear; assessment tools that reach beyond self-report are needed to improve this understanding. Objective: The objective of the current study is to describe the newly created Trauma Ambiguous Situations Tool (TAST; i.e., an observational child–parent interview and discussion task that allows assessment of appraisals, coping, and parent–child processes) and to report on initial feasibility and validation of TAST implemented with child–parent dyads in which children were exposed to a PTE. Method: As part of a larger study on the role of biopsychosocial factors in posttraumatic stress reactions, children (aged 8–13) and parents (n=25 child–parent dyads) completed the TAST during the child\u27s hospitalization for injury. Results: Children and parents engaged well with the TAST. The time to administer the TAST was feasible, even in a peri-trauma context. The TAST solicited a wide array of appraisals (threat and neutral) and coping solutions (proactive and avoidant). Forced-choice and open-ended appraisal assessments provided unique information. The parent–child discussion portion of the TAST allowed for direct observation of parent–child processes and demonstrated parental influence on children\u27s appraisals and coping solutions. Conclusions: The TAST is a promising new research tool, which may help to explicate how parents influence their child\u27s developing appraisals and coping solutions following a PTE. More research should examine the relationships of appraisals, coping, and parent–child processes assessed by the TAST with traumatic stress outcomes

Peer relations and emotion regulation of children with emotional and behavioural difficulties with and without a developmental disorder

Children with emotional and behavioural difficulties (EBD) and those who also have developmental disorders, such as attention deficit hyperactivity disorder (ADHD) or autism spectrum disorder (ASD), can experience the same adverse consequences in their peer interactions and relationships. This present study compared the emotion regulation and peer relationships of children aged 8-12 years (M = 9.86 years, SD = 1.49) with EBD (N = 33) and children with EBD plus a diagnosed developmental disorder (N = 28). Multivariate analysis of variance (MANOVA) with Bonferroni adjusted alpha levels revealed no significant main effect for emotion regulation according to EBD status. There was, however, a multivariate main effect for sex, with females presenting with higher levels of negative emotional intensity (e. g., frustration, anger, aggression) than males. A second MANOVA revealed no significant main effect for peer relationships according to EBD status and sex. Significant correlations revealed that the EBD-only group experienced greater adverse peer interactions than the EBD-plus-developmental disorder group. These findings are important for educators and researchers involved in the development and evaluation of prevention and intervention programms for children with EBD

Corporation tax as a problem of MNC organisational circuits: The case for unitary taxation

The tax practices of multinational corporations have become a matter of significant public and political concern. The underlying issues are rooted in the capacity of multinational corporations (MNCs) to construct organisational circuits that shift where sales, revenue and profit are reported. This capacity in turn becomes a focus because of the way MNCs are treated as a series of separate entities, subject to the arm’s length principle. This has become a classic example of a system whose current form and consequences were not foreseen when the original principles were set out. The continued existence of that system owes more to specific interests and inertia than it does to the absence of a viable alternative. Unitary taxation based on formula apportionment clearly resolves the underlying issues and unitary taxation may well ultimately emerge as a new generalised basis for corporate taxation. However, for it to do so, the problems of the current system and the advantages of the alternative need to be more clearly understood within academia, business and on a societal basis. This paper is a contribution to such an understanding