We examine a simple two lane cellular automaton based upon the single lane CA introduced by Nagel and Schreckenberg. We point out important parameters defining the shape of the fundamental diagram. Moreover we investigate the importance of stochastic elements with respect to real life traffic.

In a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP lead to a truncated moment problem in the primal and a polynomial sum-of-squares problem in the dual. ...

We describe a new temporal verification framework for safety and robustness analysis of nonlinear control laws, our target application being a space launcher vehicle. Robustness analysis, formulated as a nonconvex nonlinear optimization problem on admissible trajectories corresponding to piecewise polynomial dynamics, is relaxed into a convex linear programming problem on measures. This infinit...

Knowledge about low flow statistics is essential for effective water resource planning and management in ungauged orpoorly gauged catchment areas, especially in arid and semi-arid regions such as Iran. We employed a data set of 20 riverflow time-series from the Iranian Central Plateau River Basin, Iran to evaluate the low-flow series using several frequencyanalysis methods and compared the resu...

nowadays, designing hydraulic structures for flood damage mitigation has a significant importance in water engineering. one of the necessary parameters for the design of flood control measures is the probable maximum 24-hour precipitation in a 1000-year return period. this research was done using jiroft halilrud watershed data to evaluate hershfild methods. firstly, the maximum annual precipita...

Highly correlated ab initio methods are used to predict the equilibrium structures and spectroscopic parameters of the SiC(3)H(-) anion. The total energies and physical properties are reported using CASSCF/MRCI, RCCSD(T), and RCCSD(T)-F12 approaches and extended basis sets. The search of stable geometries leads to a total of 12 isomers (4 linear and 8 cyclic), for which electronic ground states...

We present a computation of the charge and the magnetic moment of the neu-trino in the recently developed electro-weak Background Field Method and in the linear R L ξ gauge. First, we deduce a formal Ward-Takahashi identity which implies the immediate cancellation of the neutrino electric charge. This Ward-Takahashi identity is as simple as that for QED. The computation of the (proper and impro...

In recent years, it has become clear that educational data mining methods can play a positive role in refining the content of intelligent tutoring systems. In particular, efforts to determine which content is more and less effective at promoting learning can help improve tutoring systems by identifying ineffective content and cycling it out of the system. Analysis of the learning value of conte...