http://www.dreamvenue.net Just another WordPress weblog Wed, 02 Dec 2009 18:13:58 +0000 http://backend.userland.com/rss092 en Grazie ad una wave con Ely ho scoperto Conky. Un monitor di sistema per linux il quale, configurato opportunamente, si sovrappone allo sfondo del desktop mostrando informazioni relative CPU, memoria, spazio disco, temperature, traffico di rete e molto altro. Mi sono appassionato alla configurazione di questo tool e nelle varie ... http://www.dreamvenue.net/google-calendar-sul-desktop-con-conky/ Anche se ogni macchinadi internet ha uno o più indizizzi IP, questi non possono essere usati per inviare pacchetti perchè l'hardware che opera a livello datalink non è a conoscenza degli indirizzi IP. Ogni scheda Ethernet ha associato un indirizzo a 48 bit chiamato MAC address. Le schede comunicano tra loro ... http://www.dreamvenue.net/arp-addres-resolution-protocol-poisoning/ Si dice che un insieme infinito è contabile, o numerabile, se esiste una corrispondenza biunivoca tra esso e l'insieme di tutti i numeri naturali. Lemma di Cantor Sia f0,f1,f2,... una successione contabile di funzioni tale che ogni fi applica i numeri naturali in {0,1}. Esiste una funzione f che applica i numeri ... http://www.dreamvenue.net/contabilita/ Un agente è un sistema situato in un certo ambiente, capace di azioni autonome sull'ambiente per raggiungere determinati obbiettivi [Wooldridge and Jennings 1995]. Gli agenti sono un importante strumento nato nell'ambito dell'intelligenza artificiale dai quali è nato un nuovo paradigma di programmazione, naturale evoluzione di altri paradigmi di programmazione, in ... http://www.dreamvenue.net/sensori-sunspot-e-la-programmazione-ad-agenti/ Gli algoritmi di cifratura a chiavi simmetriche sono sistemi di cifratura dove due interlocutori (Alice e Bob) concordano preventivamente un algoritmo e una chiave con la quale possono sia cifrare che decifrare dei messaggio. Se gli interlocutori sono più di due e utilizzano lo stesso algoritmo, allora ogni coppia dovrà ... http://www.dreamvenue.net/il-rompicapo-di-merkle/ Prolog è un linguaggio per il calcolo simbolico dove la necesita di eseguire calcoli aritmetici è esigua. In questa lezione vedremo come gestire le operazione aritmetiche. I principali operatori aritmetici di Prolog sono: +, addizione -, sottrazione *, moltiplicazione /, divisione mod, resto della divisione L'uso di tali operatori non è diretto. Infatti scrivendo ?- X = ... http://www.dreamvenue.net/operatori-aritmetici-prolog-lezione-6/ Le liste sono strutture dati tanto semplici quanto usate. In questa lezione vedremo come usarle in Prolog. Una lista è una sequenza di elementi e, come visto anche nella lezione precedente, può essere scritta in Prolog utilizzando il funtore '.' oppure usando la notazione con parentesi quadre. Quest'ultima è la ... http://www.dreamvenue.net/liste-in-prolog-prolog-lezione-5/ Art of Illusion (AoI) è un ambiente di modellazione 3D free ed OpenSource, esso consente di creare scenari ed animazioni tridimensionali di ottimo impatto. Punti di forza di tale software sono la suddivisione delle superfici ed animazioni basate su scheletri, inoltre fornisce un linguaggio grafico per la progettazione di texture ... http://www.dreamvenue.net/art-of-illusion/ Nella prima lezione sono stati distinti gli atomi dalle variabili, tale distinzione è stata usata in tutte le lezioni successive. Vediamo adesso in dettaglio i tipi di dato utilizzabili in prolog. ... http://www.dreamvenue.net/tipi-di-dato-in-prolog-prolog-lezione-4/ Estendiamo ancora il famoso programma per la rappresentazione di un'albero familiare distinguendo gli elementi per sesso in questo modo: female(pam). male(tom). male(bob). female(liz). female(ann). female(pat). male(jim). Grazie a tali relazioni possiamo stabilire la regola mother partendo dalla seguente idea Per ogni X ed Y. X è madredi di Y se X è parent di Y e ... http://www.dreamvenue.net/ancora-sulle-regole-prolog-lezione-3/