Online practice & offline roles: A cultural view of teachers’ low engagement in online communities

An online community of practice (CoP) can extend teachers’ professional interaction beyond their school, but these practices are often underutilized. Using cultural theory, this paper proposes that teachers’ low engagement in online CoPs is that this “practice” is not part of their role as a teacher, individually or in their school culture. These ideas are examined through teachers’ low engagement in an online CoP as part of a research project. Findings suggest that teachers saw the online community as part of their role in the project, not as part of their “offline” role as a classroom teacher. The discussion conjectures that together, through developing group values and beliefs, schools and research projects can make online CoPs relevant to teachers’ practice

After the TEF and Consumer Law Based Interventions – Are Prospective HE Students Now Able to Make Informed Choices?

This article argues that recent government interventions in higher education – some based in consumer law and others in the form of the Teaching Excellence Framework (TEF) have failed to put prospective students in a position to make informed choices about courses or universities. Consumer law-based interventions do not give students all the information they need, although they may help to improve the standard of information and to control marketing excess. The TEF, with its focus on outputs rather than inputs, similarly misses the mark. These failures are bad for students and, to the extent that higher education is a market which depends on students making informed choices, bad for higher education

Exceptions, instantiations, and overgeneralization:Insights into how language models process generics

Large language models (LLMs) have garnered a great deal of attention for their exceptional generative performance on commonsense and reasoning tasks. In this work, we investigate LLMs’ capabilities for generalization using a particularly challenging type of statement: generics. Generics express generalizations (e.g., birds can fly) but do so without explicit quantification. They are notable because they generalize over their instantiations (e.g., sparrows can fly) yet hold true even in the presence of exceptions (e.g., penguins do not). For humans, these generic generalization play a fundamental role in cognition, concept acquisition, and intuitive reasoning. We investigate how LLMs respond to and reason about generics. To this end, we first propose a framework grounded in pragmatics to automatically generate both exceptions and instantiations – collectively exemplars. We make use of focus – a pragmatic phenomenon that highlights meaning-bearing elements in a sentence – to capture the full range of interpretations of generics across different contexts of use. This allows us to derive precise logical definitions for exemplars and operationalize them to automatically generate exemplars from LLMs. Using our system, we generate a dataset of ∼370k exemplars across ∼17k generics and conduct a human validation of a sample of the generated data. We use our final generated dataset to investigate how LLMs’ reason about generics. Humans have a documented tendency to conflate universally quantified statements (e.g., all birds can fly) with generics. Therefore, we probe whether LLMs exhibit similar overgeneralization behavior in terms of quantification and in property inheritance. We find that LLMs do show evidence of overgeneralization, although they sometimes struggle to reason about exceptions. Furthermore, we find that LLMs may exhibit similar non-logical behavior to humans when considering property inheritance from generics

Synthesis and gas permeation properties of tetraoxidethianthrene-based polymers of intrinsic microporosity

A series of nine polymers of intrinsic microporosity (PIMs) derived from different bis-catechol monomers and 2,3,7,8-tetrafluoro-5,5′,10,10′-tetraoxidethianthrene (TOT) were synthesised and tested for their potential use as gas separation membranes. As powders, they demonstrate significant nitrogen adsorption at 77 K allowing apparent BET surface areas ranging from 432-785 m2g−1to be calculated. Six of the polymers were found to be soluble in quinoline facilitating the casting of self-standing films to allow the assessment of their gas separation properties. Spirobifluorene-based polymers exhibited the highest gas permeability, approaching the performance of the archetypalPIM-1, and the data for some are placed close to the 2008 Robeson upper bounds for O2/N2and CO2/CH4. Ageing studies showed a gradual decrease in permeability, accompanied by an increase in selectivity that moved the data more-or-less parallel to the Robeson upper bounds. The two polymers with the lowest and highest gas permeability were both tested over the temperature range 25-55 °C and an enhancement in permeability for all gases, with the exception of CO2, was observed along with decreased selectivity for almost all gas pairs. The latter seems to be due to the simultaneous drop in both diffusivity selectivity and solubility selectivity for all gas pairs, but especially those involving CO2, due to a strong decrease in solubility with increasing temperature. The analysis of the energetic and entropic selectivity provides further insight into the remarkable transport properties of PIMs. Overall, the tetraoxidethianthrene unit proves to be a suitable building block for use in PIM synthesis for applications in gas separation membranes and these PIMs have a one to two orders of magnitude higher permeability than more common polysulfones.</p

Synthesis of Zn(II) and Al(III) complexes of diaminocyclohexane derived ligands and their exploitation for the ring opening polymerization of rac-lactide

Two series of ligands based on diaminocyclohexane (DACH) have been prepared and successfully complexed to Al(III) and Zn(II) metal centres. Solution and solid-state studies reveal a tendency to form mono- or bis-ligated forms depending on the steric bulk of the ligand. These complexes have been tested for their ability to ring open rac-lactide. Al(III) based complexes generally gave atactic PLA after a polymerization time of 1-2 days. The Zn(II) complexes, were found to be more active and furnished PLA with a slight heterotactic bias

More holes than cheese. What prevents the delivery of effective, high quality, and safe healthcare in England?

What prevents the delivery of effective, high quality, and safe healthcare in the National Health Service (NHS) in England? This paper presents 760 challenges which 330 NHS staff reported as preventing the delivery of effective, high quality and safe care. Some problems have been known for over 25 years (staff shortages, finance and patient complexity) but other challenges raise questions about the commitment of the NHS to patient and staff safety. For example Organisational Culture leading to ‘stifling bureaucracy’, ‘odds stacked against smooth […] working’ and Workload resulting in ‘firefighting daily’ and ‘perpetual crisis mode’. The role of Human Factors/Ergonomics professional input (engagement with safety scientists) is discussed in the context of success stories and examples of Human Factors Integration from other safety critical industries (Defence, Nuclear and Rail)

EIRFLAT-1: A FlatSat platform for the development and testing of the 2U CubeSat EIRSAT-1

The Educational Irish Research Satellite (EIRSAT-1) is a 2U CubeSat being designed, built and tested at University College Dublin. A FlatSat platform known as EIRFLAT-1 has been constructed to enable the testing and development of the CubeSat. EIRFLAT-1 facilitates the electrical connections between CubeSat components while leaving key interfaces accessible for test equipment and allowing for the hot swapping of components. Commercial Off The Shelf and in-house developed hardware has been tested using EIRFLAT-1 at component, subsystem and full system level. In addition, the FlatSat has been used for flight software development. This paper describes the design of EIRFLAT-1 including electrical and mechanical components and additional ground support equipment developed to assist in the testing and development activities. EIRFLAT-1 has proven to be an invaluable tool for testing and has led to the discovery of issues and unexpected behaviour with flight hardware which would have contributed to schedule delays if undiscovered until after the satellite was assembled. Moreover, EIRFLAT-1 facilitated early and incremental testing of both software and operations procedures. The schematics for the electrical design of EIRFLAT-1, which is compatible with all CubeSat Kit PC/104 components, has been made publicly available for use by other educational CubeSat team

Plasmodium NEK1 coordinates MTOC organisation and kinetochore attachment during rapid mitosis in male gamete formation

Mitosis is an important process in the cell cycle required for cells to divide. Never in mitosis (NIMA)-like kinases (NEKs) are regulators of mitotic functions in diverse organisms. Plasmodium spp., the causative agent of malaria is a divergent unicellular haploid eukaryote with some unusual features in terms of its mitotic and nuclear division cycle that presumably facilitate proliferation in varied environments. For example, during the sexual stage of male gametogenesis that occurs within the mosquito host, an atypical rapid closed endomitosis is observed. Three rounds of genome replication from 1N to 8N and successive cycles of multiple spindle formation and chromosome segregation occur within 8 min followed by karyokinesis to generate haploid gametes. Our previous Plasmodium berghei kinome screen identified 4 Nek genes, of which 2, NEK2 and NEK4, are required for meiosis. NEK1 is likely to be essential for mitosis in asexual blood stage schizogony in the vertebrate host, but its function during male gametogenesis is unknown. Here, we study NEK1 location and function, using live cell imaging, ultrastructure expansion microscopy (U-ExM), and electron microscopy, together with conditional gene knockdown and proteomic approaches. We report spatiotemporal NEK1 location in real-time, coordinated with microtubule organising centre (MTOC) dynamics during the unusual mitoses at various stages of the Plasmodium spp. life cycle. Knockdown studies reveal NEK1 to be an essential component of the MTOC in male cell differentiation, associated with rapid mitosis, spindle formation, and kinetochore attachment. These data suggest that P. berghei NEK1 kinase is an important component of MTOC organisation and essential regulator of chromosome segregation during male gamete formation

Experiences in firmware development for a CubeSat instrument payload

Recent advancements in gamma-ray detector technology have brought new opportunities to study gamma-ray bursts and other high-energy phenomena. However, there is a lack of dissemination on the development methods, tools and techniques used in the production of instrument flight firmware. This is understandable as firmware for spacecraft payloads may be proprietary or exceptionally hardware specific and so is not always published. However, this leaves a gap in the knowledge for CubeSat teams, especially those consisting of university students who may be building a custom spacecraft payload with limited initial experience. The Gamma-Ray Module (GMOD) on-board EIRSAT-1, a 2U CubeSat in the 2nd European Space Agency Fly Your Satellite! programme, is one such instrument. GMOD features a 25x25x40mm Scionix CeBr3 scintillator, coupled to an array of 16 (4x4) JSeries OnSemiconductor MicroFJ-60035-TSV silicon photomultipliers (SiPMs) with readout provided by the SIPHRA IDE3380 application specific integrated circuit. The instrument is supported by the Gamma-Ray Module motherboard which controls and configures the instrument, providing regulated voltage and current sources as well as generating time tagged event packets and a temporary on-board flash storage. At the core of this system is the Texas Instruments MSP430FR5994 microcontroller. A custom firmware was produced for the instrument by the EIRSAT-1 team over numerous cycles of testing and development to reliably perform the long duration tasks of readout, storage and transfer of time tagged event data to the EIRSAT-1 on-board computer. Recognising the value of sharing our experiences and pitfalls on firmware development with the wider CubeSat community, this paper will provide an introduction to GMOD, with focus primarily on the development approach of the firmware. The development, testing, version control, essential tools and an overview of how the resources provided by the device manufacturer were used will be examined, such that the lessons learned may be extended to other payloads from student-led mission

Thermal characterization testing of a robust and reliable thermal knife HDRM (Hold Down and Release Mechanism) for CubeSat deployables

Thermal knife HDRMs (Hold Down and Release Mechanisms) are commonly used in CubeSats and other small satellites. However, detailed information on proven designs is difficult to find. Design of a robust and reliable mechanism can present technical challenges which may only become apparent during testing, and often only when tested in a space representative environment. A custom thermal knife HDRM was designed and built for the antenna deployment module of EIRSAT-1 to deploy four coil spring antenna elements, but the same or a similar design could be repurposed quite easily to release a wide range of CubeSat deployables. In this design resistors are used to cut dyneema lines. For robustness and reliability, the thermal response of the mechanism must be well understood. To reach the melting point of the dyneema (150C) the power dissipated in the resistors must often exceed the maximum rated value. Therefore, choosing the operating current and the burn time is a careful trade-off between ensuring that the resistor reliably cuts the dyneema line and ensuring that the resistor, solder joints, PCB and nearby components are not damaged by the high temperatures. These choices are further complicated by the requirement that the mechanism operates over a range of temperatures. A thermal vacuum test campaign was carried out to better understand and characterise the thermal behaviour of the EIRSAT-1 mechanism. For the test a model of the mechanism was built with several temperature sensors installed. Two of these sensors were installed directly on the body of the resistors using a thermally conductive epoxy. Burn tests were performed in vacuum at temperatures between -37C and +56C. The test shows many interesting results including the effect of the dyneema lines on the thermal response, the possibility of desoldering the burn resistors and a comparison between the performance at ambient and vacuum conditions. Finally, a summary is given of the key technical challenges associated with this type of mechanism along with some recommendations to help make future designs more robust and reliable