| 21. |
Tolosi, Laura
(2012)
Finding regions of aberrant DNA copy number associated with tumor phenotype
Dissertation
|
| 22. |
Degenbaev, Ulan
(2012)
Formal specification of the x86 instruction set architecture
Dissertation
|
| 23. |
Emeliyanenko, Pavel
(2012)
Harnessing the power of GPUs for problems in real algebraic geometry
Dissertation
|
| 24. |
Kaminski, Mark
(2012)
Incremental decision procedures for modal logics with nominals and eventualities
Dissertation
|
| 25. |
Sun, Weiwei
(2012)
Learning Chinese language structures with multiple views
Dissertation
|
| 26. |
Awadallah, Rawia
(2012)
Methods for constructing an opinion network for politically controversial topics
Dissertation
|
| 27. |
Herzig, Kim Sebastian
(2012)
Mining and untangling change genealogies
Dissertation
|
| 28. |
Mileva, Yana Momchilova
(2012)
Mining the evolution of software component usage
Dissertation
|
| 29. |
Shadrin, Andrey
(2012)
Mixed low- and high level programming language semantics and automated verification of a small hypervisor
Dissertation
|
| 30. |
Denev, Dimitar
(2012)
Models and methods for web archive crawling
Dissertation
|
