Results 21 to 30 of about 720,719 (268)
Categorical models of subtyping
CoRR, 2023 submitted for ...
Greta Coraglia, Jacopo Emmenegger
openaire +4 more sources
Frontiers in Nutrition, 2021 Background: Iron is an essential nutrient involved in the redox cycle and the formation of free radicals. The reprogramming of iron metabolism is the main link to tumor cell survival.
Junfu Ma +6 more
doaj +1 more source
Molecular Classification of Knee Osteoarthritis
Frontiers in Cell and Developmental Biology, 2021 Knee osteoarthritis (KOA) is the most common form of joint degeneration with increasing prevalence and incidence in recent decades. KOA is a molecular disorder characterized by the interplay of numerous molecules, a considerable number of which can be ...
Zhongyang Lv +10 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
Psychiatry and Clinical Psychopharmacology, 2019 OBJECTIVES: Previous studies suggested that inattention was related particularly with reading problems among students. However, most of the former studies had clinically referred samples.
Özgür Öner +2 more
doaj +1 more source
Pathogens, 2021 Cryptosporidiumfelis is an important cause of feline and human cryptosporidiosis. However, the transmission of this pathogen between humans and cats remains controversial, partially due to a lack of genetic characterization of isolates from cats.
Jiayu Li +7 more
doaj +1 more source
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
Role of dendritic cells in immunologic and smoking-induced lung diseases
Exploration of ImmunologyDendritic cells (DCs) are part of the specific and innate immune system and present antigens for lymphocytes but also regulate the actions of cells of the innate immune system such as eosinophilic and neutrophilic granulocytes. There are several types of
Helmut Popper
doaj +1 more source
EEG spectral analysis of attention in ADHD: implications for neurofeedback training?
Frontiers in Human Neuroscience, 2014 Objective: In children with attention-deficit/hyperactivity disorder (ADHD), an increased theta/beta ratio in the resting EEG typically serves as a rationale to conduct theta/beta neurofeedback training.
Hartmut eHeinrich +6 more
doaj +1 more source
Study of the subtyping machine of nominal subtyping with variance [PDF]
Proceedings of the ACM on Programming Languages, 2021 This is a study of the computing power of the subtyping machine behind Kennedy and Pierce's nominal subtyping with variance. We depict the lattice of fragments of Kennedy and Pierce's type system and characterize their computing power in terms of regular, context-free, deterministic, and non-deterministic tree languages. Based on the theory, we present
openaire +1 more source