La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] Riesz-Thorin, degli anni Trenta, in cui si dimostra che un funzionale T lineare e continuo sia da Lp0 in Lq0 sia da Lp1 in Lq1, è anche est di quella in cui si trova ancora Lander 1; il programma di osservazioni è simile a quello di Viking 1 e la ...
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 [...] v)≥α∥v∥2 ‒ se K⊂V è convesso non vuoto, e v→(f,v) una forma lineare continua su V, allora esiste un unico u∈K tale che a(u,v−u)≥(f,u−v per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra ...
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 [...] di trietilalluminio. Il polimero è caratterizzato da una struttura più lineare, da una più alta densità e da una più object system (CLOS), una versione di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema di Post. Nel 1944, ...
Leggi Tutto
Atmosfera. Lo strato limite
Stefania Argentini
Gian Giuseppe Mastrantonio
Si definisce strato limite atmosferico (SLA) o strato limite planetario (SLP) la parte della troposfera direttamente influenzata [...] SLA non è l'unico requisito da scegliere nella programmazione di una campagna di misura. È necessario avere una termometri a resistenza hanno invece una relazione resistenza-temperatura lineare; per questo sono frequentemente usati sia per misurare ...
Leggi Tutto
Michele Colacino
Clima
SOS: si sciolgono i ghiacci del Polo
L'effetto serra nell'anno 2000
di Michele Colacino
24 marzo, 19 agosto
Il 24 marzo i quotidiani riportano che un gigantesco iceberg d'area pari [...] l'effetto prima considerato. La crescita, tuttavia, non è lineare e al trend positivo si sovrappone una oscillazione di periodo l'impegno più rilevante dovrebbe consistere nello sviluppo di programmi nazionali di ricerca sul clima, con l'obiettivo di ...
Leggi Tutto
Energia
Sergio Carrà
L’energia si identifica con la capacità di compiere il lavoro richiesto per modificare lo stato di un sistema fisico. Esistono diverse forme di energia che traggono origine da particolari [...] coinvolgono molti parametri connessi fra di loro in modo non lineare. Infatti solo nei Paesi in via di sviluppo quali la incombere dell’effetto serra, permangono delle incertezze sulla sua programmazione. Infine, non si può ignorare che fra le diverse ...
Leggi Tutto
grafo
grafo [Der. del gr. grápho "scrivere"] [ALG] Configurazione (propr. g. lineare o singramma) formata da un insieme di punti, detti vertici o nodi del g., e di linee, dette lati o spigoli del g., [...] strumento di analisi in vari campi delle scienze applicate, quali la chimica, la meccanica statistica, l'organizzazione e la programmazione industriale, la teoria economica dei trasporti, i controlli automatici, ecc. Nei casi più semplici l'uso dei g ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] anche usata per indicare il coefficiente di dilatazione termica lineare.
In fisica subnucleare, Λ è il simbolo di di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono basati ...
Leggi Tutto
REATTORE NUCLEARE (App. III, 11, p. 583; v. pila atomica, App. II, 11, p. 548)
Carlo Salvetti
Gabriele Testa
Data l'enorme rilevanza che ha acquisito in questi ultimi anni la produzione di energia elettrica [...] diminuire le proprietà meccaniche dello zircaloy-4. La potenza lineare massima per unità di lunghezza generata dalle barre di la dimostrazione della fattibilità scientifica del r. a fusione. Il programma degli SUA, per es., è il più avanzato e ha ...
Leggi Tutto
calcolatore
calcolatóre [Der. di calcolare "eseguire calcoli", da calcolo] [ELT] [INF] Termine, equivalente all'ingl. computer, per indicare generic., spec. nel passato, dispositivi per effettuare calcoli [...] sono disponibili metodi matematici ben definiti che ne consentono la programmazione anche su c. numerici, per quelli del secondo tipo esegue il calcolo indicato dall'espressione, e cioè la combinazione lineare di x, y₁ e y✄₁. Integrando il risultato ...
Leggi Tutto
lineare1
lineare1 agg. [dal lat. linearis]. – 1. Inerente a una linea (per lo più retta), che procede secondo una retta, o che si sviluppa prevalentemente nel senso della lunghezza: misure l., le misure di lunghezza (contrapp. alle misure...
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;...