Submissions from 2015
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
Terahertz Spectral Imaging Using Correlation Processing, Samuel Henry, Lisa Zurk, and Scott Schecklman
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
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
Synthesis of Reversible Synchronous Counters, Marek Perkowski and Mozammel H.A. Khan
Synthesis of Quantum Circuits in Linear Nearest Neighbor Model Using Positive Davio Lattices, Marek Perkowski, Martin Lukac, Dipal Shah, and Michitaka Kameyama
Quantum Phase Estimation Using Multivalued Logic, Marek Perkowski and Vamsi Parasa
Improved Complexity of Quantum Oracles for Ternary Grover Algorithm for Graph Coloring, Marek Perkowski and Yushi Wang
Terahertz Material Detection From Diffuse Surface Scattering, Scott Schecklman, Lisa M. Zurk, Samuel C. Henry, and Gabriel Paul Kniffin
Using Practical Supergain for Passive Imaging with Noise, Martin Siderius
Redesign of Freshman Electrical Engineering Courses for Improved Motivation and Early Introduction of Design, Phillip Wong, Melinda Holtzman, Branimir Pejcinovic, and Malgorzata Chrzanowska-Jeske
Striation-Based Beamforming for Estimating the Waveguide Invariant with Passive Sonar, Lisa M. Zurk and Daniel Rouseff
Submissions from 2010
Absolute Blood Velocity Measured with a Modified Fundus Camera, Donald D. Duncan, Paul Lemaillet, Mohamed Ibrahim, Quan D. Nguyen, Matthias Hiller, and Jessica C. Ramella-Roman
Multiharmonic Frequency Tracking Method Using The Sigma-Point Kalman Smoother, Sunghan Kim, Anindya S. Paul, Eric A. Wan, and James McNames
Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics, Martin Lukac, Marek Perkowski, and Michitaka Kameyama
Application of CUDA in the Boolean Domain for the Unate Covering Problem, Eric Paul, Bernd Steinbach, and Marek Perkowski
Synthesis of Reversible Circuits for Large Reversible Functions, Marek Perkowski, Nouraddin Alhagi, and Maher Hawash
Fault Testing Quantum Switching Circuits, Marek Perkowski and Jacob Biamonte
Experimental Observations of Active Invariance Striations in a Tank Environment, Jorge E. Quijano, Richard L. Campbell, Tobias G. Oesterlein, and Lisa M. Zurk
Modeling Acoustic Scattering from the Seabed Using Transport Theory, Jorge Quijano and Lisa M. Zurk
Adaptive Passive Fathometer Processing, Martin Siderius, Heechun Song, Peter Gerstoft, William S. Hodgkiss, Paul Hursky, and Chris H. Harrison
Modeling Rough Surface and Granular Scattering at Terahertz Frequencies using the Finite-Difference Time-Domain Method, Garth Sundberg, Lisa Zurk, Scott Schecklman, and Samuel Henry
Submissions from 2009
Computer-Aided Assessment of Diagnostic Images for Epidemiological Research, Alison G. Abraham, Donald D. Duncan, Stephen J. Gange, and Sheila West
Gain Guiding in Large-Core Bragg Fibers, Xianyu Ao, Tsing-Hua Her, and Lee W. Casperson
Effects of Gaussian Fields on the Stability of Inhomogeneously Broadened Lasers, Pitak Chenkosol and Lee W. Casperson
Stability Criteria for Spontaneously Pulsing Gas Lasers, Pitak Chenkosol and Lee W. Casperson
Enhanced Kalman Filter Algorithm using the Invariance Principle, Chensong He, Jorge Quijano, and Lisa Zurk
Gain Saturation in Gain-Guided Slab Waveguides with Large-Index Antiguiding, Tsing-Hua Her, Xianyu Ao, and Lee W. Casperson
Effects of Sea-Surface Conditions on Passive Fathometry and Bottom Characterization, Steven L. Means and Martin Siderius
Monte Carlo Green's Function Formalism for the Propagation of Partially Coherent Light, Scott A. Prahl, David G. Fischer, and Donald D. Duncan
Extended Superposed Quantum State Initialization Using Disjoint Prime Implicants, David Rosenbaum and Marek Perkowski
Alan Turing se Fraye un Chemin Jusqu'à la Place de L'ordinateur, Christof Teuscher
Radiative Transfer Theory Applied to Ocean Bottom Modeling, Lisa M. Zurk and Jorge Quijano
Submissions from 2008
Monte Carlo Modeling of Spatial Coherence: Free-Space Diffraction, Donald D. Duncan, David G. Fischer, and Scott A. Prahl
Can Laser Speckle Flowmetry be Made a Quantitative Tool?, Donald D. Duncan and Sean J. Kirkpatrick
The Copula: A Tool for Simulating Speckle Dynamics, Donald D. Duncan and Sean J. Kirkpatrick
Statistics of Local Speckle Contrast, Donald D. Duncan, Sean J. Kirkpatrick, and Ruikang K. Wang
Lidar System Model for Use With Path Obscurants and Experimental Validation, J. W. Giles, I. N. Bankman, R. M. Sova, T. R. Morgan, Donald D. Duncan, J. A. Millard, W. J. Green, and F. J. Marcotte
Bottom Profiling by Correlating Beam-Steered Noise Sequences, Chris H. Harrison and Martin Siderius
Measurement of Oxygen Saturation in the Retina with a Spectroscopic Sensitive Multi Aperture Camera, Jessica C. Ramella-Roman, Scott A. Mathews, Haripriya Kandimalla, Afshin Nabili, Donald D. Duncan, Salvatore A. D'Anna, Syed M. Shah, and Quan D. Nguyen
Modeling Broadband Ocean Acoustic Transmissions with Time-Varying Sea Surfaces, Martin Siderius and Michael B. Porter
Robust Processing Techniques for Underwater Acoustics, Lisa Zurk
Submissions from 2007
Spontaneous Mode Locking in Mixed-Broadened Laser Oscillators, Pitak Chenkosol and Lee W. Casperson