IRIS

04.01 - Contributo in atti di convegno: [27437] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 9.781 a 9.800 di 27.437
Titolo Data di pubblicazione Autore(i) File
Comparing direct and continuation semantics styles for concurrent languages 1-gen-1987 Astesiano, Egidio; Reggio, Gianna
Active Mode Identification Of Switching Systems 1-gen-2006 Baglietto, Marco; G., Battistelli; L., Scardovi
Generalized bisimulation in relational specifications 1-gen-1988 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Progetto di sviluppo nel Campus Universitario di Savona di una Smart Grid poligenerativa a più clusters 1-gen-2011 Delfino, Federico; Rossi, Mansueto; Magistri, Loredana; Ferrari, MARIO LUIGI; Traverso, Alberto; Massardo, Aristide
Optimal Control for Active Identification of Unknown Systems 1-gen-2005 Baglietto, Marco; Cannata, Giorgio; L., Scardovi; Zoppoli, Riccardo
Neuro-Dynamic Programming for the exploration of unknown graphs 1-gen-2005 Baglietto, Marco; G., Battistelli; L., Scardovi; Zoppoli, Riccardo
Processes as data types: Observational semantics and logic 1-gen-1990 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Data in a concurrent environment 1-gen-1988 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Feedback linearization control technique for the use of PV units as reactive power providers 1-gen-2009 Delfino, Federico; Denegri, GIO BATTISTA; Invernizzi, Marco; Procopio, Renato
Global Types for Dynamic Checking of Protocol Conformance of Multi-Agent Systems (Extended Abstract) 1-gen-2012 Ancona, Davide; M., Barbieri; Mascardi, Viviana
Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason 1-gen-2013 Ancona, Davide; S., Drossopoulou; Mascardi, Viviana
A non-standard inductive semantics 1-gen-1990 Reggio, Gianna
Entities: An institution for dynamic systems 1-gen-1991 Reggio, Gianna
Abstract dynamic data types: A temporal logic approach 1-gen-1991 G., Costa; Reggio, Gianna
Leaky waves in spatial stability analysis 1-gen-2005 Pralits, JAN OSCAR; P., Luchini
Algebraic Specification at Work 1-gen-1992 Astesiano, Egidio; A., Giovini; F., Morando; Reggio, Gianna
A SMoLCS based kit for defining high-level algebraic Petri nets 1-gen-1994 M., Bettaz; Reggio, Gianna
Shortest path problems on stochastic graphs: a neuro dynamic programming approach 1-gen-2003 Baglietto, Marco; G., Battistelli; F., Vitali; Zoppoli, Riccardo
Specifying reactive systems by abstract events 1-gen-1993 Astesiano, Egidio; Reggio, Gianna
Approximating networks for the solution of T-stage stochastic optimal control problems 1-gen-2001 Baglietto, Marco; C., Cervellera; T., Parisini; Sanguineti, Marcello; Zoppoli, Riccardo
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 9.781 a 9.800 di 27.437
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
Tipologia
  • 04- Contributo in atti di convegno27437
  • 01- Contributo su rivista1
Autore
  • BRUZZONE, AGOSTINO365
  • REGAZZONI, CARLO344
  • PASTORINO, MATTEO304
  • RANDAZZO, ANDREA255
  • REVETRIA, ROBERTO238
  • MARCHESE, MARIO233
  • ROLI, FABIO233
  • SILVESTRO, FEDERICO217
  • CANAVESE, FEDERICO214
  • LAGOMARSINO, SERGIO206
Data di pubblicazione
  • In corso di stampa71
  • 2020 - 20274601
  • 2010 - 20199180
  • 2000 - 20098653
  • 1990 - 19993803
  • 1980 - 19891033
  • 1970 - 197996
Editore
  • Institute of Electrical and Elect...954
  • IEEE944
  • Springer263
  • Springer Science and Business Med...197
  • IEEE Computer Society195
  • Springer Verlag173
  • Elsevier B.V.116
  • American Society of Mechanical En...106
  • CEUR-WS106
  • Genova University Press80
Rivista
  • POS PROCEEDINGS OF SCIENCE92
  • JOURNAL OF PHYSICS. CONFERENCE SE...86
  • E3S WEB OF CONFERENCES56
  • LECTURE NOTES IN COMPUTER SCIENCE37
  • ATTI (CENTRO LIGURE PER LA STORIA...21
  • ...SUMMER SCHOOL FRANCESCO TURCO....20
  • AIP CONFERENCE PROCEEDINGS19
  • EPJ WEB OF CONFERENCES17
Serie
  • LECTURE NOTES IN ARTIFICIAL INTEL...136
  • CEUR WORKSHOP PROCEEDINGS121
  • LECTURE NOTES IN COMPUTER SCIENCE103
  • LECTURE NOTES IN ELECTRICAL ENGIN...80
  • IFAC-PAPERSONLINE66
  • PROCEEDINGS OF SPIE, THE INTERNAT...32
  • COMMUNICATIONS IN COMPUTER AND IN...27
  • LECTURE NOTES IN CIVIL ENGINEERING26
  • ADVANCES IN NEURAL INFORMATION PR...25
  • LECTURE NOTES IN NETWORKS AND SYS...22
Keyword
  • Electrical and Electronic Enginee...135
  • Artificial Intelligence133
  • Computer Science (all)123
  • Computer Networks and Communications110
  • Computer Science Applications1707...106
  • Software101
  • Control and Systems Engineering98
  • Humans96
  • Simulation96
  • Theoretical Computer Science94
Lingua
  • eng19892
  • ita7313
  • fre270
  • spa153
  • rus36
  • ger28
  • grc17
  • lat16
  • por16
  • und14
Accesso al fulltext
  • no fulltext23033
  • reserved2664
  • open1711
  • partially open20
  • restricted9