The strong influence of substrate conductivity on droplet evaporation

We report the results of physical experiments that demonstrate the strong influence of the thermal conductivity of the substrate on the evaporation of a pinned droplet. We show that this behaviour can be captured by a mathematical model including the variation of the saturation concentration with temperature, and hence coupling the problems for the vapour concentration in the atmosphere and the temperature in the liquid and the substrate. Furthermore, we show that including two ad hoc improvements to the model, namely a Newton's law of cooling on the unwetted surface of the substrate and the buoyancy of water vapour in the atmosphere, give excellent quantitative agreement for all of the combinations of liquid and substrate considered

A systematic review of pedagogies that support, engage and improve the educational outcomes of Aboriginal students

This review analyses studies that identify pedagogies to support, engage and improve Aboriginal and Torres Strait Islander student outcomes. Some studies focus on pedagogies to support and engage, while others describe pedagogies that are designed to improve engagement, attendance and academic skills. The role of context emerges as a key theme, particularly in remote areas. In larger studies, Aboriginal students are often a subset of a larger student group, included because of socio-economic status and achievement levels. Key findings indicate a disconnect between practice and outcomes where links to improved outcomes are by implication rather than evidence. Further, definitions and detail about pedagogies are mostly absent, relying on ‘common understandings’ of what pedagogy means. This review highlights that most of the research identifies effective pedagogies to engage and support Aboriginal students rather than to improve their educational outcomes

Universal neural field computation

Turing machines and G\"odel numbers are important pillars of the theory of computation. Thus, any computational architecture needs to show how it could relate to Turing machines and how stable implementations of Turing computation are possible. In this chapter, we implement universal Turing computation in a neural field environment. To this end, we employ the canonical symbologram representation of a Turing machine obtained from a G\"odel encoding of its symbolic repertoire and generalized shifts. The resulting nonlinear dynamical automaton (NDA) is a piecewise affine-linear map acting on the unit square that is partitioned into rectangular domains. Instead of looking at point dynamics in phase space, we then consider functional dynamics of probability distributions functions (p.d.f.s) over phase space. This is generally described by a Frobenius-Perron integral transformation that can be regarded as a neural field equation over the unit square as feature space of a dynamic field theory (DFT). Solving the Frobenius-Perron equation yields that uniform p.d.f.s with rectangular support are mapped onto uniform p.d.f.s with rectangular support, again. We call the resulting representation \emph{dynamic field automaton}.Comment: 21 pages; 6 figures. arXiv admin note: text overlap with arXiv:1204.546

Unraveling the directional link between adiposity and inflammation: a bidirectional mendelian randomization approach

<b>Context</b>: Associations between adiposity and circulating inflammation markers are assumed to be causal, although the direction of the relationship has not been proven. <b>Objective</b>: The aim of the study was to explore the causal direction of the relationship between adiposity and inflammation using a bidirectional Mendelian randomization approach. <b>Methods</b>: In the PROSPER study of 5804 elderly patients, we related C-reactive protein (CRP) single nucleotide polymorphisms (SNPs) (rs1800947 and rs1205) and adiposity SNPs (FTO and MC4R) to body mass index (BMI) as well as circulating levels of CRP and leptin. We gave each individual two allele scores ranging from zero to 4, counting each pair of alleles related to CRP levels or BMI. <b>Results</b>: With increasing CRP allele score, there was a stepwise decrease in CRP levels (P for trend < 0.0001) and a 1.98 mg/liter difference between extremes of the allele score distribution, but there was no associated change in BMI or leptin levels (P ≥ 0.89). By contrast, adiposity allele score was associated with 1) an increase in BMI (1.2 kg/m2 difference between extremes; P for trend 0.002); 2) an increase in circulating leptin (5.77 ng/ml difference between extremes; P for trend 0.0027); and 3) increased CRP levels (1.24 mg/liter difference between extremes; P for trend 0.002). <b>Conclusions</b>: Greater adiposity conferred by FTO and MC4R SNPs led to higher CRP levels, with no evidence for any reverse pathway. Future studies should extend our findings to other circulating inflammatory parameters. This study illustrates the potential power of Mendelian randomization to dissect directions of causality between intercorrelated metabolic factors

Neutrino Detection with Inclined Air Showers

The possibilities of detecting high energy neutrinos through inclined showers produced in the atmosphere are addressed with an emphasis on the detection of air showers by arrays of particle detectors. Rates of inclined showers produced by both down-going neutrino interactions and by up-coming $\tau$ decays from earth-skimming neutrinos as a function of shower energy are calculated with analytical methods using two sample neutrino fluxes with different spectral indices. The relative contributions from different flavors and charged, neutral current and resonant interactions are compared for down-going neutrinos interacting in the atmosphere. No detailed description of detectors is attempted but rough energy thresholds are implemented to establish the ranges of energies which are more suitable for neutrino detection through inclined showers. Down-going and up-coming rates are compared.Comment: Submitted to New Journal of Physic

C-reactive protein is essential for innate resistance to pneumococcal infection

Summary: No deficiency of human C-reactive protein (CRP), or even structural polymorphism of the protein, has yet been reported so its physiological role is not known. Here we show for the first time that CRP-deficient mice are remarkably susceptible to Streptococcus pneumoniae infection and are protected by reconstitution with isolated pure human CRP, or by anti-pneumococcal antibodies. Autologous mouse CRP is evidently essential for innate resistance to pneumococcal infection before antibodies are produced. Our findings are consistent with the significant association between clinical pneumococcal infection and non-coding human CRP gene polymorphisms which affect CRP expression. Deficiency or loss of function variation in CRP may therefore be lethal at the first early-life encounter with this ubiquitous virulent pathogen, explaining the invariant presence and structure of CRP in human adults

Molecular detection of Strongyloides sp. in Australian thoroughbred foals

Background Strongyloides westeri is found in the small intestine of young horses, mainly in foals up to about 16 weeks of age. The main source of infection for foals is through transmammary transmission, and foals can develop acute diarrhoea, weakness, dermatitis and respiratory signs. The epidemiology of S. westeri in Australia is largely unknown. Further, molecular techniques have never been employed for detection of S. westeri in horses. This pilot study aimed to assess the utility of a molecular phylogenetic method for the detection of S. westeri in the faeces of foals. Methods Faecal samples were collected from a foal of less than 2 months of age, and eggs of Strongyloides sp. were detected using the modified McMaster technique. DNA was extracted from purified eggs, and a partial fragment of the small subunit of the nuclear ribosomal DNA (18S) was characterised using polymerase chain reaction, DNA sequencing and phylogenetic methods. Results Microscopic examination of faeces revealed small ellipsoidal eggs typical of Strongyloides sp. The 18S sequence generated by PCR in this study revealed 98.4% identity with that of a reference sequence of S. westeri available from GenBank. Phylogenetic analyses revealed a polyphyletic clustering of S. westeri sequences. Conclusion This is the first study reporting the detection of DNA of Strongyloides sp. in faeces of a foal using a molecular phylogenetic approach targeting the variable region of 18S rDNA. It is anticipated that this study will allow future molecular epidemiological studies on S. westeri in horses

Comparative studies on faecal egg counting techniques used for the detection of gastrointestinal parasites of equines: A systematic review

Faecal egg counting techniques (FECT) form the cornerstone for the detection of gastrointestinal parasites in equines. For this purpose, several flotation, centrifugation, image- and artificial intelligence-based techniques are used, with varying levels of performance. This review aimed to critically appraise the literature on the assessment and comparison of various coprological techniques and/or modifications of these techniques used for equines and to identify the knowledge gaps and future research directions. We searched three databases for published scientific studies on the assessment and comparison of FECT in equines and included 27 studies in the final synthesis. Overall, the performance parameters of McMaster (81.5%), Mini-FLOTAC® (33.3%) and simple flotation (25.5%) techniques were assessed in most of the studies, with 77.8% of them comparing the performance of at least two or three methods. The detection of strongyle, Parascaris spp. and cestode eggs was assessed for various FECT in 70.4%, 18.5% and 18.5% studies, respectively. A sugar-based flotation solution with a specific gravity of ≥1.2 was found to be the optimal flotation solution for parasitic eggs in the majority of FECT. No uniform or standardised protocol was followed for the comparison of various FECT, and the tested sample size (i.e. equine population and faecal samples) also varied substantially across all studies. To the best of our knowledge, this is the first systematic review to evaluate studies on the comparison of FECT in equines and it highlights important knowledge gaps in the evaluation and comparison of such techniques

Plasmin activity promotes amyloid deposition in a transgenic model of human transthyretin amyloidosis

Cardiac ATTR amyloidosis, a serious but much under-diagnosed form of cardiomyopathy, is caused by deposition of amyloid fibrils derived from the plasma protein transthyretin (TTR), but its pathogenesis is poorly understood and informative in vivo models have proved elusive. Here we report the generation of a mouse model of cardiac ATTR amyloidosis with transgenic expression of human TTRS52P. The model is characterised by substantial ATTR amyloid deposits in the heart and tongue. The amyloid fibrils contain both full-length human TTR protomers and the residue 49-127 cleavage fragment which are present in ATTR amyloidosis patients. Urokinase-type plasminogen activator (uPA) and plasmin are abundant within the cardiac and lingual amyloid deposits, which contain marked serine protease activity; knockout of α2-antiplasmin, the physiological inhibitor of plasmin, enhances amyloid formation. Together, these findings indicate that cardiac ATTR amyloid deposition involves local uPA-mediated generation of plasmin and cleavage of TTR, consistent with the previously described mechano-enzymatic hypothesis for cardiac ATTR amyloid formation. This experimental model of ATTR cardiomyopathy has potential to allow further investigations of the factors that influence human ATTR amyloid deposition and the development of new treatments

Formal verification of a memory model for C-like imperative languages

http://www.springer.com/International audienceThis paper presents a formal verification with the Coq proof assistant of a memory model for C-like imperative languages. This model defines the memory layout and the operations that manage the memory. The model has been specified at two levels of abstraction and implemented as part of an ongoing certification in Coq of a moderately-optimising C compiler. Many properties of the memory have been verified in the specification. They facilitate the definition of precise formal semantics of C pointers. A certified OCaml code implementing the memory model has been automatically extracted from the specifications