Computer and information sciences topic list of research papers
-
Panoptes
Abstract Proof assistants aid the user in proving mathematical theorems by taking care of low-level reasoning details. Their user interfaces often present proof information as text, which becomes increasingly difficult to comprehend as it grows in...
2009 / William M. Farmer, Orlin G. Grigorov -
A proposed Energy Efficient Distance Based Cluster Head (DBCH) Algorithm: An Improvement over LEACH
Abstract Wireless Sensor Networks are known for their wide range of applications in which no human intervention is required. But the main challenge of Wireless Sensor Networks lies in achieving communications with low energy consumption. In order to ...
2015 / Rohini Sharma, Narendra Mishra, Sumit Srivastava -
The new “Fractals-General Science”: Can time be neutralized?
Abstract A recent new research has revealed that real life systems follow similar “ fractals-general ” stacking behavior during their change pathways when subjected to affecting environments and events “ ...
2015 / Hassen Taher Dorrah -
Congestion Control Based on Multiple Model Adaptive Control2013 / Xinhao Yang, Ze Li
-
Firefly Algorithm for Explicit B-Spline Curve Fitting to Data Points2013 / Akemi Gálvez, Andrés Iglesias
-
Building Dialysis Workflows into EMRs
Abstract Hemodialysis is an expensive life extending procedure used world-wide. Hemodialysis centers typically require multiple caregivers—e.g., nephrologists, nurses, technicians and social workers-- who assist each patient multiple times per week. ...
2014 / Bo Yu, Duminda Wijesekera -
Link Prediction via Convex Nonnegative Matrix Factorization on Multiscale Blocks2014 / Enming Dong, Jianping Li, Zheng Xie
-
Ambient-aware continuous care through semantic context dissemination2014 / Femke Ongenae, Jeroen Famaey, Stijn Verstichel, Saar Zutter, Steven Latré, et al.
-
Linear-time computation of minimal absent words using suffix array2014 / Carl Barton, Alice Heliou, Laurent Mouchard, Solon P Pissis
-
Contextual anomaly detection framework for big sensor data2015 / Michael A Hayes, Miriam AM Capretz
-
Workflow as a Service in the Cloud: Architecture and Scheduling Algorithms
Abstract With more and more workflow systems adopting cloud as their e xecution environment, it becomes increasingly challenging on how to effic iently manage various workflows, v irtual machines (VMs) and workflow e xecution on VM instances. To...
2014 / Jianwu Wang, Prakashan Korambath, Ilkay Altintas, Jim Davis, Daniel Crawl -
Constraint Programming and Ant Colony System for the Component Deployment Problem
Abstract Contemporary motor vehicles have increasing numbers of automated functions to augment the safety and comfort of a car. The automotive industry has to incorporate increasing numbers of processing units in the structure of cars to run the...
2014 / Dhananjay Thiruvady, I. Moser, Aldeida Aleti, Asef Nazari -
Cachaça Classification Using Chemical Features and Computer Vision
Abstract Cacha¸ca is a type of distilled drink from sugarcane with great economic importance. Its classification includes three types: aged, premium and extra premium. These three classifications are related to the aging time of the drink in wooden...
2014 / Bruno Urbano Rodrigues, Ronaldo Martins da Costa, Rogério Lopes Salvini, Anderson da Silva Soares, Flávio Alves da Silva, et al. -
Web- and Cloud-based Software Infrastructure for Materials Design
Abstract Molecular dynamics (MD) simulations play an important role in materials design. However, the effective use of the most widely used MD simulators require significant expertise of the scientific domain and deep knowledge of the given software ...
2014 / Janos Sallai, Gergely Varga, Sara Toth, Christopher Iacovella, Christoph Klein, et al. -
Socio-psychological Analysis of Digital Employment among Japanese English Learners
Abstract Following the positive evaluation of TLT (Testing-Learning-Training) software program using SLA theory (Matsuoka, 2011), the present paper examines the effectiveness of employing this English learning program as a digital pedagogy and aims...
2014 / Rieko Matsuoka -
Adaptive Decision Support for Shop-floor Operators in Automotive Industry
Abstract Today's operators on factory shop-floors are often not stationed, dealing with a single or few tasks but have increasing responsibilities demanding enhanced skills and knowledge in a production environment where any disturbance must be...
2014 / Magnus Holm, Aimar Cordero Garcia, Göran Adamson, Lihui Wang -
Debugging Low-Power and Lossy Wireless Networks: A Survey2011 / A. Schoofs, G. M. P. O'Hare, A. G. Ruzzelli
-
An Optimal Energy Efficient and Minimum Delay Scheduling for Periodic WSN Applications
Abstract Wireless Sensor Network (WSN) enables pervasive, ubiquitous, and seamless communication with the physical world. This paper investigates an optimal cross-layer joint routing and scheduling problem for WSN with periodic data collection. The...
2013 / Tayseer Alkhdour, Elhadi Shakshuki, Shokri Selim, Uthman Baroudi -
Handwritten and Printed Word Identification Using Gray-scale Feature Vector and Decision Tree Classifier
Abstract Document image analysis is one of the important steps towards a paper free world. An effective Optical Character Recognition (OCR) system would be helpful for achieving this fit. But the next question may arise that whether a single OCR...
2014 / Samir Malakar, Rahul Kumar Das, Ram Sarkar, Subhadip Basu, Mita Nasipuri -
First CCD photometric observation of the W-UMa eclipsing binary system 1SWASP J064501.21+342154.9
Abstract New BVRI light curves of the eclipsing binary system 1SWASP J064501.21+342154.9 (J0645) have been constructed based on CCD observations that were obtained by using the 1.88-m telescope of Kottamia Astronomical Observatory (KAO), Egypt on...
2014 / A. Essam, Ghada F. Mohamadien, Nasser M. Ahmed, Gamal B. Ali