Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance
2018-01-01 Kabbani, T.; DI GENNARO, S
Automatic verication of temporal properties of Air Traffic Management procedures using Hybrid Systems
2008-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; A., Petriccone
Automatic Verication of Wireless Control in a Mining Ventilation System
2008-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; E., Serra; E., Witrant
Automatic Verification of a Turbogas Control System with the Murphi Verifier
2003-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Michele, Minichino; Ester, Ciancamerla; Andrea, Parisse; Enrico, Tronci; MARISA VENTURINI, Zilli
Automatically Bridging UML Profiles to MOF Metamodels
2015-01-01 Malavolta, Ivano; Muccini, Henry; Sebastiani, Marco
Automating Co-evolution in Model-Driven Engineering
2008-01-01 Cicchetti, A; DI RUSCIO, Davide; Eramo, R; Pierantonio, Alfonso
Automating Performance Antipattern Detection and Software Refactoring in UML Models
2019-01-01 Arcelli, D.; Cortellessa, V.; Pompeo, D. D.
Automatizing Parametric Reasoning on Distributed Concurrent Systems
1994-01-01 Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel
Automotive Architecture Framework: The experience of Volvo Cars
2017-01-01 Pelliccione, Patrizio; Knauss, Eric; Heldal, Rogardt; Magnus Ågren, S.; Mallozzi, Piergiuseppe; Alminger, Anders; Borgentun, Daniel
Automotive Engine and Power-train Control: a Comprehensive Hybrid Model
2000-01-01 A., Balluchi; L., Benvenuti; DI BENEDETTO, MARIA DOMENICA; A. L., Sangiovanni Vincentelli
Automotive Engine Control and Hybrid Systems: Challenges and Opportunities
2000-01-01 A., Balluchi; L., Benvenuti; DI BENEDETTO, MARIA DOMENICA; C., Pinello; A. L., SANGIOVANNI VINCENTELLI
Autonomic Rejuvenation of Cloud Applications as a Countermeasure to Software Anomalies
2021-01-01 DI SANZO, Pierangelo; Avresky, Dimiter R.; Pellegrini, Alessandro
Autonomous robot for cleaning photovoltaic panels in desert zones
2020-01-01 Antonelli, Michele Gabrio; Beomonte Zobel, Pierluigi; De Marcellis, Andrea; Palange, Elia
AUTOPILOT: Integrated System for Automatic Personal Identification and Indoor Localization and Tracking.
2011-01-01 Tennina, S.; Pomante, L.; Graziosi, F.; Di Renzo, M.; Alesii, R.; Santucci, F.
Autosimilarita' e trattamento delle immagini
2015-01-01 Leonetti, Francesco; Manetta, Manuela
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations between UML and Petri Net Models
2018-01-01 Cortellessa, Vittorio; Eramo, Romina; Tucci, Michele
Average Current Mode Control of a DC–DC Boost Converter to Reduce the Decoupling Capacitance at the PV Array Output
2022-01-01 Mohamadian, Sobhan; Buccella, Concettina; Cecati, Carlo
Average Symbol Error Probability in the Presence of Network Interference and Noise
2012-01-01 Merola, C; Guidotti, A; Di Renzo, M; Santucci, Fortunato; Corazza, G. E.
Averaging and large deviation principles for fully-coupled pieceweise deterministic Markov processes and applications to molecular motors
2010-01-01 Faggionato, A; Gabrielli, Davide; RIBEZZI CRIVELLARI, M.
The background in the 0νββ experiment Gerda
2014-01-01 Agostini, M.; Allardt, M.; Andreotti, E.; Bakalyarov, A. M.; Balata, M.; Barabanov, I.; Heider, M. B.; Barros, N.; Baudis, L.; Bauer, C.; Becerici-Schmidt, N.; Bellotti, E.; Belogurov, S.; Belyaev, S. T.; Benato, G.; Bettini, A.; Bezrukov, L.; Bode, T.; Brudanin, V.; Brugnera, R.; Budjas, D.; Caldwell, A.; Cattadori, C.; Chernogorov, A.; Cossavella, F.; Demidova, E. V.; Domula, A.; Egorov, V.; Falkenstein, R.; Ferella, A.; Freund, K.; Frodyma, N.; Gangapshev, A.; Garfagnini, A.; Gotti, C.; Grabmayr, P.; Gurentsov, V.; Gusev, K.; Guthikonda, K. K.; Hampel, W.; Hegai, A.; Heisel, M.; Hemmer, S.; Heusser, G.; Hofmann, W.; Hult, M.; Inzhechik, L. V.; Ioannucci, L.; Csathy, J. J.; Jochum, J.; Junker, M.; Kihm, T.; Kirpichnikov, I. V.; Kirsch, A.; Klimenko, A.; Knopfle, K. T.; Kochetov, O.; Kornoukhov, V. N.; Kuzminov, V. V.; Laubenstein, M.; Lazzaro, A.; Lebedev, V. I.; Lehnert, B.; Liao, H. Y.; Lindner, M.; Lippi, I.; Liu, X.; Lubashevskiy, A.; Lubsandorzhiev, B.; Lutter, G.; Macolino, C.; Machado, A. A.; Majorovits, B.; Maneschg, W.; Nemchenok, I.; Nisi, S.; O'Shaughnessy, C.; Palioselitis, D.; Pandola, L.; Pelczar, K.; Pessina, G.; Pullia, A.; Riboldi, S.; Sada, C.; Salathe, M.; Schmitt, C.; Schreiner, J.; Schulz, O.; Schwingenheuer, B.; Schonert, S.; Shevchik, E.; Shirchenko, M.; Simgen, H.; Smolnikov, A.; Stanco, L.; Strecker, H.; Tarka, M.; Ur, C. A.; Vasenko, A. A.; Volynets, O.; von Sturm, K.; Wagner, V.; Walter, M.; Wegmann, A.; Wester, T.; Wojcik, M.; Yanovich, E.; Zavarise, P.; Zhitnikov, I.; Zhukov, S. V.; Zinatulina, D.; Zuber, K.; Zuzel, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance | 1-gen-2018 | Kabbani, T.; DI GENNARO, S | |
Automatic verication of temporal properties of Air Traffic Management procedures using Hybrid Systems | 1-gen-2008 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; A., Petriccone | |
Automatic Verication of Wireless Control in a Mining Ventilation System | 1-gen-2008 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; E., Serra; E., Witrant | |
Automatic Verification of a Turbogas Control System with the Murphi Verifier | 1-gen-2003 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Michele, Minichino; Ester, Ciancamerla; Andrea, Parisse; Enrico, Tronci; MARISA VENTURINI, Zilli | |
Automatically Bridging UML Profiles to MOF Metamodels | 1-gen-2015 | Malavolta, Ivano; Muccini, Henry; Sebastiani, Marco | |
Automating Co-evolution in Model-Driven Engineering | 1-gen-2008 | Cicchetti, A; DI RUSCIO, Davide; Eramo, R; Pierantonio, Alfonso | |
Automating Performance Antipattern Detection and Software Refactoring in UML Models | 1-gen-2019 | Arcelli, D.; Cortellessa, V.; Pompeo, D. D. | |
Automatizing Parametric Reasoning on Distributed Concurrent Systems | 1-gen-1994 | Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel | |
Automotive Architecture Framework: The experience of Volvo Cars | 1-gen-2017 | Pelliccione, Patrizio; Knauss, Eric; Heldal, Rogardt; Magnus Ågren, S.; Mallozzi, Piergiuseppe; Alminger, Anders; Borgentun, Daniel | |
Automotive Engine and Power-train Control: a Comprehensive Hybrid Model | 1-gen-2000 | A., Balluchi; L., Benvenuti; DI BENEDETTO, MARIA DOMENICA; A. L., Sangiovanni Vincentelli | |
Automotive Engine Control and Hybrid Systems: Challenges and Opportunities | 1-gen-2000 | A., Balluchi; L., Benvenuti; DI BENEDETTO, MARIA DOMENICA; C., Pinello; A. L., SANGIOVANNI VINCENTELLI | |
Autonomic Rejuvenation of Cloud Applications as a Countermeasure to Software Anomalies | 1-gen-2021 | DI SANZO, Pierangelo; Avresky, Dimiter R.; Pellegrini, Alessandro | |
Autonomous robot for cleaning photovoltaic panels in desert zones | 1-gen-2020 | Antonelli, Michele Gabrio; Beomonte Zobel, Pierluigi; De Marcellis, Andrea; Palange, Elia | |
AUTOPILOT: Integrated System for Automatic Personal Identification and Indoor Localization and Tracking. | 1-gen-2011 | Tennina, S.; Pomante, L.; Graziosi, F.; Di Renzo, M.; Alesii, R.; Santucci, F. | |
Autosimilarita' e trattamento delle immagini | 1-gen-2015 | Leonetti, Francesco; Manetta, Manuela | |
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations between UML and Petri Net Models | 1-gen-2018 | Cortellessa, Vittorio; Eramo, Romina; Tucci, Michele | |
Average Current Mode Control of a DC–DC Boost Converter to Reduce the Decoupling Capacitance at the PV Array Output | 1-gen-2022 | Mohamadian, Sobhan; Buccella, Concettina; Cecati, Carlo | |
Average Symbol Error Probability in the Presence of Network Interference and Noise | 1-gen-2012 | Merola, C; Guidotti, A; Di Renzo, M; Santucci, Fortunato; Corazza, G. E. | |
Averaging and large deviation principles for fully-coupled pieceweise deterministic Markov processes and applications to molecular motors | 1-gen-2010 | Faggionato, A; Gabrielli, Davide; RIBEZZI CRIVELLARI, M. | |
The background in the 0νββ experiment Gerda | 1-gen-2014 | Agostini, M.; Allardt, M.; Andreotti, E.; Bakalyarov, A. M.; Balata, M.; Barabanov, I.; Heider, M. B.; Barros, N.; Baudis, L.; Bauer, C.; Becerici-Schmidt, N.; Bellotti, E.; Belogurov, S.; Belyaev, S. T.; Benato, G.; Bettini, A.; Bezrukov, L.; Bode, T.; Brudanin, V.; Brugnera, R.; Budjas, D.; Caldwell, A.; Cattadori, C.; Chernogorov, A.; Cossavella, F.; Demidova, E. V.; Domula, A.; Egorov, V.; Falkenstein, R.; Ferella, A.; Freund, K.; Frodyma, N.; Gangapshev, A.; Garfagnini, A.; Gotti, C.; Grabmayr, P.; Gurentsov, V.; Gusev, K.; Guthikonda, K. K.; Hampel, W.; Hegai, A.; Heisel, M.; Hemmer, S.; Heusser, G.; Hofmann, W.; Hult, M.; Inzhechik, L. V.; Ioannucci, L.; Csathy, J. J.; Jochum, J.; Junker, M.; Kihm, T.; Kirpichnikov, I. V.; Kirsch, A.; Klimenko, A.; Knopfle, K. T.; Kochetov, O.; Kornoukhov, V. N.; Kuzminov, V. V.; Laubenstein, M.; Lazzaro, A.; Lebedev, V. I.; Lehnert, B.; Liao, H. Y.; Lindner, M.; Lippi, I.; Liu, X.; Lubashevskiy, A.; Lubsandorzhiev, B.; Lutter, G.; Macolino, C.; Machado, A. A.; Majorovits, B.; Maneschg, W.; Nemchenok, I.; Nisi, S.; O'Shaughnessy, C.; Palioselitis, D.; Pandola, L.; Pelczar, K.; Pessina, G.; Pullia, A.; Riboldi, S.; Sada, C.; Salathe, M.; Schmitt, C.; Schreiner, J.; Schulz, O.; Schwingenheuer, B.; Schonert, S.; Shevchik, E.; Shirchenko, M.; Simgen, H.; Smolnikov, A.; Stanco, L.; Strecker, H.; Tarka, M.; Ur, C. A.; Vasenko, A. A.; Volynets, O.; von Sturm, K.; Wagner, V.; Walter, M.; Wegmann, A.; Wester, T.; Wojcik, M.; Yanovich, E.; Zavarise, P.; Zhitnikov, I.; Zhukov, S. V.; Zinatulina, D.; Zuber, K.; Zuzel, G. |
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