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  2001, with author ALL, in the category Articles in Collections and Proceedings (or show them all):   (Items found: 72)


2001  [top]
  • Arcieri F., Cappadozzi E., Melideo G., Nardelli E., Naggar P., Talamo M.: A formal model for data coherence maintenance, Lecture Notes in Computer Science, Springer-Verlag, 2001
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: Distributed Territorial Data Management and Exchange for Public Organizations, in the Proceedings of 3rd International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2001), IEEE Computer Society Press San Jose, California, USA, 2001
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: Geographical Information Systems Interoperability through Distributed Territorial Data Exchange, in the Proceedings of 1st International Workshop on Databases, Documents, and Information Fusion (DBFusion'01), 2001
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: SIM: a Working Example of an E-government Service Infrastructure for Mountain Communities, in the Proceedings of Workshop on Electronic Government (DEXA-eGov 2001), IEEE Computer Society Press Munich, Germany, 2001
  • Arcieri F., Giaccio R., Nardelli E., Talamo M.: A Framework for Inter-Organizational Public Administration Network Services, in the Proceedings of International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet (SSGRR 2001), IEEE Computer Society Press L'Aquila, Italy, 2001
  • Arcieri F., Melideo G., Nardelli E., Talamo M.: On the Dynamics of an Infrastructural Approach Supporting Coherence Maintenance for Inter-organizational Collaboration, in the Proceedings of International Symposium on Business Strategy Based Software Engineering, Net Academy Press Gersau, Switzerland, 2001
  • Arcieri F., Melideo G., Nardelli E., Talamo M.: Keeping Coherence Among Web Sources, in the Proceedings of 3rd International Workshop on Web Information and Data Management, 2001
  • Barretta Zungrone D., Laureti Palma A., Lancia M., Neri A.: Integrate Dynamic Service Classes for Real Time Multimedia Communication on Cellular IP Environment, in the Proceedings of Proceedings della Word Scientific and Enginering Academy and Society/IEEE Conference 2001, Malta, 1-6 Settembre, 2001, WSES Press Adavances in Automation, Multimedia and Video Systems, and Modern Computer Science, 2001
  • Basili R., Michele Missikoff, Velardi P.: Extracting Concepts and Relations from Texts to Build a Domain Ontology, in the Proceedings of ACL-2001 workshop on Human Language Technology, 2001
  • Becchetti L., Draoli M., Carlo Gaibisso, Lombardi F.: A Java Implementation of a Reliable Multicast File Transfer Protocol: Design and Evaluation, in the Proceedings of IASTED International Conference: Internet and Multimedia Systems and Applications, August 13-16, 2001, Honolulu, Hawaii, USA., 2001
  • Paola Bertolazzi, Krusich C., Michele Missikoff: An Approach to the Definition of a Core Enterprise Ontology: CEO, in the Proceedings of OES-SEO'01 International Workshop, 2001
  • Paola Bertolazzi, Scannapieco M.: Introducing Data Quality in a Cooperative Context, in the Proceedings of Sixth International Conference on Information Quality, Mit Press Boston, MA, USA, 431-444, 2001
  • Alessandro Bertuzzi: Mathematical models in body composition studies, in the Proceedings of Congress of the European Chapter of the American College of Nutrition, 2001
  • Alessandro Bertuzzi, Fasano A., Gandolfi A.: A mathematical model of tumour cords with spatially distributed cell death, in the Proceedings of Metodi e Modelli Matematici nello Studio dei Fenomeni Biologici, 2001
  • Alessandro Bertuzzi, Gandolfi A.: Analysis of data from cell populations in asynchronous growth, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Alessandro Bertuzzi, Gandolfi A.: Basic flow cytometry and DNA distributions, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Alessandro Bertuzzi, Gandolfi A.: Cell kinetics in stationary tumour cords, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Alessandro Bertuzzi, Gandolfi A., Carmela Sinisgalli, Starace G., Ubezio P.: Cell kinetic heterogeneity by sequential DNA-BrdUrd analysis in vivo, in the Proceedings of XVIII Conferenza Nazionale di Citometria, 2001
  • Bielli M., Carotenuto P.: Genetic algorithms and transportation analysis: review and perspectives for bus network optimization, in: New analytical advances in transportation and spatial dynamics, Gastaldi , Reggiani eds., Ashgate Publ., 2001
  • Bielli M., Villa A.: A new design methodology for large-scale logistic integrated networks, in the Proceedings of TRISTAN IV Conference, 3, 507-512, 2001
  • Colagrossi A., De Nardis P., Scaringella A.: Gli aspetti artistici e sociali dell'acqua nel sistema Euro-Mediterraneo SEMIDE/EMWIS, in the Proceedings of 7$^o$ Congresso Associazione italiana per l'intelligenza artificiale, 2001
  • d'Onofrio A., Elaheh Pourabbas: Formalization of Temporal Thematic Map Contents, in the Proceedings of 9th ACM International Symposium on Advances in Geographical Information Systems (ACM GIS'01), 2001
  • De Angelis V., Giovanni Felici, Impelluso P.: Simulation Based Decision Support System for the Optimal Planning of a Transfusion Centre, in the Proceedings of Proceedings of Operational Research Applied to Health Services (ORAHS) 2001 Conference, 2001
  • De Santis A., Alfredo Germani, Jetto L.: Space-Variant Two-Dimensional Filtering of Noisy Images, in: Advances in Imaging and Electron Physics, 119, Academic Press, 2001
  • Caterina De Simone: On the Chromatic Polynomial of a Graph, in the Proceedings of MAX-CLIQUE'0-1 WORKSHOP, 2001
  • Di Pasquale A., Nardelli E.: A Very Efficient Order Preserving Scalable Distributed Data Structure, Lecture Notes in Computer Science, 2113, Springer-Verlag, 186-199, 2001
  • Di Pasquale A., Nardelli E.: ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs, Lecture Notes in Computer Science, 2234, Springer-Verlag, 211-222, 2001
  • Draoli M., Patriarca R.: Performance Analysis of a Multiservice Scenario over a Differentiated Service Network: a Case Study, in the Proceedings of Atti del Convegno Nazionale CMG (Computer Measurement Group), Roma, Giugno, 2001, CMG, 2001
  • Eder J., Michele Missikoff: Ontologies for Managing Knowledge About Forms for Government Processes, in the Proceedings of International Workshop on Knowledge Management in e-Government, 2001
  • Elf M., Gutwenger C., Jünger M., Giovanni Rinaldi: Branch-and-Cut Algorithms for Combinatorial Optimization and their Implementation in ABACUS, Jünger M., Naddef D. eds., Lecture Notes in Computer Science, 2241, Springer-Verlag, 157-222, 2001
  • Fabriani P., Michele Missikoff, Velardi P.: Using Text Processing Techniques to Automatically enrich a Domain Ontology, in the Proceedings of FOIS-2001, ACM International Conference on Formal Ontology in Information Systems, 2001
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: A Logic Programming Approach for Traffic Signal Setting, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: Logic Programming and Simulation for Traffic Signal Control, in the Proceedings of ISCS 2001, 2001
  • Giovanni Felici, Truemper K.: Computing Vote Distribution for Data Mining, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse, 2001
  • Ferri F., Elaheh Pourabbas, Maurizio Rafanelli: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 2001
  • Ferri F., Elaheh Pourabbas, Maurizio Rafanelli, Ricci F.L.: Linking Geographic and Multidimesional Databases by Functional Attributes, in the Proceedings of Nono Convegno Nazionale su Sistemi Evoluti Per Basi di Dati (SEBD 2001), 2001
  • Fioravanti F.: Verification of Infinite-State Systems by Specialization of CLP Programs, in the Proceedings of 7th International Conference on Constraint Programming, 2001
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs, Lecture Notes in Computer Science, 2042, Springer-Verlag, 124-146, 2001
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs, in the Proceedings of ACM-Sigplan International Workshop on Verification and Computational Logic, VCL'2001, Florence, Italy, September 4, 2001, pp. 85-96., 2001
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifcation of Sets of Infinite State Systems Using Program Transformation, in the Proceedings of Eleventh International Workshop on Logic-based Program Synthesis and Transformation, 2001
  • Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach, in the Proceedings of XVI Brazilian Symposium on DataBases (SBBD'01), 2001
  • Formisano A., Omodeo E., Temperini M.: Instructing equational set-reasoning with Otter, in the Proceedings of First International Joint Conference IJCAR (CADE+FTP+TABLEAUX), Lecture Notes in Artificial Intelligence, 2001
  • Antonio Frangioni, Claudio Gentile: New Preconditioners for Solving Network Problems with Interior Point Methods, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Carlo Gaibisso, Guido Proietti, Tan R.: Efficient Management of Transient Station Failures in Linear Radio Communication Networks with Bases, in the Proceedings of 2nd International Workshop on Approximation and Randomized Algorithms in Communication Networks (ARACNE'01), 2001
  • Anna Galluccio: Optimization via Enumeration: Pfaffian method for Max Cut and for Ising problem, in the Proceedings of Algorithmic Techniques in Physics, 2001
  • Anna Galluccio, Guido Proietti: Polynomial-time algorithms for edge-connectivity augmentation of Hamiltonian paths, Lecture Notes in Computer Science, 2223, Springer-Verlag, 345-354, 2001
  • Alfredo Germani, Costanzo Manes: On the existence of the linearizing state-feedback for nonlinear delay systems, in the Proceedings of 40th IEEE Conf. on Decision and Control, (CDC'01), 2001
  • Alfredo Germani, Costanzo Manes, Palumbo P.: Optimal linear filtering for stochastic non-Gaussian descriptor systems, in the Proceedings of 40th IEEE Conf. on Decision and Control, (CDC01), 2001
  • Alfredo Germani, Costanzo Manes, Pepe P.: State observer for nonlinear systems with large output delays, in the Proceedings of 5th IFAC Symp. on Nonlinear Control Systems, (NOLCOS?01), 2001
  • Grippo L., Marco Sciandrone: Nonmonotone gradient methods for neural network training, in the Proceedings of 20th IFIP TC7 Conference on System Modelling and Optimization, 2001
  • Grumbach S., Tininini L.: Automatic Aggregation using Explicit Metadata, in the Proceedings of Ninth Italian Symposium on Advanced Database Systems (SEBD 2001), 2001
  • Lampariello F.: A new method for estimating the labeled cell proportion from immunofluorescence histograms with weak labeling, in the Proceedings of XVIII Conferenza Nazionale di Citometria, 2001
  • Lampariello F., Marco Sciandrone: Nonmonotone Gauss-Newton methods for unconstrained least-squares problems, in the Proceedings of 20th IFIP TC7 Conference on System Modelling and Optimization, 2001
  • Lucidi S., Palagi L., Marco Sciandrone: Exact penalty function methods for training support vector machines, in the Proceedings of 20th IFIP TC7 Conference on System Modelling and Optimization, 2001
  • Lucidi S., Palagi L., Marco Sciandrone: Feature selection using support vector machines, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Maceratini R., Maurizio Rafanelli, Ricci F.L.: La Corsia Virtuale: dall'utopia alla realtà mediante un approccio metodologico, in the Proceedings of Secondo Congresso {\@}ITMIM, Università di Palermo Palermo, Italy, 2001
  • Malucelli F., Sara Nicoloso: Optimal Partition of a Bipartite Graph into Non-Crossing Matchings, in the Proceedings of EuroConference on Combinatorics, Graph Theory and Applications, 2001
  • Bruno Luigi Martino, Costa E, Barbanera L., Feroci M, Frutti M, Lapshov I, Mastropietro M, Morelli E, Rapisarda M, Rubini A, Soffitta P., Tavani M, Mereghetti S, Vercellone S, Caraveo S, Perotti P, Barbiellini F, Budini G, Longo F, Prest M, Vallazza E, Vallazza A, Picozza P, Cocco V, Pittori C, Di Cocco G, Labanti C: Super-agile-The X-ray detector for the gamma-ray mission agile, AIP Conference Proceedings, 2001
  • Marzilli E., Marco Sciandrone: Multiobjective optimization for neural network training, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Michele Missikoff: Ambient Intelligence: a few technologies and methodologies , in the Proceedings of FP6 Programme Consultation Meeting on Knowledge Technologies, 2001
  • Michele Missikoff: Il Web Semantico come fattore di sviluppo della Net Society, in the Proceedings of Intelligenza Artificiale: Immaginario Applicazioni Prospettive, 2001
  • Michele Missikoff: Il Web Semantico nei modelli produttivi, in the Proceedings of Verso un Web Semantico, 2001
  • Michele Missikoff: La Gestione della Conoscenza d'Impresa: nuovi modelli, tecnologie, applicazioni, in the Proceedings of Seminario AICA, 2001
  • Michele Missikoff, Francesco Taglino: SymOntos: a Symbolic Ontology Management System, in the Proceedings of 7$^o$ Congresso Associazione italiana per l'intelligenza artificiale, 2001
  • Michele Missikoff, Wang X.F.: A group decision system for collaborative ontology building, in the Proceedings of Int'l Conference on Group Decision and Negotiation 2001, 2001
  • Nardelli E., Guido Proietti, Widmayer P.: Finding the Most Vital Node of a Shortest Path, Lecture Notes in Computer Science, 2108, Springer-Verlag, 278-287, 2001
  • Pirillo G.: A curious characteristic property of standard Sturmian words, in: Algebraic combinatorics and computer science, Springer Italia, Milan, 541-546, 2001
  • Elaheh Pourabbas, Maurizio Rafanelli, Ricci F.L., Ferri F.: Geographic Database Schema Handling for Interoperating with Multidimensional Databases, in the Proceedings of 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001), 2001
  • Roma M.: A Numerical Study on Preconditioned Truncated Newton Methods in Large Scale Unconstrained Optimization, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Sartori N., Thomaseth K., Salvan A.: An analytical sensitivity approach to interfacing toxicokinetic and risk models, in the Proceedings of the 16th International Workhop on Statistical Modeling. In "New Trends in Statistical Modelling", Korsholm L., Klein B. eds., 2001
  • Sindoni G., De Francisci S., Paolucci M., Tininini L.: Experiences in Developing a Spatio-temporal Information System, in the Proceedings of the International Conference on New Techniques and Technologies for Statistics, Exchange of Technology and Know-how (ETK-NTTS 2001), 2001
  • Sindoni G., Tininini L., Ambrosetti A., Bedeschi C.: SIT-IN: a Real-Life Spatio-temporal Information System, in the Proceedings of the 27-th International Conference on Very Large Data Bases (VLDB 2001), 2001
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -