742 citations
- University of UdineIT5 papers
- Baylor College of MedicineUS1 paper
- BC Cancer AgencyCA1 paper
- BGI Group (China)CN1 paper
- Broad InstituteUS1 paper
- Centre Inria de l'Université de RennesFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Cold Spring Harbor LaboratoryUS1 paper
- Duke Medical CenterUS1 paper
- Duke UniversityUS1 paper
- École Normale Supérieure Paris-SaclayFR1 paper
- European Bioinformatics InstituteGB1 paper
5 papers
Adding the Power-Set to Description Logics
Laura Giordano, Alberto Policriti
We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, con…
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Simone Silvetti, Alberto Policriti, Luca Bortolussi
Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it as a falsification p…
Computing LZ77 in Run-Compressed Space
Nicola Prezza, Alberto Policriti
In this paper, we show that the LZ77 factorization of a text T {\inΣ^n} can be computed in O(R log n) bits of working space and O(n log R) time, R being the number of runs in the B…
Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species
Keith R. Bradnam, Joseph N. Fass, Anton Alexandrov +88
Background - The process of generating raw genome sequence data continues to become cheaper, faster, and more accurate. However, assembly of such data into high-quality, finished g…
Final Results from and Exploitation Plans for MammoGrid
Chiara Del Frate, Jose Galvez, Tamas Hauer +6
The MammoGrid project has delivered the first deployed instance of a healthgrid for clinical mammography that spans national boundaries. During the last year, the final MammoGrid p…