Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
The Teleservices and Remote Medical Care System (TRMCS)
2000-01-01 Inverardi, Paola; Muccini, Henry
Temporal meta-axioms in logical agents
2012-01-01 Costantini, Stefania; Tsintza, P.
A temporal module for logical frameworks
2019-01-01 Pitoni, V.; Costantini, S.
Temporal Network Creation Games
2023-01-01 Bilo', D.; Cohen, S.; Friedrich, T.; Gawendowicz, H.; Klodt, N.; Lenzner, P.; Skretas, G.
Temporal Semantics: time-varying hashtag sense clustering
2014-01-01 Stilo, Giovanni; Velardi, Paola
Temporalizing Epistemic Logic L-DINF
2022-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
TERENCE Users: the UCD Analysis
2011-01-01 Di Mascio, T.; Gennari, R.; Vittorini, P.
TERENCE: An Adaptive Learning System for Poor Comprehenders
2011-01-01 Di Mascio, T; Gennari, R; Vittorini, Pierpaolo
TERENCE: An Adaptive Learning System for Reasoning about Stories with Poor Comprehenders and their Educators
2011-01-01 Di Mascio, T; Gennari, R; Vittorini, Pierpaolo
The territorial perception in cooperative harvesting without communication
2016-01-01 Caianiello, Pasquale; DE GASPERIS, Giovanni; Presutti, Domenico
Test cycle simulation of an electric car with regenerative braking
2020-01-01 Di Fonso, R.; Cecati, C.
A test-driven approach for metamodel development
2012-01-01 Cicchetti, A; DI RUSCIO, Davide; Kolovos, D; Pierantonio, Alfonso
Testing for a set of linear restricttions in VARMA models using ARmetric: An application to Granger causality test
2014-01-01 Triacca, Umberto; Di Iorio, F.
Testing for Equal Predictability of Stationary ARMA Processes
2007-01-01 Otranto, E; Triacca, Umberto
Testing for non-causality using the autoregressive metric
2013-01-01 Di Iorio, F; Triacca, Umberto
Testing microservices architecture-based applications: A systematic mapping study
2020-01-01 Waseem, M.; Liang, P.; Marquez, G.; Di Salle, A.
TeStor: Deriving Test Sequences from Model-based Specifications
2005-01-01 Pelliccione, Patrizio; Muccini, Henry; A., Bucchiarone; AND F., Facchini
Tests on a virtual patient for an observer-based, closed-loop control of plasma glycemia
2011-01-01 P., Palumbo; G., Pizzichelli; S., Panunzi; Pepe, Pierdomenico; A., DE GAETANO
Text Compression using Antidictionaries
1999-01-01 M., Crochemore; Mignosi, Filippo; A. RESTIVO AND S., Salemi
The "Real" approximation factor of the MST heuristic for the Minimum Energy Broadcasting
2005-01-01 Flammini, Michele; Navarra, A.; Perennes, S.
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