Kowalski, notazione di
Kowalski, notazione di espressione con cui si indica la formula: algoritmo = logica + controllo. Tale formula esprime sinteticamente la teoria di R. Kowalski sugli algoritmi dei [...] o con il metodo bottom-up. La scelta del metodo con cui utilizzare la definizione costituisce la componente di controllo dell’algoritmo. Il metodo top-down («dall’alto verso il basso») consiste nel ridurre la complessità del calcolo di (n + 1)! al ...
Leggi Tutto
Informazione, trattamento sicuro della
Giuseppe F. Italiano
A partire dagli inizi del 20° sec., il progressivo diffondersi delle nuove tecnologie dell'i. ha notevolmente incrementato la quantità di [...] e L.M. Adleman, a cui è stato attribuito per i loro contributi in merito il Turing award nel 2002), l'algoritmo di ElGamal, e algoritmi basati sulle curve ellittiche proposti in maniera indipendente da V.S. Miller e da N. Koblitz.
Firma digitale
Una ...
Leggi Tutto
Disciplina che studia, su base quantitativa, i modelli concettuali dei processi decisionali connessi al funzionamento dei sistemi organizzati, i metodi per prevedere il comportamento di questi sistemi [...] metodi di soluzione di problemi discreti. Alla fine degli anni 1960 venne affrontato il problema della valutazione dell’efficienza degli algoritmi di soluzione dei problemi di decisione (S.A. Cook, J. Edmonds e R.M. Karp).
A partire dagli anni 1970 ...
Leggi Tutto
Matematico (Sorau 1810 - Berlino 1893), prof. nelle univ. di Breslavia (1843) e Berlino (1856). Socio straniero dei Lincei (1883). I suoi lavori vertono su equazioni differenziali (equazione di Riccati), [...] algoritmi infiniti (serie ipergeometriche), geometria (sistemi algebrici di rette, superfici di K.), teoria dei numeri (grande teorema di Fermat, legge di reciprocità dei residui di potenze). K. studiò infine i campi di integrità determinati dalle ...
Leggi Tutto
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] di pedagogia V. I. Lenin di Mosca. Uno dei suoi più celebri risultati è la dimostrazione che non sempre esiste un algoritmo che riduca una data successione di elementi di un gruppo all'elemento unitario. Insieme con il suo allievo S. I. Adjan ...
Leggi Tutto
Sigla di program evaluation and review technique, tecnica di gestione dei progetti che rappresenta in forma reticolare (➔ grafo) l’interdipendenza fra tutte le attività in un progetto; associata a opportuni [...] algoritmi permette di individuare le attività critiche del progetto dal punto di vista dei costi e dei tempi. ...
Leggi Tutto
bioinformatica
Nicoletta Rossi
Disciplina che affronta i problemi della biologia con metodologie e strumenti propri delle scienze dell’informazione.
Sviluppo della bioinformatica
Negli ultimi decenni, [...] della b. riguardano: sviluppo di programmi per l’archiviazione, l’accessibilità, e la ricerca dei dati; produzione di algoritmi per l’analisi di sequenze di DNA, RNA e proteine (costruzione di mappe del genoma, allineamento di sequenze geniche ...
Leggi Tutto
high frequency trading
<hài frìiku̯ënsi trèidiṅ> locuz. sost. ingl., usata in it. al masch. – Sistema di negoziazioni a elevata frequenza realizzate mediante strumenti software e hardware che utilizza [...] algoritmi matematici per effettuare una moltitudine di transazioni in tempi rapidissimi simultaneamente su più mercati (azionari, obbligazionari, dei derivati, ecc.). Inondando i mercati di transazioni fittizie, consistenti in ordini di acquisto di ...
Leggi Tutto
Fulkerson
Fulkerson Delbert Ray (Tamms, Illinois, 1920 - Ithaca, New York, 1976) matematico statunitense. Diede rilevanti contributi in teoria dei grafi, delle reti e in analisi combinatoria. In particolare [...] operativa. Pubblicò nel 1962, insieme a L.R. Ford, Flows in networks (Flussi nelle reti) in cui descrisse un algoritmo, che porta il nome di entrambi, per la percorribilità di reti interpretabili come grafi. Successivamente volse i suoi interessi più ...
Leggi Tutto
Boncompagni Ludovisi
Boncompagni Ludovisi Baldassarre (Roma 1821-94) matematico e storico della scienza italiano. A lui si deve la pubblicazione (1857) di due trattati di aritmetica dei secoli xii e [...] xiii, Algoritmi de numero Indorum e Liber algorismi de practica arismetice. ...
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...