3 citations · 7 across the 6 of their papers we have counts for
6 papers
Examining Rail Transportation Route of Crude Oil in the United States Using Crowdsourced Social Media Data
Yuandong Liu, Majbah Uddin, Shih-Miao Chin +2
Safety issues associated with transporting crude oil by rail have been a concern since the boom of US domestic shale oil production in 2012. During the last decade, over 300 crude…
Improving the accuracy of freight mode choice models: A case study using the 2017 CFS PUF data set and ensemble learning techniques
Diyi Liu, Hyeonsup Lim, Majbah Uddin +4
The US Census Bureau has collected two rounds of experimental data from the Commodity Flow Survey, providing shipment-level characteristics of nationwide commodity movements, publi…
Exploring the Effects of Population and Employment Characteristics on Truck Flows: An Analysis of NextGen NHTS Origin-Destination Data
Majbah Uddin, Yuandong Liu, Hyeonsup Lim
Truck transportation remains the dominant mode of US freight transportation because of its advantages, such as the flexibility of accessing pickup and drop-off points and faster de…
Mobility Gaps between Low-Income and Not Low-Income Households: A Case Study in New York State
Yuandong Liu, Majbah Uddin
Understanding the travel challenges faced by low-income residents has always been and continues to be one of the most important transportation equity topics. This study aims to exp…
Source-Level Bitwise Branching for Temporal Verification
Yuandong Cyrus Liu, Ton-Chanh Le, Eric Koskinen
There is increasing interest in applying verification tools to programs that have bitvector operations. SMT solvers, which serve as a foundation for these tools, have thus increase…
Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch +4
There is increasing interest in applying verification tools to programs that have bitvector operations (eg., binaries). SMT solvers, which serve as a foundation for these tools, ha…