1. Multispecies deep learning using citizen science data produces more informative plant community models 

   Brun P.; Karger D.N.; Zurell D.; et al. (2024)

   Nature Communications

   In the age of big data, scientific progress is fundamentally limited by our capacity to extract critical information. Here, we map fine-grained spatiotemporal distributions for thousands of species, using deep neural networks (DNNs) and ubiquitous citizen science data. Based on 6.7 M observations, we jointly model the distributions of 2477 plant species and species aggregates across Switzerland with an ensemble of DNNs built with different ...

   Journal Article

2. Murine iPSC-Loaded Scaffold Grafts Improve Bone Regeneration in Critical-Size Bone Defects 

   Kessler F.; Arnke K.; Eggerschwiler B.; et al. (2024)

   International Journal of Molecular Sciences

   In certain situations, bones do not heal completely after fracturing. One of these situations is a critical-size bone defect where the bone cannot heal spontaneously. In such a case, complex fracture treatment over a long period of time is required, which carries a relevant risk of complications. The common methods used, such as autologous and allogeneic grafts, do not always lead to successful treatment results. Current approaches to ...

   Journal Article

3. 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

4. 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

5. 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

View more