Sfoglia per Autore
Mostrati risultati da 1 a 10 di 10
QuickHeapsort: an efficient mix of classical sorting algorithms
file da validare2000-01-01 Cantone, Domenico; Cincotti, Gianluca
The decision problem in graph theory with reachability related constructs
file da validare2000-01-01 Cantone, Domenico; Cincotti, Gianluca
An Efficient Algorithm for the Approximate Median Selection Problem
file da validare2000-01-01 Battiato, Sebastiano; Cantone, Domenico; Catalano, Dario; Cincotti, Gianluca; Hofri, M.
QuickHeapsort: an efficient mix of classical sorting algorithms
file da validare2002-01-01 Cantone, Domenico; Cincotti, Gianluca
An efficient approximate algorithm for the 1-median problem in metric spaces
2005-01-01 Cantone, Domenico; Cincotti, Gianluca; Ferro, Alfredo; Pulvirenti, Alfredo
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates
2006-01-01 Cantone, Domenico; Cincotti, Gianluca; Gallo, Giovanni
Decision algorithms for some fragments of real analysis (Short abstract)
file da validare2010-01-01 Cantone, Domenico; Cincotti, G; Spartà, G. T.
A decidable theory of differentiable functions with convexities and concavities on real intervals
2020-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A decidable theory treating addition of differentiable real functions
file da validare2021-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano
A Decidable Theory Involving Addition of Differentiable Real Functions
file da validare2023-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
QuickHeapsort: an efficient mix of classical sorting algorithms | 1-gen-2000 | Cantone, Domenico; Cincotti, Gianluca | file da validare |
The decision problem in graph theory with reachability related constructs | 1-gen-2000 | Cantone, Domenico; Cincotti, Gianluca | file da validare |
An Efficient Algorithm for the Approximate Median Selection Problem | 1-gen-2000 | Battiato, Sebastiano; Cantone, Domenico; Catalano, Dario; Cincotti, Gianluca; Hofri, M. | file da validare |
QuickHeapsort: an efficient mix of classical sorting algorithms | 1-gen-2002 | Cantone, Domenico; Cincotti, Gianluca | file da validare |
An efficient approximate algorithm for the 1-median problem in metric spaces | 1-gen-2005 | Cantone, Domenico; Cincotti, Gianluca; Ferro, Alfredo; Pulvirenti, Alfredo | |
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates | 1-gen-2006 | Cantone, Domenico; Cincotti, Gianluca; Gallo, Giovanni | |
Decision algorithms for some fragments of real analysis (Short abstract) | 1-gen-2010 | Cantone, Domenico; Cincotti, G; Spartà, G. T. | file da validare |
A decidable theory of differentiable functions with convexities and concavities on real intervals | 1-gen-2020 | Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T. | |
A decidable theory treating addition of differentiable real functions | 1-gen-2021 | Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano | file da validare |
A Decidable Theory Involving Addition of Differentiable Real Functions | 1-gen-2023 | Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano | file da validare |
Mostrati risultati da 1 a 10 di 10
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