Submissions from 2015
Assessment of Oxygen Saturation in Retinal Vessels of Normal Subjects and Diabetic Patients with and without Retinopathy using Flow Oximetry System, Mohamed Ibrahim, Rachel E. Annam, Yasir J. Sepah, Long Luu, Millena G. Bittencourt, Hyun S. Jang, Paul Lemaillet, Beatriz Munoz, Donald D. Duncan, Sheila West, Quan Dong Nguyen, and Jessica C. Ramella-Roman
Simple GHz Resonator for Superconducting Materials Characterization, Shauna Marie Jensen, Robert B. Bass, Arthur W. Lichtenberger, and Aaron M. Datesman
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques, Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks, Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, and Ming Gu
Tracking of Rhythmical Biomedical Signals Using the Maximum A Posteriori Adaptive Marginalized Particle Filter, Sunghan Kim, Lars Andreas Holmstrom, and James McNames
Deep Ocean Vector Sensor Array Performance Metrics, Gabriel Kniffin and Lisa Zurk
Terahertz Non-Destructive Sensing of Layered Materials with Curved Surfaces, Gabriel Kniffin and Lisa Zurk
Single-sensor Density Estimation of Highly Broadband Marine Mammal Calls, Elizabeth T. Küsel, Martin Siderius, and David K. Mellinger
Application of Density Estimation Methods to Datasets Collected from a Glider, Elizabeth T. Küsel, Martin Siderius, David K. Mellinger, and Sara L. Heimlich
Fast Sequence Component Analysis for Attack Detection in Synchrophasor Networks, Jordan Landford, Rich Meier, Richard Barella, Xinghui Zhao, Robert B. Bass, and Scott Wallace
Pareto Optimal Mapping for Tile-based Network-on-Chip under Reliability Constraints, Qianqi Le, Guowu Yang, William N.N. Hung, Xiaoyu Song, and Xinpeng Zhang
A Flux-Focusing Cycloidal Magnetic Gearbox, Kang Li, Jonathan Bird, Joshua Kadel, and Wesley Williams
Statistical Model of OFDM and its Application in Nonlinearity Analysis of LTE-Advanced Systems, Xiao Li, Kwok-Wai Tam, and Fu Lo
Continuous Monitoring of Turning in Parkinson's Disease : Rehabilitation Potential, Martina Mancini, Mahmoud Ahmed El-Gohary, Sean Pearson, James McNames, Heather Schleuter, John G. Nutt, Laurie A. King, and Fay Horak
Delay Line as a Chemical Reaction Network, Josh Moles, Peter Banda, and Christof Teuscher
Nanotechnology: Simulation and Design, James Morris
Laboratory Course in Nanotechnology, James E. Morris
Nanotechnology Laboratory and Nanoelectronics Simulation Courses, James E. Morris
Improved Passive Bottom-loss Estimation Below 10 kHz Using Arrays Deployable on Autonomous Underwater Vehicles, Lanfranco Muzi, Martin Siderius, and Peter L. Nielsen
High-Resolution Bottom-Loss Estimation Using the Ambient-Noise Vertical Coherence Function, Lanfranco Muzi, Martin Siderius, Jorge E. Quijano, and Stan E. Dosso
Glider-based Seabed Characterization using Natural-made Ambient Noise, Peter L. Nielsen, Martin Siderius, and Lanfranco Muzi
Spatial Sampling of Seabed Properties Using a Glider Equipped with a Short Hydrophone Array, Peter L. Nielsen, Jiang Yong-Min, Martin Siderius, and Lanfranco Muzi
Coupled-Oscillator Associative Memory Array Operation for Pattern Recognition, Dmitri E. Nikonov, Gyorgy Csaba, Wolfgang Porod, Tadashi Shibata, Danny Voils, Dan Hammerstrom, Ian A. Young, and George I. Bourianoff
Quantum Phase Estimation and Arbitrary Accuracy Iterative Phase Estimation Using Multivalued Logic, Vamsi Parasa and Marek Perkowski
Semi-modular Delay Model Revisited in Context of Relative Timing, Hoon Park, Anping He, Marly Roncken, and Xiaoyu Song
Modular Timing Constraints for Delay-Insensitive Systems, Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, and Ivan Sutherland
Development and Uses of Iterative Systematic Literature Reviews in Electrical Engineering Education, Branimir Pejcinovic
Using Systematic Literature Reviews to Enhance Student Learning, Branimir Pejcinovic
Enhancing Freshman Engineering Instruction with In-Class Interaction Systems and e-Books, Branimir Pejcinovic and Phillip K. Wong
A Multi-Agent System for Autonomous Adaptive Control of a Flapping-Wing Micro Air Vehicle, Michal Podhradský, Garrison W. Greenwood, John Gallagher, and Eric Matson
Probability Distribution of Multiple-target Data Snapshots Applied to Large-aperture Array Processing, Jorge E. Quijano and Lisa Zurk
Eigenvector Pruning Method for High Resolution Beamforming, Jorge E. Quijano and Lisa M. Zurk
Eigenvector-based Signal Subspace Estimation, Jorge Quijano and Lisa Zurk
A Novel System and Technique for Enhancing the Lifetime of an Air Breathing Micro PEM Fuel Cell Based Power Source, P. Ramesh, M. Jithesh, and Varun Devaraj
Naturalized Communication and Testing, Marly Roncken, Swetha Mettala Gilla, Hoon Park, Navaneeth Prasannakumar Jamadagni, Christopher Cowan, and Ivan Sutherland
Modeling the Effects of Linear Shallow-Water Internal Waves on Horizontal Array Coherence, Dave Rouse and Andrey A. Lunkov
Developing a Model for Horizontal Array Coherence in the Presence of Random Linear Internal Waves, Daniel Rouseff and Andrey A. Lunkov
Multi-resident Identification Using Device-Free IR and RF Fingerprinting, Erich R. Schafermeyer, Eric A. Wan, Shadman Samin, Noah Zentzis, Nicholas Preiser, John Condon, Jon Folsom, and Peter Jacobs
A Computational Method to Predict and Study Underwater Noise due to Pile Driving, Scott Schecklman, Nathan Laws, Lisa M. Zurk, and Martin Siderius
Extraction of Striations from Continuous Active Sonar (CAS) Data, Scott Schecklman and Lisa Zurk
Striation Processing of Continuously Active Sonar Data, Scott Schecklman and Lisa Zurk
Terahertz Scattering from Contaminants Embedded in Textile Rope and Sling Materials, Scott Schecklman, Lisa Zurk, and Gabriel Kniffin
Is the EDA Industry Ready for Cloud Computing?, Naresh Sehgal, John M. Acken, and Sohum Sohoni
Formal Verification: An Essential Toolkit for Modern VLSI Design, Erik Seligman, Tom Schubert, and M V Achutha Kiran Kumar
Generalization of an Outlier Model into a "Global" Perspective, Sebastian Siatkowski, Chia-Ling Chang, Li-C. Wang, Nikolas Sumikawat, LeRoy Winemberg, and W. Robert Daasch
Alternative Measurements and Processing for Extracting Seabed Information from Sea-surface Noise Correlations, Martin Siderius, Joel Paddock, Lanfranco Muzi, and John Thomas Gebbie
Wavelet-Coupled Machine Learning Methods for Drought Forecast Utilizing Hybrid Meteorological and Remotely-Sensed Data, R. Tan and Marek Perkowski
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq, Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun
Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System, Ya Wang, Rui Wang, Yong Guan, Xiaojuan Li, Hongxing Wei, Jie Zhang, and Xiaoyu Song
Teaching MATLAB and C Programming in First Year Electrical Engineering Courses Using a Data Acquisition Device, Phillip Wong and Branimir Pejcinovic
Synaptic Weight States in a Locally Competitive Algorithm for Neuromorphic Memristive Hardware, Walt Woods, Jens Bürger, and Christof Teuscher
Memristor Panic—A Survey of Different Device Models in Crossbar Architectures, Walt Woods, Mohammad Mahmoud A. Taha, Dat Tran, Jens Bürger, and Christof Teuscher
A Quantitative Characterization of Cross Coverage, Jiantao Zhou, Caihe Lan, William N.N. Hung, Xinrui Guo, and Xiaoyu Song
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic, Min Zhou, Caihe Lan, William N.N. Hung, Xinrui Guo, and Xiaoyu Song
The Digital Predistortion of the SC-FDMA Signals in LTE Uplink System, Changwen Zhu, Xiao Li, and Fu Lo
Submissions from 2014
Evaluation of the Operation of Depletion-Mode SiC Power JFET in DC-DC Converter Applications, Josip Bacmaga, Kristijan Bene, Branimir Pejcinovic, and Adrijan Baric
COEL: A Web-based Chemistry Simulation Framework, Peter Banda, Drew Blount, and Christof Teuscher
Learning Two-input Linear and Nonlinear Analog Functions with a Simple Chemical System, Peter Banda and Christof Teuscher
Reliability Analysis for Chain Topology Wireless Sensor Networks with Multiple-Sending Transmission Scheme, Jie Cai, Xiaoyu Song, Jinyuan Wang, and Ming Gu
Geoacoustic Inversion of Ship Radiated Noise in Shallow Water Using Data From a Single Hydrophone, Steven E. Crocker, Peter L. Nielsen, James H. Miller, and Martin Siderius
Continuous Monitoring of Turning in Patients with Movement Disability, Mahmoud Ahmed El-Gohary, Sean Pearson, James McNames, Martina Mancini, Fay Horak, Sabato Mellone, and Lorenzo Chiari
Passive Localization of Noise-Producing Targets Using a Compact Volumetric Array, John Gebbie, Martin Siderius, Peter L. Nielsen, and James Miller
A Comparative Study of Reservoir Computing for Temporal Signal Processing, Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, and Darko Stefanovic
Damage Spreading in Spatial and Small-world Random Boolean Networks, Qiming Lu and Christof Teuscher
Comparison of Simulation and Measurements of Time-Domain Field-to-Line Coupling in TEM Cell, Tvrtko Mandic, Branimir Pejcinovic, and Adrijan Baric
Nanotechnology Courses for General Education, James Morris, Lisa Weasel, Peter Moeck, and Juna Snow
Coherence Extrapolation for Underwater Ambient Noise, Jorge Quijano, Stan E. Dosso, Martin Siderius, and Lanfranco Muzi
An Eigenvector-Based Test for Local Stationarity Applied to Array Processing, Jorge Quijano and Lisa M. Zurk
Cost Minimization Approach to Synthesis of Linear Reversible Circuits, Ben Schaeffer and Marek Perkowski
Terahertz Non-destructive Evaluation of Layered Media with the Maximum Likelihood Estimator, Scott Schecklman, Gabriel Kniffin, and Lisa Zurk
Terahertz Non-destructive Evaluation of Textile Ropes and Slings, Scott Schecklman, Gabriel Kniffin, and Lisa Zurk
Formalization of Matrix Theory in HOL4, Zhiping Shi, Yan Zhang, Zhenke Liu, Xinan Kang, Yong Guan, Jie Zhang, and Xiaoyu Song
Unconventional Computing Catechism, Christof Teuscher
Functional Verification of High Performance Adders in Coq, Qian Wang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
A Component-Based Modeling and Validation Method for PLC Systems, Rui Wang, Yong Guan, Min Zhou, Jie Zhang, and Xiaoyu Song
Generalized Framework for Similarity Measure of Time Series, Hongsheng Yin, Honggang Qi, Jingwen Xu, William N. N. Hung, and Xiaoyu Song
Acoustic Monitoring of Marine Conservation Areas, Lisa Zurk, Helen Ou, Scott Schecklman, and Ayal Lutwak
Submissions from 2013
Impacts of Electric Vehicle Charging on Electric Power Distribution Systems, Robert B. Bass and Nicole Zimmerman
Localization of a Noisy Broadband Surface Target Using Time Differences of Multipath Arrivals, John Gebbie, Martin Siderius, Reid McCargar, John S. Allen III, and Grant Pusey
Intelligent Modeling and Verification, Gangming Luo, Graziano Chesi, Xiaoyu Song, and Xiaojing Yang
Depth-Based Signal Separation with Vertical Line Arrays in the Deep Ocean, Reid McCargar and Lisa M. Zurk
Automated Extraction and Classification of Time-Frequency Contours in Humpback Vocalizations, Hui Ou, Whitlow W.L. Au, Lisa M. Zurk, and Marc O. Lammers
Application of Active Learning in Microwave Circuit Design Courses, Branimir Pejcinovic
Synthetic Array Processing of Ocean Ambient Noise for Higher Resolution Seabed Bottom Loss Estimation, Martin Siderius, Lanfranco Muzi, Chris H. Harrison, and Peter L. Nielsen
Cluster Ensemble-Based Image Segmentation, Xiaoru Wang, Junping Du, Shuzhe Wu, Xu Li, and Fu Lo
A Transformation-Based Approach to Implication of GSTE Assertion Graphs, Gouwu Yang, William N. N. Hung, Xiaoyu Song, and Wensheng Guo
Submissions from 2012
Aspect-Dependent Radiated Noise Analysis of an Underway Autonomous Underwater Vehicle, John Gebbie, Martin Siderius, and John S. Allen III
Emergent Criticality through Adaptive Information Processing in Boolean Networks, Alireza Goudarzi, Christof Teuscher, Natali Gulbahce, and Thimo Rohlf
Terahertz Spectral Imaging Using Correlation Processing, Samuel Henry, Lisa Zurk, and Scott Schecklman
Model-Based Material Parameter Estimation for Terahertz Reflection Spectroscopy, Gabriel Kniffin and Lisa Zurk
Modeling Terahertz Diffuse Scattering from Granular Media Using Radiative Transfer Theory, Kyung Nam, Lisa Zurk, and Scott Schecklman
Experimental Validation of Phase Using Nomarski Microscopy With an Extended Fried Algorithm, Scott A. Prahl, Amanda Dayton, Kyle Juedes, Erik J. Sánchez, Rafael Paez López, and Donald D. Duncan
Trans-Dimensional Geoacoustic Inversion of Wind-Driven Ambient Noise, Jorge E. Quijano, Stan E. Dosso, Jan Dettmer, Lisa M. Zurk, and Martin Siderius
Bayesian Geoacoustic Inversion Using Wind-Driven Ambient Noise, Jorge E. Quijano, Stan E. Dosso, Jan Dettmer, Lisa M. Zurk, Martin Siderius, and Chris H. Harrison
Power Characteristics of Homogeneously Broadened Index-Antiguided Waveguide Lasers, Chaofan Wang, Tsing-Hua Her, and Lee W. Casperson
Submissions from 2011
Quantitative Carré Differential Interference Contrast Microscopy to Assess Phase and Amplitude, Donald D. Duncan, David G. Fischer, Amanda Dayton, and Scott A. Prahl
Application of Genetic Algorithm for Synthesis of Large Reversible Circuits using Covered Set Partitions, Maher Mofeid Hawash, Baker Abdalhaq, Amjad Hawash, and Marek Perkowski
Decomposition of Reversible Logic Function Based on Cube-Reordering, Martin Lukac, Michitaka Kameyama, Marek Perkowski, and Pawel Kerntopf
Extraction of Small Boat Harmonic Signatures from Passive Sonar, George Lloyd Ogden, Lisa M. Zurk, M. E. Jones, and M. E. Peterson
Modal Logic and Its Applications, Explained Using Puzzles and Examples, Marek Perkowski