title: Yasutomo Nagai

text: Nel suo primo campionato completo a livello internazionale ha ottenuto due pole position, diventando il primo giapponese ad ottenere una pole nel campionato mondiale Superbike fuori dal Giappone, in Austria, e tre piazzamenti a podio. Nonostante non avesse corso gli ultimi due Gran Premi, ha ottenuto il quinto posto finale. La Yamaha ha ritirato il suo team per gli ultimi due Gran Premi.


title: Noise shaping

text: Il "noise shaping" agisce ponendo l'errore di quantizzazione in un anello retroattivo ("feedback loop"). Ogni anello retroattivo funziona come un filtro: l'errore può essere quindi filtrato a piacere creando un anello retroattivo dedicato. Un esempio base può essere il seguente:


title: Pier Francesco Foschi

text: Foschi è soprattutto conosciuto per i suoi ritratti realizzati tra il 1530 e il 1540, incluso un "Ritratto di signora" (Museo Thyssen-Bornemisza), un "Ritratto di un giovane uomo che intreccia una corona di fiori" (Utah Museum of Fine Arts) e un "Ritratto di uomo" (Galleria degli Uffizi, Firenze).


title: Commiato di Cristo dalla madre (Lotto)

text: L'episodio del commiato di Cristo dalla madre deriva dalla tradizione popolare, non evangelica, ma largamente descritta nella letteratura devozionale. Prima di partire per Gerusalemme, alla vigilia della cosiddetta Settimana Santa, Gesù si congedò da Maria la quale, conscia del destino tragico del figlio, sviene per il dolore. Il centro della scena è occupato proprio da questa rappresentazione, con Gesù umilmente in ginocchio e la Vergine che si lascia andare dal dolore, retta dalle pie donne e san Giovanni apostolo. A sinistra si affacciano alla scena san Pietro e san Giacomo maggiore.


title: Forces auxiliaires

text: Sono conosciuti colloquialmente come " mroud " (una parola berbera per un tipo di cavalletta), "mkhaznia" (da Makhzen) o come "imxazniyn" in berbero.


title: Gombio

text: La prima attestazione nota della località risale all'anno 962, in alcuni documenti del comune di Castelnovo ne' Monti si cita un Galderisio da Gumbla. Nel 1175 l'Abbazia di Marola (Carpineti) aveva dei possedimenti nel territorio di Gombio. Gombio viene nominato nel 1188 in occasione del giuramento al comune di Reggio Emilia e nel 1198 un Gibertinus da Gombia è tra i consoli di Carpineti che stipulavano un accordo territoriale e militare con Reggio Emilia. Nel 1315 vengono censiti 25 famiglie, si stima circa 120 abitanti, ma nello stesso anno viene distrutta da Reggio e Corvara.


title: 2-satisfiability

text: Nella teoria della complessità computazionale, 2SAT fornisce un esempio di problema NL-completo, che può essere risolto in modo non deterministico utilizzando una quantità di memoria logaritmica, e che è tra i problemi più difficili risolvibili con questi limiti sulle risorse. All'insieme di tutte le soluzioni per un'istanza di 2SAT può essere data la struttura di un grafo mediano, ma il conteggio di queste soluzioni è #P-completo, quindi non ci si aspetta che abbia una soluzione in tempo polinomiale. Le istanze casuali subiscono una netta transizione di fase da istanze risolvibili a istanze irrisolvibili quando il rapporto tra clausole e variabili aumenta oltre 1, un fenomeno ipotizzato ma non dimostrato per forme più complicate del problema di soddisfacibilità. Una variante computazionalmente difficile di 2SAT, trovare un'assegnazione di verità che massimizza il numero di clausole soddisfatte, ha un algoritmo di approssimazione la cui ottimalità dipende dalla congettura dei giochi unici; un'altra variante difficile, trovare un'assegnazione soddisfacente che riduce al minimo il numero di variabili vere, è un importante caso di test per la complessità parametrizzata.


title: Noise shaping

text: in cui "y" rappresenta il valore del campione in uscita, "x" di quello in entrata, "n" indica il numero progressivo del campione misurato ed "E(x)" l'errore fra il valore d'origine e quello quantizzato. Questa formula può anche essere letta come: "Il campione in uscita è uguale al campione in ingresso, più l'errore del precedente campione in ingresso".


title: Pier Francesco Foschi

text: Nei suoi ritratti dette sublime espressione del Manierismo, utilizzando un leggero contrapposto nelle figure serpentinate.


title: Commiato di Cristo dalla madre (Lotto)

text: Lo schema compositivo si basa su quello delle annunciazioni: non a caso si vede nello sfondo un giardino e la camera da letto di Maria. Le figure monumentali richiamano, nel patetismo espressivo e popolaresco, le statue di Gaudenzio Ferrari nel Sacro Monte di Varallo.


title: Forces auxiliaires

text: Le missioni delle forze ausiliarie sono di sostenere le forze di sicurezza e l'esercito, mantenere la sicurezza pubblica, e partecipare a missioni operative di difesa del territorio.


title: Gombio

text: Divenuto in seguito proprietà dei Da Correggio, le sue vicende sono strettamente legate a quelle del vicino castello di Rossena con il quale condivise, dal 1416, il titolo di feudo imperiale.


title: 2-satisfiability

text: Un'istanza di 2SAT può essere descritta utilizzando un'espressione booleana in forma normale congiuntiva, ovvero una congiunzione (l'operatore booleano "e") di clausole, in cui ogni clausola è una disgiunzione (l'operatore booleano "o") di due letterali. Ad esempio, la seguente formula è in forma normale congiuntiva, con 7 variabili, 11 clausole e 22 letterali:


title: Noise shaping

text: Ogni volta che si effettua una riduzione di risoluzione (definita più precisamente profondità di bit, "bit depth") di un campione, l'errore di quantizzazione risultante (la differenza fra il valore d'origine e quello troncato) viene misurato e memorizzato: questo valore sarà aggiunto al campione successivo, prima della sua quantizzazione. L'effetto ottenuto, in questo caso, è che l'errore di quantizzazione stesso (e non il segnale valido) è posto in un anello retroattivo. Questo esempio basilare mostra un filtro a polo singolo, o un filtro con una pendenza di 6 dB/ottava: la frequenza di taglio del filtro può essere controllata dalla quantità di errore del campione precedente immessa nell'anello retroattivo. Ad esempio, variando il valore di A nella formula seguente:


title: Commiato di Cristo dalla madre (Lotto)

text: A destra si vede la committente inginocchiata e assorta nella lettura di un libro, con un cagnolino vicino, simbolo di fedeltà. La donna non guarda la scena principale, come se essa fosse una sua evocazione mentale, conformemente alle pratiche devozionali dell'epoca che invitavano i fedeli a visualizzare mentalmente gli episodi della vita di Cristo. L'attualizzazione dell'episodio è sottolineata anche dall'ambientazione, composta da una stanza con colonnati e con un loggiato davanti al quale si vede un giardino recintato, un "hortus conclusus". La grande volta a botte, che richiama le opere del Cinquecento lombardo, è illuminata da un grande oculo, la cui luce si proietta sul soffitto: ciò fa capire che l'ora della rappresentazione è l'alba, quella della nuova era cristiana che inizia col sacrificio di Cristo.


title: Forces auxiliaires

text: Dopo la seconda guerra mondiale, la Francia si stava riprendendo dalla guerra e invece di rilasciare i goumiers feriti o coloro che avevano raggiunto l'età pensionabile, l'esercito francese preferiva ridistribuirli in un organo sussidiario. Eseguivano lavori saltuari e assistevano le truppe regolari quando necessario. Ufficialmente chiamati mokhaznis, essi erano posti sotto il Ministero degli Interni. Le loro missioni erano di sopprimere le varie manifestazioni e rivolte che scuotevano il Marocco da poco indipendente. In "tempo di pace", i mokhaznis fornivano la sicurezza degli edifici pubblici e assistevano nella consegna della posta in regioni remote.


title: Gombio

text: Nel 1613, per decreto dell'imperatore Mattia d'Asburgo, il feudo viene dato in amministrazione ai Farnese di Parma fino al 1718 anno nel quale Gombio e Rossena diventano parte integrante dello Stato parmense dove restano fino alla morte di Maria Luisa d'Asburgo-Lorena nel 1847.


title: 2-satisfiability

text: Il problema 2SAT consiste nel trovare un'assegnazione di verità a queste variabili che renda vera l'intera formula. Tale assegnazione sceglie se rendere vera o falsa ciascuna delle variabili, in modo che almeno un letterale in ogni clausola sia vero. Per l'espressione mostrata sopra, una possibile assegnazione soddisfacente è quella che rende tutte e sette le variabili vere. Ogni clausola ha almeno un letterale positivo, quindi questa assegnazione soddisfa ogni clausola. Ci sono altri 15 modi per impostare le variabili in modo che la formula risulti vera. Pertanto, l'istanza di 2SAT rappresentata da questa espressione è soddisfacibile.


title: Noise shaping

text: Per creare curve più articolate possono essere utilizzati algoritmi più complessi, che usano molteplici errori di campioni utili per l'innesco di una retroazione. La formula che segue:


title: Commiato di Cristo dalla madre (Lotto)

text: Nella stanza si trovano dispiegati alcuni dettagli di vivo realismo, come il gatto che passeggia furtivo, riflettendo la luce nelle pupille. In primo piano si vede una natura morta parziale: un ramo di ciliegio, un agrume e un cartiglio, che probabilmente interagivano con la cornice (il foglio sembra infatti infilato illusionisticamente tra la tela e la cornice), alludendo a significati simbolici non completamente chiariti. La scelta dei colori è basata su toni squillanti e accostati in modo da creare vivaci contrasti.


title: Forces auxiliaires

text: Nel 1971 e nel 1972, il re Hassan II sfuggì appena a due tentativi di colpo di stato da parte dell'esercito marocchino, in un clima di evidente diffidenza tra la monarchia e l'esercito. Questo clima incoraggiò la crescente forza della polizia e la rinascita delle forze ausiliarie, messa in attesa dopo l'indipendenza. Il re nominò personalmente due membri anziani delle Reali Forze Armate marocchine per condurre le forze ausiliarie nel 1974. Le forze ausiliarie vennero designate a guidare nel mantenimento dell'ordine e del rapido ristabilimento dell'ordine nelle zone colpite. Le forze ausiliarie ricevettero uno status speciale e un bilancio di nove miliardi di centimes (una fortuna al momento). Due terzi della forza erano praticamente incapaci del servizio militare per motivi di età e o di salute, "il re dovette reclutare nuovamente e ricostruire tutta la forza", ricorda un ufficiale che servì in quel momento. Non c'era penuria di candidati, ma avevano bisogno di essere disciplinati e sani. Il reclutamento iniziale venne condotto prevalentemente nelle regioni del Ouarzazate e di Errachidia. Lì, la gente era ancora ingenua e non fumava. Il re creò due zone di operazione, Nord e Sud. Nel 1975, le forze ausiliarie erano sul fronte della Marcia verde.


title: Gombio

text: In seguito al riassetto dei comuni del 1859/60, Gombio è frazione di Ciano d'Enza (oggi comune di Canossa) fino all'aggregazione a Castelnovo ne' Monti del 1959.


title: 2-satisfiability

text: Le formule in questa forma sono conosciute come formule 2-CNF. Il "2" in questo nome sta per il numero di letterali per clausola e "CNF" sta per forma normale congiuntiva, un tipo di espressione booleana nella forma di congiunzione di disgiunzioni. Sono anche chiamate formule di Krom, dal lavoro del matematico della UC Davis Melven R. Krom, il cui articolo del 1967 è stato uno dei primi lavori sul problema della soddisfacibilità 2.


title: Noise shaping

text: Il processo di "noise shaping", inoltre, deve sempre prevedere un'opportuna quantità di "dithering", per prevenire l'incorrere di errori determinabili e correlati nel segnale stesso. Se non viene fatto uso di "dither", il "noise shaping" funge meramente da "distortion shaping": è in grado di spostare l'energia della distorsione (generata dall'errore di quantizzazione) su bande di frequenza differenti, ma la distorsione non viene trasformata in rumore. Se il processo viene integrato con l'aggiunta di "dither", come nell'esempio seguente:


title: Forces auxiliaires

text: Quando scoppiò la guerra nel Sahara nel 1976, le forze ausiliarie erano ancora una volta in prima linea. Erano armate solo con una versione fabbricata localmente del mitra Beretta M3 e avevano ricevuto molto poco addestramento al combattimento. Erano state confinate sulle basi isolate più alte in mezzo al deserto e gli fu impedito di cambiare posizione. Di conseguenza, furono facile preda per i combattenti del Fronte Polisario ed intere loro compagnie vennero abbattute e catturate.


title: Gombio

text: Durante la seconda guerra mondiale nel 1944 tutti gli uomini del paese furono messi al muro per essere fucilati dalle SS in quanto sospettavano ci fossero in paese dei partigiani o dei depositi di armi anche se non trovarono nulla al riguardo. Due donne tedesche che avevano sposato dei gombiesi salvarono il paese convincendo i nazisti che lo stesso non nascondeva partigiani e i suoi abitanti erano brave persone. Peggior sorte capitò a tre gombiesi della frazione di Casa Ferrari che, dopo avergli bruciato le case, vennero mitragliati dai nazisti.


title: 2-satisfiability

text: Ogni clausola in una formula 2-CNF è logicamente equivalente a un'implicazione da un letterale all'altro. Ad esempio, la seconda clausola nell'esempio può essere scritta in uno dei tre modi equivalenti:formula_3A causa dell'equivalenza tra questi diversi tipi di operazione, un'istanza di 2SAT può anche essere scritta in forma normale implicativa, in cui sostituiamo ciascuna clausola nella forma normale congiuntiva con le due implicazioni a cui è equivalente.


title: Noise shaping

text: l'errore di quantizzazione è realmente tramutato in rumore, e il processo produce effettivamente "noise shaping".


title: Forces auxiliaires

text: In realtà, il comando supremo dell'esercito marocchino (il generale Dlimi e Hassan II) sottovalutò la forza del nemico e non sapeva nulla della natura di questa regione. Inoltre, il re aveva sempre paura di mettere le armi nelle mani dei militari, ma alla fine, dopo aver intervistato personalmente due combattenti del Fronte Polisario, era finalmente convinto della capacità militare del Fronte Polisario. Solo allora le forze armate marocchine s'impegnarono pesantemente nel Sahara. Ma le forze ausiliarie, che servivano sotto gli ufficiali dell'esercito, agirono come esploratori, guardie di campo e truppe di supporto. Quasi due terzi delle vittime della guerra del Sahara appartengono alle forze ausiliarie. Dal 1982, le guarnigioni delle forze ausiliarie di stanza nel Sahara parteciparono, a fianco dell'esercito, nella costruzione del muro di difesa. Più tardi, gestirono e protessero le prigioni come Kelaat Mgoun o Agdz. Diversi anni dopo il cessate il fuoco del 1991, le forze ausiliarie rimasero essenziali nella gestione della questione del Sahara. A metà degli anni '90, quando il re Hassan II decise di dare alla regione la sua prima squadra di calcio, andò alle forze ausiliarie locali. Fondate nel 1978, le forze ausiliarie di Settat sono meglio conosciute come Bir Baouch, dal nome di un villaggio vicino a Settat. Nel 1983, il team venne trasferito al mroud Benslimane prima di essere chiamato di nuovo nel 1995 Jeunesse Sportive El Massira, la squadra che è ora il Sahara nel campionato nazionale di calcio.


title: Gombio

text: Il paese oggi è abitato da poche famiglie e pochi giovani. In passato, fino alla seconda guerra mondiale, si contavano circa 600 abitanti, ma, a guerra terminata, lo spostamento verso le grandi città ha svuotato il paese.


title: 2-satisfiability

text: Un terzo modo più grafico per descrivere un'istanza di 2SAT è usando un grafo delle implicazioni. Un grafo delle implicazioni è un grafo orientato in cui c'è un vertice per ogni letterale e un arco che collega un vertice all'altro ogni volta che i corrispondenti letterali sono vincolati da un'implicazione nella forma normale implicativa dell'istanza. Ogni grafo delle implicazioni è un grafo skew-simmetrico, il che significa che il grafo ottenuto sostituendo ogni letterale con la sua negazione e invertendo gli orientamenti di tutti gli archi è isomorfo al grafo iniziale. Questa proprietà deriva dal fatto che ogni implicazione è rappresentata nel grafo sia da essa stessa, che dalla sua forma contronominale.


title: Noise shaping

text: Il "noise shaping" nell'audio, nella maggior parte dei casi, è realizzato come uno schema di riduzione di bit. "Dither" lineare genera un errore di quantizzazione dalla risposta piatta (rumore bianco a tutti gli effetti): l'orecchio umano, tuttavia, a bassi livelli di ascolto è meno sensibile ad alcune frequenze rispetto ad altre (come illustrato nel diagramma di Fletcher-Munson). Il "noise shaping" può essere sfruttato per manipolare la distribuzione dell'errore di quantizzazione, in modo tale che si concentri maggiormente al di fuori dello spettro dell'udibile. Il risultato è una notevole riduzione dell'errore di quantizzazione sulle bande critiche, per effetto della maggiore concentrazione del rumore sulle bande alle quali l'orecchio è meno sensibile.


title: Forces auxiliaires

text: Nella parte settentrionale del regno, le forze ausiliarie in uniforme cachi vengono viste come una forza di repressione. A Fès, Nador, Casablanca le forze ausiliarie sono state accusate di essere responsabili di diverse atrocità. C'è stata molta confusione, dato che l'esercito marocchino è stato spesso accusato di vestirsi come Forza Ausiliaria quando non pensava che le forze ausiliarie avrebbero sparato sulla folla indisciplinata perché i loro figli erano spesso in mezzo alla folla. A differenza dei militari, le caserme delle forze ausiliarie in genere si trovano nel centro della città. Possono essere mobilitate dal Governatore o dall'Ispettore Generale.


title: Gombio

text: I primi scritti che narrano di un luogo di culto in paese, risalgono al 1225 su delle pergamene dell'Abbazia di Marola. La chiesa, che è dedicata all'Assunzione della Beata Vergine Maria, è stata recentemente ristrutturata ed è situata su un colle distante del centro del paese. A causa di questa distanza venne costruita da don Valerio, parroco di Gombio dal 1959 al 1984, una seconda chiesa lungo la provinciale che attraversa il paese.


title: 2-satisfiability

text: Sono noti diversi algoritmi per risolvere il problema 2SAT. I più efficienti richiedono tempo lineare.


title: Noise shaping

text: Un popolare algoritmo di "noise shaping" è "POW-R", sviluppato dal consorzio POW-R. Si avvale di un "noise shaper" del nono ordine per ridurre segnali di 24 bit a 16 bit. In virtù di un "noise shaper" così ripido, è in grado di rimuovere la gran parte del rumore dalla banda critica 1-4 kHz per trasferirlo nelle bande 20-60 Hz e 12+ kHz, nelle quali la soglia di udibilità è sensibilmente più alta. L'algoritmo di "noise shaping", in tal modo, può preservare un'effettiva precisione di 24 bit per quanto l'orecchio possa apprezzare, fornendo una gamma dinamica pari a 150 dB quando è necessaria, anche se il rumore a banda larga (il rumore cumulativo di tutto lo spettro frequenziale) si mantiene ancora a -98,08 dbFS.


title: Forces auxiliaires

text: Nei primi anni '80, le forze ausiliarie erano odiate dalla popolazione. Esse rappresentavano l'autorità nella sua forma più abusiva, più brutale. Oltre alla repressione delle manifestazioni, le forze ausiliarie rimanevano a stretto e quotidiano contatto con la strada. Sono dappertutto: nei suq, nelle prefetture, in ospedali, uffici postali, stadi e anche all'ingresso delle sale cinematografiche. Più semplicemente, sono gli occhi e le orecchie del sistema.


title: Gombio

text: Gombio è noto nella zona dell'appennino reggiano per una leggenda riguardante un monte, che si trova a poca distanza dal paese, chiamato Monte Venere, ultima propaggine settentrionale del Comune di Castelnovo Monti, nei pressi del borgo di Ariolo (Casina). La leggenda, tramandata oralmente nel corso del tempo, narra che vi sia nascosta sotto terra una statua d'oro raffigurante la dea Venere. Si rese necessario nasconderla in seguito all'invasione del territorio da parte di popoli stranieri nell'antichità per non farla sottrarre al paese.


title: 2-satisfiability

text: Aspvall, Plass e Tarjan (1979) hanno trovato una procedura lineare in tempo per risolvere istanze di 2SAT, basata sulla nozione di componenti fortemente connesse dalla teoria dei grafi.


title: Noise shaping

text: Non tutti gli algoritmi che riducono la profondità di bit con la diffusione del rumore sono "noise shaper". Gli algoritmi UV-22 e UV-22HR della Apogee, ad esempio, sono "dither" di riduzione da 24 a 16 bit che usano semplicemente "dither" colorato (dalla risposta modellata o filtrata). Ciò non comporta né l'uso di un anello retroattivo, né alcun filtraggio dell'errore di quantizzazione: si tratta solo di un pre-filtraggio del rumore di "dither".


title: Forces auxiliaires

text: Nelle prefetture, gran parte del Makhzen amministrativo è a disposizione dei sindaci e dei governatori. Questi oggi si trovano all'ingresso degli edifici e delle porte delle persone importanti. Fanno tutto, per esempio servono il tè, introducono gli ospiti, ritirano la posta, cacciano i venditori e i bambini che giocano a calcio nei pressi dei parchi pubblici di recente ristrutturazione da parte del Comune.


title: Gombio

text: Nella stagione estiva il paese si popola di villeggianti, per lo più figli e nipoti dei migranti di un tempo.


title: 2-satisfiability

text: Si dice che due vertici in un grafo diretto sono fortemente connessi tra loro se esiste un cammino dall'uno all'altro e viceversa. Questa è una relazione di equivalenza e i vertici del grafo possono essere partizionati in componenti fortemente connesse, sottoinsiemi all'interno dei quali ogni coppia di vertici è fortemente connessa. Esistono diversi algoritmi lineari in tempo per trovare le componenti fortemente connesse di un grafo, basati sulla ricerca in profondità: l'algoritmo di Tarjan e l'algoritmo basato sui cammini eseguono una singola ricerca in profondità. L'algoritmo di Kosaraju esegue due ricerche in profondità, ma è molto semplice.


title: Noise shaping

text: Dal 1989, i modulatori delta-sigma a 1 bit sono in uso nella conversione analogico-digitale: il segnale audio viene campionato ad una frequenza di campionamento estremamente alta (2,8224 MHz, ad esempio), ma usando solo 1 bit. Con una così bassa risoluzione, questo tipo di convertitore ha una dinamica di appena 7,78 dB; il noise floor, tuttavia, si distribuisce uniformemente su tutta la gamma di frequenza campionata (cioè al di sotto della frequenza di Nyquist, in questo caso pari a 1,4112 MHz, secondo il teorema di Nyquist-Shannon). Sfruttando il "noise shaping", inoltre, è possibile attenuare ulteriormente il rumore che cade nella banda dell'udibile (20-20.000 Hz) e concentrarlo al di sopra di essa. Questo implica una dinamica media (nella banda 0-1.411.200 Hz, in questo esempio) di soli 7,78 dB, ma non uniforme in tutte le bande di frequenza: in quelle più basse (prime fra queste, lo spettro dell'udibile), la gamma dinamica è notevolmente maggiore (superiore a 100 dB). Il "noise shaping" è incorporato in ogni modulatore delta-sigma.


title: Forces auxiliaires

text: Quando non sono utilizzate in occasione di eventi o nelle prefetture e nei wilaya, le forze ausiliarie sono assegnate a guardia delle frontiere. Lungo la costa del Mar Mediterraneo a nord, poi lungo la berma a sud e sud-ovest, diverse unità di forze ausiliarie mobili stanno di guardia. Nei primi anni '90, le unità di stanza a nord acquisirono importanza, dal momento che il Marocco intraprese la lotta contro l'immigrazione clandestina e il traffico di droga. Il personale inviato per monitorare il confine aumentò da 3000 nel 1992 a 4.500 nel 2004. Il Marocco è sotto una forte pressione da parte dell'Unione europea per la lotta contro il traffico di droga. Nel 2001, la televisione spagnola mostrò un membro delle forze ausiliarie aiutare a caricare un carico di droga e poi a spingere la barca in mare.


title: Gombio

text: Il principale luogo di ritrovo per le feste è il circolo del paese che organizza diversi eventi nel corso dell'anno e specialmente in estate.


title: 2-satisfiability

text: In termini di grafo delle implicazioni, due letterali appartengono alla stessa componente fortemente connessa ogni volta che esiste una catena di implicazioni da un letterale all'altro e viceversa. Pertanto, i due letterali devono avere lo stesso valore in qualsiasi assegnazione soddisfacente l'istanza data. In particolare, se una variabile e la sua negazione appartengono entrambe alla stessa componente fortemente connessa, l'istanza non è soddisfacibile, perché è impossibile assegnare a entrambi i letterali lo stesso valore. Come Aspvall et al. hanno dimostrato, questa è una condizione necessaria e sufficiente: una formula 2-CNF è soddisfacibile se e solo se nessuna variabile appartiene alla stessa componente fortemente connessa a cui appartiene la sua negazione.


title: Noise shaping

text: Il convertitore a 1 bit sta alla base del formato DSD della Sony. Una critica mossa al convertitore a 1 bit (e al sistema DSD) è il fatto che, essendo usato un solo bit sia nel trattamento del segnale, sia per l'anello retroattivo, non è possibile usare una quantità adeguata di "dither" nell'anello retroattivo, provocando in certe condizioni distorsione udibile. La maggior parte dei convertitori AD fabbricati dal 2000 usano modulatori delta-sigma a risoluzioni maggiori, che restituiscono un output a più di 1 bit, in modo tale che sia aggiunta all'anello retroattivo la quantità appropriata di "dither". Per il tradizionale campionamento PCM, il segnale è quindi decimato a 44.1 kHz o ad altre frequenze di campionamento opportune.


title: Forces auxiliaires

text: Il generale Laanigri, ex capo della DGSN, è stato nominato capo delle forze ausiliarie. Egli è stato incaricato della modernizzazione delle forze ausiliarie e a prepararla ad assumere nuove missioni. Dopo la sua installazione, dato che l'Ispettorato Generale si trova a Rabat, creò una terza area operativa che avrebbe esteso ai confini di Agadir in Mauritania. "La distribuzione geografica che esiste oggi è stata adottata nel 1974. A quel tempo, il Sahara non era ancora al sicuro nella geografia. Oggi la regione rappresenta quasi un terzo del territorio nazionale. Creare una terza area è dunque evidente", ha detto un comandante delle forze ausiliarie. Dalla fine degli anni '90, quasi 6.000 uomini delle forze ausiliarie sono di stanza lungo il muro di sabbia o nella caserma del sud. Il Sahara è ancora un settore delicato in cui l'applicazione della legge è una sfida importante.


title: Gombio

text: Nel centro del paese vi sono due case a torre risalenti al XVI secolo caratterizzate da una pianta quadrata con tetto a coppi a quattro spioventi. Nella torre più esterna al centro, su un architrave, presente sul fianco settentrionale della costruzione, vi è un'incisione raffigurante una rosa celtica e una croce latina.


title: 2-satisfiability

text: Ciò porta immediatamente a un algoritmo lineare per testare la soddisfacibilità delle formule 2-CNF: è sufficiente eseguire un'analisi della connettività forte sul grafo delle implicazioni e verificare che ogni variabile e la sua negazione appartengano a componenti diverse. Inoltre, come Aspvall et al. hanno provato, questo algoritmo trova anche un'assegnazione soddisfacente, quando esiste. L'algoritmo è descritto attraverso i seguenti passi:


title: Forces auxiliaires

text: Un'altra sfida al generale Laanigri, come a tutti i funzionari della sicurezza del Paese: la lotta contro il terrorismo. L'anno scorso, Cherki Drais, capo di nuova nomina della DGSN, aveva chiesto rinforzi per Laanigri. Così, pattugliamenti congiunti di elementi della polizia e delle forze ausiliarie emersero nelle principali città. Tra gli ufficiali delle FA, si parla addirittura di preparare un nuovo status dei loro corpi, con nuove missioni e nuovi modi (comprese armi e cani). Secondo attraversare l'Unità d'Intervento Mobile (la famosa CMI) dovrebbe essere sciolta nel DGSN, per essere sostituita da unità delle forze ausiliarie. "Le unità da formare al più alto livello", insiste questo specialista in questioni militari. "Dal momento che il Marocco ha riciclato il corpo delle FA tanto da farlo in profondità. Un elemento della FA deve essere perfettamente versatile ad intervenire con gendarmi, poliziotti, militari, doganali o brigate di Acqua e Foreste". Secondo alcuni suoi collaboratori, Laanigri ridusse al silenzio la spinosa questione dell'immagine dei mroud. Inoltre tenne una campagna di comunicazione e formazione all'estero  [...] "non è esclusa nessuna di queste tracce", dicono dentro l'Ispettorato Generale. Ma quale campagna prenderà per cambiare un'immagine così tenace, e la scomparsa dei riflessi che hanno la particolarità di questo corpo così speciale? Il nuovo capo mokhazni tiene la magia per evocare una maledizione che risale a 50 anni fa?


title: Gombio

text: A poca distanza si trovano due edifici risalenti al XV-XVI secolo dove su un portale accecato si trova un'incisione riportante la data 1576. Nel muro posteriore di una colombaia vi è una feritoia arciera databile al XIV secolo, la colombaia stessa si reputa sia lo stabile attualmente esistente più antico del paese.


title: 2-satisfiability

text: A causa dell'ordinamento topologico inverso e della skew-simmetria del grafo, quando un letterale è posto vero, tutti i letterali che possono essere raggiunti da esso tramite una catena di implicazioni saranno già stati posti veri. Simmetricamente, quando un letterale è posto falso, tutti i letterali che portano ad esso attraverso una catena di implicazioni saranno già stati posti falsi. Pertanto, l'assegnazione di verità costruita da questa procedura soddisfa la formula data, che completa anche la prova di correttezza della condizione necessaria e sufficiente individuata da Aspvall et al.


title: Forces auxiliaires

text: Le forze ausiliarie sono composte da 45.000 uomini. Nelle aree urbane e delle città, di solito non sono armate.


title: Gombio

text: Nel periodo della dominazione dei Da Correggio era presente anche una piccola fortezza a torre della quale si possono ancora oggi trovare tracce su una riva a sud-ovest del borgo.


title: 2-satisfiability

text: Come Aspvall et al. hanno dimostrato, una procedura simile che coinvolge l'ordinamento topologico delle componenti fortemente connesse del grafo delle implicazioni può essere utilizzata per valutare le formule booleane completamente quantificate in cui la formula che viene quantificata è una formula 2-CNF.


title: Forces auxiliaires

text: Le forze ausiliarie hanno preso in consegna 88 veicoli blindati Lenco BearCat antisommossa, trasporto truppe, comunicazioni, protezione convoglio, e varianti SWAT.


title: 2-satisfiability

text: Un certo numero di algoritmi esatti e approssimativi per il problema del posizionamento automatico delle etichette si basano su 2SAT. Questo problema riguarda l'inserimento di etichette testuali sulle caratteristiche di un diagramma o di una mappa. Tipicamente, l'insieme delle possibili posizioni per ciascuna etichetta è fortemente vincolato, non solo dalla mappa stessa (ogni etichetta deve essere vicina alla caratteristica che etichetta e non deve oscurare altre caratteristiche), ma l'una dall'altra: ogni coppia di etichette dovrebbe evitare la sovrapposizione l'un l'altra, perché altrimenti diventerebbero illeggibili. In generale, trovare un posizionamento dell'etichetta che obbedisca a questi vincoli è un problema NP-difficile. Tuttavia, se ogni feature ha solo due possibili posizioni per la sua etichetta (ad esempio, a sinistra e a destra della feature), il posizionamento dell'etichetta può essere risolto in tempo polinomiale. Perché, in questo caso, si può creare un'istanza di 2SAT che ha un certo numero di variabili per ciascuna etichetta e che ha una clausola per ciascuna coppia di etichette che potrebbero sovrapporsi, impedendo loro di essere assegnate a posizioni sovrapposte. Se le etichette sono tutti rettangoli congruenti, è possibile dimostrare che la lunghezza dell'istanza di 2SAT corrispondente è lineare, portando ad algoritmi quasi lineari in tempo per trovare un'etichettatura. Poon, Zhu e Chin descrivono un problema di etichettatura della mappa in cui ogni etichetta è un rettangolo che può essere posizionato in una delle tre posizioni rispetto a un segmento di retta etichettato: il segmento può essere uno dei suoi lati, oppure può essere centrata sul segmento. Rappresentano queste tre posizioni utilizzando due variabili binarie, in modo tale che verificare l'esistenza di un'etichettatura valida diventi un'istanza di 2SAT.


title: 2-satisfiability

text: Formann e Wagner (1991) utilizzano 2SAT come parte di un algoritmo di approssimazione per il problema di trovare etichette quadrate di dimensione più grande possibile per un dato insieme di punti, con il vincolo che ogni etichetta abbia uno dei suoi angoli nel punto che etichetta. Per trovare un'etichettatura di una data dimensione, eliminano i quadrati che, se raddoppiati, si sovrapporrebbero a un altro punto ed eliminano i punti che possono essere etichettati in un modo che non possa sovrapporsi all'etichetta di un altro punto. Mostrano che queste regole di eliminazione fanno sì che i punti rimanenti abbiano solo due possibili posizionamenti di etichette per punto, consentendo di trovare un posizionamento di etichette valido (se esistente) come soluzione a un'istanza di 2SAT. Cercando la più grande dimensione delle etichette che porta a un'istanza di 2SAT risolvibile, trovano un posizionamento valido, le cui etichette sono grandi almeno la metà della soluzione ottimale. Cioè, il rapporto di approssimazione del loro algoritmo è al massimo due. Allo stesso modo, se ogni etichetta è rettangolare e deve essere posizionata in modo tale che il punto che etichetta sia da qualche parte lungo il bordo inferiore, utilizzare 2SAT per trovare la più grande dimensione delle etichette per la quale esiste una soluzione in cui ogni etichetta ha il suo punto su un angolo inferiore porta a un rapporto di approssimazione di al massimo due.


title: 2-satisfiability

text: Applicazioni simili di 2SAT sono state scoperte per altri problemi di posizionamento geometrico. Nel disegno grafico, se le posizioni dei vertici sono fisse e ogni spigolo deve essere disegnato come un arco circolare con due possibili posizioni (ad esempio come diagramma ad arco), allora il problema di scegliere quale arco usare per ogni spigolo per evitare incroci è un'istanza di 2SAT con una variabile per ciascun bordo e un vincolo per ciascuna coppia di posizionamenti che porterebbero a un incrocio. Tuttavia, in questo caso è possibile velocizzare la soluzione, rispetto ad un algoritmo che costruisce e poi ricerca una rappresentazione esplicita del grafo delle implicazioni, ricercando il grafo implicitamente. Nella progettazione di circuiti integrati VLSI, se un insieme di moduli deve essere collegato mediante fili che possono piegarsi ciascuno al massimo una volta, anche in questo caso ci sono due possibili percorsi per i fili, e il problema di scegliere quale di questi due percorsi utilizzare, in un modo tale che tutti i fili possano essere instradati in un singolo strato del circuito, può essere risolto come un'istanza di 2SAT.


title: 2-satisfiability

text: Boro e altri (1999) considerano un altro problema di progettazione VLSI: la questione se invertire o meno ogni modulo in un progetto di circuito. Questa inversione speculare lascia invariate le operazioni del modulo, ma cambia l'ordine dei punti in cui i segnali di ingresso e di uscita del modulo si collegano ad esso, modificando eventualmente il modo in cui il modulo si adatta al resto del progetto. Essi considerano una versione semplificata del problema in cui i moduli sono già stati posizionati lungo un unico canale lineare, in cui i fili tra i moduli devono essere instradati, e c'è un limite fisso sulla densità del canale (il numero massimo di segnali che deve attraversare qualsiasi sezione del canale). Osservano che questa versione del problema può essere risolta come un'istanza 2SAT, in cui i vincoli mettono in relazione gli orientamenti di coppie di moduli, in cui uno si trova direttamente dall'altra parte del canale rispetto all'altro. Di conseguenza, la densità ottimale può anche essere calcolata in modo efficiente, eseguendo una ricerca binaria in cui ogni passaggio implica la soluzione di un'istanza 2SAT.


title: 2-satisfiability

text: Un modo per raggruppare un insieme di punti di dati in uno spazio metrico in due cluster è scegliere i cluster in modo tale da ridurre al minimo la somma dei diametri dei cluster, dove il diametro di ogni singolo cluster è la massima distanza tra le coppie dei suoi punti. Ciò è preferibile alla minimizzazione della dimensione massima dei cluster, che può comportare l'assegnazione di punti molto simili a cluster diversi. Se i diametri target dei due cluster sono noti, è possibile trovare un clustering che realizza tali target risolvendo un'istanza di 2SAT. L'istanza ha una variabile per punto, che indica se quel punto appartiene al primo o al secondo cluster. Ogni volta che due punti sono troppo distanti l'uno dall'altro perché entrambi appartengano allo stesso cluster, all'istanza viene aggiunta una clausola che impedisce questa assegnazione.


title: 2-satisfiability

text: Lo stesso metodo può essere utilizzato anche come subroutine quando i diametri dei singoli cluster sono sconosciuti. Per verificare se una data somma di diametri può essere raggiunta senza conoscere i singoli diametri del cluster, si possono provare tutte le coppie massimali di diametri target che, se sommate, danno come risultato al più la somma data, rappresentando ciascuna coppia di diametri come un'istanza di 2SAT e utilizzando un algoritmo 2SAT per determinare se quella coppia può essere realizzata da un clustering. Per trovare la somma ottimale dei diametri si può effettuare una ricerca binaria, in cui ogni passaggio è un test di realizzabilità di questo tipo. Lo stesso approccio funziona anche per trovare raggruppamenti che ottimizzino combinazioni diverse dalle somme dei diametri dei cluster e che utilizzino valori di differenza arbitrari (piuttosto che le distanze in uno spazio metrico) per misurare le dimensioni di un cluster. Il tempo di esecuzione per questo algoritmo è minore o uguale al tempo necessario per risolvere una sequenza di istanze 2SAT strettamente correlate tra loro; Ramnath mostra come risolvere queste istanze più rapidamente che se fossero risolte indipendentemente l'una dall'altra, portando il tempo di esecuzione a O("n") per il problema del clustering della somma dei diametri.


title: 2-satisfiability

text: Even, Itai e Shamir (1976) considerano un modello di organizzazione delle classi in cui dev'essere pianificato l'insegnamento di un insieme di "n" insegnanti a ciascuna delle "m" classi di studenti. Il numero di ore settimanali in cui l'insegnante formula_4 insegna nella classe formula_5 è indicato dall'elemento formula_13 di una matrice formula_14, data come input del problema, e ogni insegnante ha una serie di ore di disponibilità all'insegnamento. Come dimostrano, il problema è NP-completo, anche quando ogni insegnante ha al massimo tre ore disponibili, ma può essere risolto come un'istanza di 2SAT quando ogni insegnante ha solo due ore disponibili (gli insegnanti con una sola ora disponibile possono essere facilmente eliminati dal problema). In questo problema, ogni variabile formula_15 corrisponde a un'ora in cui l'insegnante formula_4 deve insegnare alla classe formula_5, il valore della variabile specifica se quell'ora è la prima o la seconda delle ore disponibili del docente, e c'è una clausola di 2 letterali che impedisce un qualsiasi conflitto di questi due tipi: un insegnante assegnato a due classi alla stessa ora o una classe assegnata a due insegnanti alla stessa ora.


title: 2-satisfiability

text: Miyashiro e Matsui (2005) applicano 2SAT ad un problema di programmazione di partite, in cui sono già stati scelti gli accoppiamenti di un girone all'italiana e le partite devono essere assegnate agli stadi delle squadre. In questo problema, è auspicabile alternare per quanto possibile le partite in casa e quelle in trasferta, evitando "interruzioni" in cui una squadra gioca due partite casalinghe di fila o due partite in trasferta di fila. Al massimo due squadre possono evitare del tutto le interruzioni, alternando partite in casa e in trasferta; nessun'altra squadra può avere la stessa programmazione casa-trasferta di queste due, perché in tal caso non potrebbe giocare con la squadra con cui avrebbe la stessa programmazione. Pertanto, una programmazione ottimale prevede due squadre senza interruzioni e una singola interruzione per ogni altra squadra. Una volta scelta una delle squadre senza interruzioni, è possibile impostare un'istanza 2SAT in cui ogni variabile rappresenta l'assegnazione casa-trasferta di una singola squadra in una singola partita e i vincoli impongono le proprietà che due squadre qualsiasi hanno un'assegnazione coerente per le loro partite, che ogni squadra abbia al più un'interruzione prima e al più un'interruzione dopo la partita con la squadra senza interruzioni e che nessuna squadra abbia due interruzioni. Pertanto, è possibile verificare se un girone ammette una soluzione con il numero ottimale di interruzioni risolvendo una quantità lineare di istanze 2SAT, una per ogni scelta della squadra senza interruzioni. Una tecnica simile consente di trovare programmazioni in cui ogni squadra ha una singola interruzione e di massimizzare anziché ridurre al minimo le interruzioni (per ridurre i chilometri totali percorsi dalle squadre).


title: 2-satisfiability

text: La tomografia è il processo di recupero delle forme dalle loro sezioni trasversali. Nella tomografia discreta, una versione semplificata del problema che è stato frequentemente studiato, la forma da recuperare è un polimino (un sottoinsieme dei quadrati nel reticolo quadrato bidimensionale), e le sezioni trasversali forniscono informazioni aggregate sugli insiemi di quadrati nelle singole righe e colonne del reticolo. Ad esempio, nei popolari puzzle nonogrammi, noti anche come "dipingi con i numeri" o "griddlers", i quadrati da determinare rappresentano i pixel scuri in un'immagine binaria e l'input dato al risolutore di puzzle dichiara quanti blocchi consecutivi di pixel scuri vanno inclusi in ogni riga o colonna dell'immagine e quanto dovrebbe essere lungo ciascuno di questi blocchi. In altre forme di tomografia digitale, vengono fornite ancora meno informazioni su ogni riga o colonna: solo il numero totale di quadrati, invece che il numero e la lunghezza dei blocchi di quadrati. Una versione equivalente del problema sta nel recuperare una matrice binaria, data solo la somma dei valori in ogni riga e in ogni colonna della matrice.


title: 2-satisfiability

text: Sebbene esistano algoritmi polinomiali per trovare una matrice data la somma dei valori in ogni riga e colonna, la soluzione può non essere unica: qualsiasi sottomatrice nella forma di una matrice identità 2×2 può essere complementata senza compromettere la correttezza della soluzione. Pertanto, i ricercatori hanno cercato vincoli sulla forma da ricostruire che possono essere utilizzati per limitare lo spazio delle soluzioni. Ad esempio, si potrebbe presumere che la forma sia connessa; tuttavia, verificare se esiste una soluzione connessa è un problema NP-completo. Una versione ancora più vincolata che è più facile da risolvere è l'esistenza di una forma ortogonalmente convessa, avendo un unico blocco contiguo di quadrati in ogni riga e colonna. Migliorando diverse soluzioni precedenti, Chrobak e Dürr (1999) hanno mostrato come ricostruire in modo efficiente forme connesse ortogonalmente convesse, utilizzando 2SAT. L'idea della loro soluzione è di indovinare gli indici delle righe contenenti le celle più a sinistra e più a destra della forma da ricostruire, e quindi impostare un'istanza 2SAT che verifichi se esiste una forma coerente con queste ipotesi e con la somma dei valori in ogni riga e colonna. Usano quattro variabili binarie per ogni quadrato che potrebbe far parte della forma, ciascuna per indicare se appartiene a una delle quattro possibili "regioni angolari" della forma, e usano vincoli che costringono queste regioni a essere disgiunte, per avere le forme desiderate, in modo da creare una forma complessiva con righe e colonne contigue e per avere le somme dei valori desiderate in ogni riga e colonna. Il loro algoritmo richiede un tempo di esecuzione O("m""n"), dove "m" è la minore tra le due dimensioni dell'input e "n" è la maggiore. Lo stesso metodo è stato esteso successivamente a forme ortogonalmente convesse che possono essere connesse solo in diagonale, invece che esserlo ortogonalmente.


title: 2-satisfiability

text: In una parte di un risolutore di nonogrammi completi, Batenburg e Kosters (2008, 2009) hanno utilizzato 2SAT per combinare le informazioni ottenute da diverse altre euristiche. Data una soluzione parziale del puzzle, usano la programmazione dinamica all'interno di ogni riga o colonna per determinare se i vincoli di quella riga o colonna costringono uno qualsiasi dei suoi quadrati a essere bianco o nero e se due quadrati nella stessa riga o colonna possono essere collegati da una relazione di implicazione. Inoltre, trasformano il nonogramma in un problema di tomografia digitale sostituendo la sequenza delle lunghezze dei blocchi in ogni riga e colonna con la loro somma, e utilizzano una formulazione del problema di flusso massimo per determinare, combinando tutte le righe e le colonne, se questo problema di tomografia digitale ha dei quadrati il cui stato può essere determinato o coppie di quadrati che possono essere collegati da una relazione di implicazione. Se una di queste due euristiche determina il valore di uno dei quadrati, viene incluso nella soluzione parziale e vengono ripetuti gli stessi calcoli. Tuttavia, se entrambe le euristiche non riescono a ricavare il valore di un quadrato, le implicazioni trovate da entrambe vengono combinate in un'istanza 2SAT e viene utilizzato un risolutore 2SAT per trovare quadrati il cui valore è fissato dall'istanza, dopodiché la procedura è ripetuta ancora. Questa procedura può non riuscire a trovare una soluzione, ma è garantita l'esecuzione in tempo polinomiale. Batenburg e Kosters riferiscono che, sebbene la maggior parte degli enigmi sui giornali non richieda la loro piena potenza, sia questa procedura sia una procedura più potente ma più lenta, che combina questo approccio di 2SAT con il backtracking limitato di Even, Itai e Shamir (1976), sono significativamente più efficaci della programmazione dinamica e dell'euristica del flusso senza 2SAT se applicate a nonogrammi più difficili generati casualmente.


title: 2-satisfiability

text: Accanto a 2SAT, l'altra principale sottoclasse di problemi di soddisfacibilità che possono essere risolti in tempo polinomiale è la Horn-soddisfacibilità. In questo tipo di problemi di soddisfacibilità, l'input è sempre una formula in forma normale congiuntiva. Può avere un numero arbitrario di letterali per clausola, ma al più un letterale positivo. Lewis (1978) ha trovato una generalizzazione di questa classe, "soddisfacibilità di Horn rinominabile", che può ancora essere risolta in tempo polinomiale per mezzo di un'istanza ausiliaria di 2SAT. Una formula è "Horn-rinominabile" quando è possibile tradurla nella forma di Horn sostituendo alcune variabili con le loro negazioni. Per fare ciò, Lewis imposta un'istanza 2SAT con una variabile per ciascuna variabile dell'istanza Horn-rinominabile, in cui le variabili dell'istanza 2SAT indicano se negare o meno le corrispondenti variabili dell'istanza Horn-rinominabile. Per produrre un'istanza nella forma di Horn, nessuna coppia di variabili che occorrono nella stessa clausola dell'istanza Horn-rinominabile dovrebbero comparire positivamente in quella clausola; questo vincolo su coppie di variabili è una clausola 2SAT. Trovando un'assegnazione soddisfacente all'istanza 2SAT risultante, Lewis mostra come trasformare qualsiasi istanza Horn-rinominabile in un'istanza nella forma di Horn in tempo polinomiale. Spezzando le clausole lunghe in clausole più piccole e applicando un algoritmo 2SAT in tempo lineare, è possibile ridurre la complessità a tempo lineare.


title: 2-satisfiability

text: 2SAT è stato applicato anche a problemi di riconoscimento di grafi non orientati che possono essere partizionati in un insieme indipendente e in un piccolo numero di sottografi bipartiti completi, deduzione di relazioni commerciali tra sottosistemi autonomi di Internet e ricostruzione di alberi filogenetici.


title: 2-satisfiability

text: Un algoritmo non deterministico per determinare se un'istanza 2SAT "non" è soddisfacibile, utilizzando solo una quantità logaritmica di memoria, è facile da descrivere: scegli (in modo non deterministico) una variabile "v" e cerca (in modo non deterministico) una catena di implicazioni da "v" alla sua negazione e poi dalla sua negazione a "v". Se questa catena esiste, l'istanza è insoddisfacibile. Per il teorema di Immerman-Szelepcsényi, è possibile anche verificare in spazio logaritmico non deterministico che un'istanza 2SAT soddisfacibile è soddisfacibile.


title: 2-satisfiability

text: 2SAT è NL-completo, il che significa che è uno dei problemi "più difficili" o "più espressivi" nella classe di complessità NL dei problemi risolvibili non deterministicamente in spazio logaritmico. La completezza qui significa che una macchina di Turing deterministica che utilizza solo spazio logaritmico può trasformare ogni istanza di un qualsiasi altro problema in NL in un'istanza di 2SAT equivalente. Analogamente a risultati simili per la più nota classe di complessità "NP", questa trasformazione insieme al teorema di Immerman-Szelepcsényi consente di rappresentare qualsiasi problema in NL come una formula logica del secondo ordine con un singolo predicato esistenzialmente quantificato e clausole di lunghezza 2. Tali formule sono conosciute come SO-Krom. Allo stesso modo, la forma normale implicativa può essere espressa in logica del primo ordine con l'aggiunta di un operatore per la chiusura transitiva.


title: 2-satisfiability

text: L'insieme di tutte le soluzioni di un'istanza 2SAT ha la struttura di un grafo mediano, in cui ogni arco corrisponde all'operazione di negazione dei valori di un insieme di variabili che sono tutte vincolate a essere uguali o diverse a coppie. In particolare, seguendo gli archi si può passare da qualsiasi soluzione a qualsiasi altra soluzione. Al contrario, in questo modo qualsiasi grafo mediano può essere rappresentato come l'insieme delle soluzioni per un'istanza 2SAT. La mediana di tre soluzioni qualsiasi si ottiene impostando ciascuna variabile sul valore che assume nella maggioranza delle tre soluzioni. Questa mediana costituisce sempre un'ulteriore soluzione per l'istanza.


title: 2-satisfiability

text: Feder (1994) descrive un algoritmo per elencare in modo efficiente tutte le soluzioni per una data istanza 2SAT e per risolvere diversi problemi correlati. Esistono anche algoritmi per trovare due assegnazioni soddisfacenti che hanno tra loro distanza di Hamming massima.


title: 2-satisfiability

text: L'algoritmo più veloce conosciuto per calcolare il numero esatto di assegnazioni soddisfacenti per un'istanza 2SAT ha tempo di esecuzione formula_18.


title: 2-satisfiability

text: Si può formare un'istanza 2SAT in modo casuale, per un dato numero "n" di variabili ed "m" di clausole, scegliendo ciascuna clausola in modo uniformemente casuale dall'insieme di tutte le possibili clausole a due letterali. Quando "m" è piccolo rispetto a "n", tale istanza sarà probabilmente soddisfacibile, ma per valori maggiori di "m", le istanze hanno minor probabilità di essere soddisfacibili. Più precisamente, se "m" / "n" è fissato come costante α ≠ 1, la probabilità di soddisfacibilità tende ad un limite per "n" che va ad infinito: se α < 1, il limite è 1, mentre se α > 1 il limite è 0. Pertanto, il problema mostra una transizione di fase per α = 1.


title: 2-satisfiability

text: Nel problema maximum-2-satisfiability (MAX-2-SAT), l'input è un'istanza 2SAT e la richiesta è determinare il numero massimo di clausole che possono essere soddisfatte da un'assegnazione. Come il più generale problema di massima soddisfacibilità, MAX-2-SAT è NP-difficile. La prova è per riduzione di 3SAT.


title: 2-satisfiability

text: Formulando MAX-2-SAT come il problema di trovare un taglio (cioè una partizione dei vertici in due sottoinsiemi) massimizzando il numero di archi che hanno un estremo nel primo sottoinsieme e l'altro estremo nel secondo, in un grafo correlato al grafo delle implicazioni, e applicando metodi di programmazione semidefinita a questo problema di taglio, è possibile trovare in tempo polinomiale una soluzione approssimativa che sia almeno 0.940... volte il numero massimo di clausole. Un'istanza di MAX-2-SAT "bilanciata" è un'istanza di MAX-2-SAT in cui ogni variabile appare positivamente e negativamente con lo stesso peso. Per questo problema, Austrin ha migliorato il rapporto di approssimazione a formula_19.


title: 2-satisfiability

text: Se la congettura dei giochi unici è vera, allora è impossibile approssimare MAX-2-SAT, bilanciato o meno, con una costante di approssimazione migliore di 0,943... in tempo polinomiale. Sotto l'ipotesi più debole che P ≠ NP, il problema è noto solo per essere inapprossimabile al di sopra di una costante migliore di 21/22 = 0,95454...


title: 2-satisfiability

text: Vari autori hanno anche esplorato i limiti di tempo esponenziali nel caso peggiore per la soluzione esatta delle istanze MAX-2-SAT.


title: 2-satisfiability

text: Nel problema weighted-2-satisfiability (W2SAT), l'input è un'istanza 2SAT con formula_20 variabili e un naturale formula_21, la richiesta è decidere se esiste un'assegnazione soddisfacente in cui esattamente formula_22 variabili sono vere.


title: 2-satisfiability

text: Il problema W2SAT include come caso speciale il problema della copertura dei vertici, che consiste nel trovare formula_22 vertici che insieme tocchino tutti gli archi di un dato grafo non orientato. Per ogni data istanza del problema della copertura dei vertici, si può costruire un problema W2SAT equivalente con una variabile per ogni vertice del grafo. Ciascun arco formula_6 del grafo può essere rappresentato da una clausola formula_25 che può essere soddisfatta solo includendo formula_7 o formula_9 tra le variabili vere della soluzione. Quindi, le assegnazioni soddisfacenti dell'istanza 2SAT risultante codificano soluzioni al problema della copertura dei vertici, e c'è un'assegnazione soddisfacente con formula_22 variabili vere se e solo se esiste una copertura con formula_22 vertici. Pertanto, come la copertura dei vertici, W2SAT è NP-completo.


title: 2-satisfiability

text: Inoltre, nella complessità parametrizzata W2SAT fornisce un problema naturale W[1]-completo, il che implica che W2SAT non è trattabile a parametri fissi, a meno che ciò valga per tutti i problemi in W[1]. Cioè, è improbabile che esista un algoritmo per W2SAT il cui tempo di esecuzione assume la forma formula_30. In modo ancora più forte, W2SAT non può essere risolto in un tempo formula_31 a meno che l'ipotesi del tempo esponenziale sia falsa.


title: 2-satisfiability

text: Oltre a trovare il primo algoritmo in tempo polinomiale per 2SAT, Krom (1967) ha anche formulato il problema della valutazione di formule booleane completamente quantificate, in cui la formula quantificata è in forma 2-CNF. 2SAT è un caso speciale di questo problema, in cui tutti i quantificatori sono esistenziali. Krom ha anche sviluppato una procedura di decisione effettiva per queste formule. Aspvall, Plass e Tarjan (1979) hanno dimostrato che può essere risolto in tempo lineare, mediante un'estensione della loro tecnica facente uso delle componenti fortemente connesse e dell'ordinamento topologico.


title: 2-satisfiability

text: 2SAT può anche essere esteso a logiche polivalenti. Gli algoritmi di solito non sono lineari e per alcune logiche il problema è addirittura NP-completo. Si veda Hähnle (2001, 2003) per gli studi a riguardo.


title: Born in the U.S.A. Tour

text: Il Born in the U.S.A. Tour è stato una tournée intrapresa da Bruce Springsteen nel biennio 1984-1985.


title: Asta di controvento

text: Nelle costruzioni aeronautiche, l'asta di controvento (o montante) è un elemento strutturale rigido, utilizzato generalmente su piccoli monoplani, che collega l'ala alla fusoliera. Il suo scopo è quello di contribuire alla resistenza strutturale dell'ala, trasferendo parte dei carichi di trazione e compressione in un punto dell'ala distante dalla radice.


title: Giorgio Stirano

text: Stirano durante gli anni universitari aveva corso come rallysta ed aveva collaborato alle pagine sui motori del quotidiano Tuttosport.


title: Alejandro Demaría

text: Ha giocato nel Corinthians e poi nella Lazio. Fu il primo giocatore della squadra capitolina a segnare una tripletta nel derby di Roma: la partita si disputò l'11 marzo 1934 e portò i "biancocelesti" ad un clamoroso pareggio, da 3-0 a 3-3. In totale ha segnato 5 gol nella stracittadina (così come Tommaso Rocchi, due in meno rispetto a Silvio Piola, autore di 7 reti nel derby romano con la maglia della Lazio).


title: Spring Creek Correctional Center

text: Lo Spring Creek Correctional Center è l'unica prigione di massima sicurezza dell'Alaska. Situata a Seward, a poco più di 200 km da Anchorage, è estesa su un'area di 120 ettari e circondata da parchi nazionali. È stata costruita nel 1988 per un costo di 44.678.000 di dollari, per ospitare i criminali più violenti dello stato: malviventi, stupratori e assassini. Conta 500 detenuti e 97 agenti di custodia.


title: Born in the U.S.A. Tour

text: Secondo i dati forniti dal sito web specializzato "setlist.fm", la seguente è stata la scaletta adottata più frequentemente durante il "Born in the U.S.A. Tour":


title: Asta di controvento

text: A cominciare dai primi biplani dei fratelli Wright, per aumentare la resistenza delle ali alla torsione ed alla flessione, si impiegarono montanti interalari che collegavano rigidamente l'ala inferiore a quella superiore unitamente a tiranti (disposti trasversalmente) che resistevano o alle forze aerodinamiche (tiranti che collegavano le radici dell'ala inferiore alle estremità della superiore) o alla forza di gravità (tiranti che collegavano le radici dell'ala superiore all'estremità dell'ala inferiore).


title: Giorgio Stirano

text: Laureatosi in ingegneria aeronautica nel 1975 presso il Politecnico di Torino venne assunto nel gennaio del 1976 come Direttore Sportivo dalla Osella Squadra Corse, per poi assumere anche il ruolo di capo tecnico e capo progettista.


title: Asta di controvento

text: I primi monoplani, invece, si affidavano ad una controventatura esterna di fili di acciaio collegati ad un puntone. Dal momento che i fili lavorano solo a trazione, quelli montati superiormente all'ala sopporteranno gli sforzi dovuti alla forza di gravità a terra (o ad un fattore di carico negativo in volo), viceversa quelli montati inferiormente sopporteranno in volo gli sforzi dovuti alla portanza (fattore di carico positivo). Queste configurazioni, però, erano penalizzate dalla resistenza aerodinamica offerta dai fili.


title: Giorgio Stirano

text: La Osella all'epoca gareggiava in Formula 2, categoria in cui era entrata per la prima volta nella stagione 1974-1975 dopo un periodo di successi minori nelle competizioni nazionali di corse sportive, e in altri campionati di secondo piano.


title: Asta di controvento

text: Si passò quindi ad impiegare ali con uno spessore maggiore e più robuste che richiedevano, al costo di un maggior peso, una minima (o anche nulla come nella maggioranza dei velivoli oggi in produzione) struttura rigida esterna (aste di controvento) che poteva resistere a sforzi di compressione e trazione.


title: Giorgio Stirano

text: Al suo ingresso nella piccola scuderia, il giovane Stirano ricevette l'incaricò di seguire tutti i progetti relativi alle competizioni sportive: in quegli anni le Osella militavano in Formula Super Ford, Formula 3, Formula 2 e vetture Sport Gruppo 6.


title: Asta di controvento

text: La disposizione delle aste di controvento ed il tipo di forze che agiscono su di esse dipendono chiaramente dalla configurazione del velivolo. Aeroplani ad ala alta come il Cessna 152 o a parasole come il Consolidated PBY Catalina hanno i montanti che collegano la parte inferiore del longherone dell'ala alle ordinate (o altra struttura equivalente) della fusoliera. In volo lavorano a trazione, caricando le ali con parte del peso della fusoliera, mentre al suolo o in volo a fattori di carico negativi lavorano a compressione.


title: Giorgio Stirano

text: Nel 1978 Stirano lavorò alla vettura per la stagione 1979, arrivando a progettare una nuova formula 2, sempre denominata "Osella FA2" ed evoluzione di quella del 1976: l'auto risultò molto prestante e consentì ad Eddie Cheever di vincere sui circuiti di Silverstone, Pau e Zandvoort.


title: Asta di controvento

text: Le aste possono essere montate in configurazione singola (come sul Cessna 152 o 172), o in coppia disposte parallelamente come sul Catalina o a forma di "V" con il vertice collegato alla fusoliera (e.g. Auster Autocrat). Sono state sperimentate configurazioni anche più complesse, con aste supplementari di interconnessione tra quelle principali o tra esse e la fusoliera o le ali. Nel Piper Pawnee, ad esempio, la coppia di aste montate a V è supportata da una coppia di supporti verticali.


title: Giorgio Stirano

text: Le vittorie di Cheever, le buone prestazioni dell'auto, i risultati anche nelle formule minori e la fiducia nel team di progettisti capitanati da Stirano convinsero Vincenzo Osella a investire sulla scuderia e a passare alla categoria superiore, la Formula 1.


title: Asta di controvento

text: Per ridurre la resistenza aerodinamica, le aste di controvento furono da sempre costruite con forme aerodinamiche o rivestite da appendici tali da minimizzare la resistenza. Il Farman F.190, ad esempio, aveva le semiali connesse alla parte bassa della fusoliera da una coppia parallela di tubi in duralluminio racchiuse da carenature di legno mentre sul Westland Lysander delle barre in lega leggera estruse ad "I" erano rivestite da una coppia di carenature in alluminio. Velivoli più recenti installavano aste metalliche direttamente modellate secondo forme aerodinamiche come quelle dell'Auster AOP.9, o ricavate in composito, come, ad esempio, i montanti in fibra di carbonio del Remos GX eLITE. Per migliorare l'aerodinamica i progettisti hanno adottato differenti soluzioni per l'integrazione delle aste con la fusoliera e le ali, carenandole solo in prossimità dell'ala, come per il Farman F.190, o anche con un'estesa carenatura sulla fusoliera, ad esempio nello Skyeton K-10 Swift.


title: Giorgio Stirano

text: Stirano progettò per la stagione 1980 l'auto da gara della scuderia, la "Osella FA1", alla cui guida fu confermato Cheever. L'auto, che debuttò al GP d'Argentina, ottenne pochi risultati, e venne ritenuta affetta da difetti di progettazione aerodinamica e meccanica, tanto che Cheever non finì una sola gara in tutta la stagione, ottenendo 7 ritiri e 4 mancate qualificazioni.


title: Asta di controvento

text: In alcuni velivoli, le aste di controvento sono integrate con il castello motore (come nel Westland IV) e con il carrello di atterraggio (come sullo Scottish Aviation Twin Pioneer).


title: Giorgio Stirano

text: Per ovviare ai più gravi problemi tecnici venne progettata e costruita una seconda versione dell'auto, contraddinsta dal numero di Telaio 003, che apparve al Gran premio d'Italia. Nel 1981 la vettura fu profondamemte modificata dando origine alla FA1/B e venne affidata a Beppe Gabbiani e Miguel-Angel Guerra, due piloti privati. L'inesperienza dei piloti (Guerra fallì quasi tutte le qualifiche ed ebbe un grave incidente) portò ad una stagione assai povera di risultati. MA Stirano dopo poche gare aveva abbandonato la scuderia Torinese .


title: Asta di controvento

text: Il compito dei montanti è principalmente strutturale, ma possono essere usati come sedi per l'installazione di sistemi quali tubi di Pitot e piccoli generatori elettrici eolici grazie alla loro posizione in un flusso d'aria indisturbato lontano dall'ala, dai motori o dalla fusoliera.


title: Giorgio Stirano

text: Intanto Stirano si dedicò ad attività parallele relative al mondo delle corse: fondò con altri tre Soci la Alba Engineering e iniziò la costruzione di una vettura da Formula 3, collaudata da Enzo Coloni.


title: Asta di controvento

text: Le aste di controvento non sono più impiegate su velivoli di grandi dimensioni o ad alta velocità a causa della resistenza aerodinamica che offrono, ma continuano ad essere impiegati su diversi aerei da turismo ad ala alta da 2/4 posti. Eccezioni sono costituite dal Pilatus Porter, un velivolo STOL nato negli anni sessanta ma ancora in produzione, che può portare fino a 10 passeggeri, ed il de Havilland Twin Otter, un aereo da 19 posti recentemente (2008) tornato in produzione.


title: Giorgio Stirano

text: Nel 1982 la Alba progettò per la Carma di Martino Finotto e Carlo Facetti una vettura per gareggiare nel nuovo campionato di Gruppo C. L'auto, equipaggiata con un motore quattro cilindri turbo partecipò al Campionato del Mondo FIA e vinse la Coppia FIA per vetture C Junior nel 1983 e nel 1984.


title: Giorgio Stirano

text: Le auto "custom" vennero esportate anche negli Stati Uniti dove parteciparono al Campionato IMSA con al volante Gianpiero Moretti, Jim Trueman ed altri.


title: Giorgio Stirano

text: Stirano tornò al mondo della Formula Uno nel 1984, come consulente dell'Alfa Romeo, per cui negli anni successivi partecipò alla progettazione della formula addestrativa CSAI "Alfa Boxer".


title: Giorgio Stirano

text: Nel 1986 fondò la PTI Alba Tech, una Società di ingegneria di progettazione e costruzione veicoli speciali e da competizione, così da poter allargare i settori di intervento anche alla meccanica di telai e sospensioni per prototipi.


title: Giorgio Stirano

text: Con Giugiaro e la sua Italdesign partecipò alla progettazione della "Machimoto", una concept-car presentata al Salone dell'automobile di Torino. Ha partecipato anche alla progettazione della Nazca, sempre di Giugiaro, della "Blitz" (un'auto da corsa elettrica progettata da Bertone e della ZER titolare del record di velocità per veicoli elettrici con 300 km/h), della Ethos di Pininfarina (un prototipo del 1992 per un'auto ecocompatibile).


title: Giorgio Stirano

text: Sempre nell'ambito della collaborazione con Alfa Corse progettò nel 1992 la "Alfa 155 TS", che partecipò al Campionato Italiano Turismo con Gabriele Tarquini, Gianni Morbidelli e Tamara Vidali, svolgendo in contemporanea il ruolo di responsabile tecnico in pista del team Alfa Romeo. Nel 1993 Tarquini vinse il BTCC con la stessa vettura.


title: Giorgio Stirano

text: Dopo l'incidente in pista che costò la vita ad Ayrton Senna nel 1994, la Williams affidò a Stirano il ruolo di perito di parte per la scuderia, accusata di essere stata causa dell'incidente per aver sottodimensionato il piantone dello sterzo.


title: Giorgio Stirano

text: L'inchiesta, iniziata nel 1997, vide contrapposti Stirano e Diego Milen (periti in forza alla Williams) contro Tommaso Carletti e Mauro Forghieri: la teoria avanzata dalla scuderia fu che Senna abbia cominciato la sbandata su un dosso antecedente il punto di uscita.


title: Giorgio Stirano

text: Ritornato ufficialmente in Formula Uno nel 1995, ricoprì l'incarico di Direttore Sportivo prima e poi Direttore Tecnico della Forti Corse nella sua breve avventura nel campionato più ricco: la scuderia schierava come piloti Pedro Paulo Diniz e Roberto Moreno. Per la Forti progettò la "FG01", che arrivò a conquistare con Diniz un settimo posto nel GP d'Australia, l'ultima gara che vide Stirano ai box in Formula Uno.


title: Giorgio Stirano

text: Stirano è stato dal 2002 al 2005 consulente della squadra corse Opel Euroteam (OPC Opel DTM team), gestendo le competizioni delle Opel Astra di Jeroen Bleekemolen e Laurent Aiello. Nello stesso periodo ha assistito sotto il profilo tecnico alla creazione della "Gloria", un'azienda specializzata nella costruzione di auto da corsa per campionati juniores fondata da Enrico Glorioso.


title: Giorgio Stirano

text: Nel 2006 Stirano ha fondato l'Albatech Monaco, un Atelier di design e ingegneria che fornisce consulenze nel settore automotive e dell nautica.


title: Giorgio Stirano

text: È stato dirigente sportivo dell'ACI CSAI nella Sottocommissione Tecnica, presidente del Motorsport Safety Council fino al 2006, e consigliere SAE Racing per l'Italia dal 1993 al 2000.


title: Giorgio Stirano

text: Attualmente è presente come commentatore e opinionista in trasmissioni televisive sul mondo delle corse.


title: Giorgio Stirano

text: Dal 2001 è coautore dell'annuario sulla Formula 1 edito da Vallardi Editore. Nel 2003 ha curato con Michael Ling l'annuario "Formula 1 Championship 2003 Yearbook: The Complete Record of the Grand Prix Season". Nel 2006 ha pubblicato con Paolo D'Alessio e Mirco Lazzari, "Formula 1 - La cronaca e le foto più belle del campionato", curando la parte tecnica del volume. L'anno dopo ha pubblicato, sempre con D'Alessio, il libro "Red Passion" che racconta la storia di sessant'anni di corse della Ferrari. Nel 2008 ha pubblicato, ancira con D'Alessio, il libro "Gran Prix" che racconta la Formula 1 moderna.


title: Gianni Bonadonna

text: Dopo la laurea in Medicina e Chirurgia ottenuta presso l'Università Statale di Milano nel 1959, si è perfezionato negli Stati Uniti per un triennio tra il 1961 e il 1964. Al suo rientro in Italia è stato assunto all'Istituto Nazionale dei Tumori, dove ha svolto il resto della sua carriera.


title: Episodi di Medium (sesta stagione)

text: La sesta stagione di "Medium" è andata in onda dal 25 settembre 2009 al 21 maggio 2010 sul network americano CBS. In Italia la prima stagione è stata trasmessa in prima visione, dal 3 febbraio 2011 al 7 aprile 2011, su Rai 3.


title: Sirio Giametta

text: "Sirio Giametta" nasce a Frattamaggiore il 13 luglio 1912 da Gennaro, pittore di stampo decorativo, e da Annunziata Vitale. Ancora bambino collabora con il padre nella decorazione di complessi edilizi pubblici e privati. A 15 anni vince il premio per il miglior dipinto alla mostra romana dell'Opera Nazionale Balilla. Intanto studia al Liceo artistico e frequenta la scuola serale di nudo all'Accademia di Napoli dove è discepolo del ritrattista De Nicola e dello scultore Pasquale Monaco. Nel capoluogo partenopeo comincia ad interessarsi anche di architettura e a frequentare lo studio dell'architetto Samarica, dove ha modo di incontrare alcuni artisti napoletani del tempo, da Eduardo Giordano a Roberto Scielzo e Celestino Petrone. Nonostante queste esperienze però, al momento di scegliere la facoltà universitaria si orienta verso l'architettura.


title: Ephemeris Belli Troiani

text: Ephemeris Belli Troiani (traduzione latina da un originale greco tradotto a sua volta dal fenicio), noto col titolo italiano di "Efemeridi della guerra di Troia" o "Diario della guerra di Troia", o semplicemente "Bellum Troianum", è un libro scritto da un presunto autore di nome Ditti Cretese, possibile compagno dell'eroe mitologico Idomeneo, uno dei molti partecipi dell'assedio a Troia.


title: Le bourru bienfaisant

text: Le bourru bienfaisant (it. Il burbero benefico) è una commedia in tre atti di Carlo Goldoni scritta in francese e rappresentata a Parigi il 4 novembre 1771.


title: Paola Palma

text: Il suo maggior successo è da autrice, insieme a Massimo Luca, del brano Senza te o con te che vinse il Festival di Sanremo 1998 (sia nella sezione "Giovani" che in assoluto), cantato da Annalisa Minetti, e del brano jazz Amami per sempre presentato all'edizione 2007 del Festival dalla jazzista Amalia Gré, che nella serata dei duetti si esibì con Mario Biondi.


title: Benelli Tre 1130 K

text: La Benelli Tre 1130 K è una motocicletta prodotto a partire dal 2006 al 2017 dalla casa motociclistica italiana Benelli.


title: Famiglia di Milwaukee

text: La famiglia di Milwaukee o famiglia Balistreri è una famiglia mafiosa con sede a Milwaukee, nel Wisconsin. Viene considerata un ramo della Chicago Outfit.


title: Programma di Tolomei

text: Il programma di Tolomei (ufficialmente chiamato "Provvedimenti per l'Alto Adige") fu reso pubblico il 15 luglio 1923, nel Teatro civico di Bolzano, da Ettore Tolomei stesso, con l'avallo del regime fascista.


title: Lorenzo Gasparri

text: Nato a Napoli nel 1894 figlio di Augusto, ufficiale di artiglieria, e di Zoe Garabi, sposato con una signora belga, Marcelle Docquier, e padre di sei figli. Nel 1914 uscì dall'Accademia Navale di Livorno con il grado di guardiamarina.


title: Stazione di Gallese in Teverina

text: La stazione di Gallese in Teverina è una fermata ferroviaria posta sulla linea Firenze–Roma, a servizio del comune di Gallese. Porta questo nome per distinguerla dalla stazione di Gallese-Bassanello, posta sulla linea Civitavecchia–Orte, chiusa nel 1994. Nel 2019, contestualmente all'attivazione dell'ACCM, è stata trasformata in fermata impresenziata.


title: Benjamin de Jager

text: Nativo di Città del Capo, all'età di 7 anni iniziò a praticare diversi sport: rugby, cricket, tennis, atletica leggera; poi, nel 1999, a 19 anni, si recò in vacanza in Italia a trovare la sorella che viveva a Vibo Marina, iniziando ad allenarsi con l'. Dopo qualche giorno il club lo mise sotto contratto e dopo tre anni venne nominato capitano. Rimase otto stagioni a Catania, centrando due promozioni dalla serie B al Super 10, la massima divisione, passando per la serie A. Nel Super 10 2004-2005 fu protagonista della cavalcata che portò i biancorossi ai play-off scudetto.


title: Gianni Bonadonna

text: Gli viene riconosciuto il merito di aver scoperto la cura contro il linfoma di Hodgkin e modificato le terapie contro il cancro, con l'uso della chemioterapia audiuvante nel carcinoma mammario.


title: Episodi di Medium (sesta stagione)

text: Allison si sveglia dopo 3 mesi di coma. Anche se è in buona forma, una parte del suo corpo è paralizzata.


title: Sirio Giametta

text: Si iscrive alla facoltà di Architettura di Napoli, laureandosi nel 1936. Verso la fine degli anni trenta, con il concorso per la torre del Partito Nazionale Fascista e per il teatro Mediterraneo alla Mostra d'Oltremare del 1939 manifesta alcune soluzioni architettoniche desunte dalla lezione del Samonà, di cui era stato assistente per pochi mesi, dalla fine del 1936 all'aprile dell'1937. Prima aiuto di Composizione architettonica con Alberto Calza Bini, poi aiuto di Urbanistica con Luigi Piccinato, di Arredamento Decorazione e Architettura d'interni con Mario De Renzi e di Disegno dal vero con G.B. Ceas, nel 1944 è chiamato ad insegnare Storia degli insediamenti urbani presso l'Istituto superiore di Sociologia. Nel frattempo, nel 1940, vince insieme con i colleghi Canalini, Greco e Pallottini il Premio Reale di architettura dell'Accademia di San Luca per il progetto del teatro sperimentale di prosa di Roma.


title: Ephemeris Belli Troiani

text: Il manoscritto più antico riguardante ancor oggi conservato è contenuto nel Codex Æsinas, "Codice Esinate". Manoscritto del IX secolo prodotto dall'Abbazia di Hersfeld, proveniente dalla biblioteca dei conti Baldeschi-Balleani di Jesi e oggi conservato nella Biblioteca Nazionale Centrale di Roma.


title: Le bourru bienfaisant

text: L'opera ebbe due traduzioni in italiano: la prima nel 1772 ad opera di Pietro Condoni con il titolo "Il burbero benefico", mentre la seconda fu tradotta dallo stesso Goldoni nel 1789 col titolo "Il burbero di buon cuore".


title: Paola Palma

text: Palma è autrice di molti dei testi del primo album di Annalisa Minetti, Treno blu, che in Italia vende copie dopo una sola settimana e che conquista il disco d'oro; ha inoltre scritto per molti altri artisti, tra cui Paolo Meneguzzi e Alexia.


title: Benelli Tre 1130 K

text: A spingere la moto c'è un motore dalla cilindrata di 1131 cm³ con architettura a tre cilindri in linea raffreddato a liquido che sviluppa una potenza massima di 92 kW (125 CV) e una coppia di 112 Nm a 5000 giri/min. I pistoni hanno un alesaggio di 88 mm e una corsa di 62 mm, con un rapporto di compressione di 11,6:1. La testata ha due alberi a camme in testa azionati da catena, che muovono quattro valvole per cilindro, due di aspirazione e due di scarico.


title: Famiglia di Milwaukee

text: Il suo capo più influente era Frank Balistreri, che era coinvolto nella "scrematura" dei casinò di Las Vegas.


title: Programma di Tolomei

text: Il programma nazionalista del Tolomei che andava sotto il titolo "Provvedimenti per l'Alto Adige", nella stesura delle quali fu coadiuvato, su diretto incarico del Gran Consiglio del Fascismo, dal fervente antisemita Giovanni Preziosi, prevedeva l'assimilazione e l'italianizzazione dell'Alto Adige, abitato allora per oltre il 90% da persone di lingua tedesca e annesso all'Italia nel 1919 dopo la sconfitta dell'Austria-Ungheria nella prima guerra mondiale.


title: Lorenzo Gasparri

text: Durante la prima guerra mondiale fu direttore di tiro a bordo dell'incrociatore corazzato "San Giorgio", partecipando alla Battaglia di Durazzo e meritando una medaglia d'argento al Valor Militare nell'ottobre 1918.


title: Benjamin de Jager

text: Nel 2005 venne selezionato dal C.T. Marco Gabrielli nella rosa della nazionale italiana di rugby a 7 che prese parte alla Coppa del Mondo, dove fu protagonista nella vittoria del Plate contro il marcando una meta decisiva. Fece parte del gruppo di giocatori della nazionale 7s per circa un decennio, ricoprendone anche il ruolo di capitano.


title: Gianni Bonadonna

text: Le sue ricerche di maggior rilievo comprendono le prime valutazioni cliniche sull'efficacia dell'adriamicina, della bleomicina e dell'epirubicina.


title: Episodi di Medium (sesta stagione)

text: Joe, per starle vicino in questi mesi, è costretto a licenziarsi. Allison chiede a Devalos di poter tornare a lavorare.


title: Sirio Giametta

text: Negli anni successivi progetta su incarico di Padre Pio, l'ospedale Casa Sollievo della Sofferenza di San Giovanni Rotondo, e poi la clinica Mediterranea di Napoli, gli ospedali «Pausillipon» e «Santobono» della stessa città, l'ospedale di Nola. Suoi sono anche i rifacimenti dell'ospedale Psichiatrico civile Santa Maria Maddalena di Aversa, degli ospedali di Gragnano e Frattamaggiore.


title: Ephemeris Belli Troiani

text: La "Ephemeris Belli Troiani" è suddivisa in sei libri, ciascuno dei quali contenente un totale di circa trenta capitoli.


title: Le bourru bienfaisant

text: Il burbero Geronte decide di dare in moglie la giovane nipote Angelica all'amico Dorval, con cui è solito giocare a scacchi.


title: Paola Palma

text: Dal 2008 collabora nel gruppo di lavoro dell'architetto Salvador Perez Arroyo come consulente specialistico partecipando al progetto di realizzazione del teatro Il Maggiore di Verbania. Dal 2014 è consigliere nazionale di A.F.I. Associazione Fonografici Italiani.


title: Benelli Tre 1130 K

text: L'alimentazione è affidata a un sistema a iniezione elettronica multipoint, coadiuvato da valvole a farfalla da 53 mm.


title: Famiglia di Milwaukee

text: La famiglia oggi è quasi estinta e Frank Balistreri è morto nel 1993, lasciando alla Chicago Outfit il controllo di alcuni racket della zona.


title: Programma di Tolomei

text: Si doveva abolire la denominazione geografica di Tirolo, ipotizzando la nuova denominazione regionale di ""Venezia Tridentina"" e istituendo come denominazioni subregionali quelle di Trentino e Alto Adige e da un punto di vista amministrativo la sola provincia di Trento per garantire un maggior accentramento amministrativo. Nel 1928 Tolomei prese atto come fossero effettivamente entrate nell'uso le denominazioni di Trentino e di Alto Adige e come alla provincia di Trento si fosse affiancata nel 1926 la nuova provincia di Bolzano.


title: Lorenzo Gasparri

text: Tra il 1927 ed il 1928 fu comandante del distaccamento italiano presso la concessione di Tientsin in Cina. Nel 1930 membro della commissione permanente di artiglieria navale.


title: Benjamin de Jager

text: Nel giugno 2006 venne convocato dal C.T. Pierre Berbizier nel gruppo della nazionale italiana di rugby a 15 che prese parte al tour estivo, esordendo l'11 giugno nel "test match" – Italia, segnando una meta. L'incontro fu la sua prima ed anche ultima partita in azzurro.


title: Gianni Bonadonna

text: Ha ricevuto numerose onorificenze, nazionali ed internazionali, tra cui la laurea "honoris causa" in medicina dall'Università di Torino nel 2004. Dal 2007 l'American Society of Clinical Oncology (ASCO) gli intitola un premio, il "Gianni Bonadonna Breast Cancer Award and lecture".


title: Episodi di Medium (sesta stagione)

text: Un ricco imprenditore, intanto, chiede aiuto al procuratore, a causa di un maniaco che segue e riprende sua moglie. I poteri di Allison cominciano a riaffiorare, svelando così che la morte dell'imprenditore, in un primo momento attribuita al maniaco, è in realtà opera della moglie, che intrattiene una relazione con il suo presunto stalker.


title: Sirio Giametta

text: Portano la sua firma i progetti per la Capitaneria di Porto, il palazzo del Catasto ed alcuni Istituti scolastici di Napoli e della provincia, numerosi edifici residenziali a Barcellona, Castellamare di Stabia, Nola, Caserta, Cosenza, Frattamaggiore, Afragola, Agerola, Melito, Scisciano, Aversa, Vico Equense, Ascea, Amalfi, Grumo Nevano, Succivo e Caracas. Progetta anche alcune chiese della Campania, tra cui la chiesa dei Padri Vocazionisti di via Manzoni a Napoli, la chiesa parrocchiale alla Doganella, la Parrocchiale di San Gregorio Matese e quella di San Felice a Cancello.Presente nell'architettura alberghiera progettando negli anni 50 l'avveniristico Hotel Cristallo in Vico Equense e negli anni 60 l'Hotel dei Congressi in Castellammare di Stabia, entrambi commissionati dal comm. Rossano.Degno di nota il muro di cinta megalitico dell'accademia aeronautica di Pozzuoli Nel campo dell'architettura funeraria firma diverse cappelle gentilizie soprattutto a Frattamaggiore e ad Afragola. Suo è anche il progetto della cappella gentilizia del Presidente della Repubblica Giovanni Leone nel cimitero di Poggioreale. Forte della giovanile esperienza di docente di Decorazione e architetto d'interni collabora anche all'allestimento di numerosi negozi napoletani e a quello di alcuni piroscafi e navi di società napoletane e genovesi. Cura le scenografie della Prima Piedigrottissima e del Terzo Festival della canzone napoletana al Teatro Mediterraneo di Napoli.


title: Ephemeris Belli Troiani

text: Dopo la morte di Catreo, re di Creta e figlio di Minosse, i principi achei si riuniscono per dividerne l'eredità, ospitati dai parenti di Europaː in quel frangente Alessandro, figlio del re di Troia, Priamo, giunto a Creta, rapisce Elena, moglie di Menelao, nipote del defunto re cretese. Per recuperare Elena, viene istituita un'ambasceria decisa dai principi riuniti a Sparta, mentre Alessandro, ancora in viaggio, dopo essersi fermato a Sidone, uccide a tradimento il re Fenice che lo aveva ospitato, derubandolo delle sue ricchezze. Dopo che l'ambasceria è fallita e i due amanti giungono a Troia, Priamo ed Ecuba prendono le difese di Elena, che dichiara di non voler più tornare a Sparta. A quel punto, stante anche il fatto che gli ambasciatori riescono a scampare a un agguato grazie ad Antenore, la guerra per riavere la regina di Sparta è inevitabile e Ditti relaziona ampiamente sui contingenti, comandati da Agamennone di Micene e riunitisi al porto beotico di Aulide. A quel punto, poiché per partire è necessario sacrificare Ifigenia, Agamennone si rifiuta ed è esonerato dal comando, salvo essere reintegrato quando la dea Diana, con un prodigio, mostra di essersi placata e rifiutare il sacrificio umano .


title: Le bourru bienfaisant

text: Dorval, all'inizio titubante, accetta ma solamente a condizione che la giovane sia consenziente. Angelica è però innamorata di Valerio, che alla fine sposerà.


title: Benelli Tre 1130 K

text: Il telaio è realizzato mediante un traliccio tubolare in acciaio con parti in fusione di alluminio. All'avantreno vi è una forcella telescopica rovesciata della Marzocchi. Il sistema frenante è composto davanti da un doppio disco da 320 mm con pinze a quattro pistoncini, mentre dietro da a


title: Programma di Tolomei

text: La toponomastica tedesca avrebbe dovuto essere resa nella forma italiana o bilingue con l'utilizzo per primo della versione italiana. Nelle città e località più importanti si sarebbe dovuto fare esclusivo uso della forma italiana, mentre per gli altri l'uso del bilinguismo e qualora non esistesse una forma italiana si sarebbe dovuto far riferimento al Prontuario dei nomi locali dell'Alto Adige, di cui lo stesso Tolomei era autore.. I nomi delle vie, rese in italiano o sostituite con denominazioni italiane, avrebbero dovuto essere bilingui.


title: Lorenzo Gasparri

text: Nel 1934 fu responsabile della corazzata "Giulio Cesare", in armamento ridotto, e frequentò l'Istituto di Guerra Marittima e partecipò quindi alla campagna in Africa Orientale nel 1935-36 comandante dell'incrociatore "Taranto".


title: Benjamin de Jager

text: Nel 2007 lasciò Catania per andare a giocare al ; disputò cinque stagioni a Treviso, la 2008-09 da capitano, tra campionato italiano e Pro12, vincendo: due scudetti (2008-09, 2009-10), una Coppa Italia e una Supercoppa d'Italia.


title: Episodi di Medium (sesta stagione)

text: Dopo la morte di una persona cara a Devalos, figlia della sua governante, si scopre che la ragazza è stata uccisa dal suo amante.


title: Sirio Giametta

text: Nel 1964, da Presidente nazionale del Centro Italiano di Arte, Cultura e Spettacolo, organizza la Prima Mostra di Scenografia contemporanea con la partecipazione di 19 nazioni. È autore di alcune monografie, tra cui La pittura vascolare greca in Italia; Gli archi di trionfo di Roma nel mondo; La pianta centrale di Roma attraverso i secoli; Storia degli insediamenti urbanistici attraverso i secoli, e di alcuni importanti saggi sulle riviste Fuidoro e Gioventù in marcia. Benché esercitata in tono minore, la pittura è l'altro grande amore del Giametta che ha al suo attivo due personali: una, di più antica data, alla Galleria romana "Valadier 71", l'altra al Circolo Nazionale di Caserta nella seconda metà di giugno del 1994, quest'ultima con presentazione a stampa di Mario Pomicio, Renato Civello e Max Vayro. Suole donare le sue opere ad amici e parenti trattenendo per sé solo qualche tela, e rifiutando di partecipare a Mostre.


title: Ephemeris Belli Troiani

text: Giunti sulle coste della Misia, gli Achei combattono contro il re Telefo e suo fratello Teutrante, che viene ucciso da Aiace, mentre Telefo viene gravemente ferito da Achilleː dopo una tregua e la visita dei fratellastri Tlepolemo, Fidippo e Antifo, nonché la visita di Aiace ed Achille, Telefo viene risanato dal medico Macaone e, per gratitudine, offre informazioni agli Achei, che, tuttavia, sono costretti a tornare in Grecia per la cattiva stagione. Con l'arrivo della primavera, la spedizione salpa sotto la guida di Telefo e sbarca a Troia, dove viene ucciso Protesilao nel primo combattimento e Achille uccide Cicno, alleato dei Troiani. Intanto, durante un sacrificio ad Apollo Sminteo, Alessandro attacca i greci e in quel frangente Filottete, morso da un serpente, viene inviato a guarire a Lemnoː tuttavia, Palamede viene ucciso con un inganno dagli invidiosi Ulisse e Diomede. Proseguono, intanto, le devastazioni del territorio ad opera soprattutto di Achille ed Aiace che, anzi, prende prigioniera Tecmessa, figlia del sovrano di Frigia; in realtà, un ultimo tentativo diplomatico, sebbene infruttuoso, per riprendere Elena viene compiuto da Menelao ed Ulisse. In questo frangente, il re Crise cerca, con un riscatto, di riottenere la figlia Astinome, presa in precedenza prigioniera durante una scorreria, ricevendone un duro rifiuto da Agamennone, il che scatena un'aspra lite tra lui e Achille, al quale prende Ippodamia in cambio di Astinome. A quel punto il Pelide, offeso, si ritira dalla guerra. Durante un'ennesima battaglia, Alessandro, intanto, viene costretto dal fratello Deifobo a sfidare in duello Menelao, rischiando la vita. Dopo alterne vicende, che vedono gli Achei quasi distrutti, Achille si lascia convincere e torna in campo.


title: Programma di Tolomei

text: Fu proposto, in maniera facoltativa di reitalianizzare ""tutti i cognomi germanizzati"" per riportarli ""alla forma originaria"", anche se a distanza di alcuni anni Tolomei ammise: ""L'applicazione delle norme è stata fatta un po' troppo burocraticamente, senza la cooperazione degli enti scientifici meglio adatti ad assicurare la perfetta rispondenza alle ragioni storiche e linguistiche. Da ciò non pochi errori"."


title: Lorenzo Gasparri

text: Divenuto capitano di vascello, passò al comando della 1ª Flottiglia Cacciatorpediniere e dal 1º luglio 1938 all'8 gennaio 1940 ebbe il comando della corazzata "Conte di Cavour".


title: Benjamin de Jager

text: Durante l'estate 2012 siglò un accordo per le stagioni successive con la squadra campione d'Italia del , con cui rimase quattro anni vincendo altri due titoli italiani nel 2013-14 e 2014-15. Coi calvini giocò spesso ad estremo, ricoprendo saltuariamente i gradi di capitano.


title: Episodi di Medium (sesta stagione)

text: Allison nota il comportamento curioso della figlia maggiore e scopre attraverso i suoi sogni, che lo spirito della ragazza ha preso il controllo del corpo di Ariel, per vendicarsi del suo assassino.


title: Ephemeris Belli Troiani

text: Durante un sacrificio, inoltre, Achille vede Polissena e, innamoratosene, ne chiede la mano ad Ettore, che gliela rifiuta se l'esercito greco non si arrenderà, scatenando l'ira dell'eroe tessalo. Quando, infatti, Ettore corre in soccorso degli alleati minacciati da Aiace e per salvare il corpo di Sarpedonte ucciso da Patroclo, il principe troiano riesce ad uccidere Patrocloː Achille, inconsolabile, duella con Ettore e fa feroce scempio del suo cadavere, dopo averlo ucciso senza pietà. Solo la supplica di Priamo, Polissena ed Andromaca, giunti a chiedere la restituzione del cadavere di Ettore, calmano Achille.


title: Programma di Tolomei

text: A ciò dovevano accompagnarsi misure come il trasferimento del monumento al poeta Walther von der Vogelweide, che si trovava nella piazza principale di Bolzano, nel giardino del museo e la sostituzione della stessa con una copia del monumento dedicato al generale romano Nerone Claudio Druso Germanico che era stato protagonista della campagna militare romana contro la Rezia.


title: Lorenzo Gasparri

text: In seguito divenne capo del Servizio Artiglierie dell'Ispettorato Armi e Armamenti Navali della Marina.


title: Benjamin de Jager

text: Al termine del campionato 2015-16 annunciò il suo ritiro dall'attività agonistica, salvo poi ripensarci ed accasarsi per la stagione successiva in serie A al agli ordini dell'allenatore Craig Green.


title: Episodi di Medium (sesta stagione)

text: Allison fa un sogno che la turba molto: durante il coma è stata per morire e ciò sarebbe successo se non fosse stato per l'intervento di un medico. Quello stesso medico però sembra sia coinvolto nella morte di una sua cara amica da tempo ammalata di tumore e ricoverata in ospedale. In quel ospedale sembra che ultimamente accadano cose strane...


title: Ephemeris Belli Troiani

text: Dopo le esequie di Ettore, la nuova alleata di Troia, Pentesilea, viene annientata dall'attacco combinato di Aiace e, infine, uccisa da Achille, che, comunque, non riesce ad evitare che gli Achei, capeggiati da Diomede, ne oltraggino il cadavere per vendetta. Stessa sorte tocca al re degli Etiopi, Memnone, ucciso da Achille dopo aspri scontri in cui cade, tra gli altri, Antiloco, figlio di Nestore. Durante una tregua, però, Priamo decide di dare in sposa Polissena ad Achilleː si tratta, però, di un tranello, in cui Achille cade, ucciso a tradimento da Alessandro e Deifobo, e solo a fatica Ulisse ed Aiace, che seguivano il Pelide, riescono a recuperarne il corpo. Intanto, le sorti dei Troiani sembrano risollevarsi con l'arrivo di Euripilo, figlio di Telefo, chiamato da Priamo con la promessa di sposarne la figlia Cassandra; gli Achei, di contro, tornano a sperare con l'arrivo di Neottolemo, figlio di Achille, che dichiara che non avrà pace finché non conquisterà Troiaː lo scontro è inevitabile e Neottolemo ha la meglio. Ancora, i Greci riescono a catturare l'indovino Eleno, figlio di Priamo, che rivela loro le condizioni per la caduta di Troia, mentre Filottete, da tempo ristabilito, uccide Alessandro in duello, mentre Deifobo riceve in moglie Elena. Nel frattempo, Antenore, inviato per stipulare una tregua con gli Achei, inizia ad ordire il suo tradimento.


title: Programma di Tolomei

text: Anche la stampa doveva essere italianizzata, censurandosi o vietando i giornali di lingua tedesca (chiusero importanti testate come il "Bozner Nachrichten" e il "Bozner Zeitung)". Nel 1926 vide la luce il quotidiano in lingua tedesca "Alpenzeitung", di ispirazione fascista, mentre il quotidiano "Der Tiroler", in ossequio alla disposizione che vietava l'uso della denominazione Tirolo, assunse il nuovo nome di "Der Landsmann", che nel 1926 divenne "Dolomiten". Ai quotidiani in lingua tedesca fu poi affiancata la "Provincia di Bolzano" in lingua italiana, sotto la direzione di Alfredo Giarratana ed espressione del PNF locale.


title: Lorenzo Gasparri

text: Nel luglio 1941 fu promosso contrammiraglio e, dal 16 settembre 1942 divenne comandante del Gruppo Cacciatorpediniere di Squadra, distinguendosi nella scorta ai convogli diretti in Libia.


title: Benjamin de Jager

text: Nel febbraio 2018 de Jager tornò all'attività firmando un accordo con l' per la seconda parte della stagione di serie B.


title: Episodi di Medium (sesta stagione)

text: Allison fa un sogno su una rapina e scopre che la vittima è un suo compagno di terapia riabilitativa. A Phoenix ritorna ad uccidere un serial killer che undici anni prima ammazzava delle donne e incideva sulla fronte delle stesse il simbolo della bilancia. Intanto la nostra medium, con l'aiuto di Scanlon, riesce a fare arrestare il rapinatore del suo compagno di terapie, ma scopre qualcosa di inquietante e inimmaginabile...


title: Ephemeris Belli Troiani

text: Antenore ed Enea, infatti, passano segretamente al nemico, tanto che Antenore ruba il Palladio, talismano per la città, che consegna agli Achei. Su consiglio di Eleno, passato con Neottolemo, i greci iniziano la costruzione di un gigantesco cavallo di legno, introdotto in Troia, dal quale escono principi scelti, che aprono le porte, iniziando un terribile massacro. Enea, scampato alla distruzione come Antenore, secondo i patti, è costretto da quest'ultimo a espatriare e si rifugia a Corcira.I ritorni dei greci, intanto, sono disastrosi, a partire da un gigantesco naufragio a Capo Cafereo, provocato dal re Nauplio, che in tal modo si vendica sugli Achei per il proditorio assassinio di suo figlio Palamede, il cui fratello Eace riesce a mettere contro Diomede ed Agamennone le rispettive mogli. Dopo l'assassinio di Agamennone e la vendetta di Oreste, quest'ultimo, grazie a Idomeneo, capo di Ditti, fa pace con Menelao e viene assolto dal matricidio. Sempre a Creta, giunge Ulisse, che, raccontate a Idomeneo le sue sventure, ne riceve due navi per poter tornare a Itaca e riprendersi il trono. Nel frattempo, Neottolemo uccide Acasto, che aveva spodestato suo nonno Peleo, ma viene assassinato a tradimento a Delfi su istigazione di Oreste, che ne rapisce la moglie Ermione. Infine, anche Ulisse muore tragicamente, ucciso, senza saperlo, dal figlio Telegono giunto a cercarlo da lontano.


title: Programma di Tolomei

text: Per sottrarre il controllo dell'economia ai tedescofoni, tutte le banche di lingua tedesca dovevano essere soppresse. Per permettere l'arrivo di coloni di lingua italiana anche la legge sul maso chiuso andava abolita.


title: Lorenzo Gasparri

text: Il 3 gennaio 1943 fu promosso ammiraglio di divisione, ma il 28 marzo successivo morì a Napoli investito dall'esplosione della motonave "Caterina Costa", mentre tentava di allontanare delle bettoline cariche di munizioni dalla nave in fiamme.


title: Episodi di Medium (sesta stagione)

text: Un bambino di nome Braais, secondo i suoi genitori, è stato rapito dalla sua baby sitter. Il pianto del piccolo ossessiona Allison giorno e notte; grazie al quel pianto ossessivo Braais viene ritrovato dalla signora Dubouis. Però Allison, per seguire il suo istinto materno, rapisce il piccolo e viene arrestata. Come al solito tutto avrà un senso.


title: Programma di Tolomei

text: L'amministrazione pubblica doveva essere in mani italiane con la nomina dei segretari comunali direttamente da Roma in modo che questi, conoscendo le leggi italiane, potessero meglio raccordarsi con il prefetto di Bolzano. Quando in seguito fu istituita la figura del podestà, Tolomei suggerì il loro rapido insediamento in tutti i comuni dell'Alto Adige dato che ""di più si sarebbe ottenuto e di più si otterrebbe se effettivamente avessimo un podestà italiano, devoto al programma dell'assimilazione, ed un segretario statale, in ciascuno dei duecento comuni atesini"".


title: Lorenzo Gasparri

text: Fu decorato con medaglia d'oro al valor militare, alla memoria; successivamente alla sua scomparsa fu insignito di un'altra medaglia d'argento.


title: Episodi di Medium (sesta stagione)

text: Allison sogna alcuni zombi che l'inseguono, la mordono e la graffiano. Al suo risveglio si ritrova con delle vere ferite sul suo corpo. I medici non riescono a dare una spiegazione plausibile. Un impresario di pompe funebri, intanto, viene trovato morto vicino alla tomba della moglie. Le ferite di Allison sono legate a quella morte.


title: Programma di Tolomei

text: Nella nuova provincia secondo Tolomei si sarebbe dovuto insediare un forte contingente di Carabinieri, superiore a quello delle altre provincie italiane anche per favorire la penetrazione nazionale. I carabinieri, necessariamente tutti italiani sarebbero preferibilmente dovuti arrivare dalla Lombardia, dal Trentino e dal Veneto in cui maggiormente era conosciuta la lingua tedesca, quindi ""non carabinieri tedeschi istruiti nell'italiano, come ha voluto l'amministrazione precedente, ma carabinieri italiani istruiti nel tedesco e negli usi locali"".


title: Episodi di Medium (sesta stagione)

text: Allison ha appena noleggiato una macchina perché la sua è rimasta coinvolta in un incidente. Grazie ai suoi sogni è convinta che un artificiere sia coinvolto in una rapina a una banca. Né il procuratore né Scanlon sono d'accordo con lei. Come al solito...