Search Constraints
« Previous |
1 - 20 of 65
|
Next »
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 20
Canonization for disjoint unions of theories
2 of 20
A recursive do for Haskell : Design and Implementation
3 of 20
DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (Technical Development)
4 of 20
Taking the hol out of HOL
5 of 20
A recursive do for Haskell : design and implementation
6 of 20
Recursive monadic bindings: technical development and details
7 of 20
Bundles in captivity : an application of superimposed information
8 of 20
A Generic approach for representing model-based superimposed information
9 of 20
The analysis of transgenic mice with mutations involving cartilage extracellular matrix proteins, collagen type II and cartilage oligomeric matrix protein
10 of 20
The role of LIM homeodomain transcription factors in glycoprotein hormone α-subunit gene expression
11 of 20
Synthesis and biophysical characterization of collagen-like peptides : glycosylation-induced stabilization of the triple-helix
12 of 20
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 20
Cloning and characterization of a novel family of inhibitory proteins of CaM-Kinase II
14 of 20
Calcium transient activity and neuronal differentiation of the neural crest
15 of 20
Selective neural and cognitive alterations in the prefrontal cortex with healthy aging and Alzheimers disease
16 of 20
Age and gender differences in stressors and coping strategies in schoolage children
17 of 20
Maternal-child interactions and the development of social competence
18 of 20
Stability of the fragile X CGG repeat in somatic cells
19 of 20
Genetic alterations in pediatric germ cell tumors
20 of 20