Search Constraints

Number of results to display per page

Search Results

  1. Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)

    3f4625777?file=thumbnail
  2. Canonization for disjoint unions of theories

    4x51hj29h?file=thumbnail
  3. A recursive do for Haskell : Design and Implementation

    Nz805z98f?file=thumbnail
  4. DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (Technical Development)

    9g54xh96x?file=thumbnail
  5. Taking the hol out of HOL

    Ns064640z?file=thumbnail
  6. A recursive do for Haskell : design and implementation

    J96020870?file=thumbnail
  7. Recursive monadic bindings: technical development and details

    2n49t189s?file=thumbnail
  8. Bundles in captivity : an application of superimposed information

    2r36tx836?file=thumbnail
  9. A Generic approach for representing model-based superimposed information

    G732d929f?file=thumbnail
  10. The analysis of transgenic mice with mutations involving cartilage extracellular matrix proteins, collagen type II and cartilage oligomeric matrix protein

    3n203z30n?file=thumbnail
  11. The role of LIM homeodomain transcription factors in glycoprotein hormone α-subunit gene expression

    44558d47c?file=thumbnail
  12. Synthesis and biophysical characterization of collagen-like peptides : glycosylation-induced stabilization of the triple-helix

    Q237hs16c?file=thumbnail
  13. 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

    W9505065q?file=thumbnail
  14. Cloning and characterization of a novel family of inhibitory proteins of CaM-Kinase II

    Tt44pn209?file=thumbnail
  15. Calcium transient activity and neuronal differentiation of the neural crest

    2j62s503w?file=thumbnail
  16. Selective neural and cognitive alterations in the prefrontal cortex with healthy aging and Alzheimers disease

    Sq87bt78m?file=thumbnail
  17. Age and gender differences in stressors and coping strategies in schoolage children

    Kw52j821b?file=thumbnail
  18. Maternal-child interactions and the development of social competence

    K643b148x?file=thumbnail
  19. Stability of the fragile X CGG repeat in somatic cells

    H702q658j?file=thumbnail
  20. Genetic alterations in pediatric germ cell tumors

    Tt44pn19j?file=thumbnail
  21. Role of mahogany in melanocortin signaling

    8336h2093?file=thumbnail
  22. Thermolabile methylenetetrahydrofolate reductase C677T mutation and its association with vascular disease

    Sb397851c?file=thumbnail
  23. Regulation of protein traffic in the TGN

    Kw52j8202?file=thumbnail
  24. The adhesion molecule fasciclin II in neuronal development

    N583xv223?file=thumbnail
  25. DNA repair and cell cycle checkpoints in response to DNA interstrand cross-linking agents in Saccharomyces cerevisiae

    2f75r824d?file=thumbnail
  26. A randomized controlled trial of muscle strengthening versus flexibility training in fibromyalgia

    Nc580m916?file=thumbnail
  27. Risk factors for the presence of varices in cirrhotic patients without a history of variceal hemorrage : thesis

    Rr171x399?file=thumbnail
  28. Hormone replacement therapy and cognition : a systematic evidence review and meta-analysis

    Pg15bf082?file=thumbnail
  29. Study time allocation of medical informatics distance education students

    H989r347h?file=thumbnail
  30. Fibroblast growth factor-1 modulates peripheral nerve injury response and regeneration

    5m60qs04h?file=thumbnail
  31. A pilot study to demonstrate the feasibility of providing supplemental clinical information to clinicians in an adult intensive care unit

    Sq87bt77b?file=thumbnail
  32. Molecular mechanisms of Salmonella virulence

    1831ck17m?file=thumbnail
  33. Representing clinical information in an internal medicine teaching image database

    Gf06g2842?file=thumbnail
  34. Structural analysis of retroviral capsid proteins

    Hm50tr972?file=thumbnail
  35. Contextual design methodology : designing a prototype software system linking the Nursing Interventions Classification with the Nursing Outcomes Classification

    W0892b14q?file=thumbnail
  36. Usability testing of medical knowledge resources

    Dv13zt31f?file=thumbnail
  37. Molecular characterization of the type 2 corticotropin-releasing hormone receptor

    Tb09j5864?file=thumbnail
  38. Development of computerized virtual and text-based simulation testing environments

    W66343760?file=thumbnail
  39. Class II treatment modalities and airway evaluation

    M900nt67v?file=thumbnail
  40. Visual symptoms after the INTACS (TM) refractive procedure for myopia : risk factors and postoperative resolution

    7d278t202?file=thumbnail
  41. Crosstalk between BMP and CaM-KIV : a novel signaling pathway in hematopoiesis

    Sn009z00f?file=thumbnail
  42. Analysis of CrkL and Stat5 interactions in bcr-abl-expressing and cytokine stimulated cells

    5d86p043w?file=thumbnail
  43. Feelin the blues : a survey of depression among medical and dental students at Oregon Health Sciences University

    Fq977v02q?file=thumbnail
  44. Changing perceptions about HIV risk and impact of infection : surveys of Oregonians at high risk for HIV infection, 1996 and 1998

    Jq085k16c?file=thumbnail
  45. Nurse practitioners use of complementary

    Qr46r104k?file=thumbnail
  46. Regulation of gap junctional intercellular communication in the vertebrate lens

    9306sz45f?file=thumbnail
  47. Childhood behavioral predictors of smoking in adolescence

    9z9030116?file=thumbnail
  48. Physiological and pharmacological characterization of the nociceptin

    Bv73c0623?file=thumbnail
  49. Analysis of mechanisms regulating prolactin gene expression

    8k71nh362?file=thumbnail
  50. Mothers labeled overinvolved : how they care for children and adolescents with mental disorders

    6d56zw80h?file=thumbnail