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 ...
|
pagina 98
|
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400
|
|
Black Arrow (lanciatore) |
|
|
Energia (lanciatore) |
Epsilon (lanciatore) |
|
|
Missile balistico |
SRBM |
Missile balistico a raggio intermedio |
|
|
Missile balistico intercontinentale |
|
|
R-27 (SLBM) |
|
|
R-39M |
R-30 Bulava |
|
|
Europa (lanciatore) |
|
|
UGM-73 Poseidon |
R-1 |
|
|
Sejjil |
|
|
Famiglia di lanciatori Thor |
|
|
M1 (missile) |
|
|
M2 (missile) |
|
|
M20 (missile) |
|
|
M4 (missile) |
|
|
M45 (missile) |
|
|
M51 (missile) |
|
|
MBDA Aster |
Dongfeng |
|
|
RAFAEL Jericho |
|
|
LIM-49A Spartan |
|
|
Sprint (missile) |
|
|
BGM-109 Tomahawk |
|
|
Veicolo spaziale |
|
|
AGILE |
|
|
Missione Dawn |
Dragonfly (sonda spaziale) |
|
|
Sonda Genesis |
|
|
Microvariability and Oscillations of .. |
|
|
Solar and Heliospheric Observatory |
|
|
Swift Gamma Ray Burst Explorer |
|
|
Planet-C |
Astron (satellite) |
|
|
Bion (satellite) |
|
|
Sonda Galileo |
|
|
Missione Giotto |
|
|
Missione spaziale Cassini-Huygens |
|
|
Clementine (veicolo spaziale) |
|
|
Cosmos (missioni spaziali) |
|
|
Sonda Magellano |
|
|
Nozomi |
Parus (satellite) |
|
|
Programma satellitare Pegasus |
|
|
Polyus |
|
|
Gravity Recovery and Interior Laboratory |
|
|
Rosetta (sonda spaziale) |
|
|
Sonda Stardust |
|
|
Ulysses |
|
|
Phoenix Mars Lander |
|
|
Foton |
|
|
Sonda Hayabusa |
|
|
Tselina |
|
|
Juno (sonda spaziale) |
|
|
Cygnus (veicolo spaziale) |
|
|
Dragon (veicolo spaziale) |
|
|
Dragon 2 |
|
|
Navicella spaziale Apollo |
|
|
Buran 1.01 |
|
|
Navicella Vostok |
|
|
Navicella Voschod |
|
|
Hermes (shuttle) |
|
|
Programma Gemini |
|
|
Kliper |
|
|
Sistema di lancio riutilizzabile |
|
|
Orion (veicolo spaziale) |
|
|
Progress (veicolo spaziale) |
|
|
Sojuz (veicolo spaziale) |
|
|
Federacija (veicolo spaziale) |
|
|
Shenzhou |
|
|
Sonda spaziale |
|
|
Satellite artificiale |
|
|
Aura (satellite) |
|
|
IBEX (satellite) |
|
|
LARES (satellite) |
|
|
Amaltea (astronomia) |
|
|
Aryabhata (satellite) |
|
|
Ariel (astronomia) |
|
|
Astérix (satellite) |
BelKA |
Vanth (astronomia) |
|
|
50000 I Weywot |
|
|
Ganimede (astronomia) |
|
|
Imalia (astronomia) |
|
|
Iperione (astronomia) |
|
|
Dione (astronomia) |
|
|
Disnomia (astronomia) |
|
|
Europa (astronomia) |
|
|
Io (astronomia) |
|
|
Callisto (astronomia) |
|
|
Mimas (astronomia) |
|
|
Miranda (astronomia) |
|
|
Nereide (astronomia) |
|
|
Oberon (astronomia) |
|
|
Ōsumi (satellite) |
|
|
Rea (astronomia) |
|
|
Satcom (telecomunicazioni) |
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 →