CINECA IRIS Institutional Research Information System

Sfoglia per Serie  

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 133 a 152 di 325
Titolo Data di pubblicazione Autore(i) File
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 2013 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Information diffusion in complex networks: a model based on hypergraphs and its analysis 2020 Antelmi A.; Cordasco G.; Spagnuolo C.; Szufel P.
Innovative TV: From an Old Standard to a New Concept of Interactive TV - An Italian Job 2007 R. Simeoni; L. Eltzer; E. Guercio; M. Perrero; A. Rapp; R. Montanari; F. Tesauri
Interaction with Web Services in the Adaptive Web 2004 ARDISSONO L; GOY A; PETRONE G; SEGNAN M
Interactive chart of story characters’ intentions 2016 Lombardo, Vincenzo; Pizzo, Antonio; Damiano, Rossana; Terzulli, Carmi; Albert, Giacomo
Interconnection of large scale unstructured P2P networks: modeling and analysis 2013 V. Ciancaglini; R. Gaeta; R. Loti; L. Liquori
Internal Normalization, Compilation and Decompilation for System F 2010 Stefano Berardi; Makoto Tatsuta
Interpretations of Extensible Objects and Types 1999 V. Bono;M. Bugliesi
Intersection Logic 2001 S. RONCHI DELLA ROCCA; L. ROVERSI
Intersection Types for the Resource Control Lambda Calculi 2011 Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec
Intersection, Universally Quantified and Reference Types 2009 M. Dezani; P. Giannini; S. Ronchi Della Rocca
Introduction to the track on variability modeling for scalable software evolution 2016 Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh
Job Shop Scheduling via Deep Reinforcement Learning: A Sequence to Sequence Approach 2023 Bonetta G.; Zago D.; Cancelliere R.; Grosso A.
Key-Policy Multi-authority Attribute-Based Encryption 2015 Riccardo Longo; Chiara Marcolla; Massimiliano Sala
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together 2023 Olivetti N.; Panic N.; Pozzato G.L.
A Lambda Calculus of Incomplete Objects 1996 V. Bono;M. Bugliesi;L. Liquori
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2005 Ardissono, Liliana; Brna, Paul; Mitrovic, Tanja
LIBERO: A framework for autonomic management of multiple non-functional concerns 2011 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Vamis Xhagjika
Linking Ontological Classes and Archaeological Forms 2020 Lombardo, Vincenzo; Damiano, Rossana; Karatas, Tugce; Mattutino, Claudio
A local criterion for polynomial-time stratified computations 2010 Luca Roversi ; Luca Vercelli
Mostrati risultati da 133 a 152 di 325
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