In computational physics, chemistry, and biology, the implementation of new techniques in shared and open-source software lowers barriers to entry and promotes rapid scientific progress. However, effectively training new software users presents several cha ...
The urgent need for sustainable construction practices has brought renewed attention to the reuse of building elements, a practice that significantly reduces waste and conserves resources. Despite its potential, building element reuse faces challenges due ...
Distributed file systems (DFSes) are prone to bugs. Although numerous bug-finding techniques have been applied to DFSes, static analysis does not scalewell with the sheer complexity of DFS codebases while dynamic methods (e.g., regression testing) are limi ...
Efficient Nearest Neighbor (NN) search in high-dimensional spaces is a foundation of many multimedia retrieval systems. A common approach is to rely on Product Quantization, which allows the storage of large vector databases in memory and efficient distanc ...
The geometries of axons, dendrites and their synaptic connections provide important information about their functional properties. These can be collected directly from measurements made on serial electron microscopy images. However, manual and automated se ...
Memory corruption errors in C/C++ programs remain the most common source of security vulnerabilities in today's systems. Over the last 10+ years the security community developed several defenses [4] Data Execution Prevention (DEP) protects against code inj ...
Reproducibility is a key requirement to scientific development. Any scientific process, including software simulations, must be able to be replicated in order to prove the robustness of its process and the validity of its results. If an approach based on t ...
