The Groomers and the Question of Race

The last decade has witnessed a number of prominent police-led operations relating to child sexual exploitation (CSE) in England. Whilst much of the public discourse related to Operation Yewtree, Operation Fernbridge, and others has focused on the criminal nature of CSE, race has been absent from that discourse; conversely, the public debates relating to grooming cases by men of Pakistani heritage have been marked by the presence of race. By critically evaluating the above cases this article aims to put forward three related arguments. First, it aims to highlight and explain contrasting ways in which CSE is debated vis-á-vis the category of racialised politics. Second, it demonstrates how racialised discourse of CSE, initially considered to be a feature of far-right rhetoric, has taken centre ground. Finally, drawing upon analysis of various reports it aims to question the links between race and CSE to show how racialised discourse of CSE helps undermine its victims

Extending and Relating Semantic Models of Compensating CSP

Business transactions involve multiple partners coordinating and interacting with each other. These transactions have hierarchies of activities which need to be orchestrated. Usual database approaches (e.g.,checkpoint, rollback) are not applicable to handle faults in a long running transaction due to interaction with multiple partners. The compensation mechanism handles faults that can arise in a long running transaction. Based on the framework of Hoare's CSP process algebra, Butler et al introduced Compensating CSP (cCSP), a language to model long-running transactions. The language introduces a method to declare a transaction as a process and it has constructs for orchestration of compensation. Butler et al also defines a trace semantics for cCSP. In this thesis, the semantic models of compensating CSP are extended by defining an operational semantics, describing how the state of a program changes during its execution. The semantics is encoded into Prolog to animate the specification. The semantic models are further extended to define the synchronisation of processes. The notion of partial behaviour is defined to model the behaviour of deadlock that arises during process synchronisation. A correspondence relationship is then defined between the semantic models and proved by using structural induction. Proving the correspondence means that any of the presentation can be accepted as a primary definition of the meaning of the language and each definition can be used correctly at different times, and for different purposes. The semantic models and their relationships are mechanised by using the theorem prover PVS. The semantic models are embedded in PVS by using Shallow embedding. The relationships between semantic models are proved by mutual structural induction. The mechanisation overcomes the problems in hand proofs and improves the scalability of the approach

An investigation into students' perceptions of group assignments

The collection of student feedback is a central strategy to monitor the effectiveness of teaching and learning at educational institutions (Meyer, 2010). This paper analyses the feedback and findings from a recent questionnaire survey of students' experience and perceptions of group work at the University of Bedfordshire at both undergraduate and postgraduate levels. The main objective of this study is to raise practical issues that teachers need to consider in designing and carrying out group assessments. This is aimed at overcoming the drawbacks, while amplifying the benefits, of group work, and improving students' engagement and performance in this type of assessment

Finite element modeling of frictionally restrained composite interfaces

The use of special interface finite elements to model frictional restraint in composite interfaces is described. These elements simulate Coulomb friction at the interface, and are incorporated into a standard finite element analysis of a two-dimensional isolated fiber pullout test. Various interfacial characteristics, such as the distribution of stresses at the interface, the extent of slip and delamination, load diffusion from fiber to matrix, and the amount of fiber extraction or depression are studied for different friction coefficients. The results are compared to those obtained analytically using a singular integral equation approach, and those obtained by assuming a constant interface shear strength. The usefulness of these elements in micromechanical modeling of fiber-reinforced composite materials is highlighted