Sfoglia per Autore
Grobner bases, Wu-Ritt algorithm and logical theories
file da validare1987-01-01 Ferro, A; Gallo, Giovanni
A procedure to prove geometrical statements
file da validare1987-01-01 Carra', Giuseppa; Gallo, Giovanni
On a notion of pairwise functional compactness in bitopological spaces
file da validare1988-01-01 Bella, Angelo; Gallo, Giovanni
A procedure to prove statements in differential geometry
file da validare1990-01-01 Carra', Giuseppa; Gallo, Giovanni
Automated theorem proving in geometry: a survey
file da validare1991-01-01 Ferro, A; Gallo, Giovanni
Efficient algorithms and bounds for Wu-Ritt characteristic sets
file da validare1991-01-01 Gallo, Giovanni; Mishra, B.
The Wu-Ritt process, complexity and applications, a survey
file da validare1991-01-01 Mishra, B; Gallo, Giovanni
Some constructions in rings of differential polynomials
file da validare1991-01-01 B., Mishra; Gallo, Giovanni; F., Olivier
Recent Progress in Characteristic Set Computation: Complexity and Open Problems
file da validare1992-01-01 Gallo, Giovanni; Mishra, B.
A solution to Kronecker's problem
file da validare1994-01-01 Gallo, Giovanni; Mishra, B.
Complexity of resolvent resolved
file da validare1994-01-01 Gallo, Giovanni; Mishra, B.
Detection of MRI brain contour using nonlinear anisotropic diffusion filter
file da validare1996-01-01 Gallo, Giovanni; Zingale, R; Zingale, F.
Graph-Trees: an efficient data structure for compact binary pictures
file da validare1997-01-01 Gallo, Giovanni; Spmapinato, D.
Probabilistic verification of elementary geometry statements
file da validare1997-01-01 Ferro, G. C.; Gallo, Giovanni; Gennaro, R.
An Information-Theoretical Approach to Saliency Maps Construction
file da validare1998-01-01 Battiato, Sebastiano; Gallo, Giovanni
Modeling bathimetric data using possibilistic distribution
file da validare1998-01-01 Gallo, Giovanni; Spagnuolo, M.
Nonlinear smoothing: sieve-filters and a fuzzy rules approach
file da validare1998-01-01 Gallo, Giovanni; Granata, E.
Pixel classification in noisy digital pictures using fuzzy arithmetics
file da validare1998-01-01 Gallo, Giovanni; Spinello, S.
Error tolerant database for structured images
file da validare1999-01-01 Ferro, A.; Gallo, Giovanni; Giugno, R.
Geographical data analysis via mountain function
file da validare1999-01-01 Gallo, Giovanni; Perfilieva, I.; Spagnuolo, M.; Spinello, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Grobner bases, Wu-Ritt algorithm and logical theories | 1-gen-1987 | Ferro, A; Gallo, Giovanni | file da validare |
| A procedure to prove geometrical statements | 1-gen-1987 | Carra', Giuseppa; Gallo, Giovanni | file da validare |
| On a notion of pairwise functional compactness in bitopological spaces | 1-gen-1988 | Bella, Angelo; Gallo, Giovanni | file da validare |
| A procedure to prove statements in differential geometry | 1-gen-1990 | Carra', Giuseppa; Gallo, Giovanni | file da validare |
| Automated theorem proving in geometry: a survey | 1-gen-1991 | Ferro, A; Gallo, Giovanni | file da validare |
| Efficient algorithms and bounds for Wu-Ritt characteristic sets | 1-gen-1991 | Gallo, Giovanni; Mishra, B. | file da validare |
| The Wu-Ritt process, complexity and applications, a survey | 1-gen-1991 | Mishra, B; Gallo, Giovanni | file da validare |
| Some constructions in rings of differential polynomials | 1-gen-1991 | B., Mishra; Gallo, Giovanni; F., Olivier | file da validare |
| Recent Progress in Characteristic Set Computation: Complexity and Open Problems | 1-gen-1992 | Gallo, Giovanni; Mishra, B. | file da validare |
| A solution to Kronecker's problem | 1-gen-1994 | Gallo, Giovanni; Mishra, B. | file da validare |
| Complexity of resolvent resolved | 1-gen-1994 | Gallo, Giovanni; Mishra, B. | file da validare |
| Detection of MRI brain contour using nonlinear anisotropic diffusion filter | 1-gen-1996 | Gallo, Giovanni; Zingale, R; Zingale, F. | file da validare |
| Graph-Trees: an efficient data structure for compact binary pictures | 1-gen-1997 | Gallo, Giovanni; Spmapinato, D. | file da validare |
| Probabilistic verification of elementary geometry statements | 1-gen-1997 | Ferro, G. C.; Gallo, Giovanni; Gennaro, R. | file da validare |
| An Information-Theoretical Approach to Saliency Maps Construction | 1-gen-1998 | Battiato, Sebastiano; Gallo, Giovanni | file da validare |
| Modeling bathimetric data using possibilistic distribution | 1-gen-1998 | Gallo, Giovanni; Spagnuolo, M. | file da validare |
| Nonlinear smoothing: sieve-filters and a fuzzy rules approach | 1-gen-1998 | Gallo, Giovanni; Granata, E. | file da validare |
| Pixel classification in noisy digital pictures using fuzzy arithmetics | 1-gen-1998 | Gallo, Giovanni; Spinello, S. | file da validare |
| Error tolerant database for structured images | 1-gen-1999 | Ferro, A.; Gallo, Giovanni; Giugno, R. | file da validare |
| Geographical data analysis via mountain function | 1-gen-1999 | Gallo, Giovanni; Perfilieva, I.; Spagnuolo, M.; Spinello, S. | file da validare |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile