Home

Data structures

Formal sciences
Theoretical computer science
Algorithms and data structures
Data structures

Related publications (28)

About
Privacy
Disclaimer

Graph Chatbot

Genomic and metabolic adaptations of biofilms to ecological windows of opportunity in glacier-fed streams

Tom Ian Battin, Hannes Markus Peter, Susheel Bhanu Busi, Grégoire Marie Octave Edouard Michoud, Leïla Ezzat, Massimo Bourquin, Matteo Tolosano, Tyler Joe Kohler, Stylianos Fodelianakis, Paraskevi Pramateftaki

In glacier-fed streams, ecological windows of opportunity allow complex microbial biofilms to develop and transiently form the basis of the food web, thereby controlling key ecosystem processes. Using metagenome-assembled genomes, we unravel strategies tha ...

Springer2022

Synthesis of moving and beating moiré shapes

Jürgen Brugger, Roger Hersch, Thomas Walger

The present invention proposes a method for producing an authenticable moiré shape that simultaneously moves and shows a beating effect. The method relies on a combination of the 1D or the 2D moiré and the level line moiré. When tilting a compound showing ...

2022

Request, Coalesce, Serve, and Forget: Miss-Optimized Memory Systems for Bandwidth-Bound Cache-Unfriendly Applications on FPGAs

Paolo Ienne, Mikhail Asiatici

Applications such as large-scale sparse linear algebra and graph analytics are challenging to accelerate on FPGAs due to the short irregular memory accesses, resulting in low cache hit rates. Nonblocking caches reduce the bandwidth required by misses by re ...

ASSOC COMPUTING MACHINERY2022

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Key factors determining the presence of Tree-related Microhabitats: A synthesis of potential factors at site, stand and tree scales, with perspectives for further research

Rita Bütler Sauvain

Tree-related microhabitats (TreMs) have been identified as key features for forest-dwelling taxa and are often employed as measures for biodiversity conservation in integrative forest management. However, managing forests to ensure an uninterrupted resourc ...

2022

Tree root distribution modelling in different environmental conditions

David Andrew Barry, Paolo Perona, Massimiliano Schwarz

The ability to predict the spatial distribution of tree root system variables (e.g., the Root system Area (RA), the maximum root diameter, the number of roots in diameter classes, the density of fine roots, etc.) under different environmental conditions is ...

2022

Mapping forest in the Swiss Alps treeline ecotone with explainable deep learning

Devis Tuia, Benjamin Alexander Kellenberger, Thiên-Anh Claris Nguyen

Forest maps are essential to understand forest dynamics. Due to the increasing availability of remote sensing data and machine learning models like convolutional neural networks, forest maps can these days be created on large scales with high accuracy. Com ...

Elsevier2022

Sketches, metrics and fast algorithms

Navid Nouri

As it has become easier and cheaper to collect big datasets in the last few decades, designing efficient and low-cost algorithms for these datasets has attracted unprecedented attention. However, in most applications, even storing datasets as acquired has ...

EPFL2022

Metric dimension of critical Galton–Watson trees and linear preferential attachment trees

Gergely Odor

The metric dimension of a graph G is the minimal size of a subset R of vertices of G that, upon reporting their graph distance from a distinguished (source) vertex v⋆, enable unique identification of the source vertex v⋆ among all possible vertices of G. I ...

2021

Sequential metric dimension for random graphs

Patrick Thiran, Gergely Odor

In the localization game on a graph, the goal is to find a fixed but unknown target node v* with the least number of distance queries possible. In the j-th step of the game, the player queries a single node v_j and receives, as an answer to their query, th ...

2021

Page 2 of 3

Synthesis of moving and beating moiré shapes

Jürgen Brugger, Roger Hersch, Thomas Walger

2022

Request, Coalesce, Serve, and Forget: Miss-Optimized Memory Systems for Bandwidth-Bound Cache-Unfriendly Applications on FPGAs

Paolo Ienne, Mikhail Asiatici

ASSOC COMPUTING MACHINERY2022

Key factors determining the presence of Tree-related Microhabitats: A synthesis of potential factors at site, stand and tree scales, with perspectives for further research

Rita Bütler Sauvain

2022