Biblio
Filters: First Letter Of Last Name is N [Clear All Filters]
Using Simulation Models to Assess the Impacts of Highway Work Zone Strategies; Case Studies along Interstate Highways in Massachusetts and Rhode Island. the Proceedings of the 2008 Transportation Research Board Annual Meeting, Washington, DC.
.
2008.
Determining quality-and energy-aware multiple contexts in pervasive computing environments. IEEE/ACM Transactions on Networking. 24:3026–3042.
.
2016.
A Novel Approach for Efficient Usage of Intrusion Detection System in Mobile Ad Hoc Networks. IEEE Transactions on Vehicular Technology. 66:1684–1695.
.
2017.
Securing loosely-coupled collaboration in cloud environment through dynamic detection and removal of access conflicts. IEEE Transactions on Cloud Computing. 4:349–362.
.
2016.
Local Anomaly Detection. Proceedings of the Fifteenth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2012, La Palma, Canary Islands, April 21-23, 2012. 22:969–983.
.
2012.
Exploratory search of long surveillance videos. Proceedings of the 20th {ACM} Multimedia Conference, {MM} '12, Nara, Japan, October 29 - November 02, 2012. :309–318.
.
2012.
Efficient Minimax Signal Detection on Graphs. Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014, December 8-13 2014, Montreal, Quebec, Canada. :2708–2716.
.
2014.
Efficient Learning by Directed Acyclic Graph For Resource Constrained Prediction. Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada. :2152–2160.
.
2015.
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.
Learning to Speed Up Query Planning in Graph Databases. International Conference on Automated Planning and Scheduling.
.
2017.
Incremental synthesis of switching protocols via abstraction refinement. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6246–6253.
.
2014.
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :816–823.
.
2014.
Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology. PP:1-14.
.
2015.
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems. Decision and Control (CDC), 2016 IEEE 55th Conference on. :5700–5707.
.
2016.
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. :205–214.
.
2016.
Synthesis of separable controlled invariant sets for modular local control design. American Control Conference (ACC), 2016. :5656–5663.
.
2016.
Synthesis of safety controllers robust to unmodeled intermittent disturbances. Decision and Control (CDC), 2016 IEEE 55th Conference on. :7425–7430.
.
2016.
A framework for the event-triggered stabilization of nonlinear systems. IEEE Transactions on Automatic Control. 60:982–996.
.
2015.
Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.
.
2016.
Online Decision Making for Stream-based Robotic Sampling via Submodular Optimization. Conference on Multi Sensor Fusion and Integration for Intelligence Systems. :none.
.
2017.
The Image Torque Operator for Contour Processing. arXiv preprint arXiv:1601.04669.
.
2016.
Refining Interprocedural Change-Impact Analysis using Equivalence Relations. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). :318–328.
.
2017.
Grid-Based Temporal Logic Inference. 56th IEEE Conference on Decision and Control.
.
2017.
Needs and opportunities in bio-design automation: four areas for focus. Current Opinion in Chemical Biology. 40:111-118.
.
2017. Synthetic Biology Synthetic Biomolecules