197 research outputs found

    Gravitational infall in the hard wall model

    Full text link
    An infalling shell in the hard wall model provides a simple holographic model for energy injection in a confining gauge theory. Depending on its parameters, a scalar shell either collapses into a large black brane, or scatters between the hard wall and the anti-de Sitter boundary. In the scattering regime, we find numerical solutions that keep oscillating for as long as we have followed their evolution, and we provide an analytic argument that shows that a black brane can never be formed. This provides examples of states in infinite-volume field theory that never thermalize. We find that the field theory expectation value of a scalar operator keeps oscillating, with an amplitude that undergoes modulation.Comment: 7 pages, 4 figure

    Holographic quenches and fermionic spectral functions

    Get PDF
    Using holographic methods we investigate the behaviour of fermionic spectral functions of strongly coupled 2+1 dimensional field theories as both temperature and chemical potential are quenched

    Specializing Interpreters using Offline Partial Deduction

    No full text
    We present the latest version of the Logen partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.We show how to achieve Jones-optimality in a systematic way for several interpreters. Finally, we present and specialise a non-trivial interpreter for a small functional programming language. Experimental results are also presented, highlighting that the Logen system can be a good basis for generating compilers for high-level languages

    Principal component and linear discriminant analyses for the classification of hominoid primate specimens based on bone shape data

    Get PDF
    In this study, we tested the hypothesis that machine learning methods can accurately classify extant primates based on triquetrum shape data. We then used this classification tool to observe the affinities between extant primates and fossil hominoids. We assessed the discrimination accuracy for an unsupervised and supervised learning pipeline, i.e. with principal component analysis (PCA) and linear discriminant analysis (LDA) feature extraction, when tasked with the classification of extant primates. The trained algorithm is used to classify a sample of known fossil hominoids. For the visualization, PCA and uniform manifold approximation and projection (UMAP) are used. The results show that the discriminant function correctly classified the extant specimens with an F1-score of 0.90 for both PCA and LDA. In addition, the classification of fossil hominoids reflects taxonomy and locomotor behaviour reported in literature. This classification based on shape data using PCA and LDA is a powerful tool that can discriminate between the triquetrum shape of extant primates with high accuracy and quantitatively compare fossil and extant morphology. It can be used to support taxonomic differentiation and aid the further interpretation of fossil remains. Further testing is necessary by including other bones and more species and specimens per species extinct primates

    Homeomorphic Embedding for Online Termination of Symbolic Methods

    No full text
    Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of homeomorphic embedding and clarify the advantages of such an approach over one using well-founded orders. We also discuss various extensions of the homeomorphic embedding relation. We conclude with a study of homeomorphic embedding in the context of metaprogramming, presenting some new (positive and negative) results and open problems

    Single-cell immune profiling reveals markers of emergency myelopoiesis that distinguish severe from mild respiratory syncytial virus disease in infants

    Get PDF
    Whereas most infants infected with respiratory syncytial virus (RSV) show no or only mild symptoms, an estimated 3 million children under five are hospitalized annually due to RSV disease. This study aimed to investigate biological mechanisms and associated biomarkers underlying RSV disease heterogeneity in young infants, enabling the potential to objectively categorize RSV-infected infants according to their medical needs. Immunophenotypic and functional profiling demonstrated the emergence of immature and progenitor-like neutrophils, proliferative monocytes (HLA-DRLow, Ki67+), impaired antigen-presenting function, downregulation of T cell response and low abundance of HLA-DRLow B cells in severe RSV disease. HLA-DRLow monocytes were found as a hallmark of RSV-infected infants requiring hospitalization. Complementary transcriptomics identified genes associated with disease severity and pointed to the emergency myelopoiesis response. These results shed new light on mechanisms underlying the pathogenesis and development of severe RSV disease and identified potential new candidate biomarkers for patient stratification

    Yukawa couplings and masses of non-chiral states for the Standard Model on D6-branes on T6/Z6'

    Full text link
    The perturbative leading order open string three-point couplings for the Standard Model with hidden USp(6) on fractional D6-branes on T6/Z6' from arXiv:0806.3039 [hep-th], arXiv:0910.0843 [hep-th] are computed. Physical Yukawa couplings consisting of holomorphic Wilsonian superpotential terms times a non-holomorphic prefactor involving the corresponding classical open string Kaehler metrics are given, and mass terms for all non-chiral matter states are derived. The lepton Yukawa interactions are at leading order flavour diagonal, while the quark sector displays a more intricate pattern of mixings. While N=2 supersymmetric sectors acquire masses via only two D6-brane displacements - which also provide the hierarchies between up- and down-type Yukawas within one quark or lepton generation -, the remaining vector-like states receive masses via perturbative three-point couplings to some Standard Model singlet fields with vevs along flat directions. Couplings to the hidden sector and messengers for supersymmetry breaking are briefly discussed.Comment: 52 pages (including 8p. appendix); 5 figures; 14 tables; v2: discussion in section 4.1.3 extended, footnote 5 added, typos corrected, accepted by JHE
    corecore