Computer and information sciences topic list of research papers
-
Genetic Algorithm and its Application in the path-oriented test data automatic generation
Abstract In order to solve the problem of test data redundancy and some paths uncovered in the process of path-oriented software test data random generating automatically. This paper proposes a test data generating automatically approach base on...
2011 / Liu Shimin, Wang Zhangang -
Parameterized Complexity of Eulerian Deletion Problems2012 / Marek Cygan, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk, Ildikó Schlotter
-
Interactive Programming of Reactive Systems
Abstract ReactiveML is a synchronous reactive extension of the general purpose programming language OCaml. It allows to program reactive systems such as video games or simulators. This paper presents rmltop,...
2009 / Louis Mandel, Florence Plateau -
A Novel Derivation Framework For Definite Logic Program
Abstract Is a closed atom derivable from a definite logic progam? This derivation problem is undecidable. Focused on this problem there exist two categories approaches: the accurate approach that does not guarantee termination, and the terminated...
2008 / MengJun Li, ZhouJun Li, HuoWang Chen, Ti Zhou -
The MoR-Trust Distributed Trust Management System: Design and Simulation Results
Abstract MoR-Trust is a purely decentralized peer-to-peer trust management system, targeted towards networks and applications supporting transactions or collaborations of a quantitative nature. MoR-Trust is based on the notion of expressing trust in ...
2007 / Stephanos Androutsellis-Theotokis, Diomidis Spinellis, Vasileios Vlachos -
On a Fully Abstract Model for a Quantum Linear Functional Language
Abstract This paper studies the linear fragment of the programing language for quantum computation with classical control described in [Selinger, P. and B. Valiron, A lambda calculus for quantum computation with classical control, in: P. Urzyczyn,...
2008 / Peter Selinger, Benoît Valiron -
Explanation and trust: what to tell the user in security and AI?2010 / Wolter Pieters
-
Multi-criteria decision making with overlapping criteria
Abstract The evidential reasoning (ER) algorithm for multi-criteria decision making (MCDM) performs aggregation of the assessments of multiple experts, one each for every attribute (or subsystem or criterion) of a given system. Two variants of ER...
2012 / Mohammed Shahid Abdulla -
Using Augmented Reality and m-Learning to Optimize Students Performance in Higher Education
Abstract This paper presents an analysis of the educational experiences related to the use of mobile devices in the classroom. The article includes a proposal in which Augmented Reality technologies are applied to support the explanation of concepts ...
2012 / Javier Fombona Cadavieco, Maria de Fatima Goulão, Alberto Fernandez Costales -
The Design of Intelligence Collection System Based on Internet
Abstract Internet has become an important way of collecting intelligence for its richness of resources and timeliness. Based on the features of collection and retrieval of public intelligence, an intelligence collection system using knowledge base...
2011 / Xiaojun Liu -
Prospective chemistry teachers’ competency of evaluation of chemical experiments in terms of science process skills
Abstract This study was conducted with the purpose of examining capacity to determine of Prospective Chemistry Teachers (PCT) Science Process Skills (SPS) on different chemistry experiments. The study was carried out with document analyses in the...
2010 / Fethiye Karslı, Fatma Yaman, Alipaşa Ayas -
Adaptive resource configuration for Cloud infrastructure management
Abstract To guarantee the vision of Cloud Computing QoS goals between the Cloud provider and the customer have to be dynamically met. This so-called Service Level Agreement (SLA) enactment should involve little human-based interaction in order to...
2012 / Michael Maurer, Ivona Brandic, Rizos Sakellariou -
Forecasting of currency exchange rates using an adaptive ARMA model with differential evolution based training
Abstract To alleviate the limitations of statistical based methods of forecasting of exchange rates, soft and evolutionary computing based techniques have been introduced in the literature. To further the research in this direction this paper...
2013 / Minakhi Rout, Babita Majhi, Ritanjali Majhi, Ganapati Panda -
Using online linear classifiers to filter spam emails2006 / Bin Wang, Gareth J. F. Jones, Wenfeng Pan
-
Realization of Coinductive Types
Abstract We give an explicit combinatorial construction of final coalgebras for a modest generalization of polynomial functors on Set. Type signatures are modeled as directed multigraphs instead of endofunctors. The final coalgebra for a type...
2011 / Dexter Kozen -
ATLS - A parallel loop scheduling scheme for dynamic environments
Abstract We here present ATLS, a self scheduling scheme designed for execution of parallel loops in dynamic environments of non-dedicated networked computers. Since grid and volunteer systems based on desktop computers are proving themselves as real ...
2010 / Gonzalo Vera, Remo Suppi -
Dimensioning Scientific Computing Systems to Improve Performance of Map-Reduce based Applications
Abstract Map-Reduce is a programming model widely used for processing large data sets on scientific clusters. Most of the efforts and research are focused on enhancing and alleviating the drawbacks of the model proposed by Google. The requirements...
2012 / Gabriel G. Castañè, Alberto Núneñ, Rosa Filgueira, Jesús Carretero -
Distribution Network Reconfiguration Based on Differential Evolution Algorithm
Abstract According to the configuration of distribution network, this paper put forward the corresponding cyclic decimal coding solution and corresponding mutation, crossover and selection strategy according to problems that during the distribution...
2013 / Congjiao Wang, Xihuai Wang, Jidong Liu -
A novel soft clustering algorithm
Abstract Paper clustering problems in citation network is one of the hottest spots in data mining. However, traditional paper clustering algorithm stresses on the keywords analysis while ignores the “refer-to” relationship, which results in the...
2011 / Ruixin Ma, Xiao Wang, Fancheng Meng -
Parallelization of Shallow-water Equations with the Algorithmic Skeleton Library SkelGIS
Abstract Giving an easy access to non computer-scientists to high performance computing is a very important challenge of the research in computer sciences. SkelGIS is an algorithmic skeleton library that aims at writing efficient parallel programs...
2013 / Coullon Hélène, Le Minh-Hoang, Limet Sébastien