Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
A survey on the specification of the physical environment of wireless sensor networks
2014-01-01 Malavolta, Ivano; Muccini, Henry
Survivable Networks with Bounded Delay: The Edge Failure Case
1999-01-01 Cicerone, Serafino; DI STEFANO, Gabriele; Handke, D.
Survivable transportation network design for electric vehicles
2016-01-01 Thakur, Subhasis; De Gasperis, G.
Survivable virtual network mapping with content connectivity against multiple link failures in optical metro networks
2020-01-01 Le, G.; Ferdousi, S.; Marotta, A.; Xu, S.; Hirota, Y.; Awaji, Y.; Tornatore, M.; Mukherjee, B.
Sviluppo di metodi per la dinamica molecolare polarizzabile ed il calcolo di struttura elettronica
2021-06-21 Cappelluti, Francesco
Swapping a Failing Edge of a Shortest Paths Tree by Minimizing the Average Stretch Factor
2004-01-01 A., DI SALVO; Proietti, Guido
Swapping a Failing Edge of a Shortest Paths Tree by Minimizing the Average Stretch Factor
2007-01-01 A., DI SALVO; Proietti, Guido
Swapping a Failing Edge of a Single Source Shortest Paths Tree is Good and Fast
2003-01-01 E., Nardelli; Proietti, Guido; P., Widmayer
Switched and piecewise affine systems
2009-01-01 J., Daafouz; DI BENEDETTO, MARIA DOMENICA; V. D., Blondel; G., Ferrari Trecate; L., Hetel; M., Johansson; A. l., Joluvski; S., Paoletti; Pola, Giordano; DE SANTIS, Elena; R., Vidal
Switching systems with dwell time: Computing the maximal Lyapunov exponent
2021-01-01 Chitour, Y.; Guglielmi, N.; Protasov, V. Y.; Sigalotti, M.
SyBeL: a system modelling language enhancing automatic support in the software development process
2013-01-01 DELLA PENNA, Giuseppe; Intrigila, B; Magazzeni, D; Orefice, Sergio; Del Sordo, R; Cardinale Ciccotti, G.
SyLVaaS: System Level Formal Verification as a Service
2016-01-01 Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E
A symbolic approach to the design of nonlinear networked control systems
2012-01-01 Borri, A.; Pola, G.; Di Benedetto, M. D.
Symbolic Computations in Design and Modelling of Nonlinear Control
2010-01-01 Dyda, A. A.; Lubimov, E. V.; DI GENNARO, S.
Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes
2022-01-01 Borri, Alessandro; Pola, Giordano; Pepe, Pierdomenico; Di Benedetto, Maria Domenica; Palumbo, Pasquale
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
2021-01-01 Masciulli, T.; Pola, G.
Symbolic control design of nonlinear systems with outputs
2019-01-01 Pola, Giordano; Di Benedetto, Maria Domenica; Borri, Alessandro
Symbolic Manipulation in Buckling and Postbuckling Analysus
1985-01-01 Rizzi, N; Tatone, Amabile
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
2014-01-01 Pola, Giordano; DI BENEDETTO, MARIA DOMENICA
Symbolic models approximating possibly unstable time–delay systems with application to the artificial pancreas
2019-01-01 Pola, Giordano; Borri, Alessandro; Pepe, Pierdomenico; Palumbo, Pasquale; Di Benedetto, Maria D.
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