• roga.zip 208 kb
  Elaborato per esame di Ricerca Operativa di Paola Onesti, Maria Paoletti, Simone Parrini e Niccolò Rigacci - luglio '94. Il programma risolve un problema di flusso di costo minimo su un grafo orientato con archi limitati. Le caratteristiche del grafo vengono lette dal file il cui nome è specificato su riga di comando. Vi sono anche tre programmi accessori per:
  • ricerca di tutte le soluzioni ammissibili ad un problema di flusso su un grafo orientato.
  • ricerca di tutte le soluzioni base ammissibili ad un problema di flusso su un grafo orientato.
  • ricerca degli spanning-tree che possono rappresentare una soluzione (base) ammissibile ad un problema di flusso su un grafo orientato.

• 6formule.zip 93 kb
  Formulario per l'esame di Sistemi per l'Elaborazione dell'Informazione 1, Prof. Sprugnoli - luglio '95. Funzioni generatrici, Riordan arrays, ecc.

• sei2.zip 27 kb
  Elaborati per esame di Sistemi per l'Elaborazione dell'Informazione 2, Prof. De Nicola(!) - febbraio '96. Programmetto sega in assembler, script per Unix.

• valeria.zip 18 kb
  Elaborato per esame di Linguaggi Speciali di Programmazione, Prof. Aguzzi - maggio '96. Simulatore di dialogo in lingua italiana realizzato in Arity Prolog.

• sml.zip 12 kb
  Elaborato per esame di Metodologie di Programmazione, Prof. Venneri - settembre '96. Sorgenti per Standard ML (New Jersey): implementazione del tipo astratto alfa-insieme e sua applicazione per la gestione di un database di anagrammi.

• mase.zip 155 kb
  Elaborato di Angelo Pignatelli e Niccolò Rigacci per esame di Metodi per il Trattamento delle Informazioni, Prof. Aguzzi - luglio 1998. Sorgenti in Arity Prolog e relazione in MS-Word 97. Matching semantico decidibile per sistemi di riscrittura convergenti: individuazione di sistemi di riscrittura per i quali si può applicare il matching semantico in modo deterministico. Contiene anche l'articolo Decidable Matching for Convergent Systems di Nachum Dershowitz, Subrata Mitra e G. Sivakumar.

• doc_aut.zip 450 kb
  Elaborato di Paolo Manecchi e Niccolò Rigacci per esame di Documentazione Automatica, Prof. Cesarini - febbraio 1999. Programma in MS-Access 97 e relazione in MS-Word 97. Progettazione e implementazione di un database per la catalogazione del software presente in un archivio.

Dalla stessa pagina suno disponibili on-line tutti i numeri pubblicati da Il Sugherino! La conversione in formato Web dalle stampe e dai manoscritti originali è opera del solito redattore. Se ci fossero correzioni da fare siete pregati di inviare una mail.

Non mancano ovviamente i nostri custodi ed altre perle...

Nell'anno giubilare non ci siamo vergognati neppure a mettere on-line le storiche foto della cassa... Mi raccomando, non mancate all'appuntamento!