Browsing Articles  Computer Science by Title
Now showing items 149168 of 452

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 ... 
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 ... 
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 ... 
Flexible and deflated variants of the block shifted GMRES method
(NorthHolland, 2019)The solution of linear systems with multiple shifts and multiple righthand sides given simultaneously is required in many largescale scientific and engineering applications. In this paper we introduce new flexible and ... 
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, ... 
Foundations and technological landscape of cloud computing
(Hindawi Publishing Corporation, 2013) 
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. ... 
Gamified Probes for Cooperative Learning: a Case Study
(2016)This paper advances the idea of tangible gamified probes for cooperative learning processes, which require synchronous inpresence and insitu interactions. The paper focuses on gamified probes for promoting a sense of ...