Pubblicazioni di Bruni Renato

2009

S. Ferilli, D. Malerba, G. Armano, M. Botta, Bruni Renato, A. Dal Palù, A. Dovier, P. Frasconi, F. Masulli, G. Mauri, L. Palopoli, A. Passerini, A. Policriti

Bio-Logical, Logic-based Approaches in Bioinformatics, Workshop of AI*IA 2009. 2009: -

Bruni Renato

Using the Power of Formal Languages and SAT Solvers for effective Polymer Sequence Analysis. Proceedings of the AW International Conference 2009: -

2008

Bruni Renato

A Combinatorial Optimization Approach for Determining Composition and Sequence of Polymers. ALGORITHMIC OPERATIONS RESEARCH 2008: 97-109

G. Bianchi, F. Bianchi, Bruni Renato, N. Esposito, F. Lorenzini, A. Reale, G. Ruocco

A methodological approach for determining eligible units in the 2010 Italian Agricultural Census. Proceedings of SIS 2008 2008: -

G. Bianchi, F. Bianchi, Bruni Renato, N. Esposito, F. Lorenzini, A. Reale, G. Rocco

Criteri e metodi per la determinazione ex-ante del campo di osservazione del Censimento dell’Agricoltura 2010. IX Conferenza Nazionale di Statistica 2008: -

Bruni Renato, F. Bianchi, G. Bianchi, A. Reale

Cutting Planes for Surveying Italian Agriculture and Industry. Proceedings of the annual conference AIRO 2008: -

Bruni Renato

Logic-Based Approach to Polymer Sequence Analysis. Proceedings of EURO conference on Computational Biology, Bioinformatics and Medicine 2008: -

Bruni Renato, Andrea Santori

New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability. DISCRETE OPTIMIZATION 2008: 569-583

Bruni Renato

Solving peptide sequencing as satisfiability. COMPUTERS & MATHEMATICS WITH APPLICATIONS 2008: 912-923

2007

Bruni Renato

Fast and Accurate Classification using Discretization and Binary Knapsack. Proceedings of the AW International Conference 2007: -

Bruni Renato

Reformulation of the support set selection problem in the logical analysis of data. ANNALS OF OPERATIONS RESEARCH 2007: 79-92

2006

Bruni Renato

Clustering for improving Information Reconstruction. Proceedings of the annual conference AIRO 2006: -

Bruni Renato

De Novo Peptide Sequencing via Tandem Mass Spectometry and Propositional Satisfiability. Proceedings of 1st FIMA International Conference “Models and Methods for Human Genomics” 2006: -

Bruni Renato

On Accurate and Automatic Peptide De Novo Sequencing. 2006: -

2005

Bruni Renato

Error Correction for Massive Data Sets. OPTIMIZATION METHODS & SOFTWARE 2005: 295-314

Bruni Renato

Solving De Novo Peptide Sequencing via Propositional Logic. Proceedings of the annual conference AIRO 2005: -