Sfoglia per Serie
Resources for Comparative Analysis of IDN Authoring Tools
2022-01-01 Shibolet, Y; Lombardo, V
RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters
2023-01-01 William Fornaciari, Federico Reghenzani, Federico Terraneo, Davide Baroffio, Cecilia Metra, Martin Omana, Josie E. Rodriguez Condia, Matteo Sonza Reorda, Robert Birke, Iacopo Colonnelli, Gianluca Mittone, Marco Aldinucci, Gabriele Mencagli, Francesco Iannone, Filippo Palombi, Giuseppe Zummo, and Daniele Cesarini, Federico Tesser
The Role of Metaphor in Serious Games Design: the BubbleMumble Case Study
2021-01-01 Allegra, Mario; Bongiovanni, Antonella; Città, Giuseppe; Cusimano, Antonella; Dal Grande, Valentina; Gentile, Manuel; Kisslinger, Annamaria; La Guardia, Dario; Liguori, Giovanna; Lo Presti, Fabrizio; Perna, Salvatore; Picciotto, Sabrina; Ottaviano, Simona; Sala, Carla; Signa, Alessandro
Selection and ranking of activities in the social web
2013-01-01 Ilaria Lombardi; Silvia Likavec; Claudia Picardi; Elisa Chiabrando
Self-monitoring and Technology: Challenges and Open Issues in Personal Informatics
2014-01-01 Amon Rapp; Federica Cena
Semi-formal models to support program development: Autonomic management within component based parallel and distributed programming
2009-01-01 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick
A Semi-supervised Approach to Measuring User Privacy in Online Social Networks
2016-01-01 Pensa, R.G.; Di Blasi, G.
Service-Oriented Justification of Recommender System Suggestions
2021-01-01 Noemi Mauro; Zhongli Filippo Hu; Liliana Ardissono
Session and Union Types for Object Oriented Programming
2008-01-01 Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani; Elena Giachino; Betti Venneri
Session Types for Access and Information Flow Control
2010-01-01 Sara Capecchi; Ilaria Castellani; Mariangiola Dezani; Tamara Rezk
Sessions and Session Types: an Overview
2010-01-01 Mariangiola Dezani-Ciancaglini; Ugo de’Liguoro
SimpleHypergraphs.jl—novel software framework for modelling and analysis of hypergraphs
2019-01-01 Antelmi A.; Cordasco G.; Kaminski B.; Pralat P.; Scarano V.; Spagnuolo C.; Szufel P.
Simulation and Bisimulation for Probabilistic Timed Automata
2010-01-01 J. SPROSTON; A. TROINA
Simulation of Gaussian Processes and First Passage Time Densities Evaluation
2000-01-01 DI NARDO, Elvira; Nobile, A. G.; Pirozzi, E.; Ricciardi, L. M.; Rinaldi, S.
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions
2023-01-01 Olliaro Diletta; Balbo Gianfranco; Marin Andrea; Sereno Matteo
Smooth Orchestrators
2006-01-01 Laneve, C.; Padovani, Luca
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
2020-01-01 Capra L.; De Pierro M.; Franceschinis G.
Solving Chance-Constrained Programs combining Tabu Search and Simulation
2004-01-01 R. ARINGHIERI
Solving Parity Games on Integer Vectors
2013-01-01 P. A. ABDULLA; R. MAYR; A. SANGNIER; J. SPROSTON
Some Thoughts about Commitment Protocols (Position Paper)
2013-01-01 Matteo Baldoni; Cristina Baroglio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Resources for Comparative Analysis of IDN Authoring Tools | 2022 | Shibolet, Y; Lombardo, V | |
RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters | 2023 | William Fornaciari, Federico Reghenzani, Federico Terraneo, Davide Baroffio, Cecilia Metra, Martin Omana, Josie E. Rodriguez Condia, Matteo Sonza Reorda, Robert Birke, Iacopo Colonnelli, Gianluca Mittone, Marco Aldinucci, Gabriele Mencagli, Francesco Iannone, Filippo Palombi, Giuseppe Zummo, and Daniele Cesarini, Federico Tesser | |
The Role of Metaphor in Serious Games Design: the BubbleMumble Case Study | 2021 | Allegra, Mario; Bongiovanni, Antonella; Città, Giuseppe; Cusimano, Antonella; Dal Grande, Valentina; Gentile, Manuel; Kisslinger, Annamaria; La Guardia, Dario; Liguori, Giovanna; Lo Presti, Fabrizio; Perna, Salvatore; Picciotto, Sabrina; Ottaviano, Simona; Sala, Carla; Signa, Alessandro | |
Selection and ranking of activities in the social web | 2013 | Ilaria Lombardi; Silvia Likavec; Claudia Picardi; Elisa Chiabrando | |
Self-monitoring and Technology: Challenges and Open Issues in Personal Informatics | 2014 | Amon Rapp; Federica Cena | |
Semi-formal models to support program development: Autonomic management within component based parallel and distributed programming | 2009 | Marco Aldinucci; Marco Danelutto; Peter Kilpatrick | |
A Semi-supervised Approach to Measuring User Privacy in Online Social Networks | 2016 | Pensa, R.G.; Di Blasi, G. | |
Service-Oriented Justification of Recommender System Suggestions | 2021 | Noemi Mauro; Zhongli Filippo Hu; Liliana Ardissono | |
Session and Union Types for Object Oriented Programming | 2008 | Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani; Elena Giachino; Betti Venneri | |
Session Types for Access and Information Flow Control | 2010 | Sara Capecchi; Ilaria Castellani; Mariangiola Dezani; Tamara Rezk | |
Sessions and Session Types: an Overview | 2010 | Mariangiola Dezani-Ciancaglini; Ugo de’Liguoro | |
SimpleHypergraphs.jl—novel software framework for modelling and analysis of hypergraphs | 2019 | Antelmi A.; Cordasco G.; Kaminski B.; Pralat P.; Scarano V.; Spagnuolo C.; Szufel P. | |
Simulation and Bisimulation for Probabilistic Timed Automata | 2010 | J. SPROSTON; A. TROINA | |
Simulation of Gaussian Processes and First Passage Time Densities Evaluation | 2000 | DI NARDO, Elvira; Nobile, A. G.; Pirozzi, E.; Ricciardi, L. M.; Rinaldi, S. | |
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions | 2023 | Olliaro Diletta; Balbo Gianfranco; Marin Andrea; Sereno Matteo | |
Smooth Orchestrators | 2006 | Laneve, C.; Padovani, Luca | |
SNexpression: A Symbolic Calculator for Symmetric Net Expressions | 2020 | Capra L.; De Pierro M.; Franceschinis G. | |
Solving Chance-Constrained Programs combining Tabu Search and Simulation | 2004 | R. ARINGHIERI | |
Solving Parity Games on Integer Vectors | 2013 | P. A. ABDULLA; R. MAYR; A. SANGNIER; J. SPROSTON | |
Some Thoughts about Commitment Protocols (Position Paper) | 2013 | Matteo Baldoni; Cristina Baroglio |
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