|
|
Edinburgh Research Archive >
Browsing by Publication Type Thesis or Dissertation
Showing results 3313 to 3332 of 3506
| Issue Date | Title | Author(s) | Supervisor(s) | | 2008 | Type-based amortized stack memory prediction | Campbell, Brian | Sannella, Don |
| Jul-2000 | A Type-Based Locality Analysis for a Functional Distributed Language | Moreira, Alvaro F | Fourman, Michael |
| Jul-1997 | A Type-Theoretic Analysis of Modular Specifications | Maharaj, Savitri | Anderson, Stuart |
| Jul-1994 | A Typed Operational Semantics for Type Theory | Goguen, Healfdene | Burstall, Rod; Luo, Zhaohui |
| Jul-1998 | Types For Modules | Russo , Claudio V | Sannella, Donald; Goguen, Healfdene |
| 23-Nov-2011 | Tyrannicide and Tranquillity | Martin, Andrew | Kupreeva, Inna |
| 22-Jun-2012 | Tyrosine derivatives and their anti-cancer applications | Boys, Sarah K. | Hulme, Alison; Bradley, Mark |
| 4-Jul-2011 | U.S. Intelligence and the origins of the Vietnam War, 1962 - 1965 | Ochiai, Yukiko | Peterson, John; Jeffreys-Jones, Rhodri |
| 28-Jun-2010 | Ubiquitous communications for wireless personal area networks in a heterogeneous environment | Ma, Junkang | Hannah, John; Laurenson, David |
| Oct-2012 | Uncertainty and complexity in pyrolysis modelling | Bal, Nicolas | Rein, Guillermo; Torero, Jose L |
| 24-Aug-2007 | Under the Spell of Multiple Realizability - A defence of reductionism in mind studies | Fiore, Vincenzo G | Vierkant, Tillman |
| 2011 | The underlying mechanisms: An investigation of attachment and mentalization within adolescent severe and enduring mental ill health | Fisher, Rebecca | Schwannauer, Matthias |
| 2009 | Undersampling to accelerate time-resolved MRI velocity measurement of carotid blood flow | Tao, Yuehui | Marshall, Ian; Bastin, Mark |
| 4-Jul-2011 | Understanding and encouraging cycle commuting in workplace setting: a psychological perspective | Van Bekkum, Jennifer Elizabeth | Williams, Joanne; Morris, Paul |
| 2008 | Understanding Democratic Engagement at the Micro-Level: Communication, Participation and Representation | Moug, Peter | MacKay, Fiona; Dobson, Lynn |
| Jun-2011 | Understanding experiences of coming out: The development of sexual identity in young gay adults | Fields, Anna | Lee, Billy |
| 28-Jun-2011 | Understanding home: the case of Irish-born return migrants from the United States, 1996-2006 | Ralph, David | Staeheli, Lynn; Penrose, Jan |
| Dec-2005 | Understanding how Knowledge is exploited in Ant Algorithms | McCallum, Thomas Edward Reid | Levine, John |
| 27-Jun-2012 | Understanding in contemporary epistemology | Gordon, Emma Catherine | Pritchard, Duncan; Brown, Campbell |
| 2008 | Understanding Joseph Campbell | Ritske, Rensma | Cox, James |
Showing results 3313 to 3332 of 3506
|
