Second-order Stokes wave solutions for intefacial waves in three-layer stratified fluid with background current

In this paper, interfacial waves in three-layer stratified fluid with background current are investigated using a perturbation method, and the second-order asymptotic solutions of the velocity potentials and the second-order Stokes wave solutions of the associated elevations of the interfacial waves are presented based on the small amplitude wave theory, and the Kelvin-Helmholtz instability of interfacial waves is studied. As expected, for three-layer stratified fluid with background current, the first-order asymptotic solutions (linear wave solutions), dispersion relation and the second-order asymptotic solutions derived depend on not only the depths and densities of the three-layer fluid but also the background current of the fluids, and the second-order Stokes wave solutions of the associated elevations of the interfacial waves describe not only the second-order nonlinear wave-wave interactions between the interfacial waves but also the second-order nonlinear interactions between the interfacial waves and currents. It is also noted that the solutions obtained from the present work include the theoretical results derived by Chen et al (2005) as a special case. It also shows that with the given wave number k (real number) the interfacial waves may show Kelvin-Helmholtz instability.

Maxwell's Demon, Rectifiers, and the Second Law: Computer Simulation of Smoluchowski's Trapdoor

We have simulated numerically an automated Maxwell's demon inspired by Smoluchowski's ideas of 1912. Two gas chambers of equal area are connected via an opening that is covered by a trapdoor. The trapdoor can open to the left but not to the right, and is intended to rectify naturally occurring variations in density between the two chambers. Our results confirm that though the trapdoor behaves as a rectifier when large density differences are imposed by external means, it can not extract useful work from the thermal motion of the molecules when left on its own.

Proceedings of the Second PHANToM User's Group Workshop

On October 19-22, 1997 the Second PHANToM Users Group Workshop was held at the MIT Endicott House in Dedham, Massachusetts. Designed as a forum for sharing results and insights, the workshop was attended by more than 60 participants from 7 countries. These proceedings report on workshop presentations in diverse areas including rigid and compliant rendering, tool kits, development environments, techniques for scientific data visualization, multi-modal issues and a programming tutorial.

Strategic intelligence, Counter-Intelligence and Alliance Diplomacy in Anglo-French relations before the Second World War

Jackson, Peter, and Joe Maiolo, 'Strategic intelligence, Counter-Intelligence and Alliance Diplomacy in Anglo-French relations before the Second World War', Military History (2006) 65(2) pp.417-461 RAE2008

The French Second Empire: an anatomy of political power

Price, Roger, The French Second Empire: an anatomy of political power (Cambridge: Cambridge University Press, 2001), pp.x+507 RAE2008

A Second Easter: A Celebration of Presence

sermon text; MS Word document

Islam and missions : being papers read at the Second Missionary Conference on behalf of the Mohammedan World at Lucknow, January 23-28, 1911 / edited by E.M. Wherry, S.M. Zwemer, C.G. Mylrea.

http://www.archive.org/details/islamandmissions012033mbp

Second letter to nephew 05/16/1881

Second letter to nephew, Daniel Avery Whedon from Daniel D. Whedon dated May 16, 1881.

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

Investigation of stress and burnout in Irish second-level teachers: A mixed-methods approach.

This study explores the experiences of stress and burnout in Irish second level teachers and examines the contribution of a number of individual, environmental and health factors in burnout development. As no such study has previously been carried out with this sample, a mixed-methods approach was adopted in order to comprehensively investigate the subject matter. Teaching has consistently been identified as a particularly stressful occupation and research investigating its development is of great importance in developing measures to address the problem. The first phase of study involved the use of focus groups conducted with a total of 20 second-level teachers from 11 different schools in the greater Cork city area. Findings suggest that teachers experience a variety of stressors – in class, in the staff room and outside of school. The second phase of study employed a survey to examine the factors associated with burnout. Analysis of 192 responses suggested that burnout results from a combination of demographic, personality, environmental and coping factors. Burnout was also found to be associated with a number of physical symptoms, particularly trouble sleeping and fatigue. Findings suggest that interventions designed to reduce burnout must reflect the complexity of the problem and its development. Based on the research findings, interventions that combine individual and organisational approaches should provide the optimal chance of effectively tackling burnout.

The student bullying of teachers in Irish second level schools: exploring the influence of historical low state intervention in education on the development of contemporary policy responses in Ireland

The student bullying of teachers (SBT) is a distinct and complex form of bullying with a multiplicity of diverse, changeable and intersecting causes which is experienced by and affects teachers in a variety of ways. SBT is both a national and an international phenomenon which is under-recognised in academic, societal and political spheres, resulting in limited conceptual understanding and awareness of the issue. This study explores teachers’ experiences of SBT behaviours in Irish second level schools as well as teachers’ perceptions regarding training, policies and supports in Ireland to address the issue. Specifically, the study seeks to explore the influence of historical low State intervention in education on contemporary policies and supports to deal with SBT in Ireland. A mixed methods approach involving a survey of 531 second level school teachers and 17 semi-structured interviews with teachers, Year Heads and representatives from teacher trade unions and school management bodies was employed to collect and analyse data. Findings indicate that SBT behaviours are prevalent in many forms in Irish second level schools. The hidden nature of the phenomenon has simultaneously contributed to and is reinforced by limited understanding of the issue as well as teachers’ reluctance to disclose their experiences. Findings reveal that teachers perceive the contemporary policies, training and support structures in Ireland to be inadequate in equipping them to effectively deal with SBT. State intervention in addressing SBT behaviours to date, has been limited, therefore many teachers are forced to respond to the issue based on their own initiatives and assumptions rather than from an informed critically reflective approach, supported by national guidelines and sufficient State investment. This has resulted in a piecemeal, un-coordinated and ad-hoc approach to SBT in Irish schools both in terms of teachers’ management of SBT behaviours and with respect to the supports extended to staff. The potential negative consequences of SBT behaviours on teachers’ wellbeing and professional performance and thus, on the education system itself, underlines the need for a strategic, evidence-based, resourced and integrated approach which includes, as a pivotal component, consultation with teachers, whose contribution to the process is crucial.