Mi sono per caso imbattuto in una sigla che nasconde un problema formidabile dall’aspetto innocuo: data una funzione booleana (guadagno = lavoro o gioco a Win For Life) determinare se esiste una combinazione (vero, falso) delle variabili che rende vera la funzione. E’ questo il problema della soddisfacibilità (SATisfiability) di una espressione. Problema arduo più …
Categoria: scienze
Mar 14
Simon Van Der Meer
Il 4 marzo scorso è scomparso Simon Van Der Meer, ingegnere tra le personalità più importanti nella storia del CERN di Ginevra. Aveva vinto il premio Nobel 1984 assieme a Carlo Rubbia per gli esperimenti che avevano confermato l’esistenza delle particelle Z e W, i bosoni dell’interazione debole, e credo sia l’unico ingegnere ad essere …
Dic 24
Premi Breakthrough of The Year 2010
Sono dieci premi assegnati ogni anno da Physics World ai 10 maggiori successi della ricerca nell’ambito della Fisica (a cui sia riconosciuto il rango di una “svolta”). Quest’anno il primo premio è stato assegnato ai fisici dell’esperimento ALPHA del CERN di Ginevra per avere isolato per 170 ms 38 atomi di antiidrogeno (ho fatto un …
Dic 07
LaTeX
Di questo sistema di produzione di articoli scientifici mi sono innamorato nella mia tesi di laurea. Lo uso ancora per produrre la documentazione del software che scrivo. Masochismo? no, solo nostalgia. Per usare le lettere accentate disponibili nella tastiera evitando cose di tipo “`e” e ammennicoli simili, basta aggiungere una direttiva per l’utilizzo della codifica …
Nov 25
Extranet
Nuovo progetto gestito da betaingegneria: realizzazione di una Extranet per le Aziende sanitarie di Padova.
Nov 18
Antimateria
Al CERN di Ginevra, dal nuovo acceleratore LCH stanno uscendo risultati straordinari. Uno è questo, osservato il 17 novembre scorso: sono stati isolati 38 atomi di antiidrogeno (un antiprotone con un orbitale costituito da un positrone) per circa un decimo di secondo. I dettagli nella rassegna stampa del CERN.
Nov 02
Disdette vocali per ULSS 16 / Azienda Ospedaliera di Padova
Ho integrato un sistema di gestione prenotazioni con un riconoscitore vocale per permettere la disdetta di prenotazioni di visite mediche ed esami clinici erogati attraverso il CUP dalle Aziende Sanitarie padovane. Il Sistema di Gestione Prenotazioni mette a disposizione un servizio di back end invocabile via socket. Si accede alle primitive del servizio sulla base …
Commenti recenti