Browsing by Title

Runor af Karl August Nicander. Med teckningar af Hugo Hamilton. Stockholm, tryckte hos Johan Hörberg, 1825.

Nicander, Karl August, (1825 :)

Runtime Verification meets Controller Synthesis

Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo (2022)

Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the desired controllers need to ...

Runtime Verification of Kotlin Coroutines

Furian, Denis; Azzopardi, Shaun; Falcone, Yliès (2022)

Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming ...

Ruptures of Poetic Language - Applying Kristevan theory to Jean Rhys's "Voyage in the Dark"

Lindberg, Annica (2012-04-27)

This essay will be concerned with the fiction of Jean Rhys, focusing, in particular, on her novel Voyage in the Dark, first published in 1934. Rhys's work has in the past sometimes been disregarded as sentimental and ...

Rural change and spatial reorganization in Sri Lanka : barriers against development of traditional Sinhalese local communities

Öhrling, Staffan, 1944- (1977)

Rural Development through Social Capital? An inquest into the linkages between social capital and development in war-torn villages in Sri Lanka

Herath, Dhammika (2008)

Rural encounters with the city. A study of the gendered livelihood strategies of migrant youth in Addis Ababa, Ethiopia

Dessie, Elizabeth (2021-11-17)

More than half of the world’s population growth will be accounted for by cities in the coming decades, with sub-Saharan Africa at the centre of this change. While studies have pointed to the disproportionate effects ...

Rural energy and afforestation: case studies from Ethiopia

Mekonnen, Alemu (1998)

The rural ocherk in Russian literature after the second world war

Elveson, Hans, 1946-1978 (1975)

Rural-urban migration in southwestern rural Uganda - The perceptions and strategies of the left-behind

Andersson, Martina; Johansson, Ida (2013-10-25)

Around the globe a phenomenon called rural-urban migration occurs which means that people move from rural to urban areas. The world today gets more and more urbanized and 2007 was the year when more than half of the world’s ...

Rural/urban redux: Conceptual problems and material effects

Dymitrow, Mirek (2017-11-20)

Concepts are the basic building blocks of all knowledge, while the strength of the theories that guide any societal project is dependent on the quality those concepts. Contrarily, the utilization of questionable concepts ...

RUSSIA VERSUS “HITLER-GERMANY” AND “GAY-WEST”. Cultural History and Political Technology in Defence of a Besieged Fortress

Taavila, Tuomas (2019-09-04)

Against the background of deteriorated relations between Russia and the West, this study conducts a Critical Discourse Analysis on the Russian nation-building project, facilitated by official rhetoric and state-controlled ...