IRIS

Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1.002 a 1.021 di 7.393
Titolo Data di pubblicazione Autore(i) File
Automatic Synthesis of Robust Numerical Controllers 1-gen-2007 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci
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.
Mostrati risultati da 1.002 a 1.021 di 7.393
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