Browsing Publications of the Faculty of Computer Science by Title
Now showing items 529548 of 1650

Failure Prediction based on Log Files Using Random Indexing and Support Vector Machines
(Elsevier, 2013)Research problem: The impact of failures on software systems can be substantial since the recovery process can require unexpected amounts of time and resources. Accurate failure predictions can help in mitigating the impact ... 
Fast and accurate link prediction in social networking systems
(2012)Online social networks (OSNs) recommend new friends to registered users based on localbased features of the graph (i.e. based on the number of common friends that two users share). However, OSNs do not exploit all different ... 
Fast and Parallel Computational Techniques Applied to Numerical Modeling of RFXmod Fusion Device
(2018)This paper presents fast computational techniques applied to modelling the RFXmod fusion device. An integral equation model is derived for the current distribution on the active coils of the conducting structures, and the ... 
Fast and Simple Data Scaling for OBDA Benchmarks
(CEURWS, 2016)In this paper we describe VIG, a data scaler for OBDA benchmarks. Data scaling is a relatively recent approach, proposed in the database community, that allows for quickly scaling an input data instance to $n$ times its ... 
Fast construction of efficient composite likelihood equations
(2017)Growth in both size and complexity of modern data challenges the applicability of traditional likelihoodbased inference. Composite likelihood (CL) methods address the diﬃculties related to model selection and computational ... 
Fast integral equation solvers in Computational Electromagnetics
(Editura Academiei Române, 2012) 
Fast Iterative Method with a SecondOrder Implicit Difference Scheme for TimeSpace Fractional Convection–Diffusion Equation
(2017)In this paper we intend to establish fast numerical approaches to solve a class of initialboundary problem of timespace fractional convectiondiffusion equations. We present a new unconditionally stable implicit difference ... 
Fast SamplingBased WholeGenome Haplotype Block Recognition
(2016)Scaling linkage disequilibrium (LD) based haplotype block recognition to the entire human genome has always been a challenge. The bestknown algorithm has quadratic runtime complexity and, even when sophisticated search ... 
Fault Tolerance in the RGMA Information and Monitoring System
(Springer, 2005)RGMA (Relational Grid Monitoring Architecture) [1] is a grid monitoring and information system that provides a global view of data distributed across a grid system. RGMA creates the impression of a single centralised ... 
Feature Usage Diagram for Feature Reduction
(Springer, 2013)Feature creep, if not managed well, cause software bloat. This in turn makes software applications become slower. Currently, software industry urgently requires mechanisms and approaches to reduce unnecessary or low value ... 
Featureweighted user model for recommender systems
(Springer, 2007)Recommender systems are gaining widespread acceptance in ecommerce applications to confront the "information overload" problem. Collaborative Filtering (CF) is a successful recommendation technique, which is based on past ... 
Features and Components in Product Models
(IOS Press, 2016)Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further ... 
A finite element method for nonlinear elliptic problems
(2013)We present a Galerkin method with piecewise polynomial continuous elements for fully nonlinear elliptic equations. A key tool is the discretization proposed in Lakkis and Pryer, 2011, allowing us to work directly on the ... 
A finite element method for second order nonvariational elliptic problems
(2011)We propose a numerical method to approximate the solution of second order elliptic problems in nonvariational form. The method is of Galerkin type using conforming finite elements and applied directly to the nonvariational ... 
Finite Lattices Do Not Make Reasoning in ALCI Harder
(CEUR, 2011)We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTimecomplete w.r.t. general TBoxes and ... 
Finite model reasoning on UML class diagrams via constraint programming
(Springer, 2007)Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ... 
Finite Model Reasoning on UML Class Diagrams via Constraint Programming
(2013)Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ... 
A first introduction to programming for firstyear students at a Chinese university using LEGO MindStorms
(IEEE, 2013)In this paper, we describe some of our experiences in incorporating LEGO MindStorms into an introductory programming course. There are three distinguishing features of this course. First, it had a large number of students; ... 
First steps towards the design of tangibles for graph algorithmic thinking
(Springer, 2017)The paper presents exploratory steps of the design of interactive tangible objects for the scaffolding of algorithmic thinking of 9–13 years old school classes, and specifically graph algorithmic thinking. By following a ...