Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 25
Titolo Data di pubblicazione Autore(i) File
Suitability of Abstract State Machines for Discussing Mobile Ad-hoc Networks 1-gen-2014 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
A Probabilistic Grammar for Procedural Content Generation 1-gen-2014 Sportelli, Francesco; Toto, Giuseppe; Vessio, Gennaro
Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs 1-gen-2014 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Applying Predicate Abstraction to Abstract State Machines 1-gen-2015 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Reasoning about Properties with Abstract State Machines 1-gen-2015 Vessio, Gennaro
Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks 1-gen-2015 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
CoreASM-based Evaluation of the N-AODV Protocol for Mobile Ad-hoc Networks 1-gen-2016 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Reasoning on Starvation in AODV using Abstract State Machines 1-gen-2016 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Towards an ASM-based Characterization of the Deadlock-freedom Property 1-gen-2016 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Towards a Digitized Protocol based on Handwriting for the Assessment of Neurodegenerative Disorders 1-gen-2017 Impedovo, Donato; Pirlo, Giuseppe; Teresa Angelillo, Maria; Vessio, Gennaro
Analysis of Properties of Complex Systems with Abstract State Machines 28-apr-2017 Vessio, Gennaro
Intercepting Blackhole Attacks in MANETs: An ASM-based Model 1-gen-2018 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Dynamic Handwriting Analysis for Supporting Earlier Parkinson’s Disease Diagnosis 1-gen-2018 Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
A new ConvNet architecture for heartbeat classification 1-gen-2018 Dentamaro, Vincenzo; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
An ASM-based characterisation of starvation-free systems 1-gen-2018 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
An overview on on-line handwriting analysis for the assessment of AD and PD 1-gen-2018 Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
An Evolutionary Approach to address Interoperability Issues in Multi-Device Signature Verification 1-gen-2019 Impedovo, Donato; Pirlo, Giuseppe; Sarcinella, Lucia; Vessio, Gennaro
Performance-Driven Handwriting Task Selection for Parkinson's Disease Classification 1-gen-2019 Angelillo, MARIA TERESA; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
Attentional Pattern Classification for Automatic Dementia Detection 1-gen-2019 Angelillo, MARIA TERESA; Balducci, Fabrizio; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
A Handwriting-Based Protocol for Assessing Neurodegenerative Dementia 1-gen-2019 Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro; Angelillo, MARIA TERESA
Mostrati risultati da 1 a 20 di 25
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