User profiles for Nicola Bombieri
Nicola BombieriUniversity of Verona Verified email at univr.it Cited by 1800 |
Human genetic diversity alters off-target outcomes of therapeutic gene editing
CRISPR gene editing holds great promise to modify DNA sequences in somatic cells to
treat disease. However, standard computational and biochemical methods to predict off-target …
treat disease. However, standard computational and biochemical methods to predict off-target …
Hornet: An efficient data structure for dynamic sparse graphs and matrices on gpus
F Busato, O Green, N Bombieri… - 2018 IEEE High …, 2018 - ieeexplore.ieee.org
Sparse data computations are ubiquitous in science and engineering. Unlike their dense
data counterparts, sparse data computations have less locality and more irregularity in their …
data counterparts, sparse data computations have less locality and more irregularity in their …
An efficient implementation of the Bellman-Ford algorithm for Kepler GPU architectures
F Busato, N Bombieri - IEEE Transactions on Parallel and …, 2015 - ieeexplore.ieee.org
Finding the shortest paths from a single source to all other vertices is a common problem in
graph analysis. The Bellman-Ford's algorithm is the solution that solves such a single-source …
graph analysis. The Bellman-Ford's algorithm is the solution that solves such a single-source …
CRISPRitz: rapid, high-throughput and variant-aware in silico off-target site identification for CRISPR genome editing
Motivation Clustered regularly interspaced short palindromic repeats (CRISPR) technologies
allow for facile genomic modification in a site-specific manner. A key step in this process is …
allow for facile genomic modification in a site-specific manner. A key step in this process is …
[HTML][HTML] Grapes: A software for parallel searching on biological graphs targeting multi-core architectures
Biological applications, from genomics to ecology, deal with graphs that represents the
structure of interactions. Analyzing such data requires searching for subgraphs in collections of …
structure of interactions. Analyzing such data requires searching for subgraphs in collections of …
[PDF][PDF] HIFSuite: Tools for HDL code conversion and manipulation
HIFSuite ia a set of tools and application programming interfaces (APIs) that provide support
for modeling and verification of HW/SW systems. The core of HIFSuite is the HDL …
for modeling and verification of HW/SW systems. The core of HIFSuite is the HDL …
BFS-4K: an efficient implementation of BFS for kepler GPU architectures
F Busato, N Bombieri - IEEE Transactions on Parallel and …, 2014 - ieeexplore.ieee.org
Breadth-first search (BFS) is one of the most common graph traversal algorithms and the
building block for a wide range of graph applications. With the advent of graphics processing …
building block for a wide range of graph applications. With the advent of graphics processing …
A mutation model for the SystemC TLM 2.0 communication interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes:
measuring the quality of test suites, and identifying redundant code in programs. Similar …
measuring the quality of test suites, and identifying redundant code in programs. Similar …
Enabling gait analysis in the telemedicine practice through portable and accurate 3D human pose estimation
Human pose estimation (HPE) through deep learning-based software applications is a
trend topic for markerless motion analysis. Thanks to the accuracy of the state-of-the-art …
trend topic for markerless motion analysis. Thanks to the accuracy of the state-of-the-art …
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi… - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
Transaction-level modeling (TLM) is the most promising technique to deal with the
increasing complexity of modern embedded systems. However, modeling a complex system …
increasing complexity of modern embedded systems. However, modeling a complex system …