MIOLA, Alfonso
MIOLA, Alfonso
Dipartimento di Ingegneria civile, informatica e delle tecnologie aeronautiche
"e-Learning Standard Monitoring - 2nd report", Progetto Diogene, IST-2001-33358, Report Finale D8.2
2004-01-01 Miola, Alfonso
A Desk-Top Sequent Calculus Machine
1993-01-01 Cioni, G; Colagrossi, A; Miola, Alfonso
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems
1995-01-01 Cioni, G; Colagrossi, A; Miola, Alfonso
An Overview of TASSO Project
1997-01-01 Miola, Alfonso
Building the Expert Module for ITS in Mathematics: A General Reasoning Apparatus
1993-01-01 Carlucci Aiello, L; Colagrossi, A; Micarelli, A; Miola, Alfonso
Computing tools today
1990-01-01 Miola, Alfonso
Constructive Lifting in Graded Structures: a unified view of Buchberger and Hensel methods
1989-01-01 Miola, Alfonso; Mora, T.
Context-aware Movie Recommendation based on Signal Processing and Machine Learning
2011-01-01 Biancalana, Claudio; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe
Deduction and abduction using a sequent calculus
1997-01-01 Cioni, G; Colagrossi, A; Miola, Alfonso
Design and Implementation of Symbolic Computation Systems
1992-01-01 Limongelli, Carla; Miola, Alfonso; Temperini, M.
Discussion on The Use of Mental Imagery in Thinking by Herbert Simon
1994-01-01 Miola, Alfonso
Elaborazione Algebrica e Simbolica
1993-01-01 Limongelli, Carla; Miola, Alfonso
Folksonomy-based adaptive query expansion
2012-01-01 Biancalana, Claudio; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe
Folksonomy-based adaptive query expansion
2012-01-01 Biancalana, C; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, G.
Functional programming approach to modularity in large software systems
1989-01-01 Miola, Alfonso
P-adic arithmetic: a tool for error-free computations
1997-01-01 Colagrossi, A; Limongelli, Carla; Miola, Alfonso
Supporting Teachers to Retrieve and Select Learning Objects for Personalized Courses in the Moodle_LS Environment
2012-01-01 Limongelli, Carla; Miola, Alfonso; Sciarrone, F; Temperini, M.
Symbolic Computation and Artificial Intelligence
1991-01-01 Miola, Alfonso
Symbolic Computation Systems
1993-01-01 Miola, Alfonso
Wavelet-based Music Recommendation
2012-01-01 Gasparetti, Fabio; Biancalana, Claudio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| "e-Learning Standard Monitoring - 2nd report", Progetto Diogene, IST-2001-33358, Report Finale D8.2 | 1-gen-2004 | Miola, Alfonso | |
| A Desk-Top Sequent Calculus Machine | 1-gen-1993 | Cioni, G; Colagrossi, A; Miola, Alfonso | |
| A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems | 1-gen-1995 | Cioni, G; Colagrossi, A; Miola, Alfonso | |
| An Overview of TASSO Project | 1-gen-1997 | Miola, Alfonso | |
| Building the Expert Module for ITS in Mathematics: A General Reasoning Apparatus | 1-gen-1993 | Carlucci Aiello, L; Colagrossi, A; Micarelli, A; Miola, Alfonso | |
| Computing tools today | 1-gen-1990 | Miola, Alfonso | |
| Constructive Lifting in Graded Structures: a unified view of Buchberger and Hensel methods | 1-gen-1989 | Miola, Alfonso; Mora, T. | |
| Context-aware Movie Recommendation based on Signal Processing and Machine Learning | 1-gen-2011 | Biancalana, Claudio; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe | |
| Deduction and abduction using a sequent calculus | 1-gen-1997 | Cioni, G; Colagrossi, A; Miola, Alfonso | |
| Design and Implementation of Symbolic Computation Systems | 1-gen-1992 | Limongelli, Carla; Miola, Alfonso; Temperini, M. | |
| Discussion on The Use of Mental Imagery in Thinking by Herbert Simon | 1-gen-1994 | Miola, Alfonso | |
| Elaborazione Algebrica e Simbolica | 1-gen-1993 | Limongelli, Carla; Miola, Alfonso | |
| Folksonomy-based adaptive query expansion | 1-gen-2012 | Biancalana, Claudio; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe | |
| Folksonomy-based adaptive query expansion | 1-gen-2012 | Biancalana, C; Gasparetti, Fabio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, G. | |
| Functional programming approach to modularity in large software systems | 1-gen-1989 | Miola, Alfonso | |
| P-adic arithmetic: a tool for error-free computations | 1-gen-1997 | Colagrossi, A; Limongelli, Carla; Miola, Alfonso | |
| Supporting Teachers to Retrieve and Select Learning Objects for Personalized Courses in the Moodle_LS Environment | 1-gen-2012 | Limongelli, Carla; Miola, Alfonso; Sciarrone, F; Temperini, M. | |
| Symbolic Computation and Artificial Intelligence | 1-gen-1991 | Miola, Alfonso | |
| Symbolic Computation Systems | 1-gen-1993 | Miola, Alfonso | |
| Wavelet-based Music Recommendation | 1-gen-2012 | Gasparetti, Fabio; Biancalana, Claudio; Micarelli, Alessandro; Miola, Alfonso; Sansonetti, Giuseppe |