Publications of A. Colagrossi

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 Colagrossi A., in the category Articles in Collections and Proceedings (or show them all):   (Items found: 27)


2003 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1993 | 1992 | 1990 | 1988 | 1987 | 1982

2003  [top]
  • Bordoni L., Colagrossi A., Mandarano N.: A Virtual Reality Application for Cultural Assets: the Scholars point of View, in the Proceedings of Intrernational Conference on Electronic Iamging \& the Visual Arts {(EVA 2003)}, 2003
  • Colagrossi A., Sciarrone F., Seccaroni C.: Using Neural Networks to Automate the Classification of Works of Art, in: LEONARDO, 36, 2003

2001  [top]
  • 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

2000  [top]
  • Bordoni L., Colagrossi A.: A Case-based Reasoning Methodology for Restoring Frescoes, in the Proceedings of 18th Iasted International Conference on Applied Informatics, Innsbruck, 2000, 2000
  • Colagrossi A.: L'apprendimento automatico nei sistemi user-modelling per i Servizi Bibliotecari, in the Proceedings of Il futuro del passato. La biblioteca tra tradizione e innovazioni tecnologiche, Centro Universitario Europeo per i Beni Culturali, Ravello, 2000
  • Colagrossi A.: La Rete Unitaria della Pubblica Amministrazione ed i Servizi Bibliotecari, in the Proceedings of Il futuro del passato. La biblioteca tra tradizione e innovazioni tecnologiche, Centro Universitario Europeo per i Beni Culturali, Ravello, 2000

1999  [top]
  • Bordoni L., Colagrossi A.: A Multimedia Personalised Fruition of Figurative Artistic Heritage by a GIS-Based Methodology, in the Proceedings of International Conference on Multimedia Computing and Systems, IEEE Computer Society, Firenze, 1999
  • Bordoni L., Colagrossi A.: Some Guidelines for the Design of Multimedia Systems for the Fruition of Figurative Artistic Heritage, in the Proceedings of ICHIM'99 Conference, Washington, 1999
  • Bordoni L., Colagrossi A., Martellotti G., Seccaroni C.: Clustering techniques for the analysis of the execution of a fresco, in the Proceedings of Chart Conference: Design, Heritage, Architecture, Glasgow, 1999
  • Cioni G., Colagrossi A., Temperini M.: Learning Abstract Algebra at Distance, in the Proceedings of International Conference on Statistics, Combinatorics and Related Areas, Mobile, Alabama, 1999
  • Colagrossi A.: Information Technology Infrastructure and Services for Creating a Library's Unified Information System, in the Proceedings of 20thIATUL Conference, Chania (Crete), 1999
  • Colagrossi A., Di Toma G., Giua N., Guiducci F.: SASI: an Automated System for Hydrological Monitoring, in the Proceedings of 21st Urban Data Management Symposium, Venezia, 1999
  • Scaringella A., Simonetti M.R., Colagrossi A.: A Methodology Based on Innovative Informatics Techniques for Surveillance and Prediction of Landslides Risks, in the Proceedings of Sixth International Conference on Statistics, Combinatorics and Related Areas - Forum for Interdisciplinary Mathematics, University of Mobile, South Alabama, 1999

1998  [top]
  • Bordoni L., Colagrossi A.: Using information extraction in workflow management for bureaucratic organizations: a proposal, in the Proceedings of IV Convegno AI*IA, Padova, 1998

1997  [top]
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 217-229, 1997
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1997
  • Cioni G., Colagrossi A., Temperini M.: An environment for supporting the learning of abstract algebra, in the Proceedings of Software Quality Engineering, Udine, Italy, Tasso C., Adey R.A., Pighin M. eds., Computational Mechanics Publication, Southampton -- Boston , 15-26, 1997

1996  [top]
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 218-229, 1996
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1996
  • Cioni G., Colagrossi A., Temperini M.: An Approach to Class Reasoning in Symbolic Computation, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Calmet J., Limongelli C. eds., Springer-Verlag, 240-251, 1996

1993  [top]
  • Bonamico S., Cioni G., Colagrossi A.: An Enhanced Sequent Calculus for Reasoning in a given Domain, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Miola A. ed., Springer-Verlag, 369-373, 1993

1992  [top]

1990  [top]
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for mathematical problem solving, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 1990
  • Colagrossi A., Limongelli C., Miola A.: Scientific Computation by Error Free Arithmetic, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 27-35, 1990

1988  [top]
  • Colagrossi A., Limongelli C.: Big Numbers P-adic Arithmetic: a Parallel Approach, in the Proceedings of Applied Algebra, Algebraic Algorithms and Error Correcting Codes, Mora T. ed., Lecture Notes in Computer Science, 357, Springer-Verlag, 1988

1987  [top]
  • Colagrossi A., Miola A.: A normalization algorithm for truncated p-adic arithmetic, in the Proceedings of 8-th Symposium on Computer Arithmetic, 1987

1982  [top]
  • Bordoni L., Colagrossi A., Miola A.: Linear algebraic approach for computing polynomial resultant, in the Proceedings of Computer Algebra, Calmet J. ed., Lecture Notes in Computer Science, 144, Springer-Verlag, 1982
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -