Publications

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  ALL, with author ALL, in the category Other categories (or show them all):   (Items found: 177)

2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 1998 | 1997 | 1995 | 1992 | 1989
2020  [top]
2019  [top]
2018  [top]
2017  [top]
2016  [top]
2015  [top]
2014  [top]
2013  [top]
  • Giovanni Abramo: Research evaluation: Improvisation or Science?, International Symposium on Bibliometrics: Use and Abuse in the Review of Research Performance, Stockholm, Sweden, 23-25 May 2013, 2013
  • Diamantini C., Michele Missikoff, Potena D., Smith F., Storti E., Francesco Taglino: Knowledge-Based Business Innovation Support, in the Proceedings of the 21st Italian Symposium on Advanced Database Systems (SEBD 2013), 2013
  • Giulia Fiscon, Paola Paci, Colombo T, Iannello G: Development of an algorithm to identify RNA secondary structures., Poster - FEBS Workshop. Translating the epigenomes into function: a next-generation challenge for human disease. October 13-16, Capri, Italy, 2013
  • Kolesnichenko A, Pourranjabar A, Senni V.: Applying Mean-field Approximation to Continuous Time Markov Chains., IMT Advanced Studies Lucca, 13000, 2013
  • Federico Papa, Conte Federica: Minimal value of the maximal dose fraction in the optimization of the radiotherapy scheduling, Dipartimento di Ingegneria Informatica, Automatica e Gestionale ``A. Ruberti'', Sapienza Università di Roma, 13000, 2013
2012  [top]
  • Mauro Mazzei, Marchi M.L.: Geographic information systems for Cultural Heritage: GIS Project for the Census Archaeological mapping of Italy, 2012
2011  [top]
  • Bertuzzi A., Bruni C., Federico Papa, Carmela Sinisgalli: Optimal solution for a cancer radiotherapy problem, presented at CIMAB & GASVA SIMAI Young Researcher Workshop, 2011
  • Francesco Carravetta, Sorge M.M.: On the Solution of Markov Switching Rational Expectation Models, Bonn School of Economics Discussion Papers, 2011
  • Faenza Y, Oriolo G., Stauffer G., Paolo Ventura: Stable Sets in Claw- Free Graphs: A Journey Through Algorithms and Polytopes, In "In Progress in Combinatorial Optimization", R. Majoub ed., Wiley (2011)., 2011
  • Mauro Mazzei, Salvatori A.: Lapis Pallens: Integrated Research on ancient roman quarries of red tuff of Aniene river known as latomie of Salone (Rome), 2011
  • Vetrini L.: Gli strumenti di finanziamento del VII programma quadro e l'esperienza dello IASI-CNR nel large-scale integrating project "COIN", Rapporto interno 11-110, 2011
  • Vetrini L.: L'adozione di soluzioni ICT nelle pubbliche amministrazioni: la prospettiva europea, Rapporto interno 11-111, 2011
2010  [top]
2009  [top]
2008  [top]
2007  [top]
2006  [top]
2005  [top]
  • Avenali A., Batini C., Paola Bertolazzi, Missier P.: Brokering infrastructure for minimum cost data procurement based on quality - quantity models, 2005
  • Bertuzzi A., Fasano A., Gandolfi A.: Modelling the response of tumour cords to anticancer treatments, The 4th China-Italy Conference on Mathematical Models in Life Sciences: Theory and Simulation, May 31-June 2, Beijing, 2005
  • Bielli M., Giovanni Felici, Mecoli M.: Trends in modelling supply chain and logistic networks, In the Proceedings of the International Conference on Advanced OR and AI Methods in Transportation, September, Poznan, Poland, 2005
  • Bielli M., Giovanni Felici, Meschini L.: Simulation modelling of signal traffic control based on logic programming and queues estimation, In the Proceedings of the Italian Transport Society Conference, December, Reggio Calabria, 2005
  • Bielli M., Mecoli M., Villa A.: Autonomy versus efficiency in management of large-scale logistic networks, In the Proceedings of: 16th World IFAC Conference, July, Prague, 2005
  • Brazzale A.R., Salvan A., Roletti S.: Reliability and agreement of ELF Magnetic Field dosimeters: an analysis based on calibration data, ISIB-CNR, 5, 2005
  • Francesco Carravetta, Gabriella Mavelli: Linear Output-Feedback Control of Stochastic Linear Systems with State- and Control-dependent Disturbances', 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Seville, Spain, 12--15 December, 2005
  • D'Antonio F., Michele Missikoff: D8.2 - Enterprise modelling and ontologies for interoperability., Deliverable of the INTEROP project, 2005
  • De Francisci S., Renzetti M., Sindoni G., Tininini L.: La modellazione dei processi nel Sistema Informativo Generalizzato di Diffusione dell'ISTAT, Documenti ISTAT, 15, 2005
  • De Francisci S., Sindoni G., Tininini L.: DaWinci/MD: un sistema per data warehouse statistici su Web, Contributi ISTAT, 14, 2005
  • De Nicola A., Michele Missikoff: D2.1.2 - Modello di visualizzazione delle metafore a base cognitiva, Deliverable of the OntoDev project, 2005
  • Fasano A.: Interstitial pressure and fluid motion in tumour cords: implications for the delivery of macromolecules, European Conference on Mathematical and Theoretical Biology --- ECMTB05, July 18-22, Dresden, 2005
  • Fernandez G., Sterbini A., Temperini M.: Component Based Automated e-learning , Proc. Int. Conference on Web-based Education (WBE05), Feb. 21-23, Grindelwald, Switzerland, 2005
  • La Greca A., Testa A., Biasucci D.G., Ciccoritti L., Nanni L., Gentiloni Silveri N., Magistrelli P., Mauro Pittiruti: L'eco-guida nell'accesso venoso centrale, Abstract of Congresso ``XVIII Congresso Nazionale S.P.I.G.C.'' (Roma, 15-17 giugno 2005). Minerva Chirurgica 3 (suppl. 1) 153--154, 2005
  • Limongelli C., Sterbini A., Temperini M.: Automated course configuration based on automated planning: framework and first experiments , Proc. First International Conference on "Methods and Technologies for Learning" (ICMTL 2005), Mar 9-11, Palermo, Italy, 2005
  • Michele Missikoff, Francesco Taglino: DERI 2005. ''Semantic mismatches hampering data exchange between heterogeneous web services W3C'', Workshop on Frameworks for Semantics in Web Services, June 9-10 Digital Enterprise Research Institute (DERI), Innsbruck, Austria, 2005
  • Michele Missikoff, Francesco Taglino: DA3.1 - SoA on Ontologies and the Ontology Authoring and Management System, with Ontology Modelling Language, Deliverable of the ATHENA project, 2005
  • Michele Missikoff, Francesco Taglino: D1 - Sottosistema di creazione e gestione di ontologie di dominio., Deliverable of the ONTOMAN project, 2005
  • Michele Missikoff, Francesco Taglino: D2.2 - Metodologia di supporto alla costruzione di un'ontologia di dominio, Deliverable of the ONTOMAN project, 2005
  • Pasquale Palumbo, Clausen W.H.O., Simona Panunzi, De Gaetano A.: Analysis of an impulsive model of subcutaneously delivered insulin kinetics, 7th Hellenic European Conference on Computer Mathematics and its Applications (HERCMA2005), Atene, Grecia, 2005
  • Alberto Pettorossi, Maurizio Proietti, Senni V.: Verifying parameterized protocols by transforming stratified logic programs, Electronic Proceedings of the Italian Annual Meeting on Computational Logic (CILC'05), June 21-22, Roma, Italy, 2005
  • Pourabbas E., Shoshani A.: The Composite OLAP-Object Data Model, Lawrence Berkeley National Laboratory-University of California, Berkeley, USA, 59229, 2005
  • Testa A., Biasucci D.G., La Greca A., Pignataro G., Portale G., Barone C., Gentiloni Silveri N., Mauro Pittiruti: L'impatto della variabilità anatomica sull'accesso venoso centrale: ruolo dell'assistenza ecografica, Abstract of Congresso ``XVII Congresso Nazionale S.I.U.M.B.'' (Roma, 11 novembre 2005-13 febbraio 2006). Giornale Italiano di Ecografia 8 (4) 35, 2005
  • Paolo Ventura: The Stable Set Polytope of Quasi-Line Graphs: A Proof of Ben Rebea's Conjecture. Part 2, AIRO 2005, Camerino, 6-9 Settembre, 2005
  • Paolo Ventura: Mod-2 cuts generation yelds the convex hull of bounded integer feasible sets, 9th Combinatorial Optimization Workshop, Aussois, 3-15 Marzo, 2005
2004  [top]
  • De Nicola A., Michele Missikoff: D1.1.2 - Dimostratore di Ontology Management System, Deliverable of the OntoDev project, 2004
  • De Nicola A., Michele Missikoff: D1.1.3 - Ontologia per lo Sviluppo del Territorio (OntoTer), Deliverable of the OntoDev project, 2004
  • Fasano G.: Lanczos-Conjugate Gradient method and pseudoinverse computation, in unconstrained optimization, INSEAN, 36, 2004
  • Fasano G.: Lanczos-Conjugate Gradient method and pseudoinverse computation, on indefinite and singular systems, Manuscript, 2004
  • Michele Missikoff, Schiappelli F., D'Antonio F.: D8.1: State of the art and state of the practice including initial possible research orientations, Public deliverable accepted by the European Commission, produced by INTEROP Network of Excellence - Contract no.: IST-508 011, 2004
  • Gabriele Sganga: Le Infezioni Fungine Sistemiche nel Paziente Chirurgico (presentazione di A.E.Baue e M.Castagneto), CD-ROM Interattivo, Energy S.r.l., Milano, 2004
2003  [top]
  • Angelini P.: Progettazione ed implementazione della componente di remotizzazione per un editor XML di supporto alla didattica: funzionalità di supporto all'authoring, Tesi di Laurea di I Livello in Ingegneria Informatica, Università degli Studi di Roma ``Roma 3'', A.A. 2002/03, 2003
  • Arino O., Bertuzzi A., Gandolfi A., Sanchez E., Carmela Sinisgalli: A new model for the kinetic heterogeneity of tumour cell populations, Workshop on ``Differential Equations in Biology and Medicine'', Bedlewo, Polonia, 2003
  • Badoni A.: Un editor di supporto alla didattica guidato da schemi XML: realizzazione della componente per la messa in sicurezza delle comunicazioni client-server, Tesi di Laurea di I Livello in Ingegneria Informatica, Università degli Studi di Roma ``Roma 3'', A.A. 2002/03, 2003
  • Barile G., Ferri F., Frigo A., Rafanelli M., Righi Riva G.: Il linguaggio di interrogazione pittoriale GeoPQL per ArcVIEW, IV Congresso Nazionale ESRI, 2003
  • Paola Bertolazzi, De Santis L., Scannapieco M.: Automatic Record Matching in Cooperative Information Systems, DIS, Università di Roma ``La Sapienza'', 0, 2003
  • Bertuzzi A., d'Onofrio A., Fasano A., Gandolfi A.: Modelling the regression and regrowth of tumour cords following cell killing, Workshop on ``Cell Proliferation and Cancer Chemotherapy'', Columbus, USA, 2003
  • Bertuzzi A., Fasano A., Gandolfi A.: A mathematical model for tumor cords treated with ``sequestered'' drugs, Workshop on ``Mathematical Challenges in Cancer Models'', Columbus, USA, 2003
  • Bertuzzi A., Fasano A., Gandolfi A.: Dynamics of tumour cords following cytotoxic treatments, MaxiNet Workshop on ``Shape and Size in Tumor Growth'', Torino, 2003
  • Bomze M.I., Palagi L.: Quartic formulation of standard quadratic optimization problems, DIS, Università di Roma ``La Sapienza'', 21, 2003
  • Brozzi A.: Progettazione di un editor guidato da schemi XML per la produzione di materiale di supporto alla didattica e implementazione in Java dell'interfaccia utente, Tesi di Laurea di I Livello in Ingegneria Informatica, Università degli Studi di Roma ``Roma 3'', A.A. 2002/03, 2003
  • Chiricozzi E., Lucidi S., Placidi G., Sotgiu A., Villani M.: Cylindrical and elliptical geometry for the design and optimization of small dedicated magnets for Magnetic Resonance Imaging, 2003
  • Chiumento L.: Sviluppo in Java e sperimentazione di una evoluzione di un protocollo di trasferimento file in multicast, Tesi di Laurea di I Livello in Ingegneria Informatica, Università degli Studi di Roma ``Roma 3'', A.A. 2002/03, 2003
  • Dell'Olmo P., Gentili M.: Scheduling Problems with Machine saturation Property, Mathematical Methods of Operations Research, accepted for pubblication, 2003
  • Körner J., Pilotto C., Simony G.: Local chromatic number and Sperner capacity, Manuscript submitted to Journal of Combinatorial Theory Series B, 2003
  • Lucidi S., Palagi L., Marco Sciandrone: On the convergence of decomposition methods for linearly constrained optimization, Annual Conference of the Operational Research Society of Italy, 2003
  • Mancinelli G.: Un modello di programmazione lineare a variabili intere per la soluzione ottimale degli attributi nel Data Mining, Tesi di Laurea, Facoltà Statistica, Università ``La Sapienza'', 2003
  • Massimi G.: Progettazione ed implementazione della componente di remotizzazione per un editor XML di supporto alla didattica: funzionalità di supporto alla pubblicazione, Tesi di Laurea di I Livello in Ingegneria Informatica, Università degli Studi di Roma ``Roma 3'', A.A. 2002/03, 2003
  • Orfei F.: Progettazione e realizzazione di un generatore automatico di proxy per l'integrazione di Web Services in applicazioni distribuite RMI, Tesi di Laurea di I Livello in Ingegneria Informatica, Università degli Studi di Roma ``Roma 3'', A.A. 2003/04, 2003
  • Alberto Pettorossi, Maurizio Proietti: Transformations of Logic Programs with Goals as Arguments, Computing Research Repository (CoRR), 0, 2003
  • Alberto Pettorossi, Maurizio Proietti: A Theory of Totally Correct Logic Program Transformations, To appear in the Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '04), 2003
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism, Computing Research Repository (CoRR), 0, 2003
  • Ranaldi P.: Un editor di supporto alla didattica guidato da schemi XML: realizzazione delle componenti di gestione della rappresentazione di documenti e di annotazione semantica, Tesi di Laurea di I Livello in Ingegneria Informatica, Università degli Studi di Roma ``Roma 3'', A.A. 2002/03, 2003
2002  [top]
  • Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach, ACM SIGMOD Digital Symposium Collection (DiSC), ACM SIGMOD Digital Symposium Collection (DiSC), 2002
  • Paolo Ventura: Some contributions to primal and dual separation for integer programming, Ph.D. Thesis in Operation Research, University "La Sapienza" of Rome. Advisor: Dr. Giovanni Rinaldi, 2002
1998  [top]
1997  [top]
1995  [top]
1992  [top]
  • Franciosa P.G., Carlo Gaibisso, Talamo M.: Optimal Algorithms for the Maxima Set Problem for Data in Motion, Abstracts dell'8th European Workshop on Computational Geometry, Utrecht 12-13 marzo, 1992
  • Sara Nicoloso, Simeone B.: Classical and Contemporary Methods in Network Optimization - Part I: Network Flows, IASI-CNR, Collana Rapporti Interni RI.79, 1992
1989  [top]
  • Arbib C., Lucertini M., Sara Nicoloso: Problemi di Partizione nel Layout Ottimo di Circuiti Integrati, Università di Roma "La Sapienza", Dip. di Informatica e Sistemistica, 11, 1989
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -