Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing

We introduce a new parallel pattern derived from a specific application domain and show how it turns out to have application beyond its domain of origin. The pool evolution pattern models the parallel evolution of a population subject to mutations and evolving in such a way that a given fitness function is optimized. The pattern has been demonstrated to be suitable for capturing and modeling the parallel patterns underpinning various evolutionary algorithms, as well as other parallel patterns typical of symbolic computation. In this paper we introduce the pattern, we discuss its implementation on modern multi/many core architectures and finally present experimental results obtained with FastFlow and Erlang implementations to assess its feasibility and scalability.

Graphs of relations and Hilbert series

We are discussing certain combinatorial and counting problems related to quadratic algebras. First we give examples which confirm the Anick conjecture on the minimal Hilbert series for algebras given by $n$ generators and $\frac {n(n-1)}{2}$ relations for $n \leq 7$. Then we investigate combinatorial structure of colored graph associated to relations of RIT algebra. Precise descriptions of graphs (maps) corresponding to algebras with maximal Hilbert series are given in certain cases. As a consequence it turns out, for example, that RIT algebra may have a maximal Hilbert series only if components of the graph associated to each color are pairwise 2-isomorphic.

Symbolic violence and the neighbourhood: young working class girls' attitudes to education in Belfast

This article focuses on the experiences of 7-8 year old working-class girls in Belfast, Northern Ireland and their attitudes towards education. It shows how their emerging identities tend to emphasize relationships, marriage and motherhood at the expense of a concern with education and future careers. The article suggests that one important factor that can help explain this is the influence of the local neighbourhood. In drawing upon Bourdieu's concepts of symbolic violence and habitus and Elias' notion of figuration, the article shows how the local neighbourhood represents the parameters of the girls' social worlds. It provides the context within which the girls tend to focus on social relations within their community and particularly on family relationships, marriage and children. It also provides the context within which the girls tend to develop strong interdependent relationships with their mothers that also tend to encourage and reinforce the girls' particular gendered identities. The article concludes by arguing that there is a need for more research on working-class girls and education to look beyond the school to incorporate, more fully, an understanding of the influence of the family and local neighbourhood on their attitudes towards education and their future career aspirations.

BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.