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
2009, with author ALL, in the category IASI Research Reports
(or show them all): (Items found: 23)
2009 [top]
- Samson A., Matone A., Simona Panunzi, De Gaetano A.: Oral Glucose Tolerance Test Modelling: Physiological Pluasibility and Robust Parameter Estimation, IASI-CNR, R. 09-23, 2009
- Giampaolo Liuzzi, Risi A.: A decomposition algorithm for unconstrained optimization problems with partial derivative information, IASI-CNR, R. 09-22, 2009
- Spinelli V., Giovanni Felici, Simeone B.: Classification techniques and error control in logic mining, IASI-CNR, R. 09-21, 2009
- Paola Bertolazzi, Giovanni Felici, Weitschek E.: Species classification with logic formulas and barcode, IASI-CNR, R. 09-20, 2009
- Giovanni Felici, Spinelli V.: Genetic procedure for over-training control in logic mining, IASI-CNR, R. 09-19, 2009
- Paola Bertolazzi, Giovanni Felici, Festa P.: Integer feature selection models and their solution, IASI-CNR, R. 09-18, 2009
- Bertuzzi A., Bruni C., Fasano A., Gandolfi A., Federico Papa, Carmela Sinisgalli: Response of tumour spheroids to radiation: modelling and parameter estimation, IASI-CNR, R. 09-16, 2009
- d'Onofrio A., Gandolfi A.: Chemotherapy of vascularised tumours: role of vessel density and the effect of vascular "pruning", IASI-CNR, R. 09-15, 2009
- Gandolfi A., Iannelli M., Marinoschi G.: An age-structured model of epidermis growth, IASI-CNR, R. 09-14, 2009
- Germani A., Manes C., Pasquale Palumbo: State estimation of stochastic systems with switching measurements: a polynomial approach, IASI-CNR, R. 09-13, 2009
- Francesco Carravetta, Giovanni Felici, Pasquale Palumbo: Frequency-based model validation and parameter identification of a sea-surface vehicle, IASI-CNR, R. 09-12, 2009
- Francesco Carravetta, Giovanni Felici, Pasquale Palumbo: Regulation of a manned sea-surface vehicle via stochastic optimal control, IASI-CNR, R. 09-11, 2009
- Anna Galluccio, Claudio Gentile, Paolo Ventura: 2-clique-bond of stable set polyhedra, IASI-CNR, R. 09-10, 2009
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-09, 2009
- Frangioni A., Claudio Gentile, Grande E., Pacifici A.: Projected Perspective Reformulations with applications in design problems, IASI-CNR, R. 09-09, 2009
- Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs II: XX-graphs are G-perfect, IASI-CNR, R. 09-08, 2009
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-07, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, IASI-CNR, R. 09-06, 2009
- Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs I: XX-strip composition versus gear composition, IASI-CNR, R. 09-05, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, IASI-CNR, R. 09-04, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformational Verification of Linear Temporal Logic, IASI-CNR, R. 09-03, 2009
- Anna Formica: Similarity Reasoning for Fuzzy Concept Lattices, IASI-CNR, R. 09-02, 2009
- Anna Formica: Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web, IASI-CNR, R. 09-01, 2009
|
