Volume and surface propellant heating in an electrothermal radio-frequency plasma micro-thruster

The temporal evolution of neutral gas temperature over the first 5 min of operation for an electrothermal radio-frequency micro-thruster with nitrogen (N2) propellant was measured using rovibrational band matching of the second positive N2 system. Three distinct periods of gas heating were identified with time constants of τ 1 = 8 × 10⁻⁵ s, τ 2 = 8 s, and τ 3 = 100 s. The fast heating (τ 1) is attributed to volumetric heating processes within the discharge driven by ion-neutral collisions. The slow heating (τ 3) is from ion neutralization and vibrational de-excitation on the walls creating wall heating. The intermediate heating mechanism (τ 2) is yet to be fully identified although some theories are suggested.This research was partially funded by the Australian Space Research Program (APT project) and the Australian Research Council Discovery Project (No. DP140100571)

The Dark UNiverse Explorer (DUNE): Proposal to ESA's Cosmic Vision

The Dark UNiverse Explorer (DUNE) is a wide-field space imager whose primary goal is the study of dark energy and dark matter with unprecedented precision. For this purpose, DUNE is optimised for the measurement of weak gravitational lensing but will also provide complementary measurements of baryonic accoustic oscillations, cluster counts and the Integrated Sachs Wolfe effect. Immediate auxiliary goals concern the evolution of galaxies, to be studied with unequalled statistical power, the detailed structure of the Milky Way and nearby galaxies, and the demographics of Earth-mass planets. DUNE is an Medium-class mission which makes use of readily available components, heritage from other missions, and synergy with ground based facilities to minimise cost and risks. The payload consists of a 1.2m telescope with a combined visible/NIR field-of-view of 1 deg^2. DUNE will carry out an all-sky survey, ranging from 550 to 1600nm, in one visible and three NIR bands which will form a unique legacy for astronomy. DUNE will yield major advances in a broad range of fields in astrophysics including fundamental cosmology, galaxy evolution, and extrasolar planet search. DUNE was recently selected by ESA as one of the mission concepts to be studied in its Cosmic Vision programme.Comment: Accepted in Experimental Astronom

Affine actions on non-archimedean trees

We initiate the study of affine actions of groups on $\Lambda$-trees for a general ordered abelian group $\Lambda$; these are actions by dilations rather than isometries. This gives a common generalisation of isometric action on a $\Lambda$-tree, and affine action on an $\R$-tree as studied by I. Liousse. The duality between based length functions and actions on $\Lambda$-trees is generalised to this setting. We are led to consider a new class of groups: those that admit a free affine action on a $\Lambda$-tree for some $\Lambda$. Examples of such groups are presented, including soluble Baumslag-Solitar groups and the discrete Heisenberg group.Comment: 27 pages. Section 1.4 expanded, typos corrected from previous versio

RNN-Based Radio Resource Management on Multicore RISC-V Accelerator Architectures

Radio resource management (RRM) is critical in 5G mobile communications due to its ubiquity on every radio device and its low latency constraints. The rapidly evolving RRM algorithms with low latency requirements combined with the dense and massive 5G base station deployment ask for an on-the-edge RRM acceleration system with a tradeoff between flexibility, efficiency, and cost-making application-specific instruction-set processors (ASIPs) an optimal choice. In this work, we start from a baseline, simple RISC-V core and introduce instruction extensions coupled with software optimizations for maximizing the throughput of a selected set of recently proposed RRM algorithms based on models using multilayer perceptrons (MLPs) and recurrent neural networks (RNNs). Furthermore, we scale from a single-ASIP to a multi-ASIP acceleration system to further improve RRM throughput. For the single-ASIP system, we demonstrate an energy efficiency of 218 GMAC/s/W and a throughput of 566 MMAC/s corresponding to an improvement of 10x and 10.6x, respectively, over the single-core system with a baseline RV32IMC core. For the multi-ASIP system, we analyze the parallel speedup dependency on the input and output feature map (FM) size for fully connected and LSTM layers, achieving up to 10.2x speedup with 16 cores over a single extended RI5CY core for single LSTM layers and a speedup of 13.8x for a single fully connected layer. On the full RRM benchmark suite, we achieve an average overall speedup of 16.4x, 25.2x, 31.9x, and 38.8x on two, four, eight, and 16 cores, respectively, compared to our single-core RV32IMC baseline implementation

Paying primary health care centers for performance in Rwanda

Paying for performance (P4P) provides financial incentives for providers to increase the use and quality of care. P4P can affect health care by providing incentives for providers to put more effort into specific activities, and by increasing the amount of resources available to finance the delivery of services. This paper evaluates the impact of P4P on the use and quality of prenatal, institutional delivery, and child preventive care using data produced from a prospective quasi-experimental evaluation nested into the national rollout of P4P in Rwanda. Treatment facilities were enrolled in the P4P scheme in 2006 and comparison facilities were enrolled two years later. The incentive effect is isolated from the resource effect by increasing comparison facilities'input-based budgets by the average P4P payments to the treatment facilities. The data were collected from 166 facilities and a random sample of 2158 households. P4P had a large and significant positive impact on institutional deliveries and preventive care visits by young children, and improved quality of prenatal care. The authors find no effect on the number of prenatal care visits or on immunization rates. P4P had the greatest effect on those services that had the highest payment rates and needed the lowest provider effort. P4P financial performance incentives can improve both the use of and the quality of health services. Because the analysis isolates the incentive effect from the resource effect in P4P, the results indicate that an equal amount of financial resources without the incentives would not have achieved the same gain in outcomes.Health Monitoring&Evaluation,Population Policies,Health Systems Development&Reform,Disease Control&Prevention,Adolescent Health

First microlensing candidate towards M31 from the Nainital Microlensing Survey

We report our first microlensing candidate NMS-E1 towards M31 from the data accumulated during the four years of Nainital Microlensing Survey. Cousin R and I band observations of ~13'x13' field in the direction of M31 have been carried out since 1998 and data is analysed using the pixel technique proposed by the AGAPE collaboration. NMS-E1 lies in the disk of M31 at \alpha = 0:43:33.3 and \delta = +41:06:44, about 15.5 arcmin to the South-East direction of the center of M31. The degenerate Paczy\'{n}ski fit gives a half intensity duration of ~59 days. The photometric analysis of the candidate shows that it reached R~20.1 mag at the time of maximum brightness and the colour of the source star was estimated to be (R-I)_0 ~ 1.1 mag. The microlensing candidate is blended by red variable stars; consequently the light curves do not strictly follow the characteristic Paczy\'{n}ski shape and achromatic nature. However its long period monitoring and similar behaviour in R and I bands supports its microlensing nature.Comment: no changes except typos corrected, to appear in A&

Surfactant-free purification of membrane protein complexes from bacteria: application to the staphylococcal penicillin-binding protein complex PBP2/PBP2a

Surfactant-mediated removal of proteins from biomembranes invariably results in partial or complete loss of function and disassembly of multi-protein complexes. We determined the capacity of styrene-co-maleic acid (SMA) co-polymer to remove components of the cell division machinery from the membrane of drug-resistant staphylococcal cells. SMA-lipid nanoparticles solubilized FtsZ-PBP2-PBP2a complexes from intact cells, demonstrating the close physical proximity of these proteins within the lipid bilayer. Exposure of bacteria to (-)-epicatechin gallate, a polyphenolic agent that abolishes β-lactam resistance in staphylococci, disrupted the association between PBP2 and PBP2a. Thus, SMA purification provides a means to remove native integral membrane protein assemblages with minimal physical disruption and shows promise as a tool for the interrogation of molecular aspects of bacterial membrane protein structure and function

Algebraic totality, towards completeness

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\mathcal{B}}^n\to{\mathcal{B}}$ for every n by an algebraic method