|
|
Edinburgh Research Archive >
Browsing by Title
Showing results 4295 to 4314 of 5968
| Issue Date | Title | Author(s) | Supervisor(s) | | Oct-2000 | Pronunciation Variation in ASR: Which Variation to Model? | Wester, Mirjam; Kessens, Judith M; Strik, Helmer | - |
| 2000 | A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic | Ketland, Jeffrey | - |
| Jul-1998 | Proof Planning Coinduction | Dennis, Louise | Bundy, Alan; Green, Ian |
| Jul-1997 | Proof Planning for Automating Hardware Verification | Cantu-Ortiz, Francisco Javier | Bundy, Alan; Smaill, Alan; Basin, David |
| Jun-2006 | A Proof Planning Framework For Isabelle | Dixon, Lucas | Fleuriot, Jacques |
| 1994 | Proof Plans for the Correction of False Conjectures | Bundy, Alan; Monroy, Raul; Ireland, Andrew | - |
| Jul-1994 | The Proof Theory and Semantics of Intuitionistic Modal Logic | Simpson, Alex K | Plotkin, Gordon |
| Sep-1999 | Proofs About Lists Using Ellipsis | Bundy, Alan; Richardson, Julian | - |
| 27-Jun-2012 | Proper embodiment: the role of the body in affect and cognition | Stapleton, Margarita Louisa | Clark, Andrew; Kiverstein, Julian |
| 26-Jun-2012 | Property law in Jersey | MacLeod, Rebecca Frances | Reid, Kenneth; Barr, Alan; Gretton, George |
| 2009 | Property rights, negotiating power and foreign investment: An international and comparative law study on Africa | Cotula, Lorenzo | Tierney, Stephen |
| 26-Nov-2010 | Prophet, Priest and King in Colonial Africa: Anglican and Colonial Political Responses to African Independent Churches in Nigeria and Kenya, 1918-1960 | Higgins, Thomas Winfield | Thompson, T. Jack; Adogame, Afe |
| 1999 | The Proportion Underwritten and the Reaction to SEOs: UK Tests of the Eckbo-Masulis Theory | Armitage, Seth | - |
| 1995 | Prosodic modules for speech recognition and understanding in VERBMOBIL. | Hess, Wolfgang; Batliner, A; Kießling, A; Kompe, R; Nöth, E; Petzold, A; Reyelt, M; Strom, Volker | - |
| Apr-1994 | Prosodic phrase segmentation by pitch pattern clustering | Shimodaira, Hiroshi; Nakai, Mitsuru | - |
| 1997 | Prosodic transcription of glasgow english: an evaluation study of GlaToBI | Mayo, Catherine; Aylett, Matthew; Ladd, Robert | - |
| 3-Jul-2009 | Prospective Memory Development Through Childhood into Adolescence | Bialek, Anna Katarzyna | Logie, Robert |
| 2011 | Prospective Memory Functioning After Stroke: A Research Portfolio | Barr, Arlene Cameron | Laidlaw, Ken |
| 2004 | Protecting Privacy | MacQueen, Hector L | - |
| 2004 | Protecting privacy: Campbell v MGN Newspapers | MacQueen, Hector L | - |
Showing results 4295 to 4314 of 5968
|
