Filters: Subject: "Model" Type: "Text"
1 - 25 of 7
| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 1 |
 | The 'test model-checking' approach to the verification of formal memory models of multiprocessors | 1998 | Text | ir_uspace |
| 2 |
 | APECS software and architecture overview | 2009-10 | Text | ir_eua |
| 3 |
 | Carbon dioxide variability within the urban Salt Lake Valley: an observational and modeling study | 2013-08 | Text | ir_etd |
| 4 |
 | Convexity and exponent inequalities for conduction near percolation | 1990 | Text | ir_uspace |
| 5 |
 | 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 |
| 6 |
 | Novel bedside techniques for functional residual capacity measurement | 2011-12 | Text | ir_etd |
| 7 |
 | Optimization, conflict, and nonoverlapping foraging ranges in ants | 2003 | Text | ir_uspace |
1 - 25 of 7