Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 | Carbon dioxide variability within the urban Salt Lake Valley: an observational and modeling study | 2013-08 | Text | ir_etd | |
2 | The 'test model-checking' approach to the verification of formal memory models of multiprocessors | 1998 | Text | ir_uspace | |
3 | Mesh development of an infant finite element model for predicting skull fracture and intracranial hemorrhage in children from low height falls | 2011-12 | Text | ir_etd | |
4 | Novel bedside techniques for functional residual capacity measurement | 2011-12 | Text | ir_etd | |
5 | Optimization, conflict, and nonoverlapping foraging ranges in ants | 2003 | Text | ir_uspace |