Submissions from 2024
Computing Threshold Circuits with Bimolecular Void Reactions in Step Chemical Reaction Networks, Rachel Anderson, Bin Fu, Aiden Massie, Gourab Mukhopadhyay, Adrian Salinas, Robert Schweller, Evan Tomai, and Tim Wylie
A Simple Proof that Ricochet Robots is PSPACE-Complete, Jose Balanza-Martinez, Angel A. Cantu, Robert Schweller, and Tim Wylie
Methionine Sulfoxide Speciation in Mouse Hippocampus Revealed by Global Proteomics Exhibits Age- and Alzheimer’s Disease-Dependent Changes Targeted to Mitochondrial and Glycolytic Pathways, Filipa Blasco Tavares Pereira Lopes, Daniela Schlatzer, Mengzhen Li, Serhan Yılmaz, Rihua Wang, Xin Qi, Marzieh Ayati, Mehmet Koyutürk, and Mark R. Chance
Methionine Sulfoxide Speciation in Mouse Hippocampus Revealed by Global Proteomics Exhibits Age- and Alzheimer’s Disease-Dependent Changes Targeted to Mitochondrial and Glycolytic Pathways, Filipa Blasco Tavares Pereira Lopes, Daniela Schlatzer, Mengzhen Li, Serhan Yılmaz, Rihua Wang, Xin Qi, Marzieh Ayati, Mehmet Koyutürk, and Mark R. Chance
Verification and computation in restricted Tile Automata, David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie
Data Quality Based Intelligent Instrument Selection with Security Integration, Sergei Chuprov, Raman Zatsarenko, Leon Reznik, and Igor Khokhlov
Constrained Multiview Representation for Self-supervised Contrastive Learning, Siyuan Dai, Kai Ye, Kun Zhao, Ge Cui, Haoteng Tang, and Liang Zhan
Domain-Based Nucleic-Acid Minimum Free Energy: Algorithmic Hardness and Parameterized Bounds, Erik D. Demaine, Elize Grizzell, Jayson Lynch, Ahmed Shalaby, Timothy Gomez, Markus Hecher, Robert Schweller, and Damien Woods
Efficient High-Resolution Time Series Classification via Attention Kronecker Decomposition, Aosong Feng, Jialin Chen, Juan Garza, Brooklyn Berry, Francisco Salazar, Yifeng Gao, Rex Ying, and Leandros Tassiulas
Speeding Up Constrained k-Means Through 2-Means, Qilong Feng and Bin Fu
Possible Role of Correlation Coefficients and Network Analysis of Multiple Intracellular Proteins in Blood Cells of Patients with Bipolar Disorder in Studying the Mechanism of Lithium Responsiveness: A Proof-Concept Study, Keming Gao, Marzieh Ayati, Nicholas M. Kaye, Mehmet Koyutürk, Joseph R. Calabrese, Eric Christian, Hillard M. Lazarus, and David Kaplan
Self Pre-training with Topology- and Spatiality-aware Masked Autoencoders for 3D Medical Image Segmentation, Pengfei Gu, Yejia Zhang, Huimin Li, Chaoli Wang, and Danny Z. Chen
Controlling Adversarial Pheromone-Based Infections via Quarantine Strategies in Foraging Robot Swarms, Ryan Luna and Qi Lu
Detection and Mitigation of Misleading Pheromone Trails in Foraging Robot Swarms, Ryan Luna and Qi Lu
Tuning PID Controller for Quadrotor Using Particle Swarm Optimization, Eric X. Rodriguez and Qi Lu
Ex-Vivo Hippocampus Segmentation Using Diffusion-Weighted MRI, Haoteng Tang, Siyuan Dai, Eric M. Zou, Guodong Liu, Ryan Ahearn, Ryan Krafty, Michel Modo, and Liang Zhan
Interpretable Spatio-Temporal Embedding for Brain Structural-Effective Network with Ordinary Differential Equation, Haoteng Tang, Guodong Liu, Siyuan Dai, Kai Ye, Kun Zhao, Wenlu Wang, Carl Yang, Lifang He, Alex D. Leow, and Paul Thompson
Efficient and Accurate Similarity-Aware Graph Neural Network for Semi-supervised Time Series Classification, Wenjie Xi, Arnav Jain, Li Zhang, and Jessica Lin
Efficient and Accurate Similarity-Aware Graph Neural Network for Semi-supervised Time Series Classification, Wenjie Xi, Arnav Jain, Li Zhang, and Jessica Lin
Submissions from 2023
Exploring Spectral Bias in Time Series Long Sequence Forecasting, Kofi Nketia Ackaah-Gyasi, Sergio Valdez, Yifeng Gao, and Li Zhang
Security Attacks and Countermeasures in Smart Homes, Hasibul Alam and Emmett Tomai
Complexity of Reconfiguration in Surface Chemical Reaction Networks, Robert M. Alaniz, Josh Brunner, Michael Coulombe, Erik D. Demaine, Yevhenii Diomidov, Ryan Knobel, Timothy Gomez, Elise Grizzell, Jayson Lynch, Andrew Rodriguez, Robert Schweller, and Tim Wylie
Building squares with optimal state complexity in restricted active self-assembly, Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elize Grizzell, Andrew Rodriguez, Robert Schweller, Armando Tenorio, and Tim Wylie
Covert Computation in the Abstract Tile-Assembly Model, Robert M. Alaniz, Timothy Gomez, Andrew Rodriguez, Tim Wylie, David Caballero, Elize Grizzell, and Robert Schweller
A Fast and Responsive Web-based Framework for Visualizing HPC Application Usage, Ved Arora, Nayeli Gurrola, Amiya K. Maji, and Guangzhen Jin
Prediction of Kinase-Substrate Associations Using The Functional Landscape of Kinases and Phosphorylation Sites, Marzieh Ayati, Serhan Yılmaz, Filipa Blasco Tavares Pereira Lopes, Mark R. Chance, and Mehmet Koyutürk
Uniform Robot Relocation Is Hard in only Two Directions Even Without Obstacles, David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie
Complexity of verification in self-assembly with prebuilt assemblies, David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie
Unique Assembly Verification in Two-Handed Self-Assembly, David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie
Simulation of Multiple Stages in Single Bin Active Tile Self-assembly, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, and Tim Wylie
Machine-Learning-Based Model for Hurricane Storm Surge Forecasting in the Lower Laguna Madre, Cesar E. Davila Hernandez, Jungseok Ho, Dong-Chul Kim, and Abdoul Oubeidillah
Sublinear Time Motif Discovery from Multiple Sequences, Bin Fu, Yunhui Fu, and Yuan Xue
Multitasking scheduling with shared processing, Bin Fu, Yumei Huo, and Hairong Zhao
Streaming approximation scheme for minimizing total completion time on parallel machines subject to varying processing capacity, Bin Fu, Yumei Huo, and Hairong Zhao
Sublinear Approximation Schemes for Scheduling Precedence Graphs of Bounded Depth, Bin Fu, Yumei Huo, and Hairong Zhao
Differences in intracellular protein levels in monocytes and CD4+ lymphocytes between bipolar depressed patients and healthy controls: A pilot study with tyramine-based signal-amplified flow cytometry, Keming Gao, Marzieh Ayati, Nicholas M. Kaye, Mehmet Koyutürk, Joseph R. Calabrese, Stephen J. Ganocy, Hillard M. Lazarus, Eric Christian, and David Kaplan
Divergent Directionality of Immune Cell-Specific Protein Expression between Bipolar Lithium Responders and Non-Responders Revealed by Enhanced Flow Cytometry, Keming Gao, Nicholas M. Kaye, Marzieh Ayati, Mehmet Koyuturk, Joseph R. Calabrese, Eric Christian, Hillard M. Lazarus, and David Kaplan
Adaptive Resolution Loss: An Efficient and Effective Loss for Time Series Self-Supervised Learning Framework, Kevin Garcia, Juan Manuel Perez, and Yifeng Gao
Computational and experimental study on undoped and Er-doped lithium tantalate nanofluorescent probes, Mkhitar A. Hobosyan, Andrea Pelayo Carvajal, Bhupendra B. Srivastava, Tamanna Zakia, Mohammed Uddin, Karen S. Martirosyan, Eric Rodriguez, Kofi Nketia Ackaah-Gyasi, and Nicholas Dimakis
Adaptive Multiple Distributed Bidirectional Spiral Path Planning for Foraging Robot Swarms, Qi Lu and Ryan Luna
IntelliBeeHive: An Automated Honey Bee, Pollen, and Varroa Destructor Monitoring System, Christian I. Narcia-Macias, Joselito Guardado, Jocell Rodriguez, Joanne Rampersad, Erik Enriquez, and Dong-Chul Kim
An Exploratory Study of Programmer Bias Transfer: Investigating Colorblind Racial Attitudes Among Hispanic Students and Their Influence on Algorithmic Systems, Ana Cecilia Sánchez Ramos
A comprehensive survey of complex brain network representation, Haoteng Tang, Guixiang Ma, Yanfu Zhang, Kai Ye, Lei Guo, Guodong Liu, Qi Huang, Yalin Wang, Olusola Ajilore, and Alex D. Leow
A survey on security analysis of machine learning-oriented hardware and software intellectual property, Ashraful Tauhid, Lei Xu, Mostafizur Rahman, and Emmett Tomai
Bidirectional Mapping with Contrastive Learning on Multimodal Neuroimaging Data, Kai Ye, Haoteng Tang, Siyuan Dai, Lei Guo, Johnny Yuehan Liu, Yalin Wang, Alex Leow, Paul M. Thompson, Heng Huang, and Liang Zhan
PMP: Privacy-Aware Matrix Profile against Sensitive Pattern Inference, Li Zhang, Jiahao Ding, Yifeng Gao, and Jessica Lin
PMP: Privacy-Aware Matrix Profile against Sensitive Pattern Inference for Time Series, Li Zhang, Jiahao Ding, Yifeng Gao, and Jessica Lin
Submissions from 2022
Reachability in Restricted Chemical Reaction Networks, Robert M. Alaniz, Bin Fu, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, and Tim Wylie
Functional Characterization of Co-Phosphorylation Networks, Marzieh Ayati, Serhan Yılmaz, Mark A. Chance, and Mehmet Koyuturk
Functional Characterization of Co-Phosphorylation Networks, Marzieh Ayati, Serhan Yılmaz, Mark R. Chance, and Mehmet Koyuturk
Functional characterization of co-phosphorylation networks, Marzieh Ayati, Serhan Yılmaz, Mark R. Chance, and Mehmet Koyuturk
Method and Information Technology to Support Decision-Making for Determining the Level of Reliability of Information Systems, Askar Boranbayev, Seilkhan Boranbayev, Nurbek Sissenov, and Askar Nurbekov
MMZDA: Enabling Social Welfare Maximization in Cross-Silo Federated Learning, Jianan Chen, Qin Hu, and Honglu Jiang
Automation and Coupling of Models for Coastal Flood Forecasting in South Texas, Cesar Davila Hernandez, Sara E. Davila, Martin Flores, Jungseok Ho, and Dong-Chul Kim
Reducing leakage current and enhancing polarization in multiferroic 3D supernanocomposites by microstructure engineering, Erik Enriquez, Ping Lu, Leigang Li, Bruce Zhang, Haiyan Wang, Quanxi Jia, and Aiping Chen
Streaming algorithms for multitasking scheduling with shared processing, Bin Fu, Yumei Huo, and Hairong Zhao
Protein Biomarkers in Monocytes and CD4 + Lymphocytes for Predicting Lithium Treatment Response of Bipolar Disorder: a Feasibility Study with Tyramine-Based Signal-Amplified Flow Cytometry, Keming Gao, Marzieh Ayati, Mehmet Koyuturk, Joseph R. Calabrese, Stephen J. Ganocy, Nicholas M. Kaye, Hillard M. Lazarus, Eric Christian, and David Kaplan
Robots Need the Ability to Navigate Abusive Interactions, Hideki Garcia Goo, Katie Winkle, Tom Williams, and Megan K. Strait
Reproducibility in Human-Robot Interaction: Furthering the Science of HRI, Hatice Gunes, Frank Broz, Chris S. Crawford, Astrid Rosenthal-von der Putten, Megan K. Strait, and Laurel Riek
Penguin: A tool for predicting pseudouridine sites in direct RNA nanopore sequencing data, Doaa Hassan, Daniel Acevedo, Swapna Vidhur Daulatabad, Quoseena Mir, and Sarath Chandra Janga
Efficient Message Dissemination on Curve Road in Vehicular Networks, Shidong Huang, Chuanhe Huang, Dongfang Wu, Yabo Yin, M. Wasim Abbas Ashraf, and Bin Fu
UAV-Assisted Sensor Data Dissemination in mmWave Vehicular Networks Based on Network Coding, Shidong Huang, Chuanhe Huang, Dongfang Wu, Yabo Yin, M. Wasim Abbas Ashraf, and Bin Fu
Differential Privacy in Privacy-Preserving Big Data and Learning: Challenge and Opportunity, Honglu Jiang, Yifeng Gao, S. M. Sarwar, Luis Garza Perez, and Mahmudul Robin
Behavioral Synthesis for Hardware Security, Srinivas Katkoori and Sheikh Ariful Islam
Dynamic Robot Chain Networks for Swarm Foraging, Dohee Lee, Qi Lu, and Tsz-Chiu Au
Multiple-Place Swarm Foraging with Dynamic Robot Chains, Dohee Lee, Qi Lu, and Tsz-Chiu Au
Studying Spread Patterns of COVID-19 based on Spatiotemporal Data, Beiyu Lin, Xiaowei Jia, and Zhiqian Chen
A survey on security analysis of Amazon echo devices, Surendra Pathak, Sheikh Ariful Islam, Honglu Jiang, Lei Xu, and Emmett Tomai
Deep Learning Model With Adaptive Regularization for EEG-Based Emotion Recognition Using Temporal and Frequency Features, Alireza Samavat, Ebrahim Khalili, Bentolhoda Ayati, and Marzieh Ayati
How Hard is Bribery in Elections with Randomly Selected Voters, Liangde Tao, Lin Chen, Lei Xu, Weidong Shi, Ahmed Sunny, and Md Mahabub Uz Zaman
Hardness and Algorithms for Electoral Manipulation Under Media Influence, Liangde Tao, Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi, and Dian Huang
New Gold Mine: Harvesting IoT Data Through DeFi in a Secure Manner, Lei Xu, Xinxin Fan, Lucas Hall, and Qi Chai
Alteration in tyrosine phosphorylation of cardiac proteome and EGFR pathway contribute to hypertrophic cardiomyopathy, Mingguo Xu, Kevin C. Bermea, Marzieh Ayati, Han Byeol Yang, Xiaomei Yang, Andres Medina, Zongming Fu, Amir Heravi, Xinyu Zhang, Chan Hyun Na, Allen Everett, Kathleen Gabrielson, D. Brian Foster, Nazareno Paolocci, Anne M. Murphy, and Genaro A. Ramirez-Correa
Robust Time Series Chain Discovery with Incremental Nearest Neighbors, Li Zhang, Yan Zhu, Yifeng Gao, and Jessica Lin
Submissions from 2021
Co-phosphorylation networks reveal subtype-specific signaling modules in breast cancer, Marzieh Ayati, Mark R. Chance, and Mehmet Koyuturk
Software System for Determining the Level of Reliability and Fault-Tolerance of Information Systems, Askar Boranbayev, Seilkhan Boranbayev, Nurbek Sissenov, Yerzhan Seitkulov, Armand Amini, Arman Mussabekov, and Askar Nurbekov
Fast reconfiguration of robot swarms with uniform control signals, David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie
Covert Computation in Staged Self-Assembly: Verification Is PSPACE-Complete, David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie
Covert Computation in Self-Assembled Circuits, Angel A. Cantu, Austin Luchsinger, Robert Schweller, and Tim Wylie
Trustworthy Medical Segmentation with Uncertainty Estimation, Giuseppina Carannante, Dimah Dera, Nidhal C. Bouaynaya, Rasool Ghulam, and Hassan M. Fathallah-Shaykh
A Game Theoretical Analysis of Non-Linear Blockchain System, Lin Chen, Lei Xu, Zhimin Gao, Ahmed Sunny, Keshav Kasichainula, and Weidong Shi
Sentiment Analysis of Long-term Social Data during the COVID-19 Pandemic, Sophanna Ek, Marco Curci, Xiaokun Yang, Beiyu Lin, Pinchao Liu, and Hailu Xu
Deciphering the Role of Ion Channels in Early Defense Signaling against Herbivorous Insects, Akanksha Gandhi, Rupesh R. Kariyat, Amaravadhi Harikishore, Marzieh Ayati, Anirban Bhunia, and Nirakar Sahoo
UAV-assisted data dissemination based on network coding in vehicular networks, Shidong Huang, Chuanhe Huang, Yabo Yin, Dongfang Wu, M. Wasim Abbas Ashraf, and Bin Fu
EDSC: An Event-Driven Smart Contract Platform, Mudabbir Kaleem, Keshav Kasichainula, Rabimba Karanjai, Lei Xu, Zhimin Gao, Lin Chen, and Weidong Shi
On Conditional Cryptocurrency With Privacy, Rabimba Karanjai, Lei Xu, Zhimin Gao, Lin Chen, Mudabbir Kaleem, and Weidong Shi
A Secure and Flexible FPGA–based Blockchain System for IIoTs, Han-Yee Kim, Lei Xu, Weidong Shi, and Taeweon Suh
Security and Reliability of Safety-Critical RTOS, Ryan Luna and Sheikh Ariful Islam
Improving the Success of Non-Traditional Students in an Introductory Computing Course, Christine F. Reilly, Laura M. Grabowski, and Gustavo Dietrich
Towards Accurate Run-Time Hardware-Assisted Stealthy Malware Detection: A Lightweight, yet Effective Time Series CNN-Based Approach, Hossein Sayadi, Yifeng Gao, Hosein Mohammadi Makrani, Jessica Lin, Paulo Cesar Costa, Setareh Rafatirad, and Houman Homayoun
Reshaping the Landscape of the Future: Software-Defined Manufacturing, Lei Xu, Lin Chen, Zhimin Gao, Hiram Moya, and Weidong Shi
Multi-Actor-Attention-Critic Reinforcement Learning for Central Place Foraging Swarms, Ning Yang, Qi Lu, Kele Xu, Bo Ding, and Zijian Gao
Robust inference of kinase activity using functional networks, Serhan Yılmaz, Marzieh Ayati, Daniela Schlatzer, A. Ercüment Çiçek, Mark A. Chance, and Mehmet Koyutürk
Submissions from 2020
Hierarchical Shape Construction and Complexity for Slidable Polyominoes under Uniform External Forces, Jose Balanza-Martinez, David Caballero, Angel A. Cantu, Mauricio Flores, Timothy Gomez, Austin Luchsinger, Rene Reyes, Robert Schweller, and Tim Wylie
Building Patterned Shapes in Robot Swarms with Uniform Control Signals, David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions, David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie
Relocating Units in Robot Swarms with Uniform Control Signals is PSPACE-Complete, David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie
Signal Passing Self-Assembly Simulates Tile Automata, Angel A. Cantu, Austin Luchsinger, Robert Schweller, and Tim Wylie
New Bounds on Augmenting Steps of Block-Structured Integer Programs, Lin Chen, Martin Koutecký, Lei Xu, and Weidong Shi
Computational Complexity Characterization of Protecting Elections from Bribery, Lin Chen, Ahmed Sunny, Lei Xu, Shouhuai Xu, Zhimin Gao, Yang Lu, Weidong Shi, and Nolan Shah