17 results on '"Verlind, E"'
Search Results
2. Identification of crossovers in Wilson disease families as reference points for a genetic localization of the gene
3. RFP2, c13ORF1, and FAM10A4 are the most likely tumor suppressor gene candidates for B-cell chronic lymphocytic leukemia
4. Three novel KCNA1 mutations in episodic ataxia type I families
5. A role of MLH3 in hereditary nonpolyposis colorectal cancer
6. A new family with a mutation in exon 2 of COL2A1 and Stickler syndrome without systemic manifestations
7. Germline hMLH3 mutations in patients with suspected HNPCC
8. A highly informative dinucleotide repeat polymorphism at D13S201, between RB1 and WND
9. Verification strategy of the CATHEDRAL-I silicon compiler based on the SFG-tracing methodology.
10. Application example of multi-level digital design verification by the SFG-tracing methodology.
11. Partial strength ordering applied to symbolic switch-level analysis.
12. Automatic formal verification of Cathedral-II circuits from transistor switch level implementation up to high level behavioral specifications by the SFG-tracing methodology.
13. Illustration of the SFG-tracing multi-level behavioral verification methodology, by the correctness proof of a high to low level synthesis application in Cathedral-II.
14. Efficient partial enumeration for timing analysis of asynchronous systems.
15. Prognostic Significance of K-ras and TP53 Mutations in the Role of Adjuvant Chemotherapy on Survival in Patients with Dukes C Colon Cancer.
16. Two novel germline mutations of the retinoblastoma gene (RB1) that show incomplete penetrance, one splice site and one missense.
17. Glycogen storage disease type Ia: recent experience with mutation analysis, a summary of mutations reported in the literature and a newly developed diagnostic flow chart.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.