Publications of the Faculty of Computer Science
Browse by
Collections in this community
-
Editorship - Computer Science
Journal issues or miscellanies edited by researchers of the Free University of Bozen-Bolzano -
Grey Literature - Computer Science
Working Papers, Reports etc. -
Other - Computer Science
Multimedia, Software, Databases, Websites etc.
Recent Submissions
-
Strategies and systems towards grids and clouds integration: A DBMS-based solution
(Elsevier B.V., 2018)Cloud and Grid computing share some essential driving ideas although the computing and economic models are very different. In this paper, we propose different strategies for the Batch-oriented and Service-oriented computing ... -
Multilevel parallelism for the exploration of large-scale graphs
(Institute of Electrical and Electronics Engineers Inc., 2018)We present the most recent release of our parallel implementation of the BFS and BC algorithms for the study of large scale graphs. Although our reference platform is a high-end cluster of new generation NVIDIA GPUs and ... -
Dynamic merging of frontiers for accelerating the evaluation of betweenness centrality
(Association for Computing Machinery, 2018)Betweenness Centrality (BC) is a widely used metric of the relevance of a node in a network. The fastestknown algorithm for the evaluation of BC on unweighted graphs builds a tree representing information about the shortest ... -
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)
(2018)The area of Principles of Data Management (PDM) has made crucial contributions to the development of formal frameworks for understanding and managing data and knowledge. This work has involved a rich cross-fertilization ... -
A Methodology for Improving Vegetation Representation and Health Exploiting a Semantic Robotic System and Its Dynamic Stability Control
(2018)Precision farming technologies have been increasingly recognized for their potential ability for improving agricultural productivity, reducing production cost, and minimizing damage to the environment. In this context, the ... -
Modeling time, probability, and configuration constraints for continuous cloud service certification
(ELSEVIER ADVANCED TECHNOLOGY, 2018)Cloud computing proposes a paradigm shift where resources and services are allocated, provisioned, and accessed at runtime and on demand. New business opportunities emerge for service providers and their customers, at a ... -
A Generalized Evaluation Framework for Multimedia Recommender Systems
(2018)With the widespread availability of media technologies, such as real-time streaming, new Internet-of-Thing devices and smart phones, multimedia data are extensively increased and the big multimedia data rapidly spread over ... -
The positioning cards: on affect, public design, and the common
(Springer London, 2018)In this paper, we present a design tool, the positioning cards that we have developed, validated, and used in different projects. These cards are built to allow CI4CG and Participatory Design researchers to discuss the ... -
Zone-based formal specification and timing analysis of real-time self-adaptive systems
(2018)Self-adaptive software systems are able to autonomously adapt their behavior at run-time to react to internal dynamics and to uncertain and changing environment conditions. Formal specification and verification of self-adaptive ... -
How Monte Carlo heuristics aid to identify the physical processes of drug release kinetics
(Elsevier B.V., 2018)We implement a Monte Carlo heuristic algorithm to model drug release from a solid dosage form. We show that with Monte Carlo simulations it is possible to identify and explain the causes of the unsatisfactory predictive ... -
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
(2019)The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes. DMN builds on the notion of decision ... -
On Expansion and Contraction of DL-Lite Knowledge Bases
(2019)Knowledge bases (KBs) are not static entities: new information constantly appears and some of the previous knowledge becomes obsolete. In order to reflect this evolution of knowledge, KBs should be expanded with the new ... -
Listening to the Crowd for the Release Planning of Mobile Apps
(2019)The market for mobile apps is getting bigger and bigger, and it is expected to be worth over 100 Billion dollars in 2020. To have a chance to succeed in such a competitive environment, developers need to build and maintain ... -
VIG: Data Scaling for OBDA Benchmarks
(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
(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
(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
(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
(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
(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
(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. ...