1.4.01 Contributi in atti di convegno - Conference presentations

oppure torna alle liste di scorrimento su tutto Aisberg

Schede nella collezione (ordinate per data di archiviazione in ordine decrescente): 3.621 a 3.640 di 6.200 successivo > < precedente

Building DC microgrids: Planning of an experimental platform with power hardware in the loop features

2015-01-01 Fantauzzi, M.; Iannuzzi, D.; Pagano, M.; Scalfati, A.; Roscia, Mariacristina

Optimization of storage devices for regenerative braking energy in subway systems

2006-01-01 Foiadelli, F.; Roscia, Mariacristina; Zaninelli, D.

Energy-informatic-centric smart campus

2016-01-01 Lazaroiu, George Cristian; Dumbrava, Virgil; Costoiu, Mihnea; Teliceanu, Mihaela; Roscia, Mariacristina

Sustainability energy indicators by means of fuzzy logic

2007-01-01 Brenna, M.; Foiadelli, F.; Roscia, Mariacristina

Harmonic emission of double stage converter for auxiliary services in electric trains

2007-01-01 Brenna, M.; Foiadelli, F.; Zaninelli, D.; Roscia, Mariacristina

Dall’Inferno di Topolino alla Divina Commedia di Gō Nagai. L’eredità di Doré nella ‘nona arte’

2015-01-01 Villa, Giovanni Carlo Federico

"O du wandeldender Geist, du wandelndster!": Rilkes Begegnung mit Hoelderlin - nach hundert Jahren

2016-01-01 Valtolina, Amelia Giuseppina

Analysis of sustainable and competitive energy system

2014-01-01 Longo, Michela; Roscia, Mariacristina; Lazaroiu, George Cristian; Pagano, Mario

Smart campus-an energy integrated approach

2015-01-01 Lazaroiu, George Cristian; Dumbrava, Virgil; Costoiu, Mihnea; Teliceanu, Mihaela; Roscia, Mariacristina

Virtual power plant with energy storage optimized in an electricity market approach

2015-01-01 Lazaroiu, G. C.; Dumbrava, V.; Leva, S.; Roscia, Mariacristina; Teliceanu, M.

Energy trading optimization of a virtual power plant on electricity market

2015-01-01 Lazaroiu, George Cristian; Dumbrava, Virgil; Roscia, Mariacristina; Zaninelli, Dario

Pavia, capitale longobarda: nuovi studi e approcci alla conoscenza per la conservazione e la valorizzazione dell’architettura altomedievale

2016-01-01 Cardaci, Alessio; Versaci, Antonella; Fauzia, Luca Renato

Using spin to generate tests from ASM specifications

2003-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore

Scenario-based validation of embedded systems

2008-01-01 Gargantini, Angelo Michele; Riccobene, E.; Scandurra, Patrizia; Carioni, A.

Using model checking to generate tests from requirements specifications

1999-01-01 Gargantini, Angelo Michele; Heitmeyer, Constance

Parametric rules for stochastic comparisons

2016-01-01 ORTOBELLI LOZZA, Sergio; Lando, Tommaso; Nardelli, Carla

New technologies and methodologies for the planned conservation of cultural heritage: a case study applied to Venetian Walls and the former Convent of Sant'Agostino in Bergamo

2016-01-01 Cardaci, Alessio; Versaci, Antonella

Unified syntax for abstract state machines

2016-01-01 Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael

Validation of constraints among configuration parameters using search-based combinatorial interaction testing

2016-01-01 Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; Vavassori, Paolo

How to assure correctness and safety of medical software: The hemodialysis machine case study

2016-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia

Data di pubblicazione	Titolo	Autore/i	Tipologia
1-gen-2015	Building DC microgrids: Planning of an experimental platform with power hardware in the loop features	Fantauzzi, M.; Iannuzzi, D.; Pagano, M.; Scalfati, A.; Roscia, Mariacristina	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2006	Optimization of storage devices for regenerative braking energy in subway systems	Foiadelli, F.; Roscia, Mariacristina; Zaninelli, D.	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016	Energy-informatic-centric smart campus	Lazaroiu, George Cristian; Dumbrava, Virgil; Costoiu, Mihnea; Teliceanu, Mihaela; Roscia, Mariacristina	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007	Sustainability energy indicators by means of fuzzy logic	Brenna, M.; Foiadelli, F.; Roscia, Mariacristina	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007	Harmonic emission of double stage converter for auxiliary services in electric trains	Brenna, M.; Foiadelli, F.; Zaninelli, D.; Roscia, Mariacristina	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2015	Dall’Inferno di Topolino alla Divina Commedia di Gō Nagai. L’eredità di Doré nella ‘nona arte’	Villa, Giovanni Carlo Federico	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016	"O du wandeldender Geist, du wandelndster!": Rilkes Begegnung mit Hoelderlin - nach hundert Jahren	Valtolina, Amelia Giuseppina	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014	Analysis of sustainable and competitive energy system	Longo, Michela; Roscia, Mariacristina; Lazaroiu, George Cristian; Pagano, Mario	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2015	Smart campus-an energy integrated approach	Lazaroiu, George Cristian; Dumbrava, Virgil; Costoiu, Mihnea; Teliceanu, Mihaela; Roscia, Mariacristina	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2015	Virtual power plant with energy storage optimized in an electricity market approach	Lazaroiu, G. C.; Dumbrava, V.; Leva, S.; Roscia, Mariacristina; Teliceanu, M.	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2015	Energy trading optimization of a virtual power plant on electricity market	Lazaroiu, George Cristian; Dumbrava, Virgil; Roscia, Mariacristina; Zaninelli, Dario	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016	Pavia, capitale longobarda: nuovi studi e approcci alla conoscenza per la conservazione e la valorizzazione dell’architettura altomedievale	Cardaci, Alessio; Versaci, Antonella; Fauzia, Luca Renato	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2003	Using spin to generate tests from ASM specifications	Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008	Scenario-based validation of embedded systems	Gargantini, Angelo Michele; Riccobene, E.; Scandurra, Patrizia; Carioni, A.	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-1999	Using model checking to generate tests from requirements specifications	Gargantini, Angelo Michele; Heitmeyer, Constance	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016	Parametric rules for stochastic comparisons	ORTOBELLI LOZZA, Sergio; Lando, Tommaso; Nardelli, Carla	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016	New technologies and methodologies for the planned conservation of cultural heritage: a case study applied to Venetian Walls and the former Convent of Sant'Agostino in Bergamo	Cardaci, Alessio; Versaci, Antonella	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016	Unified syntax for abstract state machines	Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016	Validation of constraints among configuration parameters using search-based combinatorial interaction testing	Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; Vavassori, Paolo	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016	How to assure correctness and safety of medical software: The hemodialysis machine case study	Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia	1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations

Schede nella collezione (ordinate per data di archiviazione in ordine decrescente): 3.621 a 3.640 di 6.200 successivo > < precedente

Legenda icone

file ad accesso aperto
file disponibili sulla rete interna
file disponibili agli utenti autorizzati
file disponibili solo agli amministratori
file sotto embargo
nessun file disponibile

Scopri

Accesso al fulltext

reserved3262
no fulltext1720
open1169
partially open48
mixed1