Biblio
Filters: First Letter Of Last Name is J [Clear All Filters]
Energy-Efficient Adaptive Classifier Design for Mobile Systems. Proceedings of the 2016 International Symposium on Low Power Electronics and Design, {ISLPED} 2016, San Francisco Airport, CA, USA, August 08 - 10, 2016. :52–57.
.
2016.
Zero-Shot Recognition via Structured Prediction. Computer Vision - {ECCV} 2016 - 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part {VII}. 9911:533–548.
.
2016.
Field of Groves: An Energy-Efficient Random Forest. CoRR. abs/1704.02978
.
2017.
Adaptive Neural Networks for Fast Test-Time Prediction. CoRR. abs/1702.07811
.
2017.
Clustering and Community Detection With Imbalanced Clusters. {IEEE} Trans. Signal and Information Processing over Networks. 3:61–76.
.
2017.
A Simplex Architecture for Hybrid Systems using Barrier Certificates. International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017). :117–131.
.
2017.
Lagrangian Reachability. International Conference on Computer Aided Verification (CAV 2017). :379–400.
.
2017.
Logical Clustering and Learning for Time-Series Data. 29th International Conference on Computer Aided Verification (CAV). :305–325.
.
2017.
Dynamic multi-domain bipedal walking with atrias through slip based human-inspired control. Proceedings of the 17th international conference on Hybrid systems: computation and control. :263–272.
.
2014.
Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology. PP:1-14.
.
2015.
First steps toward formal controller synthesis for bipedal robots with experimental implementation. Nonlinear Analysis: Hybrid Systems.
.
2017.
Modeling Genetic Circuit Behavior in Transiently Transfected Mammalian Cells. Gordon Research Conference in Stochastic Physics.
.
2017.
Genetic Systems Engineering. 8th International Workshop on Bio-Design Automation (IWBDA).
.
2016.
Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology. 8th International Workshop on Bio-Design Automation (IWBDA).
.
2016.
Modeling Genetic Circuit Behavior in Transiently Transfected Mammalian Cells. Q-Bio Summer Conference.
.
2016.
Reducing Energy Waste for Computers by Human-in-the-Loop Control. IEEE Transactions on Emerging Topics in Computing. 2:448-460.
.
2014.
Cyber Physical System Challenges for Human-in-the-Loop Control. Presented as part of the 8th International Workshop on Feedback Computing.
.
2013.
Connected wireless camera network deployment with visibility coverage. IEEE INFOCOM 2014 - IEEE Conference on Computer Communications. :1204-1212.
.
2014.
CallCab: A unified recommendation system for carpooling and regular taxicab services. 2013 IEEE International Conference on Big Data. :439-447.
.
2013.
Dmodel: Online Taxicab Demand Model from Big Sensor Data in a Roving Sensor Network. 2014 IEEE International Congress on Big Data. :152-159.
.
2014.
DepSys: Dependency aware integration of cyber-physical systems for smart homes. 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :127-138.
.
2014.
FailureSense: Detecting Sensor Failure Using Electrical Appliances in the Home. 2014 IEEE 11th International Conference on Mobile Ad Hoc and Sensor Systems. :73-81.
.
2014.
A Carpooling Recommendation System for Taxicab Services. IEEE Transactions on Emerging Topics in Computing. 2:254-266.
.
2014.
On optimal diversity in network-coding-based routing in wireless networks. 2015 IEEE Conference on Computer Communications (INFOCOM). :765-773.
.
2015.
CodeRepair: PHY-layer partial packet recovery without the pain. 2015 IEEE Conference on Computer Communications (INFOCOM). :1463-1471.
.
2015.