Page, Larry
Enciclopedia on line
Page, Larry (propr. Lawrence Eduard). - Imprenditore e informatico statunitense (n. East Lansing, Michigan, 1973). Dopo la laurea in Ingegneria informatica all’Università del Michigan, ha proseguito gli [...] programma volto a ridurre i tempi di ricerca ottimizzando la gestione delle informazioni reperibili sul web; basandosi sull’algoritmo chiamato PageRank (dal nome di P.), hanno ideato Google. Membro del consiglio di amministrazione della società, nel ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La vita artificiale
Frontiere della Vita (1998)
La vita artificiale
Thomas S. Ray
(ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone)
La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] individuale non coinvolge interazioni con altri individui. Un tipo di ottimizzazione è la riduzione del numero di istruzioni dell'algoritmo, e il limite di questo processo ha portato a un organismo (non parassita) di ventidue byte. Questo organismo è ...
Leggi Tutto
Automi e linguaggi formali
Enciclopedia della Scienza e della Tecnica (2007)
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
CATEGORIA:
TEMI GENERALI
La grande scienza. Automi e linguaggi formali
Storia della Scienza (2003)
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] la (b, ac), che consta di due parole irriducibili derivate dalla stessa parola, si definisce 'coppia critica'.
Esiste un algoritmo che permette di completare un sistema di riscrittura e trasformarlo in un uno confluente senza alterare la relazione di ...
Leggi Tutto
linguàggio di programmazióne
Enciclopedia on line
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
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
algoritmizzazióne
Dizionario delle Scienze Fisiche (1996)
algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] di queste rappresentazioni si ha in discipline nuove, prive di un linguaggio formale proprio, che adottano gli algoritmi come strumento di ricerca e di conoscenza, come nel caso della psicologia cognitiva, della linguistica computazionale, ecc ...
Leggi Tutto
Automazione
Enciclopedia della Scienza e della Tecnica (2008)
Automazione
Alessandro Agnetis
Alberto Bemporad
Nell’automazione si fondono contenuti e metodologie che si sono sviluppate nella scienza dell’automatica e nella ricerca operativa grazie all’impiego [...] . I componenti fondamentali di un sistema di automazione (control system) sono i dispositivi di misurazione o sensori e un algoritmo di elaborazione. I primi consentono di conoscere, quantitativamente e in tempo reale, lo stato in cui si trova il ...
Leggi Tutto
dinamico
Enciclopedia on line
Informatica
Termine riferito a un sistema, processo, programma ecc., che si evolve reagendo a sollecitazioni esterne oppure adattandosi a mutate condizioni al contorno. Allocazione d. della memoria Metodo, [...] ), man mano che l’elaborazione procede.
Diagramma di flusso d. Diagramma che mostra esplicitamente gli aspetti operazionali di un algoritmo o di un automa, in funzione del tempo.
Loop (o stop) d. Situazione d’arresto di un’elaborazione, ottenuta ...
Leggi Tutto
LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] P(0, x, x) e ¬P(x, y, z) ⋁ P(s(x), y, s(z)) e C è la clausola P(s(0), 0, w), allora l'algoritmo dà luogo al seguente albero:
che dimostra che C è una conseguenza di Γ.
Il metodo di risoluzione ha il difetto di essere molto complesso: il numero dei ...
Leggi Tutto
La grande scienza. Bioinformatica
Storia della Scienza (2003)
La grande scienza. Bioinformatica
Anna Tramontano
Bioinformatica
La bioinformatica è una scienza multidisciplinare, al crocevia tra biologia, chimica, matematica, fisica e informatica, che analizza [...] appartenga a una regione con struttura a α-elica o a foglietto β. I valori di preferenza sono poi utilizzati in un algoritmo che, data la sequenza di una proteina, cerca di predire la posizione di α-eliche e filamenti β nella sua struttura. È ...
Leggi Tutto