|
|
Date | Author | Title | Department | Publication Type |
| 1 |
 | 2010 | Venkataraju, Kannan Umadevi | Automatic markup of neural cell membranes using boosted decision stumps | Computing | thesis |
| 2 |
 | 2010 | Vakkalanka, Sarvani | Efficient dynamic verification algorithms for MPI applications | Computing | dissertation |
| 3 |
 | 2010 | Clark, Michael R. | Enhancing covert communications with colluding receivers | Computing | thesis |
| 4 |
 | 2010 | Ricci, Robert Preston Riekenberg | Enhancing realism and scalability in network testbeds | Computing | dissertation |
| 5 |
 | 2010 | Daniels, Joel, II | Feature-aligned, semiregular, quad-only mesh generation | Computing | dissertation |
| 6 |
 | 2010 | Meakin, Benjamin LaSalle | Multicore system design with XUM: the extensible Utah multicore project | Computing | thesis |
| 7 |
 | 2010 | Dos Santos, Marques Emanuele | Simplifying the creation and deployment of collaborative data analysis and visualization tools | Computing | dissertation |
| 8 |
 | 2010 | Potter, Kristin | Visualization of uncertainty | Computing | dissertation |
| 9 |
 | 2010-08 | Rague, Brian William | CS1 pedagogical approach to parallel thinking | Computing | dissertation |
| 10 |
 | 2010-08 | Ziemek, Tina Renee | Evaluating the effectiveness of orientation indicators with an awareness of individual differences | Computing | dissertation |
| 11 |
 | 2010-12 | Li, Guodong | Formal verification of programs and their transformations | Computing | dissertation |
| 12 |
 | 2010-12 | Thacker, Robert A | New verification method for embedded systems | Computing | dissertation |
| 13 |
 | 2010-08 | Luitjens, Justin Paul | The scalability of parallel adaptive mesh refinement within Uintah | Computing | dissertation |
| 14 |
 | 2010-08 | Zhang, Junxing | Wireless link signature: measurements, methodologies, and applications | Computing | dissertation |
| 15 |
 | 2010-04-15 | Johnson, David Michael | Design and implementation of a mobile wireless sensor network testbed | Computing | thesis |
