Congestion pricing is one of the major travel demand management policies to reduce traffic volumes in metropolitans. One of the main factors for effective implementation of this policy is to analyze users' response to different toll rates. In this paper, the willingness of users to pay for using their personal cars is evaluated. The stated preference method was applied for data gathering. Sever...

This paper introduces a novel, computationally efficient, and practical atmospheric tomography wavefront control architecture with separate minimum variance laser and natural guide star mode estimation. The architecture is applicable to all laser tomography systems, including multi conjugate adaptive optics (MCAO), laser tomography adaptive optics (LTAO), and multi object adaptive optics (MOAO)...

A key technique for the verification of programs is counterexampleguided abstraction refinement (CEGAR). In a previous approach, we developed a CEGAR-based algorithm for the modal μ-calculus, where refinement applies only locally, i.e. lazy abstraction techniques are used. Unfortunately, our previous algorithm was not completely lazy and had some further drawbacks, like a possible local state e...

In this research, the modal parameters of a beam in free-free condition are extracted by performing different experiments in laboratory. For this purpose, two different techniques are employed. The first methodology is considered as a time domain method in Operational Modal Analysis. While the other one is frequency domain impact hammer test which is categorized as an Experimental Modal Analysi...

The sequential travel forecasting procedure is widely accepted without question by transportation planners, yet its origins are obscure, its effects on practice and research may well be negative, and by focusing attention on individual steps, it tends to impede overall progress in improving forecasting methods. Alternatives to the sequential procedure proposed by researchers over the past 30 ye...

In this study, the distribution of shopping centers is optimized in terms of realizing the shortest car-based shopping trips in an urban area. Modal split is performed between road and public traffic networks is calculated, and then the interaction between land-use and transportation in the context of choice of shopping destinations is modeled to build the optimal function. Parallel genetic alg...

We describe a new method for computing the displacement vector eld in time sequences of 3D images (4D data). The method is an energy-minimizing method; the energy is split into two terms, with one term matching diierential singularities in the images, and the other constraining the regularity of the eld. In order to reduce the computational time, we introduce an adaptive volume mesh the resolut...