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 ALL (or show them all):   (Items found: 42)


2006 | 2003 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1993 | 1992 | 1991 | 1990 | 1988 | 1987 | 1982 | 1981

2006  [top]

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.: Library's Unified Information System and Advanced Library Services, Library Computing 19 (2), 2000
  • 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
  • Cioni G., Colagrossi A., Temperini M.: A technique for course configuration in open and distance learning, IASI-CNR, R. 519, 12/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
  • Cioni G., Colagrossi A., Temperini M.: An approach to class reasoning in symbolic computation, IASI-CNR, R. 459, 06/1997
  • Cioni G., Colagrossi A., Temperini M.: A laboratory for teaching abstract algebra, IASI-CNR, R. 460, 07/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
  • Yi B., Cioni G., Colagrossi A.: Intuitive minimal abduction in sequent calculus, IASI-CNR, R. 438, 07/1996

1995  [top]

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]

1991  [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
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for the propositional theory., IASI-CNR, R. 289, 04/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
  • Colagrossi A., Limongelli C.: Big numbers p-adic arithmetic: a parallel approach., IASI-CNR, R. 223, 07/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

1981  [top]
  • Bordoni L., Colagrossi A., Miola A.: An improved linear algebraic method for computing polynomial resultants., IASI-CNR, R. 10, 05/1981
  • Bordoni L., Colagrossi A., Miola A.: Towards a unified method for computing polynomial resultants and polynomial remainder sequences., IASI-CNR, R. 11, 05/1981
  • Colagrossi A., Miola A.: A generalization of Sturm's method for computing real zeros of polynomials with parametric coefficients., IASI-CNR, R. 26, 12/1981
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -