Neumann (von), automa di
Neumann (von), automa di nell’accezione generale, modello logico di una macchina che esegue calcoli e prende decisioni in base ai dati immagazzinati nella sua memoria e a un [...] per la loro elaborazione.
La locuzione è in particolare utilizzata per indicare un automa universale in grado di eseguire algoritmi non già prospettando al suo interno tutti i possibili stati e le conseguenti transizioni, così come avviene per l ...
Leggi Tutto
intrattabile
intrattàbile [agg. Comp. di in- neg. e trattabile "che non può essere trattato"] [ALG] [ANM] Problema i.: quello del quale non è noto alcun procedimento di risoluzione con un tempo di calcolo [...] che cresca al più come una potenza del numero n dei casi trattati dall'algoritmo e che quindi va risolto per approssimazione; per es., v. algoritmi, teoria degli: I 102 f. ...
Leggi Tutto
Elaborazione neuromorfa dei segnali sensoriali con circuiti VLSI analogici
Giacomo Indiveri
(Institut für Neuroinformatik Universität Zürich/ETH Zurigo, Svizzera)
Christoph Rasche
(Institut für Neuroinformatik [...] misure locali della velocità alcune proprietà globali del campo di flusso ottico, come la rotazione o l'espansione. L'algoritmo proposto, ispirato ai modelli biologici e quindi adatto per la realizzazione in a VLSI neuromorfo, si basa sulla versione ...
Leggi Tutto
pi greco
pi greco numero trascendente, denotato con π, che indica il rapporto costante tra ogni circonferenza e il suo diametro. Esso rappresenta quindi la lunghezza della semicirconferenza di raggio [...] metodi (→ Archimede, metodo di; → Leibniz, metodo di; → Viète, metodo di; → Wallis, formula di); attualmente, l’impiego di algoritmi appropriati unito alla potenza dei moderni elaboratori elettronici ha reso possibile il calcolo di vari milioni di ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Criptologia e criptoanalisi
Mohamad Mrayati
Criptologia e criptoanalisi
La criptologia è una disciplina cui afferiscono tre branche principali: [...] una di queste fu lo sviluppo che si era ormai raggiunto nella linguistica, nell'aritmetica e nel calcolo degli algoritmi.
Saranno necessarie comunque ulteriori ricerche per studiare gli archivi dei documenti storici del mondo arabo, e in generale di ...
Leggi Tutto
esecuzione
esecuzióne [Der. del lat. exsecutio -onis, dal part. pass. exsecutus di exsequi "eseguire"] [LSF] L'atto e l'effetto dell'eseguire, compimento, attuazione pratica di un esperimento, un processo, [...] un calcolo, ecc. ◆ [ELT] [INF] In un calcolatore elettronico, l'insieme delle fasi mediante le quali l'unità centrale esegue automaticamente le istruzioni contenute in un programma. ◆ [INF] E. condizionata: v. algoritmi, teoria degli: I 102 a. ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] coppia come la (b, ac), che consta di due parole irriducibili derivate dalla stessa parola, si definisce critica. Esiste un algoritmo, dovuto a Donald E. Knuth e Peter B. Bendix, che permette di completare un sistema di riscrittura e trasformarlo in ...
Leggi Tutto
Informazione e computazione quantistica: applicazioni
Mario Rasetti
Schemi diversi di computazione quantistica
La computazione e la teoria dell’informazione quantistiche sono ormai entrate nel complesso [...] sono i nodi in ℝ3, o – più in generale – degli invarianti topologici delle 3-varietà. Elemento portante di questi algoritmi è il fatto che i polinomi di Jones si possono identificare (un risultato straordinario dovuto al fisico statunitense Edward ...
Leggi Tutto
visione artificiale
Sistema che utilizza circuiti analogici neuromorfi nell’emulazione della trasduzione ed elaborazione del segnale che avviene nel sistema visivo, e in partic. nella retina. La v. a., [...] chip per la visione neuromorfa, sono costruiti come modelli dei sistemi visivi biologici e si basano su efficienti algoritmi per l’elaborazione preliminare dei segnali sensoriali. L’organo sensoriale periferico, ossia l’occhio, è il naturale punto ...
Leggi Tutto
Spielman
Spielman Daniel Alan (Philadelphia, Pennsylvania, 1970) matematico e informatico statunitense. Laureatosi all’università di Yale nel 1992, con una tesi su codici e loro efficienza nell’autocorrezione [...] of Technology dove ha insegnato dal 1996 al 2005. Nel 2008 ha ricevuto il Premio Gödel per i suoi lavori sulla teoria degli algoritmi e nel 2010 il Premio Nevanlinna per gli studi sulle applicazioni della teoria dei grafi al calcolo numerico. ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...