Modeling the Influence of Land Use Developments on Transportation System Performance

The growth in the urban population has influenced urban sprawl, congestion, and subsequently, delays on the existing road infrastructure. New land use developments occur in every part of the city due to rapid economic development and to meet the demand for better living standards. The induced traffic volume generated from such land use developments often results in increased congestion and vehicular delay on the existing roads. With recent advancements in the technology, it is possible to capture continuous, and comprehensive travel time data for every major corridor in a city. Therefore, the goal of this research is to model the influence of land use developments on travel time variations to improve the mobility of people and goods. Data for 259 road links were selected within the city of Charlotte, North Carolina (NC). Three years of travel time data, from the year 2013 to the year 2015, were collected from the private agency. Thirty-five different types of land use developments were considered in this research. The spatial dependency was incorporated by considering the land use developments within 0.5 miles, 1 mile, 2 miles, and 3 miles of the selected road link. Forty-eight statistical models were developed. The results obtained indicate that land use developments have a significant influence on travel times. Different land use categories contribute to the average travel time based on the buffer width, area type, and the link speed limit. Developing the models by classifying the links based on the speed limit (\u3c 45 mph, 45 to 50 mph, and \u3e 50 mph) was observed to be the best approach to examine the relationship between land use developments and the average travel time. Also, typically travel time on a selected road link is higher during the evening peak period compared to the morning peak and the afternoon off-peak period. Further, the results obtained indicate that the number of lanes and the posted speed limit are negatively associated with the travel time of the selected link

Developing Tangible Data Literacies for the Internet of Tangible Things

This paper poses the question how to design tangible interactions with the Internet of Things (IoT) in a way that supports people to develop better mental models of the underlying cyber-physical systems and thus enrich the ways that people engage with and create new knowledge from them

Focal Spot, Winter 2004/2005

https://digitalcommons.wustl.edu/focal_spot_archives/1098/thumbnail.jp

Semantics-based Automated Web Testing

We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework. We show how TAO can be incorporated with the Selenium automation tool for automated web testing, and how TAO can be further extended to support automated delta debugging, where a failing web test script can be systematically reduced based on grammar-directed strategies. A real-life parking website is adopted throughout the paper to demonstrate the effectivity of our semantics-based web testing approach.Comment: In Proceedings WWV 2015, arXiv:1508.0338

Spartan Daily, February 10, 1993

Volume 100, Issue 9https://scholarworks.sjsu.edu/spartandaily/8366/thumbnail.jp

Apartment Security: A Note on Gated Access and Rental Rates

The effect of gated access restrictions on garden apartment rents is empirically evaluated. Garden apartment rents are positively related to the presence of gated access constraints, although the combination of in-unit alarms with gated access is rent neutral. One-bedroom and two-bedroom units garner higher rents with the presence of gated access constraints. The research extends prior research on high-rise units indicating that 24-hour security positively impacts occupancy and gross rental income. Given that the study uses data from only one market, additional research for other cities and regions is warranted.

Planning as Tabled Logic Programming

This paper describes Picat's planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014. Picat's planner is implemented by use of tabling. During search, every state encountered is tabled, and tabled states are used to effectively perform resource-bounded search. In Picat, structured data can be used to avoid enumerating all possible permutations of objects, and term sharing is used to avoid duplication of common state data. This paper presents several modeling techniques through the example models, ranging from designing state representations to facilitate data sharing and symmetry breaking, encoding actions with operations for efficient precondition checking and state updating, to incorporating domain knowledge and heuristics. Broadly, this paper demonstrates the effectiveness of tabled logic programming for planning, and argues the importance of modeling despite recent significant progress in domain-independent PDDL planners.Comment: 27 pages in TPLP 201