This page shows all publications that appeared in the IASI annual research reports.
Authors currently affiliated with the Institute are always listed with the full name.
You can browse through them using either the links of the following line or those associated with
author names.
Show all publications of the year
2013, with author ALL, in the category IASI Research Reports
(or show them all): (Items found: 15)
2013 [top]
- Giulia Fiscon, Paola Paci, Colombo T, Iannello G: Structural Analysis of Long Non-coding RNAs, IASI-CNR, R. 13-21, 12/2013
- Weitschek E., Arisi I., Giovanni Felici, Paola Bertolazzi: Knowledge extraction in clinical data, IASI-CNR, R. 13-20, 12/2013
- Weitschek E., Cunial F, Giovanni Felici: Discovering genome-wide k-mer compositional rules using logic formulas, IASI-CNR, R. 13-19, 12/2013
- Weitschek E., Giovanni Felici, Paola Bertolazzi: Microarray Logic Analyzer Software, IASI-CNR, R. 13-18, 12/2013
- Weitschek E., Daniele Santoni, De Cola M C, Giovanni Felici: About similarity of DNA reads, IASI-CNR, R. 13-17, 12/2013
- Weitschek E., Giulia Fiscon, Giovanni Felici: Supervised Learning Meets DNA Barcoding Species Classification, IASI-CNR, R. 13-16, 12/2013
- Weitschek E., Polychronopoulos D, Almirantis Y, Giovanni Felici: Conserved non coding elements classification, IASI-CNR, R. 13-15, 12/2013
- Pirillo G., Justin J.: Repetitivity of semigroups and a result of Cassaigne, Currie, Schaeffer and Shallit, IASI-CNR, R. 13-13, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, R. 13-12, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification via Iterated Specialization, IASI-CNR, R. 13-11, 2013
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation, IASI-CNR, R. 13-10, 2013
- Gandolfi A., Pugliese A., Carmela Sinisgalli: Epidemic dynamics and host immune response: a nested approach, IASI-CNR, R. 13-08, 2013
- Paola Bertolazzi, Bock M.E., Guerra C., Paola Paci, Daniele Santoni: On the integration of protein-protein interaction networks with gene expression and 3d structural data: what can be gained?, IASI-CNR, R. 13-07, 2013
- Paola Bertolazzi, Guerra C., Giampaolo Liuzzi: Predicting protein-ligand and protein-peptide interfaces, IASI-CNR, R. 13-02, 3/2013
- Fasano G., Giampaolo Liuzzi, Lucidi S., Rinaldi F.: A Linesearch-based Derivative-free Approach for Nonsmooth Optimization, IASI-CNR, R. 13-01, 1/2013
|
