Untergeordnete Publikationstypen

Neueste Zugänge 

  1. Waste Characterization & Quantification & Composting - Cape Maclear, Malawi 

    Meier, Raphael (2024)
    This study examines the challenges of waste management, soil quality and food security in Cape Maclear, Malawi. Rising waste volumes, inadequate waste treatment, as well as declining soil quality and rising fertiliser prices are putting pressure on villagers, their agricultural activities and threatening food security. The research questions aim to investigate the sizen and composition of waste streams, the current disposal routes of the ...
    Master Thesis
  2. Microfluidic cell isolation for microbial ecology 

    Pioli, Roberto (2024)
    Doctoral Thesis
  3. Construction of a Glass Crusher and Evaluation of Waste Valorization Pathways for Cape Maclear, Malawi 

    Colbach, Philippe (2024)
    In Cape Maclear, Malawi, a nonprofit organization called Sustainable Cape Maclear has been working on the development and implementation of a solid waste management strategy to address the village’s struggle with waste build-up at informal dumpsites. The desired outcome is an improved quality of life for the community and the preservation of the village’s status quo as one of the country’s major tourist destinations. To support the effort, ...
    Master Thesis
  4. Waste Logistics and Transport Modelling in Cape Maclear, Malawi 

    Stricker, Josch (2024)
    Master Thesis
  5. A General Approach to Formally Verify Viper Front-ends 

    Ling, Hongyi (2024)
    Master Thesis
  6. Discovering and Using Structure in Autonomous Machine Learning 

    Zadaianchuk, Andrii (2024)
    Doctoral Thesis
  7. A better interface for type class diagnostics 

    Gray, Gavin (2024)
    Many modern programming languages use a form of ad-hoc polymorphism as a language abstraction. Type classes, popularized by Haskell, have found space in other programming languages to join the semantics of ad-hoc and parametric polymorphism. Type class resolution is a complex black-box process implemented as a backtracking search across program types. When this search fails, compilers struggle to provide helpful diagnostics and frustrated ...
    Master Thesis
  8. FPGA-based SmartNIC for Distributed Machine Learning 

    Hè, Hongyu (2024)
    Master Thesis
  9. Program Sparsification with DaCe 

    Kleine, Jan (2024)
    The optimization of sparse computations is critical for a broad spectrum of applications, from material sciences to machine learning. These computations, characterized by their irregular data structures, present unique challenges in optimizing performance. This thesis investigates the limitations of existing frameworks like DaCe, which are primarily designed for dense data applications and struggle with the irregularity inherent in sparse ...
    Master Thesis
  10. Development of a Low-Cost Incinerator in Cape Maclear, Malawi 

    Peduzzi, Mosè (2024)
    While waste collection and disposal are well-controlled in economically developed countries, the situation differs in low-income countries like Malawi, where open dumping and open burning of waste are prevalent practices. This thesis, along with others, aims to introduce a waste collection, recycling, and disposal system for the village of Cape Maclear. Specifically, it evaluates the feasibility and effectiveness of constructing ...
    Master Thesis
  11. A Variational Data Assimilation Approach for Stationary Turbulent Flow Simulations 

    Brenner, Oliver (2024)
    Computational fluid dynamics based on the Reynolds-averaged Navier--Stokes (RANS) equations provides a robust framework for analyzing complex flow phenomena at manageable computational costs. Despite their widespread use, RANS models inherently yield only averaged quantities and rely on turbulence models, such as the linear eddy viscosity (LEV) models, which introduce uncertainties into the simulations. Experimental flow analysis, while ...
    Doctoral Thesis
  12. Design and Engineering of a Cable-driven Floating Robot with Actuator Coupling Method 

    Erol, Ecda (2021)
    This thesis deals with designing, engineering, and manufacturing a new cable-driven parallel robot, namely the cable-driven floating robot. The aim is to reduce the energy cost of transport in robotics by proposing a novel drive system. The new drive system is based on coupling the actuators to share torque load between each other in a feasible arrangement. Additionally, the cable-driven floating robot has all components inside the robot, ...
    Master Thesis
  13. Multi Agent Reinforcement Learning for Karma Economies 

    Vaishampayan, Saurabh (2024)
    Recently, new class of dynamic resource allocation mechanisms, called karma mechanisms, have shown great promise in acheiving fair and efficient outcomes. The analysis of karma mechanisms relies on the availability of versatile computational tools to predict the Nash equilibrium of a "karma game". Existing algorithms used to compute Nash equilibria of a karma game are centralized in nature, severely limiting the size and complexity of ...
    Master Thesis
  14. Structural and Functional Studies of Organic Anion Transporting Polypeptides OATP1B1 and OATP1B3 

    Ciută, Anca-Denise (2024)
    The liver plays a crucial role in numerous physiological processes, including blood detoxification and the maintenance of body homeostasis. Hepatocytes have evolved a complex enzymatic molecular machinery specializing in converting hydrophobic molecules into hydrophilic metabolites, which is a critical process for drug pharmacokinetics. Hepatic transporters are essential for the influx and efflux of drugs and their metabolites across cell ...
    Doctoral Thesis
  15. Rayleigh-Taylor turbulence with mean shear and interface tension 

    Brizzolara, Stefano (2024)
    Rayleigh-Taylor (RT) turbulence originates at the interface between two fluid layers in the presence of an unstable density stratification \citep{rayleigh1882investigation,taylor1950instability,fermi1953taylor}. In nature, RT turbulence is usually influenced by additional factors. Firstly, the two fluid layers may move at different velocities in the horizontal direction so that a mean shear compounds the unstable density profile. Secondly, ...
    Doctoral Thesis
  16. Understanding Supported Bimetallic Nanoparticle Catalysts From First Principles Calculations – Why Both Structure and Dynamics Matter 

    Müller, Andreas (2023)
    Copper-based alloy nanoparticles can efficiently hydrogenate both carbon monox- ide (CO) and carbon dioxide (CO2) to methanol, an important feedstock chemical and a potential fuel for the transition towards a sustainable economy. But the structures of these Copper-based alloy nanoparticle catalysts and the role of each individual component in the catalysts is difficult to understand due to a wide variety of possible active structures ...
    Doctoral Thesis

Mehr anzeigen