241 research outputs found
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
Research Review: Recommendations for reporting on treatment trials for child and adolescent anxiety disorders – an international consensus statement
- …