Search Constraints
Search Results
Select an image to start the slideshow
Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)
1 of 65
Canonization for disjoint unions of theories
2 of 65
A recursive do for Haskell : Design and Implementation
3 of 65
DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (Technical Development)
4 of 65
Taking the hol out of HOL
5 of 65
A recursive do for Haskell : design and implementation
6 of 65
Recursive monadic bindings: technical development and details
7 of 65
Bundles in captivity : an application of superimposed information
8 of 65
A Generic approach for representing model-based superimposed information
9 of 65
The analysis of transgenic mice with mutations involving cartilage extracellular matrix proteins, collagen type II and cartilage oligomeric matrix protein
10 of 65
The role of LIM homeodomain transcription factors in glycoprotein hormone α-subunit gene expression
11 of 65
Synthesis and biophysical characterization of collagen-like peptides : glycosylation-induced stabilization of the triple-helix
12 of 65
Behavioral assessment of common determinants of drug and ethanol-induced sensitization and the role of ethanol-induced sensitization in voluntary ethanol drinking and ethanol-induced conditioned taste aversion
13 of 65
Cloning and characterization of a novel family of inhibitory proteins of CaM-Kinase II
14 of 65
Calcium transient activity and neuronal differentiation of the neural crest
15 of 65
Selective neural and cognitive alterations in the prefrontal cortex with healthy aging and Alzheimers disease
16 of 65
Age and gender differences in stressors and coping strategies in schoolage children
17 of 65
Maternal-child interactions and the development of social competence
18 of 65
Stability of the fragile X CGG repeat in somatic cells
19 of 65
Genetic alterations in pediatric germ cell tumors
20 of 65
Role of mahogany in melanocortin signaling
21 of 65
Thermolabile methylenetetrahydrofolate reductase C677T mutation and its association with vascular disease
22 of 65
Regulation of protein traffic in the TGN
23 of 65
The adhesion molecule fasciclin II in neuronal development
24 of 65
DNA repair and cell cycle checkpoints in response to DNA interstrand cross-linking agents in Saccharomyces cerevisiae
25 of 65
A randomized controlled trial of muscle strengthening versus flexibility training in fibromyalgia
26 of 65
Risk factors for the presence of varices in cirrhotic patients without a history of variceal hemorrage : thesis
27 of 65
Hormone replacement therapy and cognition : a systematic evidence review and meta-analysis
28 of 65
Study time allocation of medical informatics distance education students
29 of 65
Fibroblast growth factor-1 modulates peripheral nerve injury response and regeneration
30 of 65
A pilot study to demonstrate the feasibility of providing supplemental clinical information to clinicians in an adult intensive care unit
31 of 65
Molecular mechanisms of Salmonella virulence
32 of 65
Representing clinical information in an internal medicine teaching image database
33 of 65
Structural analysis of retroviral capsid proteins
34 of 65
Contextual design methodology : designing a prototype software system linking the Nursing Interventions Classification with the Nursing Outcomes Classification
35 of 65
Usability testing of medical knowledge resources
36 of 65
Molecular characterization of the type 2 corticotropin-releasing hormone receptor
37 of 65
Development of computerized virtual and text-based simulation testing environments
38 of 65
Class II treatment modalities and airway evaluation
39 of 65
Visual symptoms after the INTACS (TM) refractive procedure for myopia : risk factors and postoperative resolution
40 of 65
Crosstalk between BMP and CaM-KIV : a novel signaling pathway in hematopoiesis
41 of 65
Analysis of CrkL and Stat5 interactions in bcr-abl-expressing and cytokine stimulated cells
42 of 65
Feelin the blues : a survey of depression among medical and dental students at Oregon Health Sciences University
43 of 65
Changing perceptions about HIV risk and impact of infection : surveys of Oregonians at high risk for HIV infection, 1996 and 1998
44 of 65
Nurse practitioners use of complementary
45 of 65
Regulation of gap junctional intercellular communication in the vertebrate lens
46 of 65
Childhood behavioral predictors of smoking in adolescence
47 of 65
Physiological and pharmacological characterization of the nociceptin
48 of 65
Analysis of mechanisms regulating prolactin gene expression
49 of 65
Mothers labeled overinvolved : how they care for children and adolescents with mental disorders
50 of 65
Surviving an adolescent violence trajectory : an African American perspective
51 of 65
Factors associated with missed appointments in a primary care clinic
52 of 65
Biological function of viral interleukin-6 encoded by a rhesus monkey herpesvirus genetically related to human herpesvirus-8
53 of 65
Regulation of cellular iron homeostasis by HFE, a non-classical MHC class I protein
54 of 65
Postsynaptic maturation of excitatory synapses
55 of 65
Genetic studies of reversion in hereditary tyrosinemia type 1
56 of 65
Quality of life in head and neck cancer patients and their spouses
57 of 65
Gas/solid and gas/particle partitioning of polychlorinated dibenzodioxins, polychlorinated dibenzofurans and polycyclic aromatic hydrocarbons to filter surfaces and ambient atmospheric particulate material
58 of 65
Automatic time alignment of phonemes using acoustic-phonetic information
59 of 65
2-Chloroacetophenone as a probe compound for studying reduction reactions in anaerobic sediments
60 of 65
The evolutionarily conserved arginine attenuator peptide regulates the movement of ribosomes that have translated it
61 of 65
Pd-Ge ohmic contact on to GaAs formed by the solid phase epitaxy of Ge a microstructure study
62 of 65
Algebraic specification and verification of processor microarchitectures
63 of 65
Nonlinear estimation and modeling of noisy time-series by dual Kalman filtering methods
64 of 65
Novel Genetic Selections for Peroxisome Biogenesis Mutants (pex) and the Isolation and Characterization of PEXl4 and Pexl4p in Pichia pastoris
65 of 65