Biblio
Filters: First Letter Of Last Name is T [Clear All Filters]
.
2017. TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems. :119–133.
.
2015. Sparse allocation of resources in dynamical networks with application to spread control. Proceedings of the American Control Conference. 2015-July
.
Submitted. Sparse resource allocation for linear network spread dynamics. IEEE Transactions on Automatic Control. 62:1714–1728}year={2017.
.
2017. Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. Proceedings of the NASA Formal Methods Conference (NFM).
.
2016. Quantifying and Reducing Stereotypes in Word Embeddings. CoRR. abs/1606.06121
.
2016. Structured Prediction with Test-time Budget Constraints. CoRR. abs/1602.08761
.
2016. Man is to Computer Programmer as Woman is to Homemaker? Debiasing Word Embeddings Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain. :4349–4357.
.
2017. Adaptive Neural Networks for Fast Test-Time Prediction. CoRR. abs/1702.07811
.
2017. Adaptive Neural Networks for Efficient Inference. {ICML}. 70:527–536.
.
2017. Resource Constrained Structured Prediction. {AAAI}. :1756–1762.
.
Submitted. Robust Combinatorial Circuits in Chemical Reaction Networks. Proceedings of the 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017), Prague, Czech Republic, Springer LNCS.
To appear.
.
2016. Robust Signal Restoration in Chemical Reaction Networks. Proceedings of the 3rd {ACM} International Conference on Nanoscale Computing and Communication, {NANOCOM} 2016, New York, NY, USA, September 28-30, 2016. :6:1–6:6.
.
2017. Energy-Efficient and Robust Middleware Prototyping for Smart Mobile Computing. IEEE International Symposium on Rapid System Prototyping (RSP).
.
2016. Activity-aware energy-efficient automation of smart buildings. Energies. 9:624–635.
.
2017. Towards MRI-Guided and Actuated Tetherless Milli-Robots: Preoperative Planning and Modeling of Control. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Vancouver, Canada. :tbd.
.
2016. Sensing and Classifying Roadway Obstacles in Smart Cities: The \emphStreet Bump System. IEEE Access. 4:1301–1312.
.
2015. Detection and Segmentation of 2D Curved Reflection Symmetric Structures. IEEE International Conference of Computer Vision.
.
2017. Optimizing the Information-Performance Tradeoff between Humans and Autonomy via Information Constraints on Design. 20th {IEEE} International Conference on Intelligent Transportation Systems (ITSC).
.
2016. Towards trustworthy automation: User interfaces that convey internal and external awareness. 19th {IEEE} International Conference on Intelligent Transportation Systems (ITSC). :682–688.
.
2017. On building a cloud-based mobile testing infrastructure service system. Journal of Systems and Software. 124:39–55.
.
2016. Building a Model-Based GUI Test Automation System for Mobile Applications. International Journal of Software Engineering and Knowledge Engineering. 26:1605–1615.
.
2017. Wavelet Based Damage Assessment and Localization for Bridge Structures. ASNT 26th Research Symposium Proceeding.
.
2017. Drive-by bridge frequency-based monitoring utilizing wavelet transform.. Journal of Civil Structural Health Monitoring.
.
2015. Where Is My Parking Spot? Online and Offline Prediction of Time-Varying Parking Occupancy Transportation Research Record: Journal of the Transportation Research Board. :77–85.