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
-
Planar surfaces detection on depth map using patch based approach
(IEEE, 2014)This paper proposes an unsupervised technique for detecting planar surfaces on single depth map image. The proposed method can detect planar surfaces by adopting dynamic seed growing technique without using texture ... -
Microblogging in Open Source Software Development: The Case of Drupal Using Twitter
(2014)Microblogging is a popular form of social media that has quickly permeated both enterprise and open source communities. However, exactly how open source communities can leverage microblogging isn't yet well understood. The ... -
Usability Assessment of a Context-Aware and Personality-Based Mobile Recommender System
(Springer, 2014)In this paper we present STS (South Tyrol Suggests), a context-aware mobile recommender system for places of interest (POIs) that integrates some innovative components, including: a personality questionnaire, i.e., a brief ... -
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others
(Springer, 2014)With a view to supporting expressive, but tractable, collaborative interactions between humans and agents, we propose an approach for representing heterogeneous agent models, i.e., with potentially diverse mental abilities ... -
Depth-map Driven Planar Surfaces Detection
(IEEE, 2014)Planar surface is a common feature in man-made structure, thus accurate detection of planar surface can benefit the image/video segmentation and reconstruction and also the navigation system of robots. Since depth map ... -
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications
(Springer, 2019)This paper introduces a model-based testing framework and associated toolkit, so called HYPpOTesT, for uncertain service-based web applications specified as probabilistic systems with non-determinism. The framework connects ... -
Model-based hypothesis testing of uncertain software systems
(2020)Nowadays, there exists an increasing demand for reliable software systems able to fulfill their requirements in different operational environments and to cope with uncertainty that can be introduced both at design-time and ... -
Anomaly Detection and Analysis for Reliability Management Clustered Container Architectures
(2019)Virtualised environments such as cloud and edge computing architectures allow software to be deployed and managed through third-party provided services. Here virtualised resources available can be adjusted, even dynamically ... -
A Semantic Pattern for Trusted Orchestration in IoT Edge Clouds
(2019)Edge cloud architectures provide a layer between centralized clouds and the IoT and sensor space. In this intermediate layer, we find devices of different types that manage the communication with sensors and cloud services, ... -
Enabling Financial Reports Transparency and Trustworthiness using Blockchain Technology
(2019)Financial report activity standardization becomes more essential in Financial Services and Technology, to facilitate the digitization of the process of communicating and acquiring business information. The eXtensible ... -
A Controller for Anomaly Detection, Analysis and Management for Self-Adaptive for Container Clusters
(2019)Service computing in the cloud allows applications to be deployed remotely. These are managed by third-party service providers that make virtualised resources available for these services. Self-adaptive features for ... -
Computational Aspects of Concept Invention
(Springer, 2018)In this chapter, we present a computational framework that models concept invention. The framework is based on and extends conceptual blending. Apart from the blending mechanism modeling the creation of new concepts, the ... -
Enabling Technologies for Concept Invention
(Springer, 2018)The goal of the COINVENT project was not only to develop a novel, computationally feasible, formal model of conceptual blending that was sufficiently precise for capturing the fundamental insights of Fauconnier and Turner’s ... -
Detecting modules in biological networks by edge weight clustering and entropy significance
(Frontiers Media S.A., 2015)Detection of the modular structure of biological networks is of interest to researchers adopting a systems perspective for the analysis of omics data. Computational systems biology has provided a rich array of methods for ... -
Defining order and timing of mutations during cancer progression: The TO-DAG probabilistic graphical model
(Frontiers Media S.A., 2015)Somatic mutations arise and accumulate both during tumor genesis and progression. However, the order in which mutations occur is an open question and the inference of the temporal ordering at the gene level could potentially ... -
Solutions to the st-connectivity problem using a GPU-based distributed BFS
(Academic Press Inc., 2015)The st-connectivity problem (ST-CON) is a decision problem that asks, for vertices s and t in a graph, if t is reachable from s. Although originally defined for directed graphs, it can also be studied on undirected graphs ... -
Time series analysis of the Bacillus subtilis sporulation network reveals low dimensional chaotic dynamics
(Frontiers Media S.A., 2016)Chaotic behavior refers to a behavior which, albeit irregular, is generated by an underlying deterministic process. Therefore, a chaotic behavior is potentially controllable. This possibility becomes practically amenable ... -
Accurate prediction of the age incidence of chronic myeloid leukemia with an improved two-mutation mathematical model
(Royal Society of Chemistry, 2016)Chronic myeloid leukemia (CML) is a malignant clonal disorder whose hallmark is a reciprocal translocation between chromosomes 9 and 22 occurring in 95% of affected patients. This translocation causes the expression of a ... -
A cost-effective smoothed multigrid with modified neighborhood-based aggregation for Markov chains
(Hindawi, 2015)Smoothed aggregation multigrid method is considered for computing stationary distributions of Markov chains. A judgement which determines whether to implement the whole aggregation procedure is proposed. Through this ... -
Identifying necessary and sufficient conditions for the observability of models of biochemical processes
(2019)The notions of observability and controllability of non-linear systems are a cornerstone of mathematical control theory and cover a wide scope of applications including process design, characterization, monitoring and ...
RSS 1.0