Results 31 to 40 of about 1,067,207 (315)

Subtyping in OODBs

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

The serologic decoy receptor 3 (DcR3) levels are associated with slower disease progression in HIV-1/AIDS patients

Journal of the Formosan Medical Association, 2015
The decoy receptor 3 (DcR3) is a member of the tumor necrosis factor receptor (TNFR) super-family. It counteracts the biological effects of Fas ligands and inhibits apoptosis.
Yu-Ting Lin, Chia-Hung Yen, Heng-Li Chen, Yi-Jen Liao, I-Feng Lin, Marcelo Chen, Yu-Ching Lan, Shao-Yuan Chuang, Shie-Liang Hsieh, Yi-Ming Arthur Chen   +9 more
doaj   +1 more source

Electronic sculpting of ligand-GPCR subtype selectivity:the case of angiotensin II [PDF]

, 2014
GPCR subtypes possess distinct functional and pharmacological profiles, and thus development of subtype-selective ligands has immense therapeutic potential.
Pappas, Charalampos G., Francesca Magnani, Jones, Emma S., Gerothanassis, Ioannis P., Emma S. Jones, Andreas G. Tzakos, Widdop, Robert E., Crook, Tim, Ishiguro, Susumu, Charalampos G. Pappas, Vassiliki Magafa, Tzakos, Andreas G., Naomi Ohta (735090), Jana Selent, Paul Cordopatis, Susumu Ishiguro, Ioannis P. Gerothanassis, Ohta, Naomi, Andreas G. Tzakos (1327620), Tim Crook, Naomi Ohta, Francesca Magnani (1327608), Ioannis P. Gerothanassis (1327626), Masaaki Tamura, Paul Cordopatis (1327614), Cordopatis, Paul, Sanja Bosnyak, Jana Selent (147923), Emma S. Jones (1327623), Robert E. Widdop (585063), Selent, Jana, Bosnyak, Sanja, Magnani, Francesca, Robert E. Widdop, Charalampos G. Pappas (1327617), Susumu Ishiguro (735091), Vassiliki Magafa (1327629), Sanja Bosnyak (1327611), Tamura, Masaaki, Masaaki Tamura (735096), Magafa, Vassiliki, Tim Crook (1069)   +41 more
core   +1 more source

Polarized Subtyping

, 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, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning   +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

Phyla- and subtype-selectivity of CgNa, a Na+ channel toxin from the venom of the Giant Caribbean Sea Anemone Condylactis gigantea

Frontiers in Pharmacology, 2010
Because of their prominent role in electro-excitability, voltage-gated sodium (NaV) channels have become the foremost important target of animal toxins. These toxins have developed the ability to discriminate between closely related NaV subtypes, making ...
Bert eBillen, Sarah eDebaveye, Lászlo eBéress, Anoland eGarateix, Jan eTytgat   +4 more
doaj   +1 more source

Subtypes of relapsing-remitting multiple sclerosis identified by network analysis

Frontiers in Digital Health, 2023
We used network analysis to identify subtypes of relapsing-remitting multiple sclerosis subjects based on their cumulative signs and symptoms. The electronic medical records of 113 subjects with relapsing-remitting multiple sclerosis were reviewed, signs
Quentin Howlett-Prieto, Chelsea Oommen, Michael D. Carrithers, Donald C. Wunsch, Daniel B. Hier, Daniel B. Hier   +5 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

An association between K65R and HIV-1 subtype C viruses in patients treated with multiple NRTIs. [PDF]

, 2017
Objectives: HIV-1 subtype C might have a greater propensity to develop K65R mutations in patients with virological failure compared with other subtypes. However, the strong association between viral subtype and confounding factors such as exposure groups
Mark Nelson, Collins, S, Smit, Erasmus, Tostevin, Anna, Ellen White, Hongyi Zhang, Sophie Jose, Zhang, Hongyi, Erasmus Smit, Churchill, D, Dunn, DT, Pillay, Deenan, Jose, Sophie, Winston, Alan, Sabin, Caroline, Dunn, David T, Duncan Clark, Caroline Sabin, David T. Dunn, Nelson, M, Clark, Duncan, Churchill, Duncan, White, E, Winston, A, Sabin, C, Pillay, D, Collins, Simon, Smit, E, Tostevin, A, UK HIV Drug Resistance Database and the UK Collaborative HIV Cohort, Clark, D, Jose, S, Alan Winston, Anna Tostevin, null null, Simon Collins, Dunn, David T., Deenan Pillay, Zhang, H, White, Ellen, Nelson, Mark, Duncan Churchill   +41 more
core   +1 more source