The Reverse Mathematics of CAC for trees

CAC for trees is the statement asserting that any infinite subtree of $\mathbb{N}^{<\mathbb{N}}$ has an infinite path or an infinite antichain. In this paper, we study the computational strength of this theorem from a reverse mathematical viewpoint. We prove that TAC for trees is robust, that is, there exist several characterizations, some of which already appear in the literature, namely, the tree antichain theorem (TCAC) introduced by Conidis, and the statement SHER introduced by Dorais et al. We show that CAC for trees is computationally very weak, in that it admits probabilistic solutions.Comment: 28 page

Reagentless and calibrationless silicate measurement in oceanic waters

Determination of silicate concentration in seawater without addition of liquid reagents was the key prerequisite for developing an autonomous in situ electrochemical silicate sensor (Lacombe et al., 2007) [11]. The present challenge is to address the issue of calibrationless determination. To achieve such an objective, we chose chronoamperometry performed successively on planar microelectrode (ME) and ultramicroelectrode (UME) among the various possibilities. This analytical method allows estimating simultaneously the diffusion coefficient and the concentration of the studied species. Results obtained with ferrocyanide are in excellent agreement with values of the imposed concentration and diffusion coefficient found in the literature. For the silicate reagentless method, successive chronoamperometric measurements have been performed using a pair of gold disk electrodes for both UME and ME. Our calibrationless method was tested with different concentrations of silicate in artificial seawater from 55 to 140×10−6 mol L−1. The average value obtained for the diffusion coefficient of the silicomolybdic complex is 2.2±0.4×10−6 cm2 s−1, consistent with diffusion coefficient values of molecules in liquid media. Good results were observed when comparing known concentration of silicate with experimentally derived ones. Further work is underway to explore silicate determination within the lower range of oceanic silicate concentration, down to 0.1×10−6 mol L−1

Estimating Private Equity Returns from Limited Partner Cash Flows

We introduce a methodology to estimate the historical time series of returns to investment in private equity. The approach is quite general, requires only an unbalanced panel of cash contributions and distributions accruing to limited partners, and is robust to sparse data. We decompose private equity returns into a component due to traded factors and a time-varying private equity premium. We find strong cyclicality in the premium component that differs according to fund type. The time-series estimates allow us to directly test theories about private equity cyclicality, and we find evidence in favor of the Kaplan and Strömberg (2009) hypothesis that capital market segmentation helps to determine the private equity premium

Estimating Private Equity Returns from Limited Partner Cash Flows

We introduce a methodology to estimate the historical time series of returns to investment in private equity. The approach is quite general, requires only an unbalanced panel of cash contributions and distributions accruing to limited partners, and is robust to sparse data. We decompose private equity returns into a component due to traded factors and a time-varying private equity premium. We find strong cyclicality in the premium component that differs according to fund type. The time-series estimates allow us to directly test theories about private equity cyclicality, and we find evidence in favor of the Kaplan and Strömberg (2009) hypothesis that capital market segmentation helps to determine the private equity premium

Skill transfer, expertise and talent development: An ecological dynamics perspective

In this paper, we propose an ecological dynamics perspective on expertise and talent development, with a focus on the role of skill transfer. The ecological dynamics theoretical framework provides an integrated explanation for human behaviour in sport, predicated on a conceptualisation including constraints on dynamical systems, ecological psychology and a complex systems approach in neurobiology. Three main pillars are presented, individual-environment coupling as the smallest unit of analysis; adaptation of a complex dynamical system to interacting constraints; and the regulation of action with perception) in order to discuss the functional role of behavioural variability, the usefulness of perceptual-motor exploration and the importance of general and specific skill transfer in the development of talent and expertise in athletes. In addition, practical implications for coaches and instructors are discussed, notably regarding early diversification and unstructured play and activities in talent development programs, but also through variable practice and constraints manipulation

Comparison of Supervised Classification Methods for Protein Profiling in Cancer Diagnosis

A key challenge in clinical proteomics of cancer is the identification of biomarkers that could allow detection, diagnosis and prognosis of the diseases. Recent advances in mass spectrometry and proteomic instrumentations offer unique chance to rapidly identify these markers. These advances pose considerable challenges, similar to those created by microarray-based investigation, for the discovery of pattern of markers from high-dimensional data, specific to each pathologic state (e.g. normal vs cancer). We propose a three-step strategy to select important markers from high-dimensional mass spectrometry data using surface enhanced laser desorption/ionization (SELDI) technology. The first two steps are the selection of the most discriminating biomarkers with a construction of different classifiers. Finally, we compare and validate their performance and robustness using different supervised classification methods such as Support Vector Machine, Linear Discriminant Analysis, Quadratic Discriminant Analysis, Neural Networks, Classification Trees and Boosting Trees. We show that the proposed method is suitable for analysing high-throughput proteomics data and that the combination of logistic regression and Linear Discriminant Analysis outperform other methods tested

A Novel Chemically Differentiated Mouse Embryonic Stem Cell-Based Model to Study Liver Stages of Plasmodium berghei.

Asymptomatic and obligatory liver stage (LS) infection of Plasmodium parasites presents an attractive target for antimalarial vaccine and drug development. Lack of robust cellular models to study LS infection has hindered the discovery and validation of host genes essential for intrahepatic parasite development. Here, we present a chemically differentiated mouse embryonic stem cell (ESC)-based LS model, which supports complete development of Plasmodium berghei exoerythrocytic forms (EEFs) and can be used to define new host-parasite interactions. Using our model, we established that host Pnpla2, coding for adipose triglyceride lipase, is dispensable for P. berghei EEF development. In addition, we also evaluated in-vitro-differentiated human hepatocyte-like cells (iHLCs) to study LS of P. berghei and found it to be a sub-optimal infection model. Overall, our results present a new mouse ESC-based P. berghei LS infection model that can be utilized to study the impact of host genetic variation on parasite development

A Novel Chemically Differentiated Mouse Embryonic Stem Cell-Based Model to Study Liver Stages of Plasmodium berghei.

Asymptomatic and obligatory liver stage (LS) infection of Plasmodium parasites presents an attractive target for antimalarial vaccine and drug development. Lack of robust cellular models to study LS infection has hindered the discovery and validation of host genes essential for intrahepatic parasite development. Here, we present a chemically differentiated mouse embryonic stem cell (ESC)-based LS model, which supports complete development of Plasmodium berghei exoerythrocytic forms (EEFs) and can be used to define new host-parasite interactions. Using our model, we established that host Pnpla2, coding for adipose triglyceride lipase, is dispensable for P. berghei EEF development. In addition, we also evaluated in-vitro-differentiated human hepatocyte-like cells (iHLCs) to study LS of P. berghei and found it to be a sub-optimal infection model. Overall, our results present a new mouse ESC-based P. berghei LS infection model that can be utilized to study the impact of host genetic variation on parasite development

A Novel Human Pluripotent Stem Cell-Derived Neural Crest Model of Treacher Collins Syndrome Shows Defects in Cell Death and Migration.

The neural crest (NC) is a transient multipotent cell population present during embryonic development. The NC can give rise to multiple cell types and is involved in a number of different diseases. Therefore, the development of new strategies to model NC in vitro enables investigations into the mechanisms involved in NC development and disease. In this study, we report a simple and efficient protocol to differentiate human pluripotent stem cells (HPSC) into NC using a chemically defined media, with basic fibroblast growth factor 2 (FGF2) and the transforming growth factor-β inhibitor SB-431542. The cell population generated expresses a range of NC markers, including P75, TWIST1, SOX10, and TFAP2A. NC purification was achieved in vitro through serial passaging of the population, recreating the developmental stages of NC differentiation. The generated NC cells are highly proliferative, capable of differentiating to their derivatives in vitro and engraft in vivo to NC specific locations. In addition, these cells could be frozen for storage and thawed with no loss of NC properties, nor the ability to generate cellular derivatives. We assessed the potential of the derived NC population to model the neurocristopathy, Treacher Collins Syndrome (TCS), using small interfering RNA (siRNA) knockdown of TCOF1 and by creating different TCOF1+/- HPSC lines through CRISPR/Cas9 technology. The NC cells derived from TCOF1+/- HPSC recapitulate the phenotype of the reported TCS murine model. We also report for the first time an impairment of migration in TCOF1+/- NC and mesenchymal stem cells. In conclusion, the developed protocol permits the generation of the large number of NC cells required for developmental studies, disease modeling, and for drug discovery platforms in vitro