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
D’Aloisio, Nick. – Informatico e imprenditore britannico (n. Londra 1995). Studente del King’s College di Londra, dove ha ricevuto una borsa di studio, già nel 2008 ha cominciato a scrivere applicazioni [...] , app che consente di visualizzare le notizie online su smartphone, prelevandole da diversi siti, realizzandone attraverso complessi algoritmi un riassunto di circa 400 caratteri. Nel 2013 ha venduto Summly a Yahoo! per trenta milioni di dollari ...
Leggi Tutto
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] che si comportano come un piccolo programma in miniatura: elaborano dati e forniscono un risultato seguendo un determinato algoritmo. Sono definiti in un punto del programma e possono essere richiamati in altri punti. In corrispondenza della chiamata ...
Leggi Tutto
funzioni riassunto
Mauro Cappelli
Funzioni impiegate in crittografia per rendere più efficiente e rapida la cifratura di un messaggio rispetto alla crittografia a chiave pubblica. Quest’ultima infatti [...] e 256, indipendentemente dalla lunghezza del messaggio originario. Gli algoritmi più diffusi per la generazione del riassunto sono MD5 (Message digest 5, quinta versione di una serie di algoritmi) a 128 bit e SHA (Secure hash algorithm) a ...
Leggi Tutto
biologia P. morfologico La presenza di organi o strutture simili in organismi fra cui non esistono rapporti filogenetici; tali casi si indicano anche come omomorfia o convergenza. Per es., i gusci dei [...] ridurre i tempi di elaborazione. Le limitazioni all’utilizzo di tale tecnica sono rappresentate principalmente dalla carenza di algoritmi e software appositi e dal fatto che molti problemi sono per loro stessa natura difficilmente ‘parallelizzabili ...
Leggi Tutto
Musica elettronica ed elettronica musicale
Lorenzo Seno
A partire dalla fine dell’Ottocento fino alla Seconda guerra mondiale, grazie alla diffusione dell’elettricità e dell’elettronica, fanno la loro [...] i programmi generali, un primo gruppo fa uso della programmazione a data flow fornendo in video un sistema di patching di algoritmi. Tra questi: (a) MAX-MSP, un software proprietario per Windows e MacOS; (b) Pure Data, dovuto a Miller Puckette, una ...
Leggi Tutto
controllo numerico
Augusto Di Napoli
Sistema di controllo automatico che opera secondo un codice numerico. La maniera più semplice di realizzare un sistema di controllo a catena chiusa consiste nel [...] di uscita (variabile di errore), ma anche del suo integrale e a volte della sua derivata o di algoritmi più complessi. In passato l’implementazione di questi regolatori veniva realizzata con sistemi cablati spesso tramite resistenze, induttanze ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] trovare un procedimento per calcolarne, con un numero finito di passi, il valore per ogni n-upla di valori delle variabili. ◆ [INF] Problema c.: ogni problema per il quale esistono algoritmi di risoluzione che terminano in un tempo finito: v ...
Leggi Tutto
L'a. i. consiste nell'impiego coordinato di soluzioni tecnologiche allo scopo di sostituire gran parte del lavoro umano con dispositivi diversi. Nell'accezione attuale e, prevedibilmente, futura, l'automazione [...] di maggiore attualità nella ricerca in robotica, particolarmente correlato con le applicazioni di mini- e microrobot, è lo sviluppo di algoritmi per il controllo coordinato di squadre di robot, cooperanti per l'ottenimento di un unico scopo. Ciò è di ...
Leggi Tutto
Imparare a vedere
Tomaso Poggio
(Center for Biological and Computational Learning, Massachusetts Institute of Technology, Cambridge, Massachusetts, USA)
Il problema dell'apprendimento è centrale per [...] come modello e le altre due per il test.
Un sistema per il riconoscimento delle facce basato su PC. - Usando un algoritmo molto simile, J.M. Gilbert e W. Yang (1993) hanno sviluppato un sistema veloce per il riconoscimento delle facce basato sull ...
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...