282 citations
- Vanderbilt UniversityUS11 papers
- Rutgers, The State University of New JerseyUS3 papers
- Centre Inria de l'Université Grenoble AlpesFR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Department of Mathematical SciencesRU2 papers
- GIPSA-LabFR2 papers
- Institut polytechnique de GrenobleFR2 papers
- Rutgers Sexual and Reproductive Health and RightsNL2 papers
- Université Grenoble AlpesFR2 papers
- Virginia TechUS2 papers
- Arizona State UniversityUS1 paper
- Delft University of TechnologyNL1 paper
18 papers
Calibrating Adaptive Smoothing Methods for Freeway Traffic Reconstruction
Junyi Ji, Derek Gloudemans, Gergely Zachár +3
The adaptive smoothing method (ASM) is a widely used approach for traffic state reconstruction. This article presents a Python implementation of ASM, featuring end-to-end calibrati…
Grid-Aware Charging and Operational Optimization for Mixed-Fleet Public Transit
Rishav Sen, Amutheezan Sivagnanam, Aron Laszka +2
The rapid growth of urban populations and the increasing need for sustainable transportation solutions have prompted a shift towards electric buses in public transit systems. Howev…
Optimizing information transmission in optogenetic Wnt signaling
Olivier Witteveen, Samuel J. Rosen, Ryan S. Lach +2
Populations of cells regulate gene expression in response to external signals, but their ability to make reliable collective decisions is limited by both intrinsic noise in molecul…
Scalable analysis of stop-and-go waves: Representation, measurements and insights
Junyi Ji, Derek Gloudemans, Yanbing Wang +5
Analyzing stop-and-go waves at the scale of miles and hours of data is an emerging challenge in traffic research. The past 5 years have seen an explosion in the availability of lar…
Stop-and-go wave super-resolution reconstruction via iterative refinement
Junyi Ji, Alex Richardson, Derek Gloudemans +6
Stop-and-go waves are a fundamental phenomenon in freeway traffic flow, contributing to inefficiencies, crashes, and emissions. Recent advancements in high-fidelity sensor technolo…
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach
Neelanjana Pal, Taylor T Johnson
Formally verifying audio classification systems is essential to ensure accurate signal classification across real-world applications like surveillance, automotive voice commands, a…