Sciweavers

TROB
2016
64views more  TROB 2016»
9 years 11 months ago
Environment and Solar Map Construction for Solar-Powered Mobile Systems
Abstract—Energy harvesting using solar panels can significantly increase the operational life of mobile robots. If a map of expected solar gains is available, energy efficient ...
Patrick A. Plonski, Joshua Vander Hook, Volkan Isl...
TROB
2016
56views more  TROB 2016»
9 years 11 months ago
Ergodic Exploration of Distributed Information
Abstract—This paper presents an active search trajectory synthesis technique for autonomous mobile robots with nonlinear measurements and dynamics. The presented approach uses th...
Lauren M. Miller, Yonatan Silverman, Malcolm A. Ma...
TROB
2016
56views more  TROB 2016»
9 years 11 months ago
Elastic Stability of Concentric Tube Robots: A Stability Measure and Design Test
—Concentric tube robots are needle-sized manipulators which have been investigated for use in minimally invasive surgeries. It was noted early in the development of these devices...
Hunter B. Gilbert, Richard J. Hendrick, Robert J. ...
TROB
2016
83views more  TROB 2016»
9 years 11 months ago
Minimal Assist-as-Needed Controller for Upper Limb Robotic Rehabilitation
—Robotic rehabilitation of the upper limb following neurological injury is most successful when subjects are engaged in the rehabilitation protocol. Developing assistive control ...
Ali Utku Pehlivan, Dylan P. Losey, Marcia K. O'Mal...
TROB
2016
50views more  TROB 2016»
9 years 11 months ago
Quickest Detection Over Robotic Roadmaps
—We study the problem of quickest detection of anomalies in an environment under extreme uncertainties in sensor measurements. The robotic roadmap corresponding to the environmen...
Pushkarini Agharkar, Francesco Bullo
TR
2016
48views more  TR 2016»
9 years 11 months ago
Improved Sampling Plans for Combinatorial Invariants of Coherent Systems
—Terminal network reliability problems appear in many real–life applications, such as transportation grids, social and computer networks, communication systems, etc. In this pa...
Radislav Vaisman, Dirk P. Kroese, Ilya B. Gertsbak...
TR
2016
46views more  TR 2016»
9 years 11 months ago
Measuring the Diversity of a Test Set With Distance Entropy
—Most existing metrics that we call white-box metrics, such as coverage metrics, require white-box information, like program structure information, and historical runtime informa...
Qingkai Shi, Zhenyu Chen, Chunrong Fang, Yang Feng...
TR
2016
42views more  TR 2016»
9 years 11 months ago
Recovery From Software Failures Caused by Mandelbugs
—Software failures are still a major concern in mission- and enterprise-critical contexts, despite significant efforts spent in software testing. In fact, while software testing ...
Michael Grottke, Dong Seong Kim, Rajesh K. Manshar...
TR
2016
61views more  TR 2016»
9 years 11 months ago
Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining
—Although a large research effort on web application security has been going on for more than a decade, the security of web applications continues to be a challenging problem. An...
Iberia Medeiros, Nuno Ferreira Neves, Miguel Corre...
TPLP
2016
50views more  TPLP 2016»
9 years 11 months ago
All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye, Eds., College Publications, Series Mathematical L
this article: http://journals.cambridge.org/abstract_S1471068415000125 How to cite this article: Victor W. Marek Theory and Practice of Logic Programming, Available on CJO 2015 doi...
Victor W. Marek