Computer and information sciences topic list of research papers
-
Trajectory Generation using Predictive PID Control for Stable Walking Humanoid Robot
Abstract Predictive control presents a solution to the problem of the trajectory generation for a humanoid robot. This control strategy is introduced by Katayama13 and improved by Kajita1, in those literatures, the theory of predictive control is...
2015 / Safa Bouhajar, Elyes Maherzi, Nahla Khraief, Mongi Besbes, Safya Belghith -
Topology control of tactical wireless sensor networks using energy efficient zone routing
Abstract The US Department of Defense (DoD) routinely uses wireless sensor networks (WSNs) for military tactical communications. Sensor node die-out has a significant impact on the topology of a tactical WSN. This is problematic for military...
2016 / Preetha Thulasiraman, Kevin A. White -
Locally Centralized SOCP-based Localization Technique for Wireless Sensor Network
Abstract Node localization is one of the essential requirements to most applications of wireless sensor networks. This paper proposes a clustered localization approach for WSNs based on Second Order Cone Programming (SOCP). The cluster solves the...
2015 / Randa M. Abdelmoneem, Eman Shaaban -
Intelligent information processing for building university knowledge base2016 / Jakub Koperwas, Łukasz Skonieczny, Marek Kozłowski, Piotr Andruszkiewicz, Henryk Rybiński, et al.
-
Human Factors in Musicians: Design Proposals
Abstract The physical and mental aspects of musical performance practice create high demand for this kind of research. The study was conducted with 55 subjects all of them are members of youth Band of Zapopan and Guadalajara. A questionnaire was...
2015 / Lilia R. Prado León, John A. Rey Galindo, Perla L. Zambrano Prado -
Efficient spectrum sharing with avoiding spatial fragmentation of white space
Abstract This letter proposes an efficient spectrum sharing by using a smart channel selection with considering the spatial shape of white space (WS) for cognitive radio systems. Here, we consider the environment in which secondary users (SUs) share ...
2015 / Takashi Kosugi, Takeo Fujii -
Using Augmented Reality as a Medium for Teaching History and Tourism
Abstract This article discusses the use of new media in education and shows new opportunities but also risks of the use of these technologies, especially in the tourism and history. New media through a new user interface facilitates controlling of...
2015 / Jiří Kysela, Pavla Štorková -
An Empirical Analysis towards the Adoption of NFC Mobile Payment System by the End User
Abstract With the introduction of new technologies like the Near Field Communication (NFC), payment today can be done very easily and conveniently using any NFC enabled mobile phone. Although the potential of NFC mobile payment system is tremendous, ...
2015 / Debajyoti Pal, Vajirasak Vanijja, Borworn Papasratorn -
Monitoring Bounded LTL Properties Using Interval Analysis
Abstract Verification of temporal logic properties plays a crucial role in proving the desired behaviors of hybrid systems. In this paper, we propose an interval method for verifying the properties described by a bounded linear temporal logic. We...
2015 / Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn -
Hand landmarks detection and localization in color images2015 / Tomasz Grzejszczak, Michal Kawulok, Adam Galuszka
-
Resource Sharing in Mobile Cloud-computing with Coap
Abstract Mobile Cloud-Computing (MCC) is a term introduced by Marc Baccue in 200920 that popularized the idea of using cloud-hosted components as a means to overcome the resource-constraints of mobile devices. But as the smartphones and tablets...
2015 / Yi Xue, Ralph Deters -
Do Minkowski averages get progressively more convex?
Abstract Let us define, for a compact set A ⊂ R ...
2016 / Matthieu Fradelizi, Mokshay Madiman, Arnaud Marsiglietti, Artem Zvavitch -
Automated Scheduling System for Thesis and Project Presentation Using Forward Chaining Method with Dynamic Allocation Resources
Abstract This paper presents a practical method for modeling and solving a dynamic resource allocation of automatic scheduling problem using forward chaining heuristic approach, in the case of undergraduate Student's Thesis and Project presentations ...
2015 / Cut Fiarni, Arief Samuel Gunawan, Ricky, Herastia Maharani, Heri Kurniawan -
Virtual Reality Application for Simulation and Off-line Programming of the Mitsubishi Movemaster RV-M1 Robot Integrated with the Oculus Rift to Improve Students Training
Abstract The overall purpose of this project is to test the impact and potential benefits of Virtual Reality technology by improving the current training methods for the operation of the Mitsubishi Movemaster RV-M1 Robot. The final application aims...
2015 / Raúl Crespo, René García, Samuel Quiroz -
Enhanced uplink scheduling algorithm for efficient resource management in IEEE 802.162015 / Aneel Oad, Shamala K Subramaniam, Zuriati Zukarnain
-
Learning Informative Features from Restricted Boltzmann Machines2015 / Jakub M. Tomczak
-
Parameterised verification for multi-agent systems
Abstract We study the problem of verifying role-based multi-agent systems, where the number of components cannot be determined at design time. We give a semantics that captures parameterised, generic multi-agent systems and identify three notable...
2016 / Panagiotis Kouvaros, Alessio Lomuscio -
Design of an eye-in-hand sensing and servo control framework for harvesting robotics in dense vegetation
A modular software framework design that allows flexible implementation of eye-in-hand sensing and motion control for agricultural robotics in dense vegetation is reported. Harvesting robots in cultivars with dense vegetation require multiple viewpoints and...
2016 / Ruud Barth, Jochen Hemming, Eldert J. van Henten -
Lighting Control Systems: Factors Affecting Energy Savings’ Evaluation
Abstract The use of automated lighting control systems allows to reduce lighting costs and to achieve significant energy savings. The energy performances of controls are affected by many factors, the impact of which is very difficult to account for...
2015 / Laura Bellia, Francesca Fragliasso, Alessia Pedace -
Complete Positivity and Natural Representation of Quantum Computations
Abstract We propose a new 'quantum domain theory' in which Scott-continuous functions are replaced by Scott-continuous natural transformations. Completely positive maps are widely accepted as a model of first-order quantum...
2015 / Mathys Rennela, Sam Staton