Suche
Ergebnisse
-
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool
(2024)Using a recent live verification tool, we implement a crit-bit tree in C syntax and verify the implementation against the Bedrock2 C-like semantics. This is the first formally verified implementation of crit-bit trees, the first implementation of an efficient key-value store in Bedrock2, and one of only a limited number of formally verified low-level, imperative implementations of a map data structure in general. Our work is the first ...Student Paper -
Multi-Karma Economies
(2024)Limited public resources include fast lanes on highways, parking spots at high-interest locations near a city center, and access to EV charging stations during peak hours. Elokda et al. proposed karma economies as a non-monetary approach to an effective allocation of such resources and demonstrated an improvement of discomfort cost for all participants with respect to classic solutions. However, so far only single-resource economies have ...Student Paper -
The Establishment of an Absorbent Hygiene Product Waste Collection System in Two Informal Settlements in South Africa
(2024)Absorbent hygiene products (AHPs), including nappies, sanitary pads, and tampons, have become essential personal hygiene products. In South Africa, most AHP waste is landfilled, however in informal settlements, where waste collection is insufficient, they are frequently dumped within the open environment. The purpose of this study is assess the feasibility of an AHP waste collection system within two informal settlements, Johanna Road and ...Student Paper -
Overflowing and underfuelled - The state of municipal solid waste management in Blantyre, Malawi
(2024)This brief presents the findings from a field study carried out in Blantyre, Malawi between September and November 2023. The research focused on the operation of the Blantyre City Council’s (BCC) waste collection service, the generation of waste at community collection points (skips), and how collection service could be improved. The tracking of collection vehicles and monitoring of skips reveal a mismatch between the number of trucks ...Other Publication -
The African Projects of Pier Luigi Nervi's engineering office
(2024)Architectural HistoriesMicaela Antonucci and Gabriele Neri's book offers the first overview of the projects that Pier Luigi Nervi's Italian engineering office designed for and built in postcolonial African countries between 1964 and 1980. Through a detailed description of major works, the text shows how the "Nervi system" gradually became a stylistic language that no longer addressed the relationship between architectural and structural forms, a relationship ...Book Review -
Guidelines for Low-Cost Incineration Systems
(2024)In low-income countries, effective waste management remains a critical challenge, with incineration emerging as a practical solution to reduce waste volumes and mitigate environ mental health risks. This report examines the feasibility and performance of three incineration technologies- De Montfort incinerators, barrel incinerators, and open pits- in the context of low-income settings. The study evaluates each technology based on parameters ...Student Paper -
DGAT inhibition at the post-absorptive phase reduces plasma FA by increasing FA oxidation
(2023)EMBO Molecular MedicineIn this Correspondence, A. Sharma & C. Wolfrum report that DGAT1/2 pharmacological inhibition at post-absorptive phase in mice leads to increased fatty acid oxidation and reduced plasma fatty acid levels, which could open new therapeutic avenues to avoid GI complications observed in clinical trials. imageOther Publication -
Supplement of "The need for open, transdisciplinary, and ethical science in seismology"
(2023)Other Publication -
Bittersweet Fruits of “Miracle Growth”: Identifying Poverty and Labour Dynamics in Coffee Heartlands
(2023)CDE Policy BriefsWhen it comes to fighting poverty, the prescription of most economists is growth. This means growth of agriculture in many low-income countries where production of food and various commodity crops remains the biggest employer. There are risks, however – especially for local populations marginalized by rising commercial activity or incorporated into it on adverse terms. Based on evidence from the coffee heartlands of Rwanda and Laos, this ...Other Publication -
How much does it burn? Profiling the energy model of a Tofino switch
(2023)The ICT sector, in which the Internet plays a significant role, is growing rapidly, and along with it, the amount of power required to maintain its infrastructure. This includes powering various devices such as routers and switches, but currently, we lack sufficient knowledge about their power profile. This thesis brings a piece to the puzzle by power profiling the WEDGE100BF32Q, a commercial, programmable switch intended for data centers. ...Student Paper