Publications
This section contains publications published by ISI over the past several decades.
2014
Support for LASER Workshop Series
David Balenson
NSF Award Number 1446407. Directorate for Computer and Information Science …, 2014
ACSAC 2014 Student Support
David Balenson
NSF Award Number 1447354. Directorate for Computer and Information Science …, 2014
A Quantum Computing Approach to Model Checking for Advanced Manufacturing Problems
Federico M Spedalieri, John Damoulakis
Value-based scheduling in system of systems evolution
Richard Turner
2014 9th International Conference on System of Systems Engineering (SOSE …, 2014
Machine-printed character recognition
Huaigu Cao, Prem Natarajan
Handbook of document image processing and recognition, 331-358, 2014
EDU: Revitalizing Cyber Security Education and Research through Competitions
Jelena Mirkovic
NSF Award Number 1319197. Directorate for STEM Education 13 (1319197), 19197, 2014
RIPS Type 2: Collaborative Research: Towards resilient computational models of electricity-gas ICI
Alefiya Hussain
NSF Award Number 1440468. Directorate for Engineering 14 (1440468), 40468, 2014
GREPSEC II: Underrepresented Groups in Security Research
Terry V Benzel
NSF Award Number 1449498. Directorate for Computer and Information Science …, 2014
Intra-die process variation aware anomaly detection in FPGAs
Youngok Pino, Vinayaka Jyothi, Matthew French
2014 International Test Conference, 1-6, 2014
Content-oriented mobile edge technology system integration framework and field evaluation
Zhongren Cao, Matthew French, Rajesh Krishnan, Joshua Ng, David Talmage, Qinqing Zhang
2014 IEEE Military Communications Conference, 1405-1410, 2014
High-precision self-characterization for the lut burn-in information leakage threat
Kenneth M Zick, Sen Li, Matthew French
2014 24th International Conference on Field Programmable Logic and …, 2014
High level hardware/software embedded system design with redsharc
Sam Skalicky, Andrew G Schmidt, Matthew French
arXiv preprint arXiv:1408.4725, 2014
Rural Skin, Urban Masks: Hybridization at the edge of contemporary Chinese cities
Xiang Ren
The Hybrid_Link: Hybridization Design Strategies 4, 2014
DANE TLSA implementation and operational guidance
V Dukhovni, W Hardaker
draft-ietf-dane-ops-03 (work in progress), 2014
SMTP security via opportunistic DANE TLS
V Dukhovni, W Hardaker
draft-ietf-dane-smtp-with-dane-05 (work in progress), 2014
Using qubits to reveal quantum signatures of an oscillator
Shantanu Agarwal
University of Rochester, 2014
Iteratively learning conditional statements in transforming data by example
Bo Wu, Craig A Knoblock
2014 IEEE International Conference on Data Mining Workshop, 1105-1112, 2014
A parallel query engine for interactive spatiotemporal analysis
Mihir Sathe, Craig A Knoblock, Yao-Yi Chiang, Aaron Harris
Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances …, 2014
A system for efficient cleaning and transformation of geospatial data attributes
Yao-Yi Chiang, Bo Wu, Akshay Anand, Ketan Akade, Craig A Knoblock
proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances …, 2014
From map images to geographic names
Yao-Yi Chiang, Sima Moghaddam, Sanjauli Gupta, Renuka Fernandes, Craig A Knoblock
Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances …, 2014