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. [...] a partire da una serie di composizione. Il calcolo dellacomplessità di un semigruppo finito, nel senso del minimo numero fra i quali geometri come William P. Thurston e teorici dellateoriacomputazionale dei gruppi come John J. Cannon. Un gruppo si ...
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 [...] radicali nell’accuratezza degli strumenti matematici di previsione, lo sviluppo di una teoriadella predicibilità dei sistemi dinamici caotici, il miglioramento delle tecniche di assimilazione dei dati.
Dagli anni Sessanta alle stazioni di ...
Leggi Tutto
Selezione di 7 problemi matematici proposti nel 2000 dal Clay Mathematics Institute (CMI) di Cambridge, Massachusetts, che ha stanziato per la risoluzione di ognuno di essi un premio di 1 milione di dollari. [...] Il problema riguarda la relazione tra le classi di complessitàcomputazionale P, cui appartengono i problemi che possono essere possiede un gap di massa; tale teoria è alla base dell’attuale Modello Standard della particelle elementari ma non è ancora ...
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 […]; [...] la swarm intelligence.
Analogamente, la teoriadelle catastrofi è un capitolo della matematica stimolato dal concetto di scenario dellacomplessità, diminuendo i dettagli e favorendo modelli aggregati che siano trattabili, sia computazionalmente ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] teoria coerente dell'infinito), potevano allora rivelarsi troppo complesse (con un numero di operazioni troppo elevato) oltre che numericamente instabili.
Con lo studio sistematico della stabilità e dellacomplessità strategie computazionali basate ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] particolarmente, nella tecnica, la modellistica costituisce il complessodelleteorie e dei metodi inerenti alla sperimentazione su m tecniche proprie dell’intelligenza artificiale, favoriti sia dalla crescita delle capacità computazionali sia dalla ...
Leggi Tutto
Wavelets
IIgnazio D'Antone
di Ignazio D'Antone
SOMMARIO: 1. Introduzione. ▭ 2. La trasformata wavelet continua. ▭ 3. La trasformata wavelet discreta. ▭ 4. Analisi a multirisoluzione. ▭ 5. Proprietà [...] Nella seconda metà di quel decennio la teoria matematica è stata rigorosamente formalizzata (v. Daubechies computazionale, in quanto richiede il calcolo di due filtraggi unidimensionali anziché di uno bidimensionale, con una complessità, quindi, dell ...
Leggi Tutto