Finiteness properties of soluble arithmetic groups over global function fields

Let G be a Chevalley group scheme and B<=G a Borel subgroup scheme, both defined over Z. Let K be a global function field, S be a finite non-empty set of places over K, and O_S be the corresponding S-arithmetic ring. Then, the S-arithmetic group B(O_S) is of type F_{|S|-1} but not of type FP_{|S|}. Moreover one can derive lower and upper bounds for the geometric invariants \Sigma^m(B(O_S)). These are sharp if G has rank 1. For higher ranks, the estimates imply that normal subgroups of B(O_S) with abelian quotients, generically, satisfy strong finiteness conditions.Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper15.abs.htm

Setanta project: the development of an interactive maths tutorial

In this presentation, we hope to show how the technical and pedagogic expertise in Third level institutes can support certain curriculum needs of Primary and Second level schools. The project involves the development of courseware, which takes the form of an Interactive Maths Tutorial; it is specifically aimed at pupils preparing for Secondary school assessment tests, i.e. Sixth class pupils in Ireland. It suggests that a partnership between Second and Third level institutions is one way of facilitating the creation of courseware

Single feature polymorphism (SFP)-based selective sweep identification and association mapping of growth-related metabolic traits in Arabidopsis thaliana

Background: Natural accessions of Arabidopsis thaliana are characterized by a high level of phenotypic variation that can be used to investigate the extent and mode of selection on the primary metabolic traits. A collection of 54 A. thaliana natural accession-derived lines were subjected to deep genotyping through Single Feature Polymorphism (SFP) detection via genomic DNA hybridization to Arabidopsis Tiling 1.0 Arrays for the detection of selective sweeps, and identification of associations between sweep regions and growth-related metabolic traits. Results: A total of 1,072,557 high-quality SFPs were detected and indications for 3,943 deletions and 1,007 duplications were obtained. A significantly lower than expected SFP frequency was observed in protein-, rRNA-, and tRNA-coding regions and in non-repetitive intergenic regions, while pseudogenes, transposons, and non-coding RNA genes are enriched with SFPs. Gene families involved in plant defence or in signalling were identified as highly polymorphic, while several other families including transcription factors are depleted of SFPs. 198 significant associations between metabolic genes and 9 metabolic and growth-related phenotypic traits were detected with annotation hinting at the nature of the relationship. Five significant selective sweep regions were also detected of which one associated significantly with a metabolic trait. Conclusions: We generated a high density polymorphism map for 54 A. thaliana accessions that highlights the variability of resistance genes across geographic ranges and used it to identify selective sweeps and associations between metabolic genes and metabolic phenotypes. Several associations show a clear biological relationship, while many remain requiring further investigation

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

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

Update on the status of the Educational Irish Research Satellite (EIRSAT-1)

The Educational Irish Research Satellite, EIRSAT-1, is a 2U CubeSat being implemented by a student-led team at University College Dublin, as part of the 2nd round of the European Space Agency’s Fly Your Satellite! programme. In development since 2017, the mission has several scientific, technological and outreach goals. It will fly an in-house developed antenna deployment module, along with three custom payloads, which are integrated with commercial off-the-shelf subsystems. In preparation for the flight model, a full-system engineering qualification model of the spacecraft has undergone an extensive period of test campaigns, including full functional tests, a mission test, and environmental testing at the European Space Agency’s CubeSat Support Facility in Redu, Belgium. Beyond the technical, educational, and capacity-building goals of the mission, EIRSAT-1 aims to inspire wider study of STEM subjects, while highlighting the importance of multidisciplinary teams and creating greater awareness of space in everyday life. A wide range of outreach activities are being undertaken to realise these aims. This paper provides a status update on key aspects of the EIRSAT-1 project and the next steps towards launc

A gene expression atlas of the domestic pig

<p>Abstract</p> <p>Background</p> <p>This work describes the first genome-wide analysis of the transcriptional landscape of the pig. A new porcine Affymetrix expression array was designed in order to provide comprehensive coverage of the known pig transcriptome. The new array was used to generate a genome-wide expression atlas of pig tissues derived from 62 tissue/cell types. These data were subjected to network correlation analysis and clustering.</p> <p>Results</p> <p>The analysis presented here provides a detailed functional clustering of the pig transcriptome where transcripts are grouped according to their expression pattern, so one can infer the function of an uncharacterized gene from the company it keeps and the locations in which it is expressed. We describe the overall transcriptional signatures present in the tissue atlas, where possible assigning those signatures to specific cell populations or pathways. In particular, we discuss the expression signatures associated with the gastrointestinal tract, an organ that was sampled at 15 sites along its length and whose biology in the pig is similar to human. We identify sets of genes that define specialized cellular compartments and region-specific digestive functions. Finally, we performed a network analysis of the transcription factors expressed in the gastrointestinal tract and demonstrate how they sub-divide into functional groups that may control cellular gastrointestinal development.</p> <p>Conclusions</p> <p>As an important livestock animal with a physiology that is more similar than mouse to man, we provide a major new resource for understanding gene expression with respect to the known physiology of mammalian tissues and cells. The data and analyses are available on the websites <url>http://biogps.org and http://www.macrophages.com/pig-atlas</url>.</p