SANTINI, Paolo
Paolo Teofilatto
– Nacque a Roma il 4 Agosto 1923 da Ezio Santini e Elena De Santis.
Nel 1947 si laureò alla Sapienza di Roma in ingegneria elettrotecnica con una tesi dal titolo Produzione [...] molto diverse nei tempi e nelle ampiezze: distinguendo con rigore ‘i termini piccoli da quelli grandi’, gli algoritmi riescono a cogliere con precisione entrambe le dinamiche. Importanti e talvolta pioneristiche applicazioni di questo principio si ...
Leggi Tutto
procedura
procedura in generale il termine è utilizzato come sinonimo di metodo di calcolo, finito e decidibile. In informatica, il termine è utilizzato per indicare un algoritmo attivato da un programma [...] negli altri lemmi di quest’opera, il simbolo ≔ per distinguerlo dal simbolo di uguaglianza. Tuttavia nella scrittura degli algoritmi in linguaggio di progetto si utilizza una scrittura semiformalizzata e spesso si utilizza il simbolo di uguale per ...
Leggi Tutto
PSICOLINGUISTICA
Domenico Parisi
(App. IV, III, p. 100)
La p. è nata negli anni Cinquanta, come frutto della collaborazione tra psicologi interessati al linguaggio e linguisti, e ha svolto un ruolo [...]
Un aspetto importante di questo approccio più ampio allo studio connessionista del linguaggio è rappresentato dall'applicazione degli algoritmi genetici a popolazioni di reti neurali. In questo caso le reti neurali sono usate non (solo) come modelli ...
Leggi Tutto
La seconda rivoluzione scientifica: scienze biologiche e medicina. Diagnostica medica per immagini
Bettyann Holtzmann Kevles
Diagnostica medica per immagini
Prima che Wilhelm Conrad Röntgen (1845-1923) [...] gamma". La matematica che aveva ossessionato Cormack non rappresentava un problema per Hounsfield; egli sapeva bene che gli algoritmi, le trasformate di Fourier e le pubblicazioni di Bracewell erano elementi fondamentali, ma in quella fase, nel 1971 ...
Leggi Tutto
BONCOMPAGNI LUDOVISI, Baldassarre
Vincenzo Cappelletti
Nacque a Roma il 10 maggio 1821, secondogenito di don Luigi, principe di Piombino, e di Maria Maddalena Odescalchi. Tra gli studiosi che ebbero [...] del pensiero scientifico era stato la pubblicazione (1857) di due trattati di aritmetica dei secoli XII e XIII: gli Algoritmi denumero Indorum e il Liber algorismide practica arismetrice di Iohannes Hispalensis. Il primo fu edito su un codice della ...
Leggi Tutto
generatore pseudo-casuale
Fabrizio Luccio
Una sequenza C di elementi tratti da un insieme S è casuale se l’apparizione di ciascun elemento non può essere predetta con probabilità diversa da quella che [...] . Oltre che per la simulazione di processi, i generatori pseudo-casuali sono oggi impiegati nell’esecuzione di algoritmi randomizzati che eseguono al loro interno scelte casuali per ottenere in tempi brevi risultati esatti con altissima probabilità ...
Leggi Tutto
Simulazione del reale
Paolo Leoncini
La simulazione del mondo fisico, nota oggi come realtà virtuale, è un ambito tecnico-scientifico in cui, avvalendosi dell’informatica, dell’interfaccia uomo-macchina [...] da non intralciare il movimento della persona. I sistemi elettroottici, basati sull’impiego di telecamere e su sofisticati algoritmi di visione artificiale, ricorrono, invece, a markers passivi da indossare sulla testa e sulle mani con il compito ...
Leggi Tutto
L’assicurazione tra tradizione e futuro
Massimo De Felice
Una tradizione che parla al futuro
La tradizione delle assicurazioni evidenzia caratteristiche e rapporti che parlano al futuro: il ruolo sociale [...] Hollerith) per meccanizzare il calcolo delle riserve matematiche e la redazione dei bilanci, aprendo la via all’uso degli algoritmi, delle basi di dati e delle tecniche probabilistiche nella gestione contabile e finanziaria d’impresa.
Nel Novecento è ...
Leggi Tutto
stato
stato elemento descrittore di un processo che muta in modo discreto; a ogni suo mutamento, che avviene per “passi” successivi, lo stato descrive i valori delle variabili coinvolte e l’intero processo [...] non sia quello iniziale o quello finale, ha un solo arco in ingresso e un solo arco in uscita.
Per esempio, l’algoritmo che fornisce i primi 10 elementi della successione di → Fibonacci, il cui elemento generico è l’intero dato dalla somma dei due ...
Leggi Tutto
logica lineare
Claudio Pizzi
Proposta dal francese Jean-Yves Girard nel 1987, la logica lineare non si limita a considerare le proposizioni come oggetti dotati di valori di verità come nella logica [...] con prese, e sono numerose le applicazioni all’informatica (linguaggio PROLOG, gestione della memoria, studio degli algoritmi paralleli) e alla meccanizzazione del ragionamento. Le dimostrazioni in logica lineare perdono la natura sintattica e ...
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...