Conference Contributions

 

Lower-level publication types

Recent Submissions 

  1. Human-Notebook Interactions: The CHI of Computational Notebooks 

    Harden J.; Wang A.Y.; Faust R.; et al. (2024)
    Conference on Human Factors in Computing Systems - Proceedings
    The overall goal of this workshop is to bring together researchers from across the CHI community to share their knowledge and build collaborations at the intersection of computational notebook and HCI research, focusing on both the effective design and effective use of interfaces and interactions within computational notebook environments. This includes innovating upon the computational notebook metaphor, designing new tools, interfaces, ...
    Conference Paper

  2. HabiTech: Inhabiting Buildings, Data & Technology 

    Krukar J.; Dalton R.; Hoelscher C.; et al. (2024)
    Conference on Human Factors in Computing Systems - Proceedings
    As larger parts of our lives are determined in the digital realm, it is critical to reflect on how democratic values can be preserved and cultivated by technology. At the city-scale, this is studied in the field of 'digital civics'; however, there seems to be no corresponding focus at the level of buildings/building inhabitants. The majority of our lives are spent indoors and therefore the impact that 'indoor digital civics' may have, ...
    Conference Paper

  3. Formalizing Automated Market Makers in the Lean 4 Theorem Prover 

    Pusceddu D.; Bartoletti M. (2024)
    OpenAccess Series in Informatics
    Automated Market Makers (AMMs) are an integral component of the decentralized finance (DeFi) ecosystem, as they allow users to exchange crypto-assets without the need for trusted authorities or external price oracles. Although these protocols are based on relatively simple mechanisms, e.g. to algorithmically determine the exchange rate between crypto-assets, they give rise to complex economic behaviours. This complexity is witnessed by ...
    Conference Paper

  4. Is a large TBM diameter unfavourable under squeezing conditions 

    Nordas, Alexandros; Leone, Thomas; Anagnostou, Georgios (2024)
    Conference Paper

  5. An improved simplified solution for the characteristic line of tunnels in strain-softening rocks 

    Anthi, Maria; Pferdekämper, Thomas; Anagnostou, Georg (2024)
    Conference Paper

  6. On the interplay between face extrusion and shield loading in squeezing conditions 

    Pferdekämper, Thomas; Anagnostou, Georgios (2024)
    Conference Paper

  7. Inventory estimation for chemical processes from the reaction stoichiometry by decision trees 

    Langhorst, Tim; Tuchschmid, Moritz; Winter, Benedikt Alexander; et al. (2024)
    Other Conference Item

  8. A novel energy selection system to achieve FLASH dose rates even for low-energy beems in cyclotron-based proton therapy facilities 

    Maradia, Vivek; Meer, David; Weber, Damien Charles; et al. (2023)
    International Journal of Particle Therapy
    Other Conference Item

  9. Submerged Flip Bucket Performance and Downstream Scour Profile – A case study – Prado Dam Spillway 

    ; Diaz, Yajayra (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  10. Comparison of Head-Discharge Relationships from an Arced High Head Submerged Labyrinth Weir Prado Dam - a case study 

    Allen, Julie (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  11. To Determine the Opening Width of a Navigable Weir in the Meuse by Means of Flow and Nautical Simulations During a River Flood 

    Kortlever, Wim (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  12. Towards multi-purpose management of small-scale reservoirs in hilly areas of Hungary 

    Schneck, Tamás (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  13. Experimental Study on Local Scour around Bridge Abutments with Sloping Front 

    Solimani Babarsad, Mohsen (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  14. Discharge Characteristics of Piano Key Side Weirs 

    Hussain, Sabir (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  15. Numerical Modeling of Fish-friendly Angled Fine Screens with Porous Media Approach 

    Özbey, Cumhur (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  16. Mitigation Measures to Prevent Cavitation Damage in Concrete Spillways 

    Gessler, Dan (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  17. Development of A Spatial Jump Type Stilling Basin 

    Mazumder, Somendra Kumar (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  18. Experimental study on driftwood accumulation at submerged culverts 

    Poppema, Daan (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  19. Are Hydraulic Structures Designed to Handle Ice? 

    Ettema, Robert (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

  20. Hydraulic analysis of Snowy 2.0 pumped storage facilities using hybrid models: validating performance and anti-vortex measures 

    Amini, Azin (2024)
    Proceedings of the 10th International Symposium on Hydraulic Structures (ISHS) 2024
    Conference Paper

View more