Results 21 to 30 of about 43,101 (266)
Frontiers in Oncology, 2021 Wingless/Int-1 (Wnt) signaling is one of the most well-known oncogenic pathways. Numerous studies have uncovered an aberrant expression of Wnt in cancer and its association with multiple oncogenic processes, such as cell proliferation, epithelial ...
Meng Zhang +10 more
doaj +1 more source
Journal of Computer and System Sciences, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Catriel Beeri, Tova Milo
openaire +2 more sources
Categorical models of subtyping
CoRR, 2023 submitted for ...
Greta Coraglia, Jacopo Emmenegger
openaire +4 more sources
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
, 2022 AbstractPolarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined computations (classified by negative types), with adjoint modalities mediating between them.
Zeeshan Lakhani +4 more
openaire +2 more sources
Phantom types and subtyping [PDF]
Journal of Functional Programming, 2002 We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to model a subtyping hierarchy. Hindley-Milner type systems, such as the one found in Standard ML, can be used to enforce the subtyping relation, at least for first-order values ...
Matthew Fluet, Riccardo Pucella
openaire +2 more sources
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