Alfonso Miola

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