Browsing Articles  Computer Science by Title
Now showing items 131150 of 400

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 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 ... 
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 ... 
Firstorder mucalculus over Generic Transition Systems and Applications to the Situation Calculus
(2018)We consider muL, muLa, and muLp, three variants of the firstorder mucalculus studied in verification of dataaware processes, that differ in the form of quantification on objects across states. Each of these three logics ... 
A flexible error resilient scheme for JPEG 2000
(IEEE, 2004)Nowadays, wireless multimedia applications are experiencing a rapid growth; in this scenario, challenging obstacles, such as packet losses due to congestion and band limitation along with bitlevel error corruption, require ... 
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant
(Elsevier, 2010)This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as "apexes", ... 
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks: Case study: SBR plant
(Elsevier, 2010)This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as apexes, ... 
A Framework for Acquisition and Application of Software Architecture Evolution Knowledge
(2013)Software systems continuously evolve as a consequence of frequent changes in their functional requirements and the environment surrounding them. Architecturecentric software evolution (ACSE) enables changes in software ... 
A framework for systematic analysis of open access journals and its application in software engineering and information systems
(2014)This article is a contribution towards an understanding of open access (OA) publishing. It proposes an analysis framework of 18 core attributes, divided into the areas of bibliographic information, activity metrics, ... 
A framework for the development of personalized, distributed webbased configuration systems
(Aaai American Association of Artificial, 2003)For the last two decades, configuration systems relying on AI techniques have successfully been applied in industrial environments. These systems support the configuration of complex products and services in shorter time ... 
From biological to social networks: Link prediction based on multiway spectral clustering
(2013)Link prediction in proteinprotein interaction networks (PPINs) is an important task in biology, since the vast majority of biological functions involve such protein interactions. Link prediction is also important for ... 
Future Directions in Agile Research: Alignments and Divergence between Research and Practice
(2017)Since the publication of Agile Manifesto in 2001, agile methods have transited from a grassroot initiative among enthusiastic advocates and developers to a mainstream software development approach adopted by both small ... 
Fuzzy answer set computation via satisfiability modulo theories
(Cambridge University Press (CUP): STM Journals, 2015)Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information. Several connectives are available to combine ... 
Fuzzy answer sets approximations
(Cambridge University Press (CUP): STM Journals, 2013)Fuzzy answer set programming (FASP) is a recent formalism for knowledge representation that enriches the declarativity of answer set programming by allowing propositions to be graded. To now, no implementations of FASP ... 
Game Design Journeys in Primary Schools: How to
(Federazione Italiana Elettrotecnica, Elettronica, Automazione, Informatica e Telecomunicazioni, 2016)Interest in early game design approaches, that include children’s ideas into the game design process, is increasing. This paper outlines emerging trends in participatory game design, then presents thematic guidelines for ... 
Games for Query Inseparability of Description Logic Knowledge Bases
(2016)We consider conjunctive query inseparability of description logic knowledge bases with respect to a given signature  a fundamental problem in knowledge base versioning, module extraction, forgetting and knowledge exchange. ...