1,056 research outputs found
I libri dei Pico della Mirandola nel palazzo ducale di Mantova
No full textI libri della della famiglia Pico della Mirandola del XVI e XVII sono ora conservati presso la Biblioteca Teresiana di Mantova
Il paesaggio vegetazionale dell’insediamento etrusco (VII-V sec. a.C.) di Arginone, Mirandola, 9-10 m s.l.m. (Modena, Nord-Italia).
No full textIl presente lavoro riguarda l'insediamento etrusco rinvenuto in località Arginone, nel comune di Mirandola (Modena), cronologicamente riferibile al VII-V sec. a.C. L'insediamento sorgeva in un'area perta, a vegetazione prevalentemente erbacea e con situazioni palustri ricorrenti. Diffuse erano le piante nitrofile, ruderali, indicatrici di calpestio e discreta era l'attività antropica con coltivazioni di diversi tipi di cereali sottoposti a rotazione. Sono presenti due specie ornamentali quali il Platano e il Bagolaro, probabilmente localizzate presso la vasca per l'ittiiocultura
Gli studi pichiani di Bruno Andreolli
No full textbilancio storiografico delle ricerche di un autorevole studioso sulla storia di Mirandola e della sua signori
Simulazione dell'esercizio di un sistema energetico integrato al fine di determinarne le prestazioni su base annua
No full textL'approccio termoeconomico allo studio e all'ottimizzazione degli impianti di conversione energetica
No full textI giovani in Veneto - approfondimento dei risultati dell'indagine Health Behaviour in School-aged Children (HBSC) 2002 dell'Organizzazione Mondiale della Sanità su giovani di 11, 13 e 15 anni
No full textVolume di presentazione dei risultati dello studio seguendo un modello teorico di riferimento elaborato dal gruppo di ricerca internazionale HBSC/WH
Il distretto di Mirandola prima e dopo il terremoto
No full textIl lavoro analizza come i vantaggi competitivi del distretto biomedicale di Mirandola in Emilia-Romagna, particolarmente le capacità innovative, hanno permesso sia il costante upgrading delle imprese dei distretto che un adattamento rapido dopo il terremoto del 2012
Multi-requirement Parametric Falsification
No full textFalsification is a popular simulation-based testing method for Cyber- Physical Systems to find inputs that violate a formal requirement. However, detecting violations considering multiple probabilistic requirements simultaneously with a dense space of changing factors in the execution scenario is an open problem. We address this problem by proposing a novel approach that combines parametric model checking and many-objective optimization. Results of a preliminary empirical evaluation show the effectiveness of the approach compared to selected baseline methods
- …
