• VIG: Data Scaling for OBDA Benchmarks 

  Lanti D; Xiao G; Calvanese D (2019)

  In this paper we describe VIG, a data scaler for Ontology-Based Data Access (OBDA) benchmarks. Data scaling is a relatively recent approach, proposed in the database community, that allows for quickly scaling an input data ...
• Improving Time-aware Recommendations in Open Source Packages 

  Symeonidis P; Coba L; Zanker M (2019)

  Collaborative filtering techniques have been studied extensively during the last decade. Many open source packages (Apache Mahout, LensKit, MyMediaLite, rrecsys etc.) have implemented them, but typically the top-N ...
• Counteracting the filter bubble in recommender systems: Novelty-aware matrix factorization 

  Symeonidis P; Coba L; Zanker M (2019)

  The search for unfamiliar experiences and novelty is one of the main drivers behind all human activities, equally important with harm avoidance and reward dependence. A recommender system personalizes suggestions to ...
• Personalised Novel and Explainable Matrix Factorization 

  Coba L; Symeonidis P; Zanker M (2019)

  Recommendation systems personalise suggestions to individuals to help them in their decision making and exploration tasks. In the ideal case, these recommendations, besides of being accurate, should also be novel and ...
• 

  Solving k-center Clustering (with Outliers) in MapReduce and Streaming, almost as Accurately as Sequentially 

  Ceccarello M; Pietracaprina A; Pucci G (2019)

  Center-based clustering is a fundamental primitive for data analysis and becomes very challenging for large datasets. In this paper, we focus on the popular k-center variant which, given a set S of points from some metric ...
• 

  OCL_FO: first-order expressive OCL constraints for efficient integrity checking 

  Franconi E; Mosca A; Oriol X; Rull G; Teniente E (2019)

  OCL is the standard language for defining constraints in UML class diagrams. Unfortunately, as we show in this paper, full OCL is so expressive that it is not possible to check general OCL constraints efficiently. In ...
• 

  Automatic Identification and Classification of Software Development Video Tutorial Fragments 

  Ponzanelli L; Bavota G; Mocci A; Oliveto R; Di Penta M; Haiduc S; Russo B; Lanza M (2019)

  Software development video tutorials have seen a steep increase in popularity in recent years. Their main advantage is that they thoroughly illustrate how certain technologies, programming languages, etc. are to be used. ...
• Co-designing wearable devices for sports: The case study of sport climbing 

  Mencarini E; Leonardi C; Cappelletti A; Giovanelli D; De Angeli A; Zancanaro M (2019)

  This paper presents the co-design process of a wearable device for rock climbing, an extreme sport that requires high physical, emotional, and cognitive involvement. From the preliminary investigation of climbers’ needs, ...
• La progettazione partecipata come pratica e politica per costruire ambienti tecnologicamente densi 

  D'Andrea V; De Angeli A; Teli M (2014)

  L'articolo riassume le basi intellettuali del lavoro svolto collettivamente dagli autori presso il Dipartimento di Ingegneria e Scienza dell'Informazione dell'Università di Trento per rispondere a una delle domande poste ...
• Preface 

  Lecca P (Springer, 2013)
• Correction: Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy (PLoS ONE) 

  Kahramanoǧullari O; Fantaccini G; Lecca P; Morpurgo D; Priami C (Public Library of Science, 2013)
• Biological network inference for drug discovery 

  Lecca P; Priami C (2013)

  A better understanding of the pathophysiology should help deliver drugs whose targets are involved in the causative processes underlying a disease. Biological network inference uses computational methods for deducing from ...
• MaRDiGraS: Simplified building of reachability graphs on large clusters 

  Bellettini C; Camilli M; Capra L; Monga M (Springer, 2013)

  Dealing with complex systems often needs the building of huge reachability graphs, thus revealing all the challenges associated with big data access and management. It also requires high performance data processing tools ...
• Beth Definability in Expressive Description Logics 

  Cate B; Franconi E; Seylan I (2013)

  The Beth definability property, a well-known property from classical logic, is investigated in the context of description logics: if a general L-TBox implicitly defines an L-concept in terms of a given signature, where L ...
• MARDIGRAS: MApReduce-based DIstributed building of GRAphS 

  Camilli M (2013)
• Exact Query Reformulation over Databases with First-order and Description Logics Ontologies 

  Franconi E; Kerhet V; Ngo TPN (2013)

  We study a general framework for query rewriting in the presence of an arbitrary first-order logic ontology over a database signature. The framework supports deciding the existence of a safe-range first-order equivalent ...
• 

  Image Schema Combinations and Complex Events 

  Hedblom MM; Kutz O; Peñaloza R; Guizzardi G (2019)

  Formal knowledge representation struggles to represent the dynamic changes within complex events in a cognitively plausible way. Image schemas, on the other hand, are spatiotemporal relationships used in cognitive science ...
• 

  Accessing data integration systems through conceptual schemas 

  Calì A; Calvanese D; De Giacomo G; Lenzerini M (Springer, 2001)

  Data integration systems provide access to a set of heterogeneous, autonomous data sources through a so-called global, or mediated view. There is a general consensus that the best way to describe the global view is through ...
• Stochastic chemical kinetics: A review of the modelling and simulation approaches 

  Lecca P (Springer Verlag, 2013)

  A review of the physical principles that are the ground of the stochastic formulation of chemical kinetics is presented along with a survey of the algorithms currently used to simulate it. This review covers the main ...
• An integrative network inference approach to predict mechanisms of cancer chemoresistance 

  Lecca P (2013)

  We present an integrative general network inference methodology to infer genetic and metabolic pathways associated with oncological drug chemoresistance. This methodology is general because it can infer different kinds of ...

View more