Alfonso Miola

Publication Activity (10 Years)

Years Active: 1974-2012
Publications (10 Years): 0

Top Topics

Learning Objects

Ranked Retrieval

Learner Profiles

Expansion Terms

Top Venues

Publications

Claudio Biancalana, Fabio Gasparetti, Alessandro Micarelli, Alfonso Miola, Giuseppe Sansonetti
Folksonomy-based adaptive query expansion. UMAP Workshops (2012)
Carla Limongelli, Alfonso Miola, Filippo Sciarrone, Marco Temperini
Supporting Teachers to Retrieve and Select Learning Objects for Personalized Courses in the Moodle_LS Environment. ICALT (2012)
Fabio Gasparetti, Claudio Biancalana, Alessandro Micarelli, Alfonso Miola, Giuseppe Sansonetti
Wavelet-based Music Recommendation. WEBIST (2012)
Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. J. Symb. Comput. 19 (1-3) (1995)
Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Desk-Top Sequent Calculus Machine. AISMC (1992)
Carla Limongelli, Alfonso Miola, Marco Temperini
Design and Implementation of Symbolic Computation Systems. Programming Environments for High-Level Scientific Problem Solving (1991)
Alfonso Miola
Symbolic Computation and Artificial Intelligence. FAIR (1991)
Alfonso Miola
Report on previous activities at AAECC. SIGSAM Bull. 22 (1) (1988)
Alfonso Miola, Teo Mora
Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods. J. Symb. Comput. 6 (2/3) (1988)
Patrizia M. Gianni, Alfonso Miola, Teo Mora
Symbolic and algebraic computation research in Italy. SIGSAM Bull. 21 (2) (1987)
Attilio Colagrossi, Alfonso Miola
A normalization algorithm for truncated p-adic arithmetic. IEEE Symposium on Computer Arithmetic (1987)
Gianfranco Mascari, Alfonso Miola
On the Integration of Numeric and Algebraic Computations. AAECC (1986)
M. Arcieri, Alfonso Miola, F. Panasiti
A Package of Tools for Manipulation of Sums and Series. European Conference on Computer Algebra (2) (1985)
Alfonso Miola
Complexity issues in algebraic algorithms: relevant topics for mathematical education. ACM Commun. Comput. Algebra (4-1) (1985)
Alfonso Miola
Algebraic Approach to p-adic Conversion of Rational Numbers. Inf. Process. Lett. 18 (3) (1984)
Attilio Colagrossi, Alfonso Miola
Computing real zeros of polynomials with parametric coefficients. SIGSAM Bull. 17 (1) (1983)
Alfonso Miola
A unified view of approximate rational arithmetic and rational interpolation. IEEE Symposium on Computer Arithmetic (1983)
Luciana Bordoni, Attilio Colagrossi, Alfonso Miola
Linear Algebraic Approach for Computing Polynomial Resultant. EUROCAM (1982)
Alfonso Miola
The conversion of Hensel codes to their rational equivalents: or how to solve the Gregory's open problem. SIGSAM Bull. 16 (4) (1982)
Gianna Cioni, Alfonso Miola
Using minicomputers for algebraic computations. SIGSAM Bull. 10 (4) (1976)
Alfonso Miola
The use of symbolic computation in solving free boundary problems by the Ritz-Galerkin method. SIGSAM Bull. 8 (3) (1974)
Alfonso Miola, David Y. Y. Yun
Computational aspects of Hensel-type univariate polynomial greatest common divisor algorithms. SIGSAM Bull. 8 (3) (1974)