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 6.624 a 6.643 di 7.394
Titolo Data di pubblicazione Autore(i) File
Symbolic models for time-varying time-delay systems via alternating approximate bisimulation, (Published online on June 27th 2014, To appear) 1-gen-2014 Pola, G.; Pepe, P.; DI BENEDETTO, MARIA DOMENICA
Symbolic Models for Time–Varying Time–Delay Systems via Alternating Approximate Bisimulation 1-gen-2015 Pola, Giordano; Pepe, Pierdomenico; DI BENEDETTO, MARIA DOMENICA
Symbolic models for unstable nonlinear control systems 1-gen-2010 Zamani, Majid; Pola, Giordano; Tabuada, Paulo
A symmetric nearly preserving general linear method for Hamiltonian problems 1-gen-2015 D'Ambrosio, Raffaele; De Martino, Giuseppe; Paternoster, Beatrice
Symmetric simple exclusion process with free boundaries 1-gen-2015 DE MASI, Anna; Ferrari, P; Presutti, E.
Synchronization and functional central limit theorems for interacting reinforced random walks 1-gen-2019 Crimaldi, Irene; Dai Pra, Paolo; Louis, Pierre-Yves; Minelli, IDA GERMANA
Synchronization in Interacting Reinforced Stochastic Processes 1-gen-2018 Louis, Pierre-Yves; Minelli, IDA GERMANA
Synchronization scenarios induced by delayed communication in arrays of diffusively coupled autonomous chemical oscillators 1-gen-2021 Budroni, M. A.; Pagano, G.; Conte, D.; Paternoster, B.; D'Ambrosio, R.; Ristori, S.; Abou-Hassan, A.; Rossi, F.
Synchronization via interacting reinforcement 1-gen-2014 Dai, Pra; Louis, ; Minelli, IDA GERMANA
Synchronized Regular Expressions 1-gen-2003 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Enrico, Tronci; MARISA VENTURINI, Zilli
Synchronous Robots vs Asynchronous Lights-Enhanced Robots on Graphs 1-gen-2016 D'Emidio, Mattia; Frigioni, Daniele; Navarra, Alfredo
Synergies for Trains and Cars Automation in the Era of Virtual Networking 1-gen-2018 Rispoli, F.; Neri, A.; Stallo, C.; Salvatori, P.; Santucci, F.
Synthesis and characterization of Ti-silicalite-1 for the direct oxidation of benzene to phenol by hydrogen peroxide 1-gen-2008 Aloise, A.; Bonelli, B.; Sposato, C.; Macario, A.; D'Alessandro, T.; Ballarini, N.; Guidetti, S.; Fornasari, G.; Cavani, F.; Piumetti, M.; Garrone, E.; Giordano, G.
Synthesis and Verification of Self-aware Computing Systems 1-gen-2017 Calinescu, Radu; Autili, Marco; Camara, Javier; DI MARCO, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost Pieter; Kwiatkowska, Marta; Mengshoel, Ole; Spalazzese, Romina; Tivoli, Massimo
Synthesis methodology aimed at improving the quality of TSC devices 1-gen-1999 Bolchini, C.; Pomante, L.; Salice, F.; Sciuto, D.
Synthesis of "correct" adaptors for protocol enhancement in component based systems 1-gen-2004 Autili, Marco; Inverardi, Paola; Tivoli, Massimo; Garlan, D.
Synthesis of an internal model for nonlinear output regulation 1-gen-1987 DI BENEDETTO, MARIA DOMENICA
Synthesis of concurrent and distributed adaptors for component-based systems 1-gen-2006 Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Synthesis of context-aware business-to-business processes for location-based services through choreographies 1-gen-2022 Filippone, G.; Autili, M.; Tivoli, M.
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 1-gen-2005 Inverardi, Paola; Mostarda, L; Tivoli, Massimo; Autili, Marco
Mostrati risultati da 6.624 a 6.643 di 7.394
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