A diagrammatic notation for algebra is presented – Hierarchical Algebra Network Diagrams, HANDi. The notation uses a 2D network notation with systematically designed icons to explicitly and coherently encode the fundamental concepts of algebra. The structure of the diagrams is described and the rules for making derivations are presented. The key design features of HANDi are discussed and compar...

The objective of the work reported here is to define and assess a method to reverse engineer UML sequence diagrams from execution traces. We do so based on formal transformation rules and so that reverse engineered diagrams show all relevant technical information, including conditions, iterations of messages, and specific object identities and types being involved in the interactions. We presen...

1 The traffic flow heterogeneity caused by the different car-following dynamics among the different types 2 of vehicles has drawn increasing attention recently. This paper explores the characteristics of the four 3 types of car-truck car-following combinations, car-following-car (CC), car-following-truck (CT), truck4 following-car (TC) and truck-following-truck (TT), and their impacts on traffi...

Fundamental diagrams describing the relation between pedestrians speed and density are key points in understanding pedestrian dynamics. Experimental data show complex behaviors in which the velocity decreases with the density and different logistic regimes are identified. This paper addresses the issue of pedestrians transport and of fundamental diagrams for a scenario involving the motion of p...

Pedestrian facilities are more and more congested. It is important to understand the modeling of pedestrian flows to assure safety and comfort. Many models have already been developed such as the social force modle and PedCTM. The problem is that either they allow for population heterogeneity or they are fast. The goal of this project is to implement a new model that has both of these character...