Computer and information sciences topic list of research papers
-
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction
Abstract This paper proposes a basic relevant logic B ⊓ ⊔ ...
2007 / Ying Gao, Jingde Cheng -
Computational Steering and Parallel Online Monitoring Using RMA through the HDF5 DSM Virtual File Driver
Abstract As systems provide more resources and host an indefinitely growing number of cores, the amount of data produced by simulation codes is steadily increasing, creating a bottleneck at the point where the data must be transferred to post...
2011 / Jerome Soumagne, John Biddiscombe -
Clinical decision support system: Risk level prediction of heart disease using weighted fuzzy rules
Abstract As people have interests in their health recently, development of medical domain application has been one of the most active research areas. One example of the medical domain application is the detection system for heart disease based on...
2011 / P.K. Anooj -
Extensions in adaptive model tracking with mitigated passivity conditions
Abstract Feasibility of nonlinear and adaptive control methodologies in multivariable linear time-invariant systems with state space realization { A , B , ...
2013 / Itzhak BARKANA -
GPU Accelerated Multi-agent Path Planning Based on Grid Space Decomposition
Abstract In this work, we describe a simple and powerful method to implement real-time multi-agent path-finding on Graphics Processor Units (GPUs). The technique aims to find potential paths for many thousands of agents, using the A* algorithm and an...
2012 / Giuseppe Caggianese, Ugo Erra -
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns
Abstract This article presents a novel Stochastic Automata Networks (SAN) model to estimate the behavior of sediment strata formation in continental margins resulting from interaction between sea level, sediment input and subsidence over the last...
2013 / Joaquim Assunção, Luciana Espindola, Paulo Fernandes, Maria Pivel, Afonso Sales -
Accessibility Guidelines for the Development of Learning Objects
Abstract This article presents a set of guidelines for creating learning objects accessible, with the intention of guiding and helping teachers developers of learning objects in developing materials accessible through the provision of alternative...
2012 / Claudia Mara Scudelari de Macedo, Vânia Ribas Ulbricht -
Multi-level Modeling of Complex Socio-Technical Systems
Abstract The application of multi-level modeling approaches to enterprise systems modeling can support leadership decision making for transformation of defense department operations. In particular, this paper presents a framework for modeling...
2013 / Tom McDermott, William Rouse, Seymour Goodman, Margaret Loper -
Interactive object modelling based on piecewise planar surface patches
Abstract Detecting elements such as planes in 3D is essential to describe objects for applications such as robotics and augmented reality. While plane estimation is well studied, table-top scenes exhibit a large number of planes and methods often...
2013 / Johann Prankl, Michael Zillich, Markus Vincze -
Virtual Biology Laboratory (VLab-Bio): Scenario-Based Learning Approach
Abstract The aspiration of the nation to become an industrialised society depends on various fundamentals in the fields of science and technology. The success in one's achievement can be planned ahead of time as to lead the nation into comprising of ...
2013 / Murniza Muhamad, Halimah Badioze Zaman, Azlina Ahmad -
Turing Machine and Automata Simulators
Abstract This paper introduces a Turing machine and pushdown automata simulators as a virtual environment for learning computational models and automata theory. The twofold contribution of this work is a novel use of modern technology to improve...
2013 / Mohamed Hamada -
The Level of Impact on Student Success of Participation in Lectures and Laboratory Exercises
Abstract Student success in exams is interlinked with different factors. More affecting factors include prior knowledge level that is gained during his/her previous studies, available infrastructure, especially when it comes to studies that require...
2012 / Agni Dika, Kadri Sylejmani -
C2L:A Formal Policy Language for Secure Cloud Configurations
Abstract We present a formal policy language (C2L) for stating permissible cloud configurations. Syntactically, C2L is based upon a spatio-temporal modal logic and provides a concise and clear statement of policy constraints for colocation, hosting,...
2012 / Jayaraj Poroor, Bharat Jayaraman -
Pareto Front Approximation Using a Hybrid Approach
Abstract A new method is proposed for approximating a Pareto front of a bound constrained biobjective optimization problem (BOP) where the evaluation of the objective functions is very expensive and/or the structure of the objective functions either ...
2013 / Shubhangi Deshpande, Layne T. Watson, Robert A. Canfield -
A Systems Engineering Based Approach for Informing Extracorporeal Membrane Oxygenation (ECMO) Therapy Improvements
Abstract Extracorporeal Membrane Oxygenation (ECMO) therapy provides stable heart and lung functions via mechanical means for patients with severe but reversible cardiac or respiratory failure [1]. As a result, the survival rate of these patients...
2013 / Nathan L. Adams, L. Drew Pihera -
An approach to products placement in supermarkets using PrefixSpan algorithm
Abstract With a great variation of products and user buying behaviors, shelf on which products are being displayed is one of the most important resources in retail environment. Retailers can not only increase their profit but, also decrease cost by...
2012 / George Aloysius, D. Binu -
The Aleksandrov problem on non-Archimedean normed space
Abstract Let X and Y be non-Archimedean normed spaces over a linear ordered non-Archimedean field K with a non-Archimedean valuation. A mapping f : X ...
2011 / Danping Wang, Yubo Liu, Meimei Song -
Application of RFID Technology for Logistics on Internet of Things
Abstract Radio Frequency Identification RFID is a non-contact automatic identification technology, which signals through radio frequency automatic identification and access to relevant target data, no need for manual intervention to identify job can ...
2012 / Chunling Sun -
Predominant Characteristics of Linq Technology Usage in Education Platforms
Abstract LINQ is the abbreviation of “Language Integrated Query”. LINQ technology mainly allows reaching data easily from application side and making queries over data as if they are made in database systems. In this study, we aimed to share our...
2012 / Eftâl Sehirli, Birsen G. Ozdemir -
SMS Information Display Board
Abstract We propose a new system for SMS information display board. The system will display texts and icons of a message on the matrix LED. To sending a message to the system, A user have to send a message SMS on a mobile phone. It's mean, the user...
2011 / A. Tanadumrongpattana, A. Suethakorn, S. Mitatha, C. Vongchumyen