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 46 a 65 di 325
Titolo Data di pubblicazione Autore(i) File
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing 1986 E. Giovannetti; C. Moiso
Completeness Results for a Polymorphic Type System 1983 Mario Coppo; Elio Giovannetti
Computation Asset Allocation Using One-Sided and Two-Sided Variability Measures 2006 FARINELLI S.; ROSSELLO D.; TIBILETTI L.
Computational Experience with Pseudoinversion-Based Training of Neural Networks Using Random Projection Matrices 2014 Rubini, L.; Cancelliere, R.; Gallinari, P.; Grosso, A.; Raiti, A.
Computational Methods for the Evaluation of Neuron’s Firing Densities 2003 E. DI NARDO; A.G. NOBILE; E. PIROZZI; L.M. RICCIARDI
Computer-aided simulations of Gaussian processes and related asymptotic properties. 2001 DI NARDO, Elvira; Nobile, A. G.; Pirozzi, E.; Ricciardi, L. M.
Computing Structural Properties of Symmetric Nets 2015 Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana
Conditioned Variational Autoencoder for Top-N Item Recommendation 2022 Carraro, T; Polato, M; Bergamin, L; Aiolli, F
Constraint-based mining of fault-tolerant patterns from Boolean data 2006 J. Besson; R. G. Pensa; C. Robardet; J-F. Boulicaut
Constraints for Service Contracts 2012 Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani; Ugo Montanari
Context-aware workflow management 2007 L. ARDISSONO; R. FURNARI; A. GOY; G. PETRONE; M. SEGNAN
Context-Based Distance Learning for Categorical Data Clustering 2009 D. Ienco; R. G. Pensa; R. Meo
Context-Free Session Type Inference 2017 Padovani, Luca
Contract-based Discovery and Adaptation of Web Services 2009 Padovani, Luca
Contract-directed Synthesis of Simple Orchestrators 2008 Padovani, Luca
Contracts for Mobile Processes 2009 Castagna, G.; Padovani, Luca
Contribution to gene expression data analysis by means of set pattern mining 2006 R. G. Pensa; J. Besson; C. Robardet; J-F. Boulicaut
A Core Calculus of Classes and Mixins 1999 V. Bono;A. Patel;V. Shmatikov
Crowdfunding of Science and Open Data: Opportunities, Challenges, and Policies 2019 Paseri, Ludovica
Curriculum Model Checking: Declarative Representation and Verification of Properties 2007 M. BALDONI; E. MARENGO
Mostrati risultati da 46 a 65 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