Results 31 to 40 of about 560,921 (309)
Precise subtyping for asynchronous multiparty sessions [PDF]
Proc. ACM Program. Lang., 2020 Session subtyping is a cornerstone of refinement of communicating processes: a process implementing a session type (i.e., a communication protocol) T can be safely used whenever a process implementing one of its supertypes T′ is expected, in any context,
S. Ghilezan +4 more
semanticscholar +1 more source
Consistent Subtyping for All [PDF]
, 2018 Consistent subtyping is employed in some gradual type systems to validate type conversions. The original definition by Siek and Taha serves as a guideline for designing gradual type systems with subtyping.
Xie, N +5 more
core +1 more source
The Oncologist, 2020 BACKGROUND Molecular subtyping of triple-negative breast cancers (TNBCs) via gene expression profiling is essential for understanding the molecular essence of this heterogeneous disease and for guiding individualized treatment.
Shen Zhao +12 more
semanticscholar +1 more source
Metabolites, 2023 Obesity-related asthma is a heterogeneous childhood asthma phenotype with rising prevalence. Observational studies identify early-life obesity or weight gain as risk factors for childhood asthma development.
Heidi Makrinioti +6 more
doaj +1 more source
Profiles of circumscribed interests in autistic youth
Frontiers in Behavioral Neuroscience, 2023 Circumscribed interests (CI) encompass a range of different interests and related behaviors that can be characterized by either a high intensity but otherwise usual topic [referred to as restricted interests (RI)] or by a focus on topics that are not ...
Emily Spackman +7 more
doaj +1 more source
Application of MALDI-TOF mass spectrometry in clinical diagnostic microbiology
Journal of Infection in Developing Countries, 2014 Matrix-assisted laser desorption/ionization-time of flight mass spectrometry (MALDI-TOF MS) has recently emerged as a powerful technique for identification of microorganisms, changing the workflow of well-established laboratories so that its impact on ...
Elena De Carolis +7 more
doaj +1 more source
The Russian database of HIV antiretroviral drug resistance
Журнал микробиологии, эпидемиологии и иммунобиологии, 2023 The development of sequencing technologies and bioinformatic analysis made it possible to conduct molecular and epidemiological studies, in which nucleotide sequences of the human immunodeficiency virus (HIV) are used as information added to the patient ...
Dmitry E. Kireev +8 more
doaj +1 more source
Interpretable machine learning for precision cognitive aging
Frontiers in Computational NeuroscienceIntroductionMachine performance has surpassed human capabilities in various tasks, yet the opacity of complex models limits their adoption in critical fields such as healthcare.
Abdoul Jalil Djiberou Mahamadou +6 more
doaj +1 more source
The genetic basis of onset age in schizophrenia: evidence and models
Frontiers in Genetics, 2023 Schizophrenia is a heritable neurocognitive disorder affecting about 1% of the population, and usually has an onset age at around 21–25 in males and 25–30 in females.
Na Zhan +11 more
doaj +1 more source
The Lancet Respiratory MedicineSepsis is a common and deadly condition. Within the current model of sepsis immunobiology, the framing of dysregulated host immune responses into proinflammatory and immunosuppressive responses for the testing of novel treatments has not resulted in ...
M. Shankar-Hari +20 more
semanticscholar +1 more source