Youth Justice and Education: A Typology of Educational Approaches to the Resocialisation of Young Offenders in Spain

The Young Offenders Act that entered Spanish law in 2000 represents a significant attempt to place personalised educational programmes for young people with social/criminal problems at the centre of policy and practice. This paper examines the teams and educational programmes designed to manage and implement the goal of ?re-socialisation? enshrined in the Act. This paper focuses on an analytical typology of the educational styles used at young offenders institutions in Spain. The analysis highlights the differences between styles in relation to the key underlying objectives of social reorientation and citizen empowerment. The wide range of models experimented with in different Spanish regions has great relevance to youth justice systems in other countries. For example, the typology we put forward has concrete implications for recent developments in England, in the light of moves towards establishing a national network of ?Secure Colleges? for convicted young people

Architectures for vibration-driven micropower generators

Published versio

Micro-machined variable capacitors for power generation

Accepted versio

Generating reversible circuits from higher-order functional programs

Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function. The synthesis and validation of a reversible circuit simulating a given function is a difficult problem. In 1973, Bennett proposed to generate reversible circuits from traces of execution of Turing machines. In this paper, we propose a novel presentation of this approach, adapted to higher-order programs. Starting with a PCF-like language, we use a monadic representation of the trace of execution to turn a regular boolean program into a circuit-generating code. We show that a circuit traced out of a program computes the same boolean function as the original program. This technique has been successfully applied to generate large oracles with the quantum programming language Quipper.Comment: 21 pages. A shorter preprint has been accepted for publication in the Proceedings of Reversible Computation 2016. The final publication is available at http://link.springer.co

Energy harvesting from human and machine motion for wireless electronic devices

Published versio

Thermodynamic Properties of the Piecewise Uniform String

The thermodynamic free energy F is calculated for a gas whose particles are the quantum excitations of a piecewise uniform bosonic string. The string consists of two parts of length L_I and L_II, endowed with different tensions and mass densities, adjusted in such a way that the velocity of sound always equals the velocity of light. The explicit calculation is done under the restrictive condition that the tension ratio x = T_I/T_II approaches zero. Also, the length ratio s = L_II/L_I is assumed to be an integer. The expression for F is given on an integral form, in which s is present as a parameter. For large values of s, the Hagedorn temperature becomes proportional to the square root of s.Comment: 32 pages, latex, no figure

Mohenjo-daro's Small Public Structures: Heterarchy, Collective Action, and a Re-visitation of Old Interpretations with GIS and 3D Modelling

Together, the concepts of heterarchy and collective action offer potential explanations for how early state societies may have established high degrees of civic coordination and sophisticated craft industries in absence of exclusionary political strategies or dominant centralised political hierarchies. The Indus civilisation (c.2600-1900 B.C.) appears to have been heterarchical, which raises critical questions about how its infrastructure facilitated collective action. Digital re-visitation of early excavation reports provides a powerful means of re-examining the nuances of the resulting datasets and the old interpretations offered to explain them. In an early report on excavations at Mohenjo-daro, the Indus civilisation’s largest city, Ernest Mackay described a pair of small non-residential structures at a major street intersection as a “hostel” and “office” for the “city fathers.” In this article, Mackay’s interpretation that these structures had a public orientation is tested using a geographical information systems approach (GIS) and 3D models derived from plans and descriptions in his report. In addition to supporting aspects of Mackay’s interpretation, the resulting analysis indicates that Mohenjo-daro’s architecture changed through time, increasingly favouring smaller houses and public structures. Close examination of these small public structures also suggests that they may have at times been part of a single complex

Adenosine-mono-phosphate-activated protein kinase-independent effects of metformin in T cells

The anti-diabetic drug metformin regulates T-cell responses to immune activation and is proposed to function by regulating the energy-stress-sensing adenosine-monophosphate-activated protein kinase (AMPK). However, the molecular details of how metformin controls T cell immune responses have not been studied nor is there any direct evidence that metformin acts on T cells via AMPK. Here, we report that metformin regulates cell growth and proliferation of antigen-activated T cells by modulating the metabolic reprogramming that is required for effector T cell differentiation. Metformin thus inhibits the mammalian target of rapamycin complex I signalling pathway and prevents the expression of the transcription factors c-Myc and hypoxia-inducible factor 1 alpha. However, the inhibitory effects of metformin on T cells did not depend on the expression of AMPK in T cells. Accordingly, experiments with metformin inform about the importance of metabolic reprogramming for T cell immune responses but do not inform about the importance of AMPK

Quantum theory of massless (p,0)-forms

We describe the quantum theory of massless (p,0)-forms that satisfy a suitable holomorphic generalization of the free Maxwell equations on Kaehler spaces. These equations arise by first-quantizing a spinning particle with a U(1)-extended local supersymmetry on the worldline. Dirac quantization of the spinning particle produces a physical Hilbert space made up of (p,0)-forms that satisfy holomorphic Maxwell equations coupled to the background Kaehler geometry, containing in particular a charge that measures the amount of coupling to the U(1) part of the U(d) holonomy group of the d-dimensional Kaehler space. The relevant differential operators appearing in these equations are a twisted exterior holomorphic derivative and its hermitian conjugate (twisted Dolbeault operators with charge q). The particle model is used to obtain a worldline representation of the one-loop effective action of the (p,0)-forms. This representation allows to compute the first few heat kernel coefficients contained in the local expansion of the effective action and to derive duality relations between (p,0) and (d-p-2,0)-forms that include a topological mismatch appearing at one-loop.Comment: 32 pages, 3 figure

Primordial Black Holes: sirens of the early Universe

Primordial Black Holes (PBHs) are, typically light, black holes which can form in the early Universe. There are a number of formation mechanisms, including the collapse of large density perturbations, cosmic string loops and bubble collisions. The number of PBHs formed is tightly constrained by the consequences of their evaporation and their lensing and dynamical effects. Therefore PBHs are a powerful probe of the physics of the early Universe, in particular models of inflation. They are also a potential cold dark matter candidate.Comment: 21 pages. To be published in "Quantum Aspects of Black Holes", ed. X. Calmet (Springer, 2014