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
2012, with author ALL, in the category IASI Research Reports
(or show them all): (Items found: 19)
2012 [top]
- De Cola C, Giovanni Felici, Szachniuk M.: The Orderly Colored Longest Path Problem, IASI-CNR, R. 12-29, 2012
- Pirillo G., Michel C.: Some properties of dinucleotide circulaire codes,, IASI-CNR, R. 12-26, 2012
- Lampariello F., Giampaolo Liuzzi: Global optimization of protein-peptide docking by a filling function method, IASI-CNR, R. 12-25, 12/2012
- Gandolfi A., Iannelli M., Marinoschi G.: Time evolution for a model of epidermis growth, IASI-CNR, R. 12-24, 2012
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, IASI-CNR, R. 12-22, 2012
- Smith F., Maurizio Proietti: Rule-Based Behavioral Reasoning on Semantic Business Processes, IASI-CNR, R. 12-21, 2012
- Pirillo G., Michel C.: A permuted set of a trinucleotide circular code coding the $20$ amino acids in variant genetic codes, IASI-CNR, R. 12-20, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Using Answer Set Programming Solvers to Synthesize Concurrent Programs, IASI-CNR, R. 12-19, 2012
- Paola Bertolazzi, Bock M.E., Guerra C.: On the functional and structural characterization of hubs in protein-protein interaction networks, IASI-CNR, R. 12-18, 2012
- Pirillo G., Bussoli L.: A note on self-complementary trinucleotide circular codes,, IASI-CNR, R. 12-17, 2012
- Giampaolo Liuzzi, Rinaldi F.: A first-order method for $ell_0$-penalized problems with simple constraints, IASI-CNR, R. 12-16, 2012
- Lampariello F., Giampaolo Liuzzi: A filling function method for unconstrained global optimization, IASI-CNR, R. 12-15, 10/2012
- Cacace F., Germani A., Pasquale Palumbo: A study on observer-based algorithms to infer information from gene expression data, IASI-CNR, R. 12-13, 2012
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 12-12, 2012
- Li J., Wang M., De Gaetano A., Pasquale Palumbo, Simona Panunzi: SOME RESULTS ON THE GLOBAL STABILITY OF THE EQUILIBRIUM FOR AN IVGTT MODEL, IASI-CNR, R. 12-12, 2012
- Pasquale Palumbo, Pepe P., Simona Panunzi, De Gaetano A.: A study on observer-based glucose control by means of intravenous insulin administration, IASI-CNR, R. 12-11, 2012
- Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Pasquale Palumbo: A study on the structural properties and the solution of the Chemical Master Equation, IASI-CNR, R. 12-10, 10/2012
- Bertuzzi A., Fasano A., Gandolfi A., Carmela Sinisgalli: Modelling the evolution of a tumoural multicellular spheroid as a two-fluid Bingham-like system, IASI-CNR, R. 12-09, 2012
- Cacace F., Germani A., Pasquale Palumbo: The Observer Follower Filter, IASI-CNR, R. 12-06, 2012
|