A Formal Semantics for Weak References

A weak reference is a reference to an object that is not followed by the pointer tracer when garbage collection is called. That is, a weak reference cannot prevent the object it references from being garbage collected. Weak references remain a troublesome programming feature largely because there is not an accepted, precise semantics that describes their behavior (in fact, we are not aware of any formalization of their semantics). The trouble is that weak references allow reachable objects to be garbage collected, therefore allowing garbage collection to influence the result of a program. Despite this difficulty, weak references continue to be used in practice for reasons related to efficient storage management, and are included in many popular programming languages (Standard ML, Haskell, OCaml, and Java). We give a formal semantics for a calculus called λweak that includes weak references and is derived from Morrisett, Felleisen, and Harper’s λgc. λgc formalizes the notion of garbage collection by means of a rewrite rule. Such a formalization is required to precisely characterize the semantics of weak references. However, the inclusion of a garbage-collection rewrite-rule in a language with weak references introduces non-deterministic evaluation, even if the parameter-passing mechanism is deterministic (call-by-value in our case). This raises the question of confluence for our rewrite system. We discuss natural restrictions under which our rewrite system is confluent, thus guaranteeing uniqueness of program result. We define conditions that allow other garbage collection algorithms to co-exist with our semantics of weak references. We also introduce a polymorphic type system to prove the absence of erroneous program behavior (i.e., the absence of “stuck evaluation”) and a corresponding type inference algorithm. We prove the type system sound and the inference algorithm sound and complete.

Moral shielding: A grounded theory of integrity maintenance in multidisciplinary teams

Using a classic grounded theory methodology (CGT), this study explores the phenomenon of moral shielding within mental health multidisciplinary teams (MDTS). The study was located within three catchment areas engaged in acute mental health service practice. The main concern identified was the maintenance of a sense of personal integrity during situational binds. Through theoretical sampling thirty two practitioners, including; doctors, nurses, social workers, occupational therapists, counsellors and psychologists, where interviewed face to face. In addition, emergent concepts were identified through observation of MDTs in clinical and research practice. Following a classic grounded theory methodology, data collection and analysis occurred simultaneously. A constant comparative approach was adopted and resulted in the immergence of three sub- core categories; moral abdication, moral hinting and pseudo-compliance. Moral abdication seeks to re-position within an event in order to avoid or deflect the initial obligation to act, it is a strategy used to remove or reduce moral ownership. Moral gauging represents the monitoring of an event with the goal of judging the congruence of personal principles and commitments with that of other practitioners. This strategy is enacted in a bid to seek allies for the support of a given moral position. Pseudo-compliance represents behaviour that hides desired principles and commitments in order to shield them from challenge. This strategy portrays agreement with the dominant position within the MDT, whilst holding a contrary position. It seeks to preserve a reservoir of emotional energy required to maintain a sense of personal integrity. Practitioners who were successful in enacting moral shielding were found to not experience significant emotional distress associated with the phenomenon of moral distress; suggesting that these practitioners had found mechanisms to manage situational binds that threatened their sense of personal integrity.

IS capability assessment - the MIND canvas

With the increasing ubiquity and growing pervasiveness of Information Systems (IS) in todays’ organisations, one of the capabilities of essential value to an organisation is its IS/IT (henceforth IS) capability. However, despite this increasing importance of the IS capability, research has barely focused on providing a measure for assessing the IT capability of an organization. In overview, IS capability has contributed significantly in understanding how information technology remains a valuable component of any modern day firm (Bharadwaj 2000, Santhanam and Hartono 2003). While these prior research focus in itself is of value in establishing the importance of IS capability, this current study posits that this research area is attaining maturity and it is about time we extend this stream to provide a measure for assessing and evaluating the IS capability that defines an organization. To borrow a quote from Peter Drucker - “if it can be measured; it can be improved”.

STUDIES AND PERFORMANCES OF TRANSCRIPTIONS FOR CELLO FROM THE VIOLIN REPERTOIRE

The potential of the violoncello as a solo instrument was recognized and supported by cellists such as Luigi Boccherini (1743-1805), Luis Duport (1749-1819), Auguste Franchomme (1808-1884), and Alfredo Piatti (1822-1901). These pioneers composed technically demanding etudes, exercises, and caprices for the cello that were comparable to those already present in the violin literature. Even so, in the late nineteenth century and early twentieth century, considerably fewer substantial works were brought forth for the cello as compared with the violin. Consequently, many cellists such as Luigi Silva (1903-1961), Gregor Piatigorsky (1903-1976), Pierre Fournier (1906-1986), and Janos Starker (b. 1924) selected notable pieces from the violin repertoire and transcribed these for the cello. Some composers themselves actually adapted for the cello their own works originally written for the violin. Johannes Brahms with his Violin Sonata Op. 78, Igor Stravinsky with his Suite Italienne, and Béla Bartók with his First Rhapsody all belong to this category. Adaptations such as these further raised awareness among composers and performers of the possibilities of the cello as an independent and expressive instrument. Thus, many composers from the early 1900s to the present were encouraged to write increasing numbers of more soloistic and demanding works for cello. Herein, I explore the repertoire of cello transcriptions in order to analyze the differences between the original and transcribed versions and the challenges found therein. The performer may attempt to recreate the effect originally intended for the violin or, more daringly, may strive to search for alternate presentations of the music more suitable and expressive of the cello's own character. The project includes two recitals of the following transcribed works presented at the University of Maryland College Park, School of Music: Sonata in A by César Franck, transcribed by Jules Delsart, Variations on a Theme from Rossini by Nicolo Paganini, transcribed by Fournier, Suite Italienne by Igor Stravinsky, transcribed with the help of Piatigorsky, Sonatina Op. 137, No. 1 by Franz Schubert, transcribed by Starker, First Rhapsody by Béla Bartók and Sonata, Op. 108 by Johannes Brahms, transcribed by Hsiao-mei Sun.

Atmospheric neutrino oscillation analysis with subleading effects in Super-Kamiokande I, II, and III

We present a search for nonzero θ13 and deviations of sin2θ23 from 0.5 in the oscillations of atmospheric neutrino data from Super-Kamiokande I, II, and III. No distortions of the neutrino flux consistent with nonzero θ13 are found and both neutrino mass hierarchy hypotheses are in agreement with the data. The data are best fit at Δm2=2.1×10-3eV2, sin2θ13=0.0, and sin2θ23=0.5. In the normal (inverted) hierarchy θ13 and Δm2 are constrained at the one-dimensional 90% C.L. to sin2θ13<0.04(0.09) and 1.9(1.7)×10 -3<Δm2<2.6(2.7)×10-3eV2. The atmospheric mixing angle is within 0.407≤sin2θ23≤0.583 at 90% C.L. © 2010 The American Physical Society.

Indication of electron neutrino appearance from an accelerator-produced off-axis muon neutrino beam.

The T2K experiment observes indications of ν(μ) → ν(e) appearance in data accumulated with 1.43×10(20) protons on target. Six events pass all selection criteria at the far detector. In a three-flavor neutrino oscillation scenario with |Δm(23)(2)| = 2.4×10(-3)  eV(2), sin(2)2θ(23) = 1 and sin(2)2θ(13) = 0, the expected number of such events is 1.5±0.3(syst). Under this hypothesis, the probability to observe six or more candidate events is 7×10(-3), equivalent to 2.5σ significance. At 90% C.L., the data are consistent with 0.03(0.04) < sin(2)2θ(13) < 0.28(0.34) for δ(CP) = 0 and a normal (inverted) hierarchy.

Análisis de las resoluciones de problemas de probabilidad condicional mediante grafos. Um ejemplo

En este trabajo mostramos el potencial de los grafos trinomiales como herramienta para el análisis de las resoluciones de problemas ternarios de probabilidad condicional. Mostramos el análisis de dos resoluciones correspondientes a sendos estudiantes de 4o de ESO resolviendo un problema de probabilidad condicional de nivel N0.

Evolución de las matemáticas acompañando a la educación secundaria

La Constitución de Cádiz (1812) inicia el origen de la enseñanza secundaria en España. Dichos estudios corren parejos con el desarrollo de la burguesía como clase diferenciada, y como tal se identifican los nuevos estudios con la nueva clase social. Paralelamente al nacimiento de la secundaria, los contenidos en matemáticas de los programas, se van abriendo paso y quitando horas a los tradicionales de humanidades. El recorrido histórico termina con la trascendental Ley Moyano en 1857.

‘Martial races’ and ‘imperial subjects’: violence and governance in colonial India, 1857–1914

This essay explores the specificity of colonial violence in India. Although imperial and military historians are familiar with several instances of such violence—notably the rebellion in 1857 and the 1919 massacre at the Jallianwalla Bagh in Amritsar—there is a broader, and arguably more significant, history that has largely escaped attention. In contrast to metropolitan European states, where sovereignty derived, at least in principle, from a covenant between subjects and government, the sovereign power of the colonial state was always predicated on the violent subjugation of ‘the natives’. However, while violence was integral to colonialism, such violence was never a purely metropolitan agency: most of those recruited to serve in the colonial military were, themselves, Indian. Exploring the history of the imperial military in South Asia after 1857, the paper outlines the complex and rather ambiguous relationship between the colonial state and its ‘native armies’. RESUME Cet article se penche sur la spe´cificite´ de la violence coloniale. Malgre´ des exemples familiers—comme la grande re´volte de 1857 en Inde ou le massacre de Jallianwalla Bagh a` Amritsar en 1919—il y a une histoire plus large et plus importante qui a e´chappe´e a` l’attention des historiens. Contrairement aux e´tats europe´ens ou la souverainete´ de´rivait en principe du moins d’un contrat social entre les acteurs sociaux, le pouvoir souverain de l’e´tat colonial restait fonde´ sur la subjugation violente des indige`nes.

Trust, leadership and economic necessity in post-compulsory education

Trust is a complex concept that has increasingly been debated in academic research (Kramer and Tyler, 1996). Research on 'trust and leadership' (Caldwell and Hayes, 2007) has suggested, unsurprisingly, that leadership behaviours influence 'follower' perceptions of leaders' trustworthiness. The development of 'ethical stewardship' amongst leaders may foster high trust situations (Caldwell, Hayes, Karri and Bernal, 2008), yet studies on the erosion of teacher professionalism in UK post-compulsory education have highlighted the distrust that arguably accompanies 'new managerialism', performativity and surveillance within a climate of economic rationalisation established by recent deterministic skills-focused government agendas for education (Avis, 2003; Codd, 1999, Deem, 2004, DFES, 2006). Given the shift from community to commercialism identified by Collinson and Collinson (2005) in a global economic environment characterised by uncertainty and rapid change, trust is, simultaneously, increasingly important and progressively both more fragile and limited in a post compulsory education sector dominated by skills-based targets and inspection demands. Building on such prior studies, this conference paper reports on the analysis of findings from a 2007-8 funded research study on 'trust and leadership' carried out in post-compulsory education. The research project collected and analysed case study interview and survey data from the lifelong learning sector, including selected tertiary, further and higher education (FE and HE) institutions. We interviewed 18 UK respondents from HE and FE, including principals, middle managers, first line managers, lecturers and researchers, supplementing and cross-checking this with a small number of survey responses (11) on 'trust and leadership' and a larger number (241) of survey responses on more generalised leadership issues in post-compulsory education. A range of facilitators and enablers of trust and their relationship to leadership were identified and investigated. The research analysed the ways in which interviewees defined the concept of 'trust' and the extent to which they identified that trust was a mediating factor affecting leadership and organisational performance. Prior literature indicates that trust involves a psychological state in which, despite dependency, risk and vulnerability, trustors have some degree of confident expectation that trustees will behave in benevolent rather than detrimental ways. The project confirmed the views of prior researchers (Mayer, Davis and Schoorman, 1995) that, since trust inevitably involves potential betrayal, estimations of leadership 'trustworthiness' are based on followers' cognitive and affective perceptions of the reliability, competence, benevolence and reputation of leaders. During the course of the interviews it also became clear that some interviewees were being managed in more or less transaction-focused, performative, audit-dominated cultures in which trust was not regarded as particularly important: while 'cautious trust' existed, collegiality flourished only marginally in small teams. Economic necessity and survival were key factors influencing leadership and employee behaviours, while an increasing distance was reported between senior managers and their staff. The paper reflects on the nature of the public sector leadership and management environment in post-compulsory education reported by interviewees and survey respondents. Leadership behaviours to build trust are recommended, including effective communication, honesty, integrity, authenticity, reliability and openness. It was generally felt that building trust was difficult in an educational environment largely determined by economic necessity and performativity. Yet, despite this, the researchers did identify a number of examples of high trust leadership situations that are worthy of emulation.

Basin-scale phenology and effects of climate variability on global timing of initial seaward migration of Atlantic salmon (Salmo salar)

Migrations between different habitats are key events in the lives of many organisms. Such movements involve annually recurring travel over long distances usually triggered by seasonal changes in the environment. Often, the migration is associated with travel to or from reproduction areas to regions of growth. Young anadromous Atlantic salmon (Salmo salar) emigrate from freshwater nursery areas during spring and early summer to feed and grow in the North Atlantic Ocean. The transition from the freshwater (parr') stage to the migratory stage where they descend streams and enter salt water (smolt') is characterized by morphological, physiological and behavioural changes where the timing of this parr-smolt transition is cued by photoperiod and water temperature. Environmental conditions in the freshwater habitat control the downstream migration and contribute to within- and among-river variation in migratory timing. Moreover, the timing of the freshwater emigration has likely evolved to meet environmental conditions in the ocean as these affect growth and survival of the post-smolts. Using generalized additive mixed-effects modelling, we analysed spatio-temporal variations in the dates of downstream smolt migration in 67 rivers throughout the North Atlantic during the last five decades and found that migrations were earlier in populations in the east than the west. After accounting for this spatial effect, the initiation of the downstream migration among rivers was positively associated with freshwater temperatures, up to about 10 degrees C and levelling off at higher values, and with sea-surface temperatures. Earlier migration occurred when river discharge levels were low but increasing. On average, the initiation of the smolt seaward migration has occurred 2.5days earlier per decade throughout the basin of the North Atlantic. This shift in phenology matches changes in air, river, and ocean temperatures, suggesting that Atlantic salmon emigration is responding to the current global climate changes.