Sfoglia per Serie
Interpretations of Extensible Objects and Types
1999-01-01 V. Bono;M. Bugliesi
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; L. ROVERSI
Intersection Types for the Resource Control Lambda Calculi
2011-01-01 Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec
Intersection, Universally Quantified and Reference Types
2009-01-01 M. Dezani; P. Giannini; S. Ronchi Della Rocca
Introduction to the track on variability modeling for scalable software evolution
2016-01-01 Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh
Job Shop Scheduling via Deep Reinforcement Learning: A Sequence to Sequence Approach
2023-01-01 Bonetta G.; Zago D.; Cancelliere R.; Grosso A.
Key-Policy Multi-authority Attribute-Based Encryption
2015-01-01 Riccardo Longo; Chiara Marcolla; Massimiliano Sala
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together
2023-01-01 Olivetti N.; Panic N.; Pozzato G.L.
A Lambda Calculus of Incomplete Objects
1996-01-01 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-01-01 Ardissono, Liliana; Brna, Paul; Mitrovic, Tanja
LIBERO: A framework for autonomic management of multiple non-functional concerns
2011-01-01 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Vamis Xhagjika
Linking Ontological Classes and Archaeological Forms
2020-01-01 Lombardo, Vincenzo; Damiano, Rossana; Karatas, Tugce; Mattutino, Claudio
A local criterion for polynomial-time stratified computations
2010-01-01 Luca Roversi ; Luca Vercelli
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content
2023-01-01 Lieto A.; Pozzato G.L.; Valese A.; Zito M.
Management in distributed systems: a semi-formal approach
2007-01-01 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick
Managing Adaptivity in Parallel Systems
2013-01-01 Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter; Montangero, Carlo; Semini, Laura
Matching Constraints for the Lambda Calculus of Objects
1997-01-01 V. Bono;M. Bugliesi
Mathmelodies: inclusive design of a didactic game to practice mathematics
2014-01-01 Andrea Gerino, Nicolo Alabastro, Cristian Bernareggi, Dragan Ahmetovic, Sergio Mascetti
Matrix pseudoinversion for image neural processing
2012-01-01 R. Cancelliere; M. Gai; T. Artières; P. Gallinari
Measuring the Inspiration Rate of Topics in Bibliographic Networks
2017-01-01 Bioglio, Livio; Rho, Valentina; Pensa, Ruggero G.
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