Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 5 of 5 for “"Jinja"”.

  1. Verified collection-based regression test selection via an extended Jinja semantics

    … process is called dynamic class initialization. Jinja is a semantic framework for Java and JVM developed in the theorem prover Isabelle that includes several semantics: Java-level big-step and small-step semantics, JVM-level small-step semantics, and an intermediate compilation step, J1, between …

    uiuc Repository record for Verified collection-based regression test selection via an extended Jinja semantics (opens in a new tab)

  2. The development of Intensity Duration Frequency curves under climate change considerations using Remote Sensed rainfall data in Uganda

    … Centre (NOAA_CPC) product performed best at Jinja (PBIAS = –12.95%), whereas the Global Precipitation Climatology Centre (GPCC) dataset showed better performance at Soroti (–9.66%), Mbarara (–5.93%), and Gulu (–3.05%). To further improve their accuracy, the datasets were bias-corrected using …

    stellenbosch Repository record for The development of Intensity Duration Frequency curves under climate change considerations using Remote Sensed rainfall data in Uganda (opens in a new tab)

  3. The implementation of environmental education in the Ubombo circuit schools

    The main purpose of this study was to investigate the implementation of environmental education in schools in the senior phase across the curriculum in the Ubombo circuit. The study targeted Senior Phase educators in General Education and Training because it is the last band in the senior phase …

    zulu Repository record for The implementation of environmental education in the Ubombo circuit schools (opens in a new tab)

  4. The Role of Communities Affected by HIV/AIDS for the Protection of Children's Rights

    … and 17 years were conducted in five districts in Jinja town. Direct observations were also conducted in five different sub-counties through The AIDS Support Organization (TASO). Content qualitative analysis was used to capture the children’s perceptions. There were 6 themes identified in this …

    ottawa-retro Repository record for The Role of Communities Affected by HIV/AIDS for the Protection of Children's Rights (opens in a new tab)

  5. Poverty in the fisheries : a framework for analysis and intervention for Lake Victoria, Uganda

    … Samia, Basoga and Bakenye while the Districts of Jinja, Bugiri and Busia had the highest proportions of fishers in the poverty category. With respect to the other dimensions of poverty, the study showed that educational achievement was low within the fishing communities. The health status was …

    hull Repository record for Poverty in the fisheries : a framework for analysis and intervention for Lake Victoria, Uganda (opens in a new tab)