• Analysis Software for Model Checking Edinburgh Buses 

    Reijsbergen, Daniel; Gao, Wulinjian
    This software is supplementary material for the paper 'An automated methodology for analysing urban transportation systems using model checking' by Daniël Reijsbergen and Stephen Gilmore. It was used to construct the figures ...
  • AndrewWanhMayik_songEnergeticDance 

    Gwado Ayoker, Otto; Remijsen, Bert (University of Edinburgh. School of Philosophy, Psychology and Language Sciences. Linguistics and English Language, 2014-10-29)
    The recording at the center of this item is a Shilluk song. The Dhøgalal young men wanted to win dancing mates. But the girls whom they wanted were already dancing with another group. And those other young men were boasting ...
  • AndrewWanhMayik_songFuneralSongForJagoAyoker 

    Gwado Ayoker, Otto; Remijsen, Bert
    The recording at the center of this item is a Shilluk song. The composer of this funeral song of Chief Ayoker is unknown. But people think that it was composed by a relative. The composer was thinking that his relative, ...
  • AndrewWanhMayik_songGirlsAreTaken 

    Gwado Ayoker, Otto; Remijsen, Bert
    The recording at the center of this item is a Shilluk song. Young men would seek new dancing mates if the girls with whom they dance were taken by another group. They can also seek to win girls from another village if they ...
  • AndrewWanhMayik_songTheSongOfDibalo 

    Gwado Ayoker, Otto; Remijsen, Bert
    The recording at the center of this item is a Shilluk song. The Mahdists entered Khartoum on 28 January 1885. And the Mahdi declared an Islamic State with its capital in Omdurman. Mahdi died in June the same year and ...
  • AndrewWanhMayik_songYouWouldHaveBeenMarried 

    Gwado Ayoker, Otto; Remijsen, Bert (University of Edinburgh. School of Philosophy, Psychology and Language Sciences. Linguistics and English Language, 2014-10-29)
    The recording at the center of this item is a Shilluk song. Young men would seek new dancing mates if the girls with whom they dance were taken by another group. They can also seek to win girls from another village if they ...
  • AnguyAdyengLwal_songAmagag 

    Gwado Ayoker, Otto; Remijsen, Bert (University of Edinburgh. School of Philosophy, Psychology and Language Sciences. Linguistics and English Language, 2014-05-19)
    The recording at the center of this item is a song. Amagag comes after keb dance. Keb is a dance in which people dance in very big circles. There is no drum but the person who leads the song must have a strong voice, ...
  • AnguyAdyengLwal_songInstallationOfKwongo 

    Gwado Ayoker, Otto; Remijsen, Bert (University of Edinburgh. School of Philosophy, Psychology and Language Sciences. Linguistics and English Language, 2014-05-19)
    The recording at the center of this item is a song. Kwongo Daak was elected as Shilluk King in 1992. Before the installation, he rebuilt the former kings’ shrines as required by the Shilluk norms. Then he went to Pachodo ...
  • AnguyAdyengLwal_songPadhyangCultivated 

    Gwado Ayoker, Otto; Remijsen, Bert (University of Edinburgh. School of Philosophy, Psychology and Language Sciences. Linguistics and English Language, 2014-05-19)
    The recording at the center of this item is a song. There was famine in some areas in the northern Shilluk “Gär” in the year 1985. And many people left their villages and went to the north looking for food. Some villages ...
  • An annotated list of Italian Renaissance humanists, their writings about Jews, and involvement in Hebrew studies, ca. 1440-ca.1540 

    Bowd, Stephen
    This list, arranged in chronological order by author’s date of birth, where known, is a preliminary guide to Italian humanists’ Latin and vernacular prose and poetic accounts of Jews and Judaic culture and history from ...
  • Annotated Reference Corpus of Scottish Gaelic (ARCOSG) 

    Lamb, William; Arbuthnot, Sharon; Naismith, Susanna; Danso, Samuel
    A representative, tagged corpus of Scottish Gaelic, divided into 8 registers (4 spoken, 4 written) of approximately 10k words each. The corpus is presented as individual txt files. The corpus was hand-tagged by Lamb, ...
  • Anyang Malual 

    Remijsen, Bert; Impey, Angela; Ajuet Deng, Elizabeth Achol; Deng Yak, Simon Yak; Ayuel Ring, Peter Malek; Penn de Ngong, John; Reid, Tatiana; Ladd, D. Robert; Meyerhoff, Miriam (University of Edinburgh. School of Philosophy, Psychology and Language Sciences, 2012-09-24)
    The songs in this collection were recorded and annotated as part of the project ‘Metre and Melody in Dinka Speech and Song’, a project carried out by researchers from the University of Edinburgh and the School of Oriental ...
  • ARC-Lake v1.1 - Ancillary 

    MacCallum, Stuart N; Merchant, Christopher J (University of Edinburgh. School of GeoSciences / European Space Agency, 2011-12-08)
    ARC-Lake v1.1 - Ancillary contains ancillary data products. This consists of the full resolution land/water mask used to determined where observations of Lake Surface Water Temperature (LSWT) and Lake Ice Cover (LIC) are ...
  • ARC-Lake v1.1 - Global 

    MacCallum, Stuart N; Merchant, Christopher J (University of Edinburgh. School of GeoSciences / European Space Agency, 2011-12-08)
    ARC-Lake v1.1 - Global contains data products with global coverage, i.e. data for all (available) lakes are included in each product. These data products contain observations of Lake Surface Water Temperature (LSWT) and ...
  • ARC-Lake v1.1 - Per-Lake 

    MacCallum, Stuart N; Merchant, Christopher J (University of Edinburgh. School of GeoSciences / European Space Agency, 2011-12-08)
    ARC-Lake v1.1 - Per-Lake contains data products on a lake-by-lake basis. These data products contain observations of Lake Surface Water Temperature (LSWT) and Lake Ice Cover (LIC) from the series of (Advanced) Along-Track ...
  • ARC-Lake v2.0 - Global 

    MacCallum, Stuart N; Merchant, Christopher J (University of Edinburgh. School of GeoSciences / European Space Agency, 2013-10-25)
    ARC-Lake v2.0 - Global contains data products with global coverage, i.e. data for all (available) lakes are included in each product. These data products contain observations of Lake Surface Water Temperature (LSWT) and ...
  • ARC-Lake v2.0 - Per-Lake 

    MacCallum, Stuart N; Merchant, Christopher J (University of Edinburgh. School of GeoSciences / European Space Agency, 2013-10-25)
    ARC-Lake v2.0 - Per-Lake contains data products on a lake-by-lake basis. These data products contain observations of Lake Surface Water Temperature (LSWT) and Lake Ice Cover (LIC) from the series of (Advanced) Along-Track ...
  • Archaeological Site Dataset for the Jazira Region of Syria 

    Mathys, Tony
    This archaeological dataset complements 13 other datasets as part of a study that compared ancient settlement patterns with modern environmental conditions in the Jazira region of Syria. This study examined settlement ...
  • ARCHER Annual Report 2014 

    Simpson, Alan; Beech-Brandt, Jo; Booth, Stephen; Turner, Andy; Beech-Brandt, Jason; Jordan, Steve; Brown, Mike; Henty, David; Smith, Lorna
    ARCHER National Supercomputing Service Annual Report for 2014 and associated dataset
  • ARCHER Annual Survey Report 2014 

    Turner, Andrew
    Report and data from ARCHER (UK National HPC Service) annual user survey