La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] che il modello minimale non è unico, anche se lo è a meno di trasformazioni birazionali dette flops. L'ultimo passo del programma, l'esistenza dei flips, è compiuto da Mori in questo anno. Per tale lavoro, e per la soluzione di una congettura di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] dei metalli di transizione.
Lo sfruttamento di sorgenti di calore terrestre. è guardato con rinnovato interesse e secondo programmi strettamente industriali, specialmente da parte di Stati che, come l'Islanda e la Nuova Zelanda, hanno numerose fonti ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input e output desiderate. La logica di Hoare è alla base dell ...
Leggi Tutto
docking molecolare
Mauro Capocci
Tecnica computazionale che permette lo studio dell’interazione tra due molecole. Viene utilizzata, in particolare, per studiare l’interazione delle proteine con altre [...] , in anni recenti, sviluppare grandi database (per es., il Protein data bank) e algoritmi e talvolta linguaggi di programmazione adatti per la ricerca rapida nei database. Nell’ambito delle bioscienze, le proteine sono di gran lunga le molecole più ...
Leggi Tutto
atopia
Andrea Matucci
Termine coniato nel 1923 da Arthur F. Coca e Robert Cooke per designare un gruppo di affezioni caratterizzate da sensibilizzazione nei confronti di sostanze (allergeni) comunemente [...] microbica dei bambini, è opportuno ricordare che essa rappresenta un fenomeno chiave nell’influenzare la programmazione del sistema immunitario. I fattori climatici e le modificazioni conseguenti all’inquinamento atmosferico, attualmente vengono ...
Leggi Tutto
Composto chimico di formula H2O, assai diffuso in natura nei suoi tre stati d’aggregazione: solido, liquido e aeriforme. Nel linguaggio corrente s’intende in genere l’a. allo stato liquido.
Per la sua [...] e gestione di opere idrauliche di qualsiasi natura; le funzioni di polizia idraulica e di pronto intervento; la programmazione, pianificazione e gestione integrata degli interventi di difesa delle coste e degli abitati costieri; le funzioni relative ...
Leggi Tutto
Ampio tratto di terreno, generalmente boscoso e spesso recintato, destinato a usi particolari, oppure terreno di una certa estensione piantato ad alberi ornamentali, con vaste zone a prato o a giardino, [...] in una fascia con attività agricole, pastorali e forestali controllate, e un anello periferico con più ampia programmazione socioeconomica. Tali tipi di p. naturali regionali venivano esclusi, nella conferenza internazionale di Delhi (1969), dal ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] standardizzata di Lisp implementata su molti calcolatori; Common lisp object system (CLOS), una versione di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema di Post. Nel 1944, il logico americano Emil Post pose il problema di ...
Leggi Tutto
ARNAUDI, Carlo
Vittorio Treccani
Nato a Torino il 23 maggio 1899 da Carlo Angelo e Marianna Dalmazzone, giovanissimo partecipò come ufficiale degli alpini alla prima guerra mondiale conquistando due [...] per le scienze agrarie del CNR si impegnò per favorire una politica della ricerca che consentisse una programmazione pluriennale e l'utilizzazione razionale di laboratori, istituti e stazioni sperimentali già esistenti. Preside della facoltà di ...
Leggi Tutto
(App. IV, i, p. 279; V, i, p. 366; v. chimica biologica, X, p. 110; App. II, i, p. 578)
La b. ha una posizione centrale nelle scienze della vita per i contenuti tematici, per le strategie sperimentali [...] metropoli) e richiede precisi meccanismi di regolazione al fine di evitare disordine, come intasamenti o blocchi non programmati. Il controllo metabolico, se manteniamo l'analogia con il traffico urbano, implica sistemi di scorrimento preferenziali e ...
Leggi Tutto
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...