NOMAD

NOMAD - Next-generation Open Mobile Apps Development

This project has been funded by the Autonomous Region of Sardinia, with grant PIA 2013 (total funding: EU 1.020.000).

Project Members

UniversitĂ  degli Studi di Cagliari - Dipartimento di Matematica e Informatica

Project Coordinators

  • Massimo Bartoletti
  • Salvatore Carta

Reseach Associates

  • Ludovico Boratto
  • Tiziana Cimoli
  • Paolo Pilloni
  • G. Michele Pinna
  • Roberto Saia

PhD Students

  • Nicola Atzei
  • Maurizio Murgia
  • Alessandro Sebastian Podda
  • Livio Pompianu

Temporary contract holders

  • Stefano Lande
  • Maria Luisa Mulas
  • Giordano Sini

Publications

2018

  • S. Carta, A. Medda, A. Pili, D. R. Recupero, R. Saia. Forecasting E-commerce Products Prices by Combining an Autoregressive Integrated Moving Average (ARIMA) Model and Google Trends Data. In Future Internet (FI), MDPI, 2018
  • R. Saia, D. Reforgiato Recupero, S. Carta, G. Fenu. Internet of Entities (IoE): a Blockchain-based Distributed Paradigm for Data Exchange Between Wireless-based Devices. In Proc. SENSORNETS, 2018
  • R. Saia, S. Carta. Evaluating the Benefits of Using Proactive Transformed-domain-based Techniques. In Future Generation Computer Systems, Elsevier (FGCS), 2018
  • R. Saia, D. Reforgiato Recupero, S. Carta. A Probabilistic-driven Ensemble Approach to Perform Event Classification in Intrusion Detection System. 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KDIR), 2018.
  • N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, R. Zunino. SoK: unraveling Bitcoin smart contracts. In Proc. POST, 2018
  • N. Atzei, M. Bartoletti, S. Lande, R. Zunino. A formal model of Bitcoin transactions. In Proc. Financial Cryptography, 2018
  • R. Saia, S. Carta. Proactivity or Retroactivity? Evaluating the Benefits of Using Proactive Transformed-domain-based Techniques in Fraud Detection Tasks. High Quality Journal Forum, 3rd International Conference on Internet of Things, Big Data and Security (IoTBDS), 2018.
  • R. Saia, S. Carta, G. Fenu. A Wavelet-based Data Analysis to Credit Scoring. 2nd International Conference on Digital Signal Processing (ICDSP), 2018.
  • R. Saia. Unbalanced Data Classification in Fraud Detection by Introducing a Multidimensional Space Analysis. 3rd International Conference on Internet of Things, Big Data and Security (IoTBDS), 2018.

2017

2016

  • N. Atzei, M. Bartoletti. Developing honest Java programs with Diogenes. In Proc. FORTE, 2016.
  • M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Honesty by typing. In Logical Methods in Computer Science, 12(4), 2016.
  • M. Bartoletti, S. Lande, A. Massa. FadeRank: an incremental algorithm for ranking Twitter users. In Proc. WISE, 2016.
  • G. Casu, G. M. Pinna. An unifying framework for compacting Petri nets behaviors. In Proc. ICTCS, 2016.
  • R. Saia, L. Boratto, S. Carta, G. Fenu. Representing Items as Word-Embedding Vectors and Generating Recommendations by Measuring their Linear Independence. ACM Recommender Systems conference (RecSys-2016), Boston, MA, USA, 2016.
  • R. Saia, L. Boratto, S. Carta. Improving the Accuracy of Latent-space-based Recommender Systems by Introducing a Cut-off Criterion. Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS), Brussels, Belgium, 2016.
  • R. Saia, L. Boratto, S. Carta, G. Fenu. Using Neural Word Embeddings to Model User Behavior and Detect User Segments. Knowledge-Based Systems (KBS), Elsevier, 2016.
  • R. Saia, L. Boratto, S. Carta, G. Fenu. Binary Sieves: Toward a Semantic Approach to User Segmentation for Behavioral Targeting. In Future Generation Computer Systems (FGCS), Elsevier, 2016.
  • R. Saia, L. Boratto, S. Carta, G. Fenu. A semantic approach to remove incoherent items from a user profile and improve the accuracy of a recommender system. Accepted for publication in Journal of Intelligent Information Systems (JIIS), Springer, 2016.
  • R. Saia, L. Boratto, S. Carta, G. Fenu. Exploiting a Determinant-based Metric to Evaluate a Word-embeddings Matrix of Items.In Proc. IEEE International Conference on Data Mining series (ICDM), SERecSys Workshop, 2016.
  • R. Saia, L. Boratto, S. Carta, G. Fenu. Representing Items as Word-Embedding Vectors and Generating Recommendations by Measuring their Linear Independence. In Proc. ACM Recommender Systems conference (RecSys), 2016.
  • R. Saia, L. Boratto, S. Carta. Improving the Accuracy of Latent-space-based Recommender Systems by Introducing a Cut-off Criterion. In Proc. Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS), 2016.
  • R. Saia, S. Carta. A Linear-dependence-based Approach to Design Proactive Credit Scoring Models..In Proc. 8th International Conference on Knowledge Discovery and Information Retrieval (KDIR), 2016.
  • R. Saia, S. Carta. An Entropy Based Algorithm for Credit Scoring. Lecture Notes in Business Information Processing, Springer (LNBIP), 2016.