Computer and information sciences topic list of research papers
-
Grammar-Based Multi-Frontal Solver for One Dimensional Isogeometric Analysis with Multiple Right-Hand-Sides
Abstract This paper introduces a grammar-based model for developing a multi-thread multi-frontal parallel direct solver for one- dimensional isogeometric finite element method. The model includes the integration of B-splines for construction of the...
2013 / Krzysztof Kuźnik, Maciej Paszyński, Victor Calo -
Graphical Representation and Exploratory Visualization for Decision Trees in the KDD Process
Abstract This article presents a proposal of representation and scheme of exploratory visualization for Decision Trees in the KDD (Knowledge Discovery in Database) process, specifically in the data mining stage. With this, the improvement of the...
2013 / Wilson A. Castillo Rojas, Claudio J. Meneses Villegas -
Synchronous Partial Replication – Case Study: Implementing e-Learning Platform in an Academic Environment
Abstract Replication is the key factor in improving availability, fault-tolerance and accessibility of data in all types of distributed systems. Replicated data is stored at multiple sites so that it can be used even when some copies are not...
2012 / Ciobanu (Iacob) Nicoleta - Magdalena, Ciobanu (Defta) Costinela Luminiţa -
An Online Expert System for Diagnostic Assessment Procedures on Young Children's Oral Speech and Language
Abstract Internet has influenced many aspects of modern life, as it gave people the opportunity to access massive amount of information. Information & Communication Technologies (ICT) offer the option to analyze, organize, synthesize and...
2012 / Eugenia I. Toki, Jenny Pange, Tassos A. Mikropoulos -
Predicting Incompatibility of Transformations in Model-driven Development
Abstract The grand vision of model-driven development and model-driven architecture (MDA) is to generate automatically an implementation from a high-level model of the application. The primary ingredients of model-driven development are a...
2005 / Mehdi Jazayeri, Johann Oberleitner -
Research and Design on E-government Information Retrieval Model
Abstract At present, most government websites have not given full play to the internet's characteristic such as share, interaction. The public satisfaction is poor. Therefore, this article puts forward an e-government information retrieval model...
2012 / Xiaoxing Liu, Changxia Hu -
The Waste Collection Vehicle Routing Problem with Time Windows in a City Logistics Context
Abstract Collection of waste is an important logistic activity within any city. In this paper we study how to collect waste in an efficient way. We study the Waste Collection Vehicle Routing Problem with Time Window which is concerned with finding...
2012 / Katja Buhrkal, Allan Larsen, Stefan Ropke -
Development of a web-based concordance search system based on a corpus of English papers written by Japanese university students
Abstract This paper presents the process of developing a web-based concordance search system for supporting university students to write papers in English, their target language. The development of this system was based on a preliminary study of...
2012 / Susan Fukushima, Yoko Watanabe, Yumiko Kinjo, Shota Yoshihara, Chizuko Suzuki -
Process Completing Sequences for Resource Allocation Systems with Synchronization2012 / Song Foh Chew, Shengyong Wang, Mark A. Lawley
-
Real time data streaming from smart phones
Abstract There are many aspects of the athlete's performance that can and need to be measured to improve performance or to fine-tune skills. This can be done visually by a coach or by using sensors attached to the athlete. This paper discusses the...
2011 / David Rowlands, Daniel James -
The Use of Virtual Measuring Devices in Teaching Modeling of Physical Processes
Abstract Informatization of education makes to reconsider traditional training courses of computer science, methods, technologies and the means of informatization applied in teaching other subjects. In this article we consider the problem of the...
2012 / L.B. Bidaybekov, E.I. Bidaybekov, S. Sharmukhanbet, G.B. Kamalova, N.T. Oshanova -
Turning Informal Thesauri into Formal Ontologies: A Feasibility Study on Biomedical Knowledge Re-Use2003 / Udo Hahn
-
Adaptive diffusion kernel learning from biological networks for protein function prediction2008 / Liang Sun, Shuiwang Ji, Jieping Ye
-
Distributed Graph Traversals by Relabelling Systems with Applications
Abstract Graph traversals are in the basis of many distributed algorithms. In this paper, we use graph relabelling systems to encode two basic graph traversals which are the broadcast and the convergecast. This encoding allows us to derive formal,...
2006 / Bilel Derbel, Mohamed Mosbah -
Verification of Java Programs with Interacting Analysis Plugins
Abstract In this paper we propose a modular framework for program analysis, where multiple program analysis tools are combined in order to exploit the particular advantages of each. This allows for “plugging together” such tools as required by each...
2006 / Nathaniel Charlton -
Infinitely running concurrent processes with loops from a geometric viewpoint
Abstract This report gives a formal topological semantics to inductively defined concurrent systems and investigates the properties of such systems. We allow loops and infinitely running computations, which is new in the topological investigations...
2005 / Lisbeth Fajstrup, Stefan Sokolowski -
Specification and Analysis of the MPEG-2 Video Encoder with Timed-Arc Petri Nets1 1This work has been supported by the CICYT project “Performance Evaluation of Distributed Systems”, TIC2000-0701-C02-02.
Abstract Petri nets are a very suitable model for the description and analysis of concurrent systems. Several timed extensions of Petri nets have been defined to capture some additional aspects, concerning with the behaviour in time of the described ...
2004 / Valentín Valero, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla -
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche”.
Abstract MLSS is a decidable sublanguage of set theory involving the predicates membership, set equality, set inclusion, and the operators union, intersection, set difference, and singleton. In this paper we...
2004 / Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba -
Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs.
Abstract We introduce inductive definitions over language expressions as a framework for specifying tree tuple languages. Inductive definitions and their sub-classes correspond naturally to classes of logic programs, and operations on tree tuple...
2004 / Sébastien Limet, Gernot Salzer -
An axiomatics for categories of coalgebras
Abstract We give an axiomatic account of what structure on a category C and an endofunctor H on C yield similar structure on the category H —Coalg of H-coalgebras. We give conditions under which completeness, cocompleteness, symmetric monoidal...
2004 / John Power, Hiroshi Watanabe