RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
MCMAS-SLK: A model checker for the verification of strategy logic specifications.
2014 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
MicroWeaR
2018 Profico, Antonio; Strani, Flavia; Raia, Pasquale; Demiguel, Daniel
morphomap: Morphometric Maps, Bone Landmarking and Cross Sectional Geometry
2020 Profico, Ntonio; Bondioli, Luca; Raia, Pasquale; Claude, Julien; O'Higgins, Paul; Marchi, Damiano
NinjaPark
2016 Punzo, V.; Montanino, Marcello
P2GP - Proportionality-based 2-phase Gradient Projection method
2017 DI SERAFINO, Daniela; Toraldo, Gerardo; Viola, Marco
Palantir-BIM (versione Beta)
2020 Barba, Salvatore; DI FILIPPO, Andrea; Matias Gujski, Lucas; Sanseverino, Anna; Barbato, Davide; Armisén Fernández, Alberto
PhotoRaptor - Photometric Research Application To Redshifts
2016 Cavuoti, Stefano; Brescia, Massimo; De Stefano, Virgilio; Longo, Giuseppe
Piaget Multimediale (Diego Pizza Adventure)
2011 Rega, Angelo; Maurizio, Cardaci; Miglino, Orazio
PRQP - Potential Reduction solver for Quadratic Programming
2010 Cafieri, Sonia; D'Apuzzo, Marco; DE SIMONE, Valentina; DI SERAFINO, Daniela; Riccio, Filippo; Toraldo, Gerardo
R package 'FastCUB': Fast Estimation of Mixture Models with Uncertainty for Rating Data via Louis' Identity
2019 Simone, Rosaria
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
MCMAS-SLK: A model checker for the verification of strategy logic specifications. | 5.13 Software | 2014 | Petr, Cermak; Alessio, Lomuscio; Murano, Aniello | |
MicroWeaR | 5.13 Software | 2018 | Profico, Antonio; Strani, Flavia; Raia, Pasquale; Demiguel, Daniel | |
morphomap: Morphometric Maps, Bone Landmarking and Cross Sectional Geometry | 5.13 Software | 2020 | Profico, Ntonio; Bondioli, Luca; Raia, Pasquale; Claude, Julien; O'Higgins, Paul; Marchi, Damiano | |
NinjaPark | 5.13 Software | 2016 | Punzo, V.; Montanino, Marcello | |
P2GP - Proportionality-based 2-phase Gradient Projection method | 5.13 Software | 2017 | DI SERAFINO, Daniela; Toraldo, Gerardo; Viola, Marco | |
Palantir-BIM (versione Beta) | 5.13 Software | 2020 | Barba, Salvatore; DI FILIPPO, Andrea; Matias Gujski, Lucas; Sanseverino, Anna; Barbato, Davide; Armisén Fernández, Alberto | |
PhotoRaptor - Photometric Research Application To Redshifts | 5.13 Software | 2016 | Cavuoti, Stefano; Brescia, Massimo; De Stefano, Virgilio; Longo, Giuseppe | |
Piaget Multimediale (Diego Pizza Adventure) | 5.13 Software | 2011 | Rega, Angelo; Maurizio, Cardaci; Miglino, Orazio | |
PRQP - Potential Reduction solver for Quadratic Programming | 5.13 Software | 2010 | Cafieri, Sonia; D'Apuzzo, Marco; DE SIMONE, Valentina; DI SERAFINO, Daniela; Riccio, Filippo; Toraldo, Gerardo | |
R package 'FastCUB': Fast Estimation of Mixture Models with Uncertainty for Rating Data via Louis' Identity | 5.13 Software | 2019 | Simone, Rosaria |
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
Opzioni
Scopri
Tipologia
- 5 Altro 35
- 5 Altro::5.13 Software 35
Data di pubblicazione
- 2020 4
- 2019 1
- 2018 7
- 2017 2
- 2016 5
- 2015 3
- 2014 2
- 2013 3
- 2012 3
- 2011 4
Keyword
- Serious Games 2
- Technology Enhanced Learning 2
- Agents Based Modeling 1
- Artificial Neural Networks 1
- astronomical catalogues 1
- Astrophysics - Instrumentation an... 1
- Astrophysics - Instrumentation an... 1
- bibliometrics 1
- citation analysis 1
- cross-matching 1
Lingua
- eng 17
- ita 7
- spa 2
Accesso al fulltext
- no fulltext 29
- open 5
- reserved 1