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

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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -