Developers: Paolo Castagno, Simone Pernice, Matteo Sereno and Marco Beccuti
A modeling framework for the analysis of epidemiological and biological systems, which exploits Petri Net graphical formalism, R environment, and Docker containerization to derive a tool easily accessible by any researcher even without advanced mathematical and computational skills.Developers: Marco Beccuti, Luca Alessandri, Raffaele A. Calogero and Francesca Cordero.
rCASC, Cluster Analysis of Single Cells, is part of the reproducible-bioinformatics.org project and provides single cell analysis functionalities within the reproducible rules described by Sandve et al. [PLoS Comp Biol. 2013]. rCASC is designed to provide a complete workflow (Figure 1) for cell-subpopulation discovery.Developers: Marco Beccuti, Raffaele A. Calogero and Francesca Cordero.
SeqBox was developed to facilitate the use of computing demanding applications in the field of NGS data analysis.Developers: Marco Beccuti, Francesca Cordero and Greta Romano.
The HashClone strategy-based is composed of three steps: the first and second steps implement an alignment-free prediction method that identifies a set of putative clones belonging to the repertoire of the patient under study. In the third step the IGH variable E region, diversity region, and joining region identification is obtained by the alignment of rearrangements with respect to the international ImMunoGenetics information system database. Moreover, a provided graphical user interface for HashClone execution and clonality visualization over time facilitate the tool use and the results interpretation.Developers: Marco Beccuti, Giuliana Franceschinis and Silvia Villa.
It is a parametric simulator that allows to study almost myopic kidney exchange policies considering multiple characteristics of both donors and recipients, different degrees of compatibility (quantifying the quality of the exchange) and different cost factors concurring to the definition of the reward function.Download the simulator source code.
Developers: Marco Beccuti, Giuliana Franceschinis and Serge Haddad.
MDWNsolver is a framework for system modeling and optimization of performability measures based on Markov Decision Petri Net (MDPN) and Markov Decision Well-formed Net (MDWN) formalisms, two Petri Net extensions for high level specification of Markov Decision Processes (MDP). It is integrated in the GreatSPN suite which provides a GUI to design MDPN/MDWN models. From the analysis point of view, MDWNsolver uses efficient algorithms that take advantage of system symmetries, thus reducing the analysis complexity.Developers: Soheib Baarir, Marco Beccuti and Giuliana Franceschinis.
ESRGsolver is a framework which exploits the Extended Symbolic Reachability method to efficiently analysis asymmetric systems described through the Stochastic Well-formed Net formalism. The tool is currently integrated in the GreatSPN suite.Developers: Elvio Amparore, Marco Beccuti, Susanna Donatelli and Erica Turin.
RGMEDD is a symbolic model checker for Petri Net models, which is also able to provide the generation of counter-examples and witnesses. Its implementation is based on the DD library Meddly, developed at Iowa State University. The tool is currently integrated in the GreatSPN suite.Developers: Raffaele A. Calogero, Matteo Carrara, Marco Beccuti and Francesca Cordero.
Chimera is a Bioconductor package that organizes, annotates, analyses and validates fusions reported by different fusion detection tools; current implementation can deal with output from, bellerophontes, chimeraScan, deFuse, fusionCatcher, FusionFinder, FusionHunter, FusionMap, mapSplice, Rsubread, tophat-fusion, and STAR. The core of Chimera is a fusion data structure that can store fusion events detected with any of the above mentioned tools. Fu- sions are then easily manipulated with standard R functions or through the set of functionalities specifically developed in Chimera with the aim of supporting the user in managing fusions and discriminating false positives.Developers: Marco Beccuti, Gianfranco Ciardo, Francesca Cordero and Stefano Leonardi.
HashFilter is C++ tool implementing an innovative read de-convolution algorithm based on hash table. It was used to obtain the physical, genetic and functional sequence assembly of the barley genome in the project Advancing the Barley Genome (CRIS NUMBER: 0218967).Developers: Marco Beccuti and Francesca Cordero.
Hashcheker is C++ tool implementing an innovative read comparison based on hash table. It was used to study the difference among transcriptional profiling of patients with colorectal cancer.More infomation are availble on request (mail:mbeccuti@di.unto.it)