Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona
Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona
Argomento | Area di ricerca |
---|---|
Algebra omologica |
Algebra, Geometria e Logica Matematica
Category theory; homological algebra |
Algoritmi su stringhe |
Ingegneria del Software e verifica formale
Design and analysis of algorithms |
Analisi di grandi quantità di dati |
Sistemi informativi ed analisi dei dati
Information systems applications |
Anelli e algebre dati da varie construzioni |
Algebra, Geometria e Logica Matematica
Associative rings and algebras |
Bioinformatica algoritmica |
Bioinformatica e informatica medica
Life and medical sciences |
Blockchain and smart contracts |
Ingegneria del Software e verifica formale
Software creation and management |
Categorie abeliane |
Algebra, Geometria e Logica Matematica
Category theory; homological algebra |
Equazioni alle derivate parziali di tipo ellittico |
Metodi e modelli matematici
Partial differential equations, initial value and time-dependent initial-boundary value problems |
Geometric measure and integration theory, integral and normal currents in optimization |
Metodi e modelli matematici
Manifolds |
JEL C02 - Mathematical Methods | Mathematical and Quantitative Methods |
JEL C12 - Test delle ipotesi: generale | Metodi quantitativi per l’economia Econometric and Statistical Methods and Methodology: General |
JEL C13 - Stime statistiche: generale | Metodi quantitativi per l’economia Econometric and Statistical Methods and Methodology: General |
JEL C14 - Semiparametric and Nonparametric Methods: General | Metodi quantitativi per l’economia Econometric and Statistical Methods and Methodology: General |
JEL C51 - Model Construction and Estimation | Metodi quantitativi per l’economia Econometric Modeling |
JEL C52 - Model Evaluation, Validation, and Selection | Metodi quantitativi per l’economia Econometric Modeling |
JEL C58 - Econometria finanziaria | Metodi quantitativi per l’economia Econometric Modeling |
JEL C61 - Metodi di ottimizzazione; Modelli di programmazione matematica; Analisi dinamica | Metodi quantitativi per l’economia Mathematical Methods; Programming Models; Mathematical and Simulation Modeling |
Large scale interacting random systems |
Metodi e modelli matematici
Stochastic analysis |
Moduli, bimoduli e ideali |
Algebra, Geometria e Logica Matematica
Associative rings and algebras |
Optimal transportation theory |
Metodi e modelli matematici
Manifolds |
Progettazione di sistemi embedded e IoT | Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici |
Sistemi di raccomandazione |
Sistemi informativi ed analisi dei dati
Information systems applications |
Sistemi embedded di rete | Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici |
Teoria delle rappresentazioni di anelli e algebre |
Algebra, Geometria e Logica Matematica
Associative rings and algebras |
Trasporto ottimo |
Metodi e modelli matematici
Manifolds |
Variational problems in a geometric measure-theoretic setting |
Metodi e modelli matematici
Calculus of variations and optimal control; optimization |
Verifica di sistemi embedded | Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici |
******** CSS e script comuni siti DOL - frase 9957 ********p>