In-depth articles

Yust some articles that someone worote and that I found useful.

• Il contratto di sviluppo software, Serena Faccio, IT
• R-HTTP: una breve panoramica, Andrea Burattin, IT
• Security models, Andrea Burattin, EN
• Tavole di hash, Andrea Burattin, IT
• Concetti di base sugli automi e sui linguaggi formali, Andrea Burattin, IT
• Esercizi vari sul Lambda calcolo tipato (esame Fondamenti logici dei linguaggi funzionali, Unipd), Andrea Burattin, IT
• Reti neurali applicate al Data Mining, Andrea Burattin, IT

“ Since the number of athoms in the observable universe is estimated to be about 10⁸⁰, which is much less then 2^{65 536}, we rarely encounter an input size n such that lg* n>5. — Thomas H. Cormen