Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 10 di 10
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