ⓘ L'enciclopedia libera. Lo sapevi che? pagina 98



                                               

Robin Milner

Arthur John Robin Gorell Milner è stato un informatico britannico, vincitore del premio Turing nel 1991.

                                               

Marvin Minsky

Marvin Lee Minsky è stato un matematico e scienziato statunitense specializzato nel campo dellintelligenza artificiale. Fu cofondatore dell Artificial Intelligence Project presso il Massachusetts Institute of Technology di Cambridge e autore di n ...

                                               

Allen Newell

Allen Newell è stato uno psicologo, informatico e matematico statunitense. Come ricercatore è stato attivo soprattutto nel campo dellintelligenza artificiale IA e della psicologia cognitiva. Ha collaborato per molti anni con Herbert Simon firmand ...

                                               

David Patterson

David Andrew Patterson è uno scienziato statunitense. È uno dei pionieri dellarchitettura RISC e della tecnologia RAID. È coautore di cinque libri, inclusi due con John L. Hennessy, molto utiluzzati nello studio dellinformatica.

                                               

Premio Loebner

Il premio Loebner è una competizione annuale di intelligenza artificiale che premia il bot il cui comportamento è più simile al pensiero umano. La competizione è basata sullesecuzione del test di Turing. Un giudice pone delle domande ad un progra ...

                                               

Premio Marconi

Il Premio Marconi è un riconoscimento conferito annualmente dalla Marconi Society di Mountain View che premia le innovazioni nel campo della comunicazione. Il premio include 0.000 e una scultura. Coloro che ricevono il riconoscimento vengono chia ...

                                               

Michael Rabin

Michael Oser Rabin è un informatico israeliano, vincitore del Premio Turing nel 1976 per lintroduzione degli automi a stati finiti non deterministici.

                                               

Joseph Sifakis

Joseph Sifakis è un informatico greco. Fu tra i primi a contribuire alla teoria del model checking. Sifakis insieme con Edmund M. Clarke e E. Allen Emerson ha ricevuto il Premio Turing nel 2007.

                                               

Alan Turing

Alan Mathison Turing è stato un matematico, logico, crittografo e filosofo britannico, considerato uno dei padri dellinformatica e uno dei più grandi matematici del XX secolo. Il suo lavoro ebbe vasta influenza sulla nascita della disciplina dell ...

                                               

James H. Wilkinson

James Hardy Wilkinson è stato un matematico britannico, conosciuto per i suoi contributi in analisi numerica, per i quali ha ricevuto il Premio Turing nel 1970. Un anno dopo la sua morte gli è stato assegnato il Premio Chauvenet.

                                               

Maurice Wilkes

Maurice Vincent Wilkes è stato un informatico britannico, vincitore del Premio Turing nel 1967 per il progetto e la costruzione di EDSAC. In particolare, un suo articolo del 1958, dal titolo "Microprogramming" ha contribuito notevolmente alla dif ...

                                               

Martin Hellman

Martin Edward Hellman è un informatico e crittografo statunitense. È noto per gli studi sulla crittografia che ha condotto nei primi anni settanta insieme a Whitfield Diffie e Ralph Merkle. Nel 1976 ha pubblicato, insieme a loro, New Directions i ...

                                               

John L. Hennessy

John LeRoy Hennessy è un ingegnere, informatico e dirigente dazienda statunitense, fondatore della società MIPS Computer Systems Inc., è attualmente il decimo presidente della università di Stanford.

                                               

Tony Hoare

Tony Hoare è un informatico britannico. Ha trovato larga fama grazie allinvenzione, nel 1960, del quicksort, lalgoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programm ...

                                               

Cosmo

Con il termine cosmo in filosofia sintende un sistema ordinato o armonico. Lorigine della parola è il greco κόσμος che significa "ordine" in particolare quello assunto dallesercito schierato per la battaglia ed è il concetto opposto a caos. Nel l ...

                                               

Cani nel programma spaziale sovietico

Nel corso degli anni cinquanta e sessanta del XX secolo, nellambito del programma spaziale sovietico, lURSS ha utilizzato diversi cani per i voli spaziali suborbitali ed orbitali al fine di determinare se il volo nello Spazio per luomo fosse fatt ...

                                               

Satellite naturale

Si dice satellite naturale, o talvolta più impropriamente luna con liniziale in minuscolo, un qualunque corpo celeste che orbita attorno a un corpo diverso da una stella, come ad esempio un pianeta, un pianeta nano o un asteroide. Nel sistema sol ...

                                               

Titano (astronomia)

Titano è il più grande satellite naturale del pianeta Saturno ed uno dei corpi rocciosi più massicci dellintero sistema solare; supera in dimensioni il pianeta Mercurio mentre per dimensioni e massa è il secondo satellite del sistema solare dopo ...

                                               

Tritone (astronomia)

Tritone è il più grande satellite naturale di Nettuno, ed uno dei più massicci dellintero sistema solare, precisamente il settimo, dopo Titano, la Luna e i quattro satelliti medicei di Giove. Scoperto nel 1846 dallastronomo inglese William Lassel ...

                                               

Caronte (astronomia)

Caronte, o Pluto I, è il più massiccio dei cinque satelliti naturali del pianeta nano Plutone. Ha un raggio medio di 606 km, e fu scoperto nel 1978 allo United States Naval Observatory a Washington da James Christy, che analizzò alcune lastre fot ...

                                               

Vulcano (astronomia)

Vulcano è un ipotetico pianeta del sistema solare la cui orbita sarebbe interna a quella di Mercurio, ipotizzato dal matematico Urbain Le Verrier nel 1859 per spiegare alcune anomalie del moto di Mercurio.

                                               

Urano (astronomia)

Urano è il settimo pianeta del sistema solare in ordine di distanza dal Sole, il terzo per diametro e il quarto per massa. Il suo simbolo astronomico Unicode è U+26E2. Porta il nome del dio greco del cielo Urano, padre di Crono, a sua volta padre ...

                                               

Pianeti ipotetici

Un pianeta ipotetico è un pianeta o corpo planetario la cui esistenza è o è stata ritenuta possibile, ma non vi sono prove al riguardo. Vi sono diversi pianeti la cui esistenza non è oggi sostenuta da dati o teorie scientifiche. Non di meno, vi s ...

                                               

Chioma (astronomia)

La chioma di una cometa è unatmosfera temporanea che si forma in vicinanza del passaggio al perielio per effetto dellazione della radiazione solare, in seguito alla sublimazione delle sostanze volatili presenti sulla superficie del nucleo cometar ...

                                               

Caladan

Caladan è un pianeta immaginario presente nei libri del Ciclo di Dune dello scrittore Frank Herbert. Si tratta del terzo pianeta del sistema di Delta Pavonis, dove ebbe origine la Casa Atreides. Venti furono le generazioni degli Atreides che lo d ...

                                               

Krypton

Krypton è un pianeta immaginario, creato nei fumetti di Superman come pianeta dorigine del supereroe inventato nel 1938 da Jerry Siegel e Joe Shuster. Lidentità kryptoniana di Superman è Kal-El, figlio di Jor-El e Lara, nonché grande nemico del g ...

                                               

Razzo

Un razzo è un tipo di motore usato per conferire una spinta propulsiva a un veicolo quale generalmente un missile o più raramente un velivolo.

                                               

Vettore (astronautica)

In astronautica, il vettore o lanciatore è un missile, cioè un veicolo propulso da un particolare tipo di motori detti razzi o endoreattori. Questo tipo di missile è il mezzo usato per inviare nello spazio un certo carico utile che può consistere ...

                                               

Vulcan (lanciatore)

Il Vulcan è un futuro vettore da lancio spaziale progettato e costruito dalla United Launch Alliance, la joint venture tra Lockheed Martin e Boeing, in partnership con Blue Origin.

                                               

Vanguard (vettore)

Il razzo Vanguard fu usato nellambito del progetto Vanguard dal 1957 al 1959. Doveva mettere in orbita il primo satellite artificiale USA ma il lancio fallì e così il primo satellite statunitense divenne lExplorer 1, lanciato il 31 gennaio 1958. ...

                                               

Antares (lanciatore)

Antares è un razzo vettore sviluppato da parte della Orbital Sciences Corporation, ora Orbital ATK. Nelle prime fasi di sviluppo era conosciuto con il nome di Taurus II. È in grado di trasportare 5 000 kg di carico utile in orbita terrestre bassa ...

                                               

Athena (lanciatore)

L Athena fu un sistema di lancio non recuperabile sviluppato dalla Lockheed Martin; cambiò diverse volte il nome durante il suo sviluppo. La sua realizzazione iniziò nel 1993 dalla Lockheed Corporation ove era conosciuto come Lockheed Launch Vehi ...

                                               

Vostok (lanciatore)

I lanciatori Vostok sono dei vettori spaziali derivati dai missili balistici intercontinentali sovietici R-7, conosciuti in Occidente con il nome in codice NATO di SS-6 Sapwood. Si tratta di razzi costruiti nellambito del programma sovietico di v ...

                                               

Voschod (lanciatore)

I lanciatori Voschod in italiano alba erano dei vettori spaziali sviluppati e costruiti in Unione Sovietica nei primi anni sessanta. Si trattava di unevoluzione del lanciatore Vostok, derivato a sua volta dal missile balistico intercontinentale R ...

                                               

Delta (razzo)

La famiglia di razzi vettori statunitensi Delta entrò in servizio nellottobre del 1962 con il lancio del Delta I, evoluzione del Thor-Delta. Quando la NASA iniziò a lavorare al programma Space Shuttle pensò di liberarsi di tutte le astronavi non ...

                                               

Diamant (lanciatore)

Il razzo Diamant fu il primo razzo vettore di costruzione francese e il primo lanciatore di satelliti artificiali costruito al di fuori di Unione Sovietica e Stati Uniti. Il Diamant derivò dal programma militare Pietre Preziose, con cui erano sta ...

                                               

Dnepr (vettore)

Il lanciatore Dnepr è un vettore ucraino, chiamato così in onore del fiume Dnepr. Si tratta di un missile balistico intercontinentale convertito per il lancio di satelliti artificiali in orbita e gestito dallazienda ISC Kosmotras. Il primo lancio ...

                                               

CORONA (veicolo spaziale)

CORONA è un prototipo di un vettore di lancio riutilizzabile senza equipaggio a singolo stadio sviluppato da Makeyev Rocket Design Bureau sviluppato dal 1992 al 2012. Nel 2016, la compagnia ha annunciato piani per riprendere lo sviluppo CORONA.

                                               

Molnija (lanciatore)

I lanciatori Molnija erano dei vettori spaziali sviluppati e costruiti in Unione Sovietica a partire dagli anni sessanta. Si trattava di una variante per utilizzo spaziale a tre o quattro stadi dellICBM R-7, meglio conosciuto in Occidente con il ...

                                               

Razzo Nova

Nova era il nome di una serie di progetti di razzi vettori, proposti originariamente dalla NASA per le missioni lunari in alternativa ai razzi Saturn V poi entrati effettivamente in produzione, e più tardi come ancor più grandi successori del Sat ...

                                               

Pegasus (lanciatore)

Il razzo Pegasus è un lanciatore spaziale sviluppato dalla Orbital Sciences Corporation, ora Orbital ATK. Tre stadi principali a propellente solido forniscono la maggior parte della spinta al lanciatore; il razzo è portato a circa 12 000 metri da ...

                                               

Proton (lanciatore)

Il Proton è un tipo di vettore spaziale sovietico collaudato la prima volta nel 1965 e tuttora utilizzato nelle missioni scientifiche e commerciali della Federazione Russa. La sua designazione formale è UR-500, ma è anche conosciuto come D-1. Il ...

                                               

Rokot

Rokot, era un veicolo di lancio spaziale russo con la capacità di portare un carico di 1950 chilogrammi fino a 200 km in orbita terrestre con 63° di inclinazione. È un derivato del missile balistico intercontinentale UR-100N fornito da Eurockot L ...

                                               

Safir (lanciatore)

Safir è un lanciatore spaziale iraniano. È stato il primo vettore costruito in Iran a effettuare un lancio con successo, quando il 2 febbraio 2009 ha portato in orbita il satellite Omid, rendendo lIran il nono paese al mondo ad aver raggiunto la ...

                                               

Simorgh (lanciatore)

Simorgh è un lanciatore spaziale iraniano, successore del Safir. Ne esistono due versioni, denominate A e B, con 2 e 3 stadi rispettivamente. In entrambe il primo stadio è derivato da quello del lanciatore nordcoreano Unha, a sua volta derivato d ...

                                               

Famiglia di lanciatori Scout

Scout è una famiglia di razzi vettore statunitensi progettati per lanciare piccoli satelliti artificiali e metterli in orbita attorno alla Terra. I razzi Scout furono usati dal 1961 al 1994. Il primo satellite ad essere lanciato con successo con ...

                                               

Sojuz (lanciatore)

Sojuz è una famiglia di sistemi di lancio non riutilizzabili sviluppati da RKK Energija e prodotti dal Progress Rocket Space Centre a Samara, in Russia. Con più di 1700 voli allattivo dal suo debutto nel 1966, il Sojuz è il lanciatore più utilizz ...

                                               

Sputnik

Sputnik 8 Tyazheliy-Sputnik 5 Sputnik 2 Sputnik 7 Tyazheliy-Sputnik 4 Sputnik 1 Sputnik 4 Korabl Sputnik 1 Programma Sputnik – programma spaziale sovietico Sputnik 5 Korabl Sputnik 2 Sputnik 3 Sputnik 6 Korabl Sputnik 3 Altri satelliti o missioni ...

                                               

Titan (famiglia di razzi)

Il Titan è una famiglia di razzi vettori statunitensi non riutilizzabili. I Titan più recenti sono chiamati Titan-Centaur perché utilizzano un ultimo stadio Centaur. In passato esisteva anche la versione Titan-Agena, in cui lultimo stadio era cos ...

                                               

Cyklon (lanciatore)

Cyklon è una famiglia di razzi vettori prima sovietici e ucraini, usati principalmente per mettere in orbita i satelliti Cosmos. Questi razzi derivarono dal missile ICBM R-36 progettato da Michail Jangel. I razzi Cyklon erano anchessi progettati ...

Free and no ads
no need to download or install

Pino - logical board game which is based on tactics and strategy. In general this is a remix of chess, checkers and corners. The game develops imagination, concentration, teaches how to solve tasks, plan their own actions and of course to think logically. It does not matter how much pieces you have, the main thing is how they are placement!

online intellectual game →