UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Division is "Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA" and Year is 2003

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Number of items: 17.

Ambriola, Vincenzo and Gervasi, Vincenzo (2003) The Circe approach to the systematic analysis of NL requirements. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Anderegg, Luzi and Cieliebak, Mark and Prencipe, Giuseppe (2003) The Weber Point can be Found in Linear Time for Points in Biangular Configuration. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Baldan, Paolo and Bracciali, Andrea and Bruni, Roberto (2003) Symbolic Equivalences for Open Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bevilacqua, Roberto and Del Corso, Gianna M. (2003) Existence, Uniqueness and Algorithms for Matrix Unitary Reduction to Semiseparable Form. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Billi, Carolina and Gentile, G. and Nguyen, S. and Pallottino, Stefano (2003) Ripensando all'attesa alle fermate. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Dell'Olmo, P. and Hansen, P. and Pallottino, Stefano and Storchi, G. (2003) On uniform $k$-partition problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferragina, Paolo and Manzini, Giovanni (2003) Optimal compression boosting in optimal linear time using the Burrows-Wheeler Trasform. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferrari, Gianluigi and Montangero, Carlo and Semini, Laura and Semprini, Simone (2003) The Mob-adtl Model and Method to Design Network Aware Applications. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Franceschini, Gianni (2003) An in-place sorting algorithm performing $O(n\log n)$ comparisons and $O(n)$ data moves. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Franceschini, Gianni and Grossi, Roberto (2003) Optimal Space-Time Dictionaries over an Unbounded Universe with Flat Implicit Trees. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Manca, Antonio (2003) A Computational Study of Cost Reoptimization for Min Cost Flow Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gentile, G. and Nguyen, S. and Pallottino, Stefano (2003) Route choice on transit networks with on-line information at stops. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ghelli, Giorgio and Conforti, Giovanni (2003) Decidability of Freshness, Undecidability of Revelation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Hammer, B. and Micheli, Alessio and Sperduti, Alessandro (2003) A General Framework for Self-Organizing Structure Processing Neural Networks. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Sechi, G. M. and Zuddas, Paola (2003) A DSS for Water Resources Management Under Uncertainty by Scenario Analysis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pisanti, Nadia and Crochemore, Maxime and Grossi, Roberto and Sagot, Marie-France (2003) Bases of Motifs for Generating Repeated Patterns with Don't Cares. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Romani, Francesco (2003) MAJA: Matrix Computation in Java. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Thu Mar 28 17:30:11 2024 CET.