Alfonso Miola

According to our database1, Alfonso Miola authored at least 22 papers between 1974 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Wavelet-based Music Recommendation.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Folksonomy-based adaptive query expansion.
Proceedings of the Workshop and Poster Proceedings of the 20th Conference on User Modeling, 2012

Supporting Teachers to Retrieve and Select Learning Objects for Personalized Courses in the Moodle_LS Environment.
Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, 2012

1995
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.
J. Symb. Comput., 1995

1992
A Desk-Top Sequent Calculus Machine.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

1991
Design and Implementation of Symbolic Computation Systems.
Proceedings of the Programming Environments for High-Level Scientific Problem Solving, 1991

Symbolic Computation and Artificial Intelligence.
Proceedings of the Fundamentals of Artificial Intelligence Research, 1991

1988
Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods.
J. Symb. Comput., 1988

Report on previous activities at AAECC.
SIGSAM Bull., 1988

1987
Symbolic and algebraic computation research in Italy.
SIGSAM Bull., 1987

A normalization algorithm for truncated p-adic arithmetic.
Proceedings of the 8th IEEE Symposium on Computer Arithmetic, 1987

1986
On the Integration of Numeric and Algebraic Computations.
Proceedings of the Applied Algebra, 1986

1985
Complexity issues in algebraic algorithms: relevant topics for mathematical education.
ACM Commun. Comput. Algebra, 1985

A Package of Tools for Manipulation of Sums and Series.
Proceedings of the EUROCAL '85, 1985

1984
Algebraic Approach to p-adic Conversion of Rational Numbers.
Inf. Process. Lett., 1984

1983
Computing real zeros of polynomials with parametric coefficients.
SIGSAM Bull., 1983

A unified view of approximate rational arithmetic and rational interpolation.
Proceedings of the 6th IEEE Symposium on Computer Arithmetic, 1983

1982
The conversion of Hensel codes to their rational equivalents: or how to solve the Gregory's open problem.
SIGSAM Bull., 1982

Linear Algebraic Approach for Computing Polynomial Resultant.
Proceedings of the Computer Algebra, 1982

1976
Using minicomputers for algebraic computations.
SIGSAM Bull., 1976

1974
Computational aspects of Hensel-type univariate polynomial greatest common divisor algorithms.
SIGSAM Bull., 1974

The use of symbolic computation in solving free boundary problems by the Ritz-Galerkin method.
SIGSAM Bull., 1974


  Loading...