Results 261 to 270 of about 1,350,829 (302)

Subtypes for specifications: predicate subtyping in PVS

IEEE Transactions on Software Engineering, 1998
A specification language used in the context of an effective theorem prover can provide novel features that enhance precision and expressiveness. In particular, type checking for the language can exploit the services of the theorem prover. We describe a feature called "predicate subtyping" that uses this capability and illustrate its utility as ...
J. Rushby, S. Owre, N. Shankar
openaire   +1 more source

Editorial: Glioblastoma subtype

Journal of Neurosurgery, 2012
In this paper, the authors present a retrospective series of 302 consecutively treated patients with “primary” glioblastomas (GBMs).2 They parse the patients into 2 groups, those with labeling for neurofilament protein (NFP) of 1% or greater of tumor cells, and those with less than 1% labeling, based on immunohistochemistry. Using routine (but rigorous)
openaire   +2 more sources

Schizophrenic Subtypes

Psychiatric Services, 1989
G D, Grace, W, Stiers
openaire   +2 more sources

Subtyping meningococci

The Lancet, 1992
F, Allerberger, A, Eigentler, M P, Dierich   +2 more
openaire   +2 more sources

Colorectal cancer subtyping

Nature Reviews Cancer, 2021
Hassan, Ashktorab, Hassan, Brim
openaire   +2 more sources

Subtyping dysthymia

American Journal of Psychiatry, 1989
C, Tuncer, K O, Karamustafalioğlu
openaire   +2 more sources

Subtyping of IPMN

2018
Intraductal papillary mucinous neoplasms (IPMNs) characteristically consist of mucin-filled dilated ducts lined with neoplastic cells forming papillae with a diverse range of morphologies and varying grades of atypia. Based on morphological characteristics and immunohistochemical reaction against mucin proteins, IPMNs are classified into four distinct ...
openaire   +2 more sources

5-Hydroxytryptamine Receptor Subtypes

Annual Review of Neuroscience, 1988
Significant advances in the molecular pharmacological analysis of 5‐hydroxytryptamine (5‐HT) receptor subtypes occurred in the 1980's. To a significant degree, this progress resulted from 2 independent approaches: molecular biology and molecular pharmacology. This review focuses on the pharmacological data derived from radioligand binding studies.
openaire   +3 more sources

Subtyping obesity

Nature Reviews Endocrinology, 2019
openaire   +2 more sources

Genetic subtype-guided immunochemotherapy in diffuse large B cell lymphoma: The randomized GUIDANCE-01 trial

Cancer Cell, 2023
Hai Fang, Wei-Li Zhao, Jian-feng Li
exaly