Articles - Computer Science
Browse by
Recent Submissions
-
How should I explain? A comparison of different explanation types for recommender systems
(2014)Recommender systems help users locate possible items of interest more quickly by filtering and ranking them in a personalized way. Some of these systems provide the end user not only with such a personalized item list but ... -
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 ... -
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 ... -
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 ... -
Log mining to re-construct system behavior: an exploratory study on a large telescope system
(2019)Context: A large amount of information about system behavior is stored in logs that record system changes. Such information can be exploited to discover anomalies of a system and the operations that cause them. Given their ... -
What recommendation systems for software engineering recommend: A systematic literature review
(Elsevier Inc., 2016)A recommendation system for software engineering (RSSE) is a software application that provides information items estimated to be valuable for a software engineering task in a given context. Present the results of a ... -
The Robot Operating System: Package reuse and community dynamics
(ELSEVIER SCIENCE INC, 2019)ROS, the Robot Operating System, offers a core set of software for operating robots that can be extended by creating or using existing packages, making it possible to write robotic software that can be reused on different ... -
A model of Requirements Engineering in Software Startups
(2019)Context: Over the past 20 years, software startups have created many products that have changed human life. Since these companies are creating brand-new products or services, requirements are difficult to gather and highly ... -
Distributed CTL model checking using MapReduce: theory and practice
(2016)The recent extensive availability of 'cloud' computing platforms is very appealing for the formal verification community. In fact, these platforms represent a great opportunity to run massively parallel jobs and analyze ... -
Evaluating compliance: From LTL to abductive logic programming
(2018)The compliance verification task amounts to establishing if the execution of a system, given in terms of observed happened events, does respect a given property. In the past both the frameworks of Temporal Logics and Logic ...
RSS 1.0