Results 81 to 90 of about 2,516,098 (344)
Microbiology Spectrum, 2023 We performed a descriptive analysis of group B Streptococcus (GBS) isolates responsible for maternal and fetal infectious diseases from 2004 to 2020 at the University Hospital of Tours, France.
Brice Le Gallou +4 more
doaj +1 more source
Typing Classes and Mixins with Intersection Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We study an assignment system of intersection types for a lambda-calculus with records and a record-merge operator, where types are preserved both under subject reduction and expansion. The calculus is expressive enough to naturally represent mixins as functions over recursively defined classes, whose fixed points, the objects, are recursive records ...
Jan Bessai +4 more
openaire +5 more sources
Insights into PI3K/AKT signaling in B cell development and chronic lymphocytic leukemia
FEBS Letters, EarlyView.This Review explores how the phosphoinositide 3‐kinase and protein kinase B pathway shapes B cell development and drives chronic lymphocytic leukemia, a common blood cancer. It examines how signaling levels affect disease progression, addresses treatment challenges, and introduces novel experimental strategies to improve therapies and patient outcomes.
Maike Buchner
wiley +1 more source
, 1972 Device for aligning paper in typewriter to correct one letter or line of type is discussed.
Dubois, R. D., Pinson, G. T.
core +1 more source
Molecular Identification of Clinical Isolates of Mycobacterium fortuitum by Random Amplified Polymorphic DNA (RAPD) Polymerase Chain Reaction and ERIC PCR [PDF]
Journal of Clinical and Diagnostic Research, 2015 Backgrounds: Non tuberculous mycobacteria (NTM) are of importance now-a-days due to their increasing virulence outbreaks and emerging antibiotic resistance.
Azar Dokht Khosravi +3 more
doaj +1 more source
Making tau amyloid models in vitro: a crucial and underestimated challenge
FEBS Letters, EarlyView.This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
A Falsification View of Success Typing
, 2015 Dynamic languages are praised for their flexibility and expressiveness, but static analysis often yields many false positives and verification is cumbersome for lack of structure.
Jakob, Robert, Thiemann, Peter
core +1 more source
Typing actors using behavioural types [PDF]
, 2015 The actor model of computation assists and disciplines the development of concurrent programs by forcing the software engineer to reason about high-level concurrency abstractions.
Francalanza, Adrian, Masini, Joseph
core +1 more source
Typing unmarshalling without marshalling types [PDF]
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012 Unmarshalling primitives in statically typed language require, in order to preserve type safety, to dynamically verify the compatibility between the incoming values and the statically expected type. In the context of programming languages based on parametric polymorphism and uniform data representation, we propose a relation of compatibility between ...
Henry, Grégoire +3 more
openaire +2 more sources
Unraveling Mycobacterium tuberculosis acid resistance and pH homeostasis mechanisms
FEBS Letters, EarlyView.Mycobacterium tuberculosis exhibits a remarkable resilience to acid stress. In this Review, we discuss some of the molecular mechanisms and metabolic pathways used by the tubercle bacilli to adapt and resist host‐mediated acid stress. Mycobacterium tuberculosis (Mtb) is a successful pathogen that has developed a variety of strategies to survive and ...
Janïs Laudouze +3 more
wiley +1 more source