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. [...] del codice genetico, hanno aperto un nuovo campo di ricerca, la 'biologiacomputazionale', che tratta sequenze di significato biologico come oggetti computazionali (Waterman 1995).
Numerosi algoritmi sono stati applicati all'analisi di queste ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] e modelli adatti agli scopi di altre scienze (fisica, biologia ecc.).
Originariamente, la m. è la scienza razionale dei nuova m. numerica con lo sviluppo dei metodi computazionali (➔ computazionale); alle ricerche di m. combinatoria sui problemi del ...
Leggi Tutto
Attributo di disciplina che utilizza nell’indagine teorica l’elaboratore elettronico come sistematico strumento di lavoro, per es. la meccanica c., la linguistica c.; si dice c. anche il procedimento che [...] applicata, quale la fisica, la chimica, le scienze biologiche e mediche, l’ingegneria, l’economia ecc. Il modello dimostrare che esso tende a zero per n→∞.
Chimica
Chimica computazionale
Branca della chimica che si occupa da un lato dello sviluppo ...
Leggi Tutto
Simulazioni numeriche
Alfio Quarteroni
La modellistica matematica mira a descrivere in termini matematici i molteplici aspetti del mondo reale e la loro dinamica evolutiva. Essa costituisce la terza [...] basati sull’interazione di differenti processi fisici o biologici alla stessa scala. La comprensione della natura accoppiata di tali processi richiede la messa a punto di diversi modelli computazionali in grado di trattarli singolarmente; (b) in ...
Leggi Tutto
In matematica applicata, e in particolare nella teoria delle decisioni, problemi di o., le questioni attinenti alla ricerca dei criteri di scelta tra diverse opzioni o di determinazione del valore di particolari [...] casuale di soluzioni, del tipo di quelli operanti nei processi biologici evolutivi), le reti neurali (il cui principio ispiratore è come catene di Markov e la teoria della complessità computazionale sviluppata per gli algoritmi di ricerca locale, che ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] settori scientifici (dalla matematica alla biologia).
Algoritmi di approssimazione
Così come tanti problemi aperti che costellano la teoria della complessità computazionale.
Calcolo molecolare
Il paradigma di calcolo chiamato calcolo molecolare ...
Leggi Tutto
Biomatematica
Vincenzo Capasso
Nel Saggiatore (1623), Galileo Galilei sosteneva che «l’Universo […] è scritto in lingua matematica, e i caratteri sono triangoli, cerchi e altre figure geometriche […]; [...] , con i metodi della statistica e dell’analisi dei problemi inversi.
Uno dei grandi contributi della biologia matematica e quindi computazionale è quello di consentire le simulazioni e la conseguente visualizzazione in scenari che sarebbero persino ...
Leggi Tutto
sonificazione s. f. Nella tecnologia informatica, la trasformazione di dati correlati tra di loro in segnali acustici, al fine di rendere i primi più facilmente comunicabili e interpretabili. ♦ Probabilmente non entreranno nelle hit di quest'estate...