Submissions from 2019
Tube Redundancy in Statistical Evaluation of Critical Path Delay of CNFET Circuits in the Presence of Tube Variations, Satya K. Vendra and Malgorzata Chrzanowska-Jeske
Distance-Penalized Active Learning via Markov Decision Processes, Dingyu Wang, John Lipor, and Gautam Dasarathy
Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks, Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, and Xibin Zhao
A Formal Model-Based Design Method for Robotic Systems, Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, and Xiaoyu Song
A High Torque Density Halbach Rotor Coaxial Magnetic Gear, Ho Yin Wong, Jonathan Z. Bird, David Barnett, and Wesley Williams
Fast and Accurate Sparse Coding of Visual Stimuli with a Simple, Ultralow-Energy Spiking Architecture, Walt Woods and Christof Teuscher
Cost Minimization of Scheduling Scientific Workflow Applications on Clouds, Hao Wu, Xin Chen, Xiaoyu Song, and He Guo
Reducing Power Spectrum Regrowth for Concurrent Dual-Band OFDM Signals, Siyuan Yan, Xianzhen Yang, Xiao Li, Hui Li, Changhong Jiang, and Fu Li
A Group Algebraic Approach to NPN Classification of Boolean Functions, Juling Zhang, Guowu Yang, William N. N. Hung, Tian Liu, Xiaoyu Song, and Marek A. Perkowski
Submissions from 2018
A Time-Efficient CMOS-Memristive Programmable Circuit Realizing Logic Functions in Generalized AND-XOR Structures, Muayad Aljafar, Marek Perkowski, John M. Acken, and Robin Tan
Electromagnetic and Mechanical Design of a Hermetically Sealed Magnetic Gear for a Marine Hydrokinetic Generator, Hossein Baninajar, Jonathan Z. Bird, Sina Modaresahmadi, and Wesley Williams
Electromagnetic Design and Assembly Analysis of a Halbach Rotor Magnetic Gear for a Marine Hydrokinetic Application, Hossein Baninajar, Jonathan Z. Bird, Sina Modaresahmadi, and Wesley B. Williams
A Dual-Heat-Pump Residential Heating System for Shaping Electric Utility Load, Emily Barrett, Conrad Eustis, and Robert B. Bass
Parallelizing SMT Solving: Lazy Decomposition and Conciliation, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
Power System Spoof Detection with a Hybrid Hardware/Software Benchmarking Framework, Keaton Dieter, Ben McCamish, Eduardo Cotilla-Sanchez, Robert B. Bass, Scott Wallace, and Xinghui Zhao
Improving K-Subspaces via Coherence Pursuit, Andrew Gitlin, Biaoshuai Tao, Laura Balzano, and John Lipor
When is Altruistic Punishment Useful in Social Dilemmas?, Garrison W. Greenwood, Hussein A. Abbass, and Eleni Petraki
MIL, a Monadic Intermediate Language for Implementing Functional Languages, Mark P. Jones, Justin Bailey, and Theodore R. Cooper
A Magnetically Geared Lead Screw Without Translator Skewing, Mojtaba Bahrami Kouhshahi, Jonathan Z. Bird, A. Jannsen, J. Kadel, and W. Williams
Designing and Experimentally Testing a Magnetically Geared Lead Screw, Mojtaba Bahrami Kouhshahi, Jonathan Z. Bird, Joshua D. Kadel, and Wesley B. Williams
Spectrum Modeling of Cross-Modulation for Concurrent Dual-Band RF Power Amplifiers in OFDM Modulation, Fu Li, Siyuan Yan, Xianzhen Yang, and Xiao Li
Subspace Clustering Using Ensembles of K-Subspaces, John Lipor, David Hong, Yan Shuo Tan, and Laura Balzano
Event Detection Using Correlation within Arrays of Streaming PMU Data, Rich Meier, Ben McCamish, Eduardo Cotilla-Sanchez, Jordan Landford, Robert B. Bass, and David Chiu
High-resolution Observations in the Western Mediterranean Sea: The REP14-MED Experiment, Reiner Onken, Heinz-Volker Fiekas, Laurent Beguery, Ines Borrione, Andreas Funk, Michael Hemming, Jaime Hernandez-Lasheras, Karen J. Heywood, Jan Kaiser, Michaela Knoll, Baptiste Mourre, Paolo Oddo, Pierre-Marie Poulain, Bastien Y. Queste, Aniello Russo, Kiminori Shitashima, Martin Siderius, and Elizabeth Thorp Küsel
Litho-aware Machine Learning for Hotspot Detection, Jea Woo Park, Andres Torres, and Xiaoyu Song
Teaching Professional Skills in Microwave Circuit Design Classes, Branimir Pejcinovic
Assessing Scrum Project Management and Teamwork in Electrical and Computer Engineering Courses, Branimir Pejcinovic, Robert B. Bass, and Phillip Wong
A Synergistic Cloud Service Approach for Cold Start Problems, Rui-dong Qi, Jian-tao Zhou, and Xiaoyu Song
Terahertz Imaging of Thin Film Layers with Matched Field Processing, Scott Schecklman and Lisa M. Zurk
Formal Analysis of the Kinematic Jacobian in Screw Theory, Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, and Xiaoyu Song
Head Waves in ocean acoustic ambient noise: Measurements and modeling, Martin Siderius, Jie Li, and Peter Gerstoft
Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup, Lifan Su, Hai Wan, Yufang Qin, Song Xiaoyu, Xibin Zhao, Yue Gao, Chenyang Lu, and Ming Gu
A Magnetic Gearbox With an Active Region Torque Density of 239 N.m/L, Kiran K. Uppalapati, Matthew D. Calvin, Jason D. Wright, J. Pitchard, Wesley B. Williams, and Jonathan Z. Bird
Buffered-Interconnect Performance and Power Dissipation in 3D ICs with Temperature Profile, Satya K. Vendra and Malgorzata Chrzanowska-Jeske
Thermal Management in 3D IC Designs for Nano-CMOS Technologies: Analysis on Graphene- vs. Graphite-based TIM, Satya K. Vendra and Malgorzata Chrzanowska-Jeske
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis, Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, and jiaguang Sun
From Offline Towards Real-Time Verification for Robot Systems, Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, and Xiaojuan Li
Comparative Analysis of a Coaxial Magnetic Gearbox with a Flux Concentration Halbach Rotor and Consequent Pole Rotor Typology, D. H. Wong, S. Modaresahmadi, Jonathan Z. Bird, and W. Williams
Modeling Harmonic Impacts of Electric Vehicle Chargers on Distribution Networks, Nicole Woodman, Robert B. Bass, and Mike Donnelly
A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design, Haifeng Xing, Jiantao Zhou, Xiaoyu Song, and Ruidong Qi
Digital Predistortion for Spectrum Compliance in the Internet of Things, Siyuan Yan, Xiao Li, Changhong Jiang, Hui Li, Lingmei Wang, and Fu Li
A Cloud Workflow Model Based on Resources Selection, Jiantao Zhou, Xianyang Li, Yan Wang, and Xiaoyu Song
Temporal Coverage Analysis for Dynamic Verification, Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, and Jiaguang Sun
Submissions from 2017
Future Proof IoT: Composable Semantics, Security, QoS and Reliability, Tim Abels, Rahul Khanna, and Kevin Midkiff
Performance Optimization and Power Efficiency in 3D IC With Buffer Insertion Scheme, Mohammad A. Ahmed, Sucheta Mohapatra, and Malgorzata Chrzanowska-Jeske
Extended Saleh Model for Behavioral Modeling of Envelope Tracking Power Amplifiers, Haider Al-kanan, Fu Li, and Felice Francesco Tafuri
Comparison of 2-D Behavioral Models for Modeling and Digital Predistortion of Envelope Tracking Power Amplifiers, Haider Al-kanan, Fu Lo, and Felice Francesco Tafuri
Modeling Undependable Subsidies with Three-player Generalized Divide the Dollar, Daniel Ashlock and Garrison Greenwood
Shift-Symmetric Configurations in Two-Dimensional Cellular Automata: Irreversibility, Insolvability, and Enumeration, Peter Banda, John S. Caughman IV, Martin Cenek, and Christof Teuscher
Analysis and Testing of a Hybrid Halbach Magnetic Gearbox, Jonathan Z. Bird, Kang Li, Joshua Kadel, Jason D. Wright, Debarupa Som, and Wesley Williams
Feedforward Chemical Neural Network: An In Silico Chemical System That Learns XOR, Drew Blount, Peter Banda, Christof Teuscher, and Darko Stefanovic
What We Know After Twelve Years Developing and Deploying Test Data Analytics Solutions, Kenneth M. Butler, Amit Nahar, and W. Robert Daasch
Instrumentation Receiver for Medium Frequency Propagation and Noise Measurements, Richard L. Campbell and James Davey
Portable Objective Assessment of Upper Extremity Motor Function in Parkinson's Disease, L. M. Chahine, L. Uribe, P. Hogarth, James McNames, A. Siderowf, K. Marek, and D. Jennings
Modeling Power System Buses Using Performance Based Earthquake Engineering Methods, Vishvas Chalishazar, Chen Huo, Ian Fox, Travis Hagan, Eduardo Cotilla-Sanchez, Annette Von Jouanne, Julia Zhang, Ted Brekken, and Robert B. Bass
IntPTI: Automatic Integer Error Repair with Proper-type Inference, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
Liquid Crystal-Based Mueller Matrix Spectral Imaging Polarimetry for Parameterizing Mineral Structural Organization, James C. Gladish and Donald D. Duncan
A Fuzzy System Approach for Choosing Public Goods Game Strategies, Garrison W. Greenwood
Altruistic Punishment Can Help Resolve Tragedy of the Commons Social Dilemmas, Garrison W. Greenwood
A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems, Zhengang Guo, Yingfeng Zhang, Xibin Zhao, and Xiaoyu Song
An Introductory Course in Electrical Engineering: Lessons Learned and Continuing Challenges, Melinda Holtzman and Branimir Pejcinovic
Mining PMU Data Streams to Improve Electric Power System Resilience, Jun Jiang, Xinghui Zhao, Scott Andrew Wallace, Eduardo Cotilla-Sanchez, and Robert B. Bass
ACODS: Adaptive Computation Offloading for Drone Surveillance System, Woo-Sung Jung, Jinhyuk Yim, Young-Bae Ko, and Suresh Singh
Analysis of a Magnetically Geared Lead Screw, Mojtaba Bahrami Kouhshahi and Jonathan Bird
An Axial Flux-Focusing Magnetically Geared Motor, Mojtaba Bahrami Kouhshahi, Jonathan Z. Bird, Viral Acharya, Ke Li, Melvin Calvin, and Wesley B. Williams
Wideband Acoustic Positioning With Precision Calibration and Joint Parameter Estimation, Amit Kumar and James McNames
Marine Mammal Tracks from Two-Hydrophone Acoustic Recordings Made with a Glider, Elizabeth T. Küsel, Tessa Munoz, Martin Siderius, David K. Mellinger, and Sara L. Heimlich
Ideal Radial Permanent Magnet Coupling Torque Density Analysis, Kang Li, Jonathan Bird, and Vedanadam M. Acharya
Designing the First Stage of a Series Connected Multistage Coaxial Magnetic Gearbox for a Wind Turbine Demonstrator, K. Li, J. Wright, S. Modaresahmadi, D. Som, W. Williams, and Jonathan Z. Bird
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude, Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
Quantum Circuit Synthesis Using a New Quantum Logic Gate Library of NCV Quantum Gates, Zhiqiang Li, Sai Chen, Xiaoyu Song, Marek Perkowski, Hanwu Chen, and Wei Zhu
Minimization of Quantum Circuits using Quantum Operator Forms, Martin Lukac, Michitaka Kameyama, Marek Perkowski, and Pawel Kerntopf
Passive Bottom Reflection-Loss Estimation Using Ship Noise and a Vertical Line Array, Lanfranco Muzi, Martin Siderius, and Christopher M. Verlinden
Seabed Characterization From Ambient Noise Using Short Arrays and Autonomous Vehicles, Peter Louring Nielsen, Lanfranco Muzi, and Martin Siderius
Active Learning, Labs and Maker-spaces in Microwave Circuit Design Courses, Branimir Pejcinovic
Assessing Student Preparedness for Introductory Engineering and Programming Courses, Branimir Pejcinovic, Melinda Holtzman, Philip K. Wong, and Gerald Recktenwald
Evolution of an Introductory Electrical Engineering and Programming Course, Branimir Pejcinovic and Phillip Wong
Electrodynamic Wheel Magnetic Rolling Resistance, Wei Qin and Jonathan Z. Bird
Memristor Based 8-Bit Iterative Full Adder with Space-Time Notation and Sneak-Path Protection, Kamela Choudhury Rahman, Masoodur Rahman Khan, and Marek A. Perkowski
How to Think about Self-Timed Systems, Marly Roncken, Ivan Sutherland, Chris Chen, Yong Hei, Warren Hunt, Cuong Chau, Swetha Mettala Gilla, Hoon park, Xiaoyu Song, Anping He, and Hong Chen
Product Transformation and Heuristic EXOR-AND-OR Logic Synthesis of Incompletely Specified Functions, Ben Schaeffer
Non-Temporal Logic Performance of an Atomic Switch Network, Kelsey Scharnhorst, Walt Woods, Christof Teuscher, Adam Stieg, and James Gimzewski
Striation Processing of Data From the 2013 Target and Reverberation Experiment (TREX13), Scott Schecklman and Lisa M. Zurk
Memetic-Based Schedule Synthesis for Communication on Time-Triggered Embedded Systems, Heyuan Shi, Kun Tang, Chengbao Lio, Xiaoyu Song, Chao Hu, and Jiaguang Sun
Analysis and Testing of a Coaxial Magnetic Gearbox with Flux Concentration Halbach Rotors, Debarupa Som, Kang Li, Joshua Kadel, Jason Wright, Sina Modaresahmadi, Jonathan Bird, and W. William
Music to Motion: Using Music Information to Create Expressive Robot Motion, Mathias Sunardi and Marek A. Perkowski
Spatial and Temporal Probabilistic Inference Using a Memristive Associative Memory, Mohammed M.A. Taha, Wesley Chavez, and Christof Teuscher
Naive Bayesian Inference of Handwritten Digits using a Memristive Associative Memory, Mohammed M.A. Taha and Christof Teuscher
ECG Biometric Identification Using Wavelet Analysis Coupled with Probabilistic Random Forest, Robin Tan and Marek Perkowski
Toward Improving Electrocardiogram (ECG) Biometric Verification using Mobile Sensors: A Two-Stage Classifier Approach, Robin Tan and Marek Perkowski
A Comparison of Two Innovation Tools: Application on Smart Kitchen Design, Burcu Taşkın
The Weird, the Small, and the Uncontrollable: Redefining the Frontiers of Computing, Christof Teuscher
Memcapacitive Devices in Logic and Crossbar Applications, Dat Tran and Christof Teuscher
Memcapacitive Reservoir Computing, Dat Tran and Christof Teuscher
Comparison of Various Error-Detecting and Error-Correcting Encodings of Reversible Automata Built from Irreversible State Tables Using EPOE Circuits with EXOR Lattices, Linh Tran, Bruce Yen, and Marek A. Perkowski
Equity Option Strategy Discovery and Optimization Using a Memetic Algorithm, Richard Tymerski, Garrison Greenwood, and Devin Sills
A Low Assembly Cost Coaxial Magnetic Gearbox, Kiran Uppalapati, Joshua Kadel, Jason Wright, Kang Li, Wesley Williams, and Jonathan Bird
Inertial and Time-of-Arrival Ranging Sensor Fusion, Paul Vasilyeav, Sean Pearson, Mahmoud El-Gohary, Mateo Aboy, and James McNames
Research on QoS Optimization Method of Cloud Service Based on Utility Game Between Users and Service Providers in the Cloud Market, Yan Wang, Jiantao Zhou, Jing Liu, Gang Xu, and Xiaoyu Song
A Static Analysis Tool with Optimizations for Reachability Determination, Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun