Results 101 to 110 of about 2,629,837 (349)

Bounded Refinement Types

, 2015
We present a notion of bounded quantification for refinement types and show how it expands the expressiveness of refinement typing by using it to develop typed combinators for: (1) relational algebra and safe database access, (2) Floyd-Hoare logic within
Bertot Y., Constable R.L., Filliˆatre J.C., Moore S., Norell U.   +4 more
core   +1 more source

An intracellular transporter mitigates the CO2‐induced decline in iron content in Arabidopsis shoots

FEBS Letters, EarlyView.
This study identifies a gene encoding a transmembrane protein, MIC, which contributes to the reduction of shoot Fe content observed in plants under elevated CO2. MIC is a putative Fe transporter localized to the Golgi and endosomal compartments. Its post‐translational regulation in roots may represent a potential target for improving plant nutrition ...
Timothy Mozzanino, Meijie Li, Cécile Fizames, Mattia Adamo, Laurence Lejay, Christian Dubos, Matthieu Platre, Antoine Martin   +7 more
wiley   +1 more source

Type Destructors

Information and Computation, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hofmann, Martin, Pierce, Benjamin C.
openaire   +1 more source

A Cre‐dependent lentiviral vector for neuron subtype‐specific expression of large proteins

FEBS Letters, EarlyView.
We designed a versatile and modular lentivector comprising a Cre‐dependent switch and self‐cleaving 2A peptide and tested it for co‐expression of GFP and a 2.8 kb gene of interest (GOI) in mouse cortical parvalbumin (PV+) interneurons and midbrain dopamine (TH+) neurons.
Weixuan Xue, Sandrine Picaud, Régine Hepp, Stéphanie Pons, Uwe Maskos, Bertrand Lambolez, Ludovic Tricoire   +6 more
wiley   +1 more source

Phylogenetic characteristics of strains of the causative agent of tularemia in the Rostov region and identification of erythromycin-sensitive genovariants

Антибиотики и Химиотерапия
Background. The study of the phylogeography of the tularemia microbe is not only practical, but also of scientific interest, as it allows us to evaluate the evolutionary processes of Francisella tularensis in modern conditions.Aim.
V. M. Sorokin, N. V. Pavlovich, M. V. Tsymbalistova, A. P. Hametova, A. S. Vodopyanov, R. V. Pisanov, A. K. Noskov   +6 more
doaj   +1 more source

Capnocytophaga canimorsus Capsular Serovar and Disease Severity, Helsinki Hospital District, Finland, 2000–2017

Emerging Infectious Diseases, 2018
We assembled a collection of 73 Capnocytophaga canimorsus isolates obtained from blood cultures taken from patients treated at Helsinki University Hospital (Helsinki, Finland) during 2000–2017.
Estelle Hess, Francesco Renzi, Panu Karhunen, Mélanie Dol, Adrien Lefèvre, Jenni Antikainen, Elodie Carlier, Johanna Hästbacka, Guy R. Cornelis   +8 more
doaj   +1 more source

Assessing the utilization of high-resolution 2-field HLA typing in solid organ transplantation. [PDF]

, 2019
HLA typing in solid organ transplantation (SOT) is necessary for determining HLA-matching status between donor-recipient pairs and assessing patients\u27 anti-HLA antibody profiles.
Dinh, Anh, Duke, Jamie L., Ferriola, Deborah, Frackelton, Edward C., Gasiewski, Allison, Geier, Steven S., Heron, Steven, Huang, Yanping, Kentzel, Ethan, Kneib, Carolina, Mehler, Hilary, Mignogno, Michael T., Monos, Dimitri, Morlen, Ryan, Mosbruger, Timothy, Slavich, Larissa, Timofeeva, Olga A.   +16 more
core   +1 more source

‘Wild Type’

Microbiology
In this opinion piece, we consider the meaning of the term ‘wild type’ in the context of microbiology. This is especially pertinent in the post-genomic era, where we have a greater awareness of species diversity than ever before. Genomic heterogeneity, in vitro evolution/selection pressures, definition of ‘the wild’, the size and importance of the pan ...
Isabel Askenasy, Jemima E. V. Swain, Pok-Man Ho, Rahan Rudland Nazeer, Amelie Welch, Éva Bernadett Bényei, Leonardo Mancini, Sivan Nir, Pinyu Liao, Martin Welch   +9 more
openaire   +2 more sources

By dawn or dusk—how circadian timing rewrites bacterial infection outcomes

FEBS Letters, EarlyView.
The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo, Catherine S. Palmer, Jacqueline M. Kimmey   +2 more
wiley   +1 more source

Autochthonous outbreak of respiratory diphtheria caused by Corynebacterium diphtheriae, Germany, September 2024

Eurosurveillance
In September 2024, a school-aged child (P1), unvaccinated against diphtheria, was hospitalised with severe respiratory diphtheria caused by toxigenic Corynebacterium diphtheriae. P1 subsequently died from the disease.
Andreas Sing
doaj   +1 more source