Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

A model of open-loop control of equilibrium position and stiffness of the human elbow joint

According to the equilibrium point theory, the control of posture and movement involves the setting of equilibrium joint positions (EP) and the independent modulation of stiffness. One model of EP control, the α-model, posits that stable EPs and stiffness are set open-loop, i.e. without the aid of feedback. The purpose of the present study was to explore for the elbow joint the range over which stable EPs can be set open-loop and to investigate the effect of co-contraction on intrinsic low-frequency elbow joint stiffness (

Insect pathogens as biological control agents: back to the future

The development and use of entomopathogens as classical, conservation and augmentative biological control agents have included a number of successes and some setbacks in the past 15 years. In this forum paper we present current information on development, use and future directions of insect-specific viruses, bacteria, fungi and nematodes as components of integrated pest management strategies for control of arthropod pests of crops, forests, urban habitats, and insects of medical and veterinary importance. Insect pathogenic viruses are a fruitful source of MCAs, particularly for the control of lepidopteran pests. Most research is focused on the baculoviruses, important pathogens of some globally important pests for which control has become difficult due to either pesticide resistance or pressure to reduce pesticide residues. Baculoviruses are accepted as safe, readily mass produced, highly pathogenic and easily formulated and applied control agents. New baculovirus products are appearing in many countries and gaining an increased market share. However, the absence of a practical in vitro mass production system, generally higher production costs, limited post application persistence, slow rate of kill and high host specificity currently contribute to restricted use in pest control. Overcoming these limitations are key research areas for which progress could open up use of insect viruses to much larger markets. A small number of entomopathogenic bacteria have been commercially developed for control of insect pests. These include several Bacillus thuringiensis sub-species, Lysinibacillus (Bacillus) sphaericus, Paenibacillus spp. and Serratia entomophila. B. thuringiensis sub-species kurstaki is the most widely used for control of pest insects of crops and forests, and B. thuringiensis sub-species israelensis and L. sphaericus are the primary pathogens used for medically important pests including dipteran vectors,. These pathogens combine the advantages of chemical pesticides and microbial control agents (MCAs): they are fast acting, easy to produce at a relatively low cost, easy to formulate, have a long shelf life and allow delivery using conventional application equipment and systemics (i.e. in transgenic plants). Unlike broad spectrum chemical pesticides, B. thuringiensis toxins are selective and negative environmental impact is very limited. Of the several commercially produced MCAs, B. thuringiensis (Bt) has more than 50% of market share. Extensive research, particularly on the molecular mode of action of Bt toxins, has been conducted over the past two decades. The Bt genes used in insect-resistant transgenic crops belong to the Cry and vegetative insecticidal protein families of toxins. Bt has been highly efficacious in pest management of corn and cotton, drastically reducing the amount of broad spectrum chemical insecticides used while being safe for consumers and non-target organisms. Despite successes, the adoption of Bt crops has not been without controversy. Although there is a lack of scientific evidence regarding their detrimental effects, this controversy has created the widespread perception in some quarters that Bt crops are dangerous for the environment. In addition to discovery of more efficacious isolates and toxins, an increase in the use of Bt products and transgenes will rely on innovations in formulation, better delivery systems and ultimately, wider public acceptance of transgenic plants expressing insect-specific Bt toxins. Fungi are ubiquitous natural entomopathogens that often cause epizootics in host insects and possess many desirable traits that favor their development as MCAs. Presently, commercialized microbial pesticides based on entomopathogenic fungi largely occupy niche markets. A variety of molecular tools and technologies have recently allowed reclassification of numerous species based on phylogeny, as well as matching anamorphs (asexual forms) and teleomorphs (sexual forms) of several entomopathogenic taxa in the Phylum Ascomycota. Although these fungi have been traditionally regarded exclusively as pathogens of arthropods, recent studies have demonstrated that they occupy a great diversity of ecological niches. Entomopathogenic fungi are now known to be plant endophytes, plant disease antagonists, rhizosphere colonizers, and plant growth promoters. These newly understood attributes provide possibilities to use fungi in multiple roles. In addition to arthropod pest control, some fungal species could simultaneously suppress plant pathogens and plant parasitic nematodes as well as promote plant growth. A greater understanding of fungal ecology is needed to define their roles in nature and evaluate their limitations in biological control. More efficient mass production, formulation and delivery systems must be devised to supply an ever increasing market. More testing under field conditions is required to identify effects of biotic and abiotic factors on efficacy and persistence. Lastly, greater attention must be paid to their use within integrated pest management programs; in particular, strategies that incorporate fungi in combination with arthropod predators and parasitoids need to be defined to ensure compatibility and maximize efficacy. Entomopathogenic nematodes (EPNs) in the genera Steinernema and Heterorhabditis are potent MCAs. Substantial progress in research and application of EPNs has been made in the past decade. The number of target pests shown to be susceptible to EPNs has continued to increase. Advancements in this regard primarily have been made in soil habitats where EPNs are shielded from environmental extremes, but progress has also been made in use of nematodes in above-ground habitats owing to the development of improved protective formulations. Progress has also resulted from advancements in nematode production technology using both in vivo and in vitro systems; novel application methods such as distribution of infected host cadavers; and nematode strain improvement via enhancement and stabilization of beneficial traits. Innovative research has also yielded insights into the fundamentals of EPN biology including major advances in genomics, nematode-bacterial symbiont interactions, ecological relationships, and foraging behavior. Additional research is needed to leverage these basic findings toward direct improvements in microbial control

Azimuthal Charged-Particle Correlations and Possible Local Strong Parity Violation

Parity-odd domains, corresponding to nontrivial topological solutions of the QCD vacuum, might be created during relativistic heavy-ion collisions. These domains are predicted to lead to charge separation of quarks along the system’s orbital momentum axis. We investigate a three-particle azimuthal correlator which is a P even observable, but directly sensitive to the charge separation effect. We report measurements of charged hadrons near center-of-mass rapidity with this observable in Au+Au and Cu+Cu collisions at √sNN=200  GeV using the STAR detector. A signal consistent with several expectations from the theory is detected. We discuss possible contributions from other effects that are not related to parity violation

The dissemination of multidrug-resistant and hypervirulent <em>Klebsiella pneumoniae</em> clones across the Kingdom of Saudi Arabia

\ua9 2024 The Author(s). Published by Informa UK Limited, trading as Taylor &amp; Francis Group, on behalf of Shanghai Shangyixun Cultural Communication Co., Ltd.Klebsiella pneumoniae is a Gram-negative bacterium associated with a wide range of community- and hospital-acquired infections. The emergence of clonal hypervirulent strains resistant to last-resort antimicrobial agents has become a global concern. The Kingdom of Saudi Arabia (KSA), with its diverse population and high tourism traffic, serves as a platform where the spread of multidrug-resistant (MDR) strains are facilitated. However, the knowledge of epidemiology and population diversity of MDR K. pneumoniae in KSA is scarce. We conducted a comprehensive genomic survey on 352 MDR K. pneumoniae isolates systematically collected from bloodstream and urinary tract infections in 34 hospitals across 15 major cities in KSA during 2022 and 2023. Whole-genome sequencing on the isolates was performed, followed by genomic epidemiology and phylodynamic analysis. Our study revealed a dynamic population characterized by the rapid expansion of several dominant clones, including, ST2096, ST147, and ST231, which were estimated to have emerged within the past decade. These clones exhibited widespread dissemination across hospitals and were genetically linked to global strains, particularly from the Middle East and South Asia. All major clones harboured plasmid-borne ESBLs and carbapenemase genes, with plasmidome analysis identifying multiple IncH, IncA/C and IncL plasmids underlying the MDR-hypervirulent phenotype. These plasmids were shared between major clones and became acquired on the same time scales as the expansion of the dominant clones. Our results report ST2096 as an emerging MDR-hypervirulent clone, emphasizing the need for monitoring of the circulating clones and their plasmid content in the KSA and broader West Asia

Methicillin-resistant <em>Staphylococcus aureus</em> in Saudi Arabia: genomic evidence of recent clonal expansion and plasmid-driven resistance dissemination

Copyright \ua9 2025 Alhejaili, Zhou, Halawa, Huang, Fallatah, Hirayban, Iftikhar, AlAsmari, Milner, Banzhaf, Alzaidi, Rajeh, Al-Otaiby, Alabbad, Bukhari, Aljurayyan, Aljasham, Alzeyadi, Alajel, Alanazi, Alghoribi, Almutairi, Pain, Senok, Moradigaravand and Al Salem.Objectives: Staphylococcus aureus is a leading cause of hospital-acquired infections worldwide. Over recent decades, methicillin-resistant Staphylococcus aureus (MRSA), which is resistant to multiple antimicrobials, has emerged as a significant pathogenic strain in both hospital and community settings. The rapid emergence and dissemination of MRSA clones are driven by a dynamic and evolving population, spreading swiftly across regions on epidemiological time scales. Despite the vast geographical expanse and diverse demographics of the Kingdom of Saudi Arabia and the broader West Asia region, the population diversity of MRSA in hospitals in these areas remains underexplored. Methods: We conducted a large-scale genomic analysis of a systematic Staphylococcus aureus collection obtained from 34 hospitals across all provinces of KSA, from diverse body sites between 2022 and 2024. The dataset comprised 581 MRSA and 31 methicillin-susceptible Staphylococcus aureus (MSSA) isolates, all subjected to whole-genome sequencing. A combination of phylogenetic and population genomics approaches was utilized to analyze the genomic data. Hybrid sequencing approach was employed to retrieve the complete plasmid content. Results: The population displayed remarkable diversity, comprising 48 distinct sequence types (STs), with the majority harboring community-associated SCCmec loci (types IVa, V/VII, and VI). Virulence factors associated with community-acquired MRSA (CA-MRSA), including Panton-Valentine Leukocidin (PVL) genes, were identified in 12 distinct STs. Dominant clones, including ST8-t008 (USA300), ST88-t690, ST672-t3841, ST6-t304, and ST5-t311, were associated with infections at various body sites and were widely disseminated across the country. Linezolid and vancomycin resistance were mediated by cfr-carrying plasmids and mutations in the vraR gene (involved in cell-wall stress response) and the murF gene (involved in peptidoglycan biosynthesis) in five isolates, respectively. Phylodynamic analysis revealed rapid expansion of the dominant clones, with their emergence estimated to have occurred 10–20 years ago. Plasmidome analysis uncovered a diverse repertoire of blaZ-containing plasmids and the sharing of erm(C)-encoding plasmids among major clades. The acquisition of plasmids coincided with clonal expansion. Conclusions: Our results highlight the recent concurrent expansion and geographical dissemination of CA-MRSA clones across hospitals. These findings also underscore the interplay between clonal spread and horizontal gene transfer in shaping the resistance landscape of MRSA

Impact of Allogeneic Hematopoietic Stem Cell Transplantation on the HIV Reservoir and Immune Response in 3 HIV-Infected Individuals

Background: Allogeneic hematopoietic stem cell transplantation (HSCT) can lead to significant changes to the HIV reservoir and HIV immune responses, indicating that further characterization of HIV-infected patients undergoing HSCT is warranted. Methods: We studied 3 patients who underwent HSCT after either reduced intensity conditioning or myeloablative conditioning regimen. We measured HIV antigens and antibodies (Ag/Ab), HIV-specific CD4 + T-cell responses, HIV RNA, and DNA in plasma, peripheral blood mononuclear cells, isolated CD4 + T cells from peripheral blood, and lymph node cells. The patients remained on antiretroviral therapy throughout the follow-up period. Results: All patients have been in continued remission for 4-6 years post-HSCT. Analyses of HIV RNA and DNA levels showed substantial reductions in HIV reservoir-related measurements in all 3 patients, changes in immune response varied with pronounced reductions in 2 patients and a less dramatic reduction in 1 patient. One patient experienced unexpected viral rebound 4 years after HSCT. Conclusions: These 3 cases highlight the substantial changes to the HIV reservoir and the HIV immune response in patients undergoing allogeneic HSCT. The viral rebound observed in 1 patient indicates that replication competent HIV can re-emerge several years after HSCT despite these marked changes

EMSY links breast cancer gene 2 to the 'Royal Family'

Although the role of the breast cancer gene 2 (BRCA2) tumor suppressor gene is well established in inherited breast and ovarian carcinomas, its involvement in sporadic disease is still uncertain. The recent identification of a novel BRCA2 binding protein, EMSY, as a putative oncogene implicates the BRCA2 pathway in sporadic tumors. Furthermore, EMSY's binding to members of the 'Royal Family' of chromatin remodeling proteins may lead to a better understanding of the physiological function of BRCA2 and its role in chromatin remodeling

Macrophages direct location-dependent recall of B cell memory to vaccination

Vaccines generate long-lived plasma cells and memory B cells (Bmems) that may re-enter secondary germinal centers (GCs) to further mutate their B cell receptor upon boosting and re-exposure to antigen. We show in mouse models that lymph nodes draining the site of primary vaccination harbor a subset of Bmems that reside in the subcapsular niche, generate larger recall responses, and are more likely to re-enter GCs compared with circulating Bmems in non-draining lymph nodes. This location-dependent recall of Bmems into the GC in the draining lymph node was dependent on CD169+ subcapsular sinus macrophages (SSMs) in the subcapsular niche. In human participants, boosting of the BNT162b2 vaccine in the same arm generated more rapid secretion of broadly neutralizing antibodies, GC participation, and clonal expansion of SARS-CoV-2-specific B cells than boosting of the opposite arm. These data reveal an unappreciated role for primed draining lymph node SSMs in Bmem cell fate determination

Calcium signals can freely cross the nuclear envelope in hippocampal neurons: somatic calcium increases generate nuclear calcium transients

<p>Abstract</p> <p>Background</p> <p>In hippocampal neurons, nuclear calcium signaling is important for learning- and neuronal survival-associated gene expression. However, it is unknown whether calcium signals generated by neuronal activity at the cell membrane and propagated to the soma can unrestrictedly cross the nuclear envelope to invade the nucleus. The nuclear envelope, which allows ion transit via the nuclear pore complex, may represent a barrier for calcium and has been suggested to insulate the nucleus from activity-induced cytoplasmic calcium transients in some cell types.</p> <p>Results</p> <p>Using laser-assisted uncaging of caged calcium compounds in defined sub-cellular domains, we show here that the nuclear compartment border does not represent a barrier for calcium signals in hippocampal neurons. Although passive diffusion of molecules between the cytosol and the nucleoplasm may be modulated through changes in conformational state of the nuclear pore complex, we found no evidence for a gating mechanism for calcium movement across the nuclear border.</p> <p>Conclusion</p> <p>Thus, the nuclear envelope does not spatially restrict calcium transients to the somatic cytosol but allows calcium signals to freely enter the cell nucleus to trigger genomic events.</p