Follow

Submissions from 2015

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

PDF

A Computational Method to Predict and Study Underwater Noise due to Pile Driving, Scott Schecklman, Nathan Laws, Lisa M. Zurk, and Martin Siderius

Link

Extraction of Striations from Continuous Active Sonar (CAS) Data, Scott Schecklman and Lisa Zurk

Link

Striation Processing of Continuously Active Sonar Data, Scott Schecklman and Lisa Zurk

Link

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

PDF

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

PDF

Teaching MATLAB and C Programming in First Year Electrical Engineering Courses Using a Data Acquisition Device, Phillip Wong and Branimir Pejcinovic

Link

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 Li

Submissions from 2014

Link

Evaluation of the Operation of Depletion-Mode SiC Power JFET in DC-DC Converter Applications, Josip Bacmaga, Kristijan Bene, Branimir Pejcinovic, and Adrijan Baric

PDF

COEL: A Web-based Chemistry Simulation Framework, Peter Banda, Drew Blount, and Christof Teuscher

PDF

Learning Two-input Linear and Nonlinear Analog Functions with a Simple Chemical System, Peter Banda and Christof Teuscher

PDF

Reliability Analysis for Chain Topology Wireless Sensor Networks with Multiple-Sending Transmission Scheme, Jie Cai, Xiaoyu Song, Jinyuan Wang, and Ming Gu

PDF

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

PDF

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

PDF

Passive Localization of Noise-Producing Targets Using a Compact Volumetric Array, John Gebbie, Martin Siderius, Peter L. Nielsen, and James Miller

PDF

A Comparative Study of Reservoir Computing for Temporal Signal Processing, Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, and Darko Stefanovic

PDF

Damage Spreading in Spatial and Small-world Random Boolean Networks, Qiming Lu and Christof Teuscher

Link

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

PDF

Coherence Extrapolation for Underwater Ambient Noise, Jorge Quijano, Stan E. Dosso, Martin Siderius, and Lanfranco Muzi

PDF

An Eigenvector-Based Test for Local Stationarity Applied to Array Processing, Jorge Quijano and Lisa M. Zurk

PDF

Cost Minimization Approach to Synthesis of Linear Reversible Circuits, Ben Schaeffer and Marek Perkowski

Link

Terahertz Non-destructive Evaluation of Layered Media with the Maximum Likelihood Estimator, Scott Schecklman, Gabriel Kniffin, and Lisa Zurk

Link

Terahertz Non-destructive Evaluation of Textile Ropes and Slings, Scott Schecklman, Gabriel Kniffin, and Lisa Zurk

PDF

Formalization of Matrix Theory in HOL4, Zhiping Shi, Yan Zhang, Zhenke Liu, Xinan Kang, Yong Guan, Jie Zhang, and Xiaoyu Song

PDF

Unconventional Computing Catechism, Christof Teuscher

PDF

Functional Verification of High Performance Adders in Coq, Qian Wang, Xiaoyu Song, Ming Gu, and Jiaguang Sun

PDF

A Component-Based Modeling and Validation Method for PLC Systems, Rui Wang, Yong Guan, Min Zhou, Jie Zhang, and Xiaoyu Song

PDF

Generalized Framework for Similarity Measure of Time Series, Hongsheng Yin, Honggang Qi, Jingwen Xu, William N. N. Hung, and Xiaoyu Song

Link

Acoustic Monitoring of Marine Conservation Areas, Lisa Zurk, Helen Ou, Scott Schecklman, and Ayal Lutwak

Submissions from 2013

PDF

Impacts of Electric Vehicle Charging on Electric Power Distribution Systems, Robert Bass and Nicole Zimmerman

PDF

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

Link

Terahertz Spectral Imaging Using Correlation Processing, Samuel Henry, Lisa Zurk, and Scott Schecklman

PDF

Depth-Based Signal Separation with Vertical Line Arrays in the Deep Ocean, Reid McCargar and Lisa M. Zurk

PDF

Automated Extraction and Classification of Time-Frequency Contours in Humpback Vocalizations, Hui Ou, Whitlow W.L. Au, Lisa M. Zurk, and Marc O. Lammers

PDF

Application of Active Learning in Microwave Circuit Design Courses, Branimir Pejcinovic

PDF

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

Submissions from 2012

PDF

Aspect-Dependent Radiated Noise Analysis of an Underway Autonomous Underwater Vehicle, John Gebbie, Martin Siderius, and John S. Allen III

PDF

Emergent Criticality through Adaptive Information Processing in Boolean Networks, Alireza Goudarzi, Christof Teuscher, Natali Gulbahce, and Thimo Rohlf

Link

Model-Based Material Parameter Estimation for Terahertz Reflection Spectroscopy, Gabriel Kniffin and Lisa Zurk

Link

Modeling Terahertz Diffuse Scattering from Granular Media Using Radiative Transfer Theory, Kyung Nam, Lisa Zurk, and Scott Schecklman

PDF

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

PDF

Trans-Dimensional Geoacoustic Inversion of Wind-Driven Ambient Noise, Jorge E. Quijano, Stan E. Dosso, Jan Dettmer, Lisa M. Zurk, and Martin Siderius

PDF

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

PDF

Power Characteristics of Homogeneously Broadened Index-Antiguided Waveguide Lasers, Chaofan Wang, Tsing-Hua Her, and Lee W. Casperson

Submissions from 2011

PDF

Quantitative Carré Differential Interference Contrast Microscopy to Assess Phase and Amplitude, Donald D. Duncan, David G. Fischer, Amanda Dayton, and Scott A. Prahl

PDF

Application of Genetic Algorithm for Synthesis of Large Reversible Circuits using Covered Set Partitions, Maher Mofeid Hawash, Baker Abdalhaq, Amjad Hawash, and Marek Perkowski

PDF

Decomposition of Reversible Logic Function Based on Cube-Reordering, Martin Lukac, Michitaka Kameyama, Marek Perkowski, and Pawel Kerntopf

PDF

Extraction of Small Boat Harmonic Signatures from Passive Sonar, George Lloyd Ogden, Lisa M. Zurk, M. E. Jones, and M. E. Peterson

PDF

Modal Logic and Its Applications, Explained Using Puzzles and Examples, Marek Perkowski

PDF

Synthesis of Reversible Synchronous Counters, Marek Perkowski and Mozammel H.A. Khan

PDF

Synthesis of Quantum Circuits in Linear Nearest Neighbor Model Using Positive Davio Lattices, Marek Perkowski, Martin Lukac, Dipal Shah, and Michitaka Kameyama

PDF

Quantum Phase Estimation Using Multivalued Logic, Marek Perkowski and Vamsi Parasa

PDF

Improved Complexity of Quantum Oracles for Ternary Grover Algorithm for Graph Coloring, Marek Perkowski and Yushi Wang

PDF

Terahertz Material Detection From Diffuse Surface Scattering, Scott Schecklman, Lisa M. Zurk, Samuel C. Henry, and Gabriel Paul Kniffin

PDF

Using Practical Supergain for Passive Imaging with Noise, Martin Siderius

PDF

Redesign of Freshman Electrical Engineering Courses for Improved Motivation and Early Introduction of Design, Phillip Wong, Melinda Holtzman, Branimir Pejcinovic, and Malgorzata Chrzanowska-Jeske

PDF

Striation-Based Beamforming for Estimating the Waveguide Invariant with Passive Sonar, Lisa M. Zurk and Daniel Rouseff

Submissions from 2010

PDF

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

PDF

Multiharmonic Frequency Tracking Method Using The Sigma-Point Kalman Smoother, Sunghan Kim, Anindya S. Paul, Eric A. Wan, and James McNames

PDF

Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics, Martin Lukac, Marek Perkowski, and Michitaka Kameyama

PDF

Application of CUDA in the Boolean Domain for the Unate Covering Problem, Eric Paul, Bernd Steinbach, and Marek Perkowski

PDF

Synthesis of Reversible Circuits for Large Reversible Functions, Marek Perkowski, Nouraddin Alhagi, and Maher Hawash

PDF

Fault Testing Quantum Switching Circuits, Marek Perkowski and Jacob Biamonte

PDF

Experimental Observations of Active Invariance Striations in a Tank Environment, Jorge E. Quijano, Richard L. Campbell Jr., Tobias G. Oesterlein, and Lisa M. Zurk

PDF

Modeling Acoustic Scattering from the Seabed Using Transport Theory, Jorge Quijano and Lisa M. Zurk

PDF

Adaptive Passive Fathometer Processing, Martin Siderius, Heechun Song, Peter Gerstoft, William S. Hodgkiss, Paul Hursky, and Chris H. Harrison

Link

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

PDF

Computer-Aided Assessment of Diagnostic Images for Epidemiological Research, Alison G. Abraham, Donald D. Duncan, Stephen J. Gange, and Sheila West

PDF

Gain Guiding in Large-Core Bragg Fibers, Xianyu Ao, Tsing-Hua Her, and Lee W. Casperson

PDF

Effects of Gaussian Fields on the Stability of Inhomogeneously Broadened Lasers, Pitak Chenkosol and Lee W. Casperson

PDF

Stability Criteria for Spontaneously Pulsing Gas Lasers, Pitak Chenkosol and Lee W. Casperson

Link

Enhanced Kalman Filter Algorithm using the Invariance Principle, Chensong He, Jorge Quijano, and Lisa Zurk

PDF

Gain Saturation in Gain-Guided Slab Waveguides with Large-Index Antiguiding, Tsing-Hua Her, Xianyu Ao, and Lee W. Casperson

PDF

Effects of Sea-Surface Conditions on Passive Fathometry and Bottom Characterization, Steven L. Means and Martin Siderius

PDF

Monte Carlo Green's Function Formalism for the Propagation of Partially Coherent Light, Scott A. Prahl, David G. Fischer, and Donald D. Duncan

PDF

Extended Superposed Quantum State Initialization Using Disjoint Prime Implicants, David Rosenbaum and Marek Perkowski

PDF

Alan Turing se Fraye un Chemin Jusqu'à la Place de L'ordinateur, Christof Teuscher

PDF

Radiative Transfer Theory Applied to Ocean Bottom Modeling, Lisa M. Zurk and Jorge Quijano

Submissions from 2008

PDF

Monte Carlo Modeling of Spatial Coherence: Free-Space Diffraction, Donald D. Duncan, David G. Fischer, and Scott A. Prahl

PDF

Can Laser Speckle Flowmetry be Made a Quantitative Tool?, Donald D. Duncan and Sean J. Kirkpatrick

PDF

The Copula: A Tool for Simulating Speckle Dynamics, Donald D. Duncan and Sean J. Kirkpatrick

PDF

Statistics of Local Speckle Contrast, Donald D. Duncan, Sean J. Kirkpatrick, and Ruikang K. Wang

PDF

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

PDF

Bottom Profiling by Correlating Beam-Steered Noise Sequences, Chris H. Harrison and Martin Siderius

PDF

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

PDF

Modeling Broadband Ocean Acoustic Transmissions with Time-Varying Sea Surfaces, Martin Siderius and Michael B. Porter

Link

Robust Processing Techniques for Underwater Acoustics, Lisa Zurk