Understanding the inter-relationships between traffic flow, density, and speed through study of fundamental diagram road is critical for modelling management. Consequently, over last 85 years, a wealth models have been developed its functional form. However, there has no clear answer as to which model most appropriate observed (i.e. empirical) diagrams under conditions. A lack data partly blame...

MDD and MDA approaches require capturing the behavior of UML models in sufficient detail and precision so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics were added to the UML specification as the fundamental unit of behavior specifications. Actions are the basis for defining the fine-grained behavior of operations, ac...

Single-vehicle data of freeway traffic as well as selected Floating-Car (FC) data are analyzed in great detail. Traffic states are distinguished by means of aggregated data. We propose a method for a quantitative classification of these states. The data of individual vehicles allows for insights into the interaction of vehicles. The time-headway distribution reveals a characteristic structure d...

The present work explores the theoretical effects of rotation in calculating the period ratios of double-mode radial pulsating stars with special emphasis on high-amplitude δ Scuti stars (HADS). Diagrams showing these period ratios vs. periods of the fundamental radial mode have been employed as a good tracer of non-solar metallicities and are known as Petersen diagrams (PD). In this paper we c...

Binary Decision Diagrams (BDDs) are usually thought of as devices engineered specially for classical propositional logic. We show that we can build on one of their variants, Minato's zero-suppressed BDDs, to build compact data structures that encode whole tableaux. We call these structures tableaux decision diagrams (TDDs), and show how tableaux proof search is implemented in this framework. Fo...

I consider the problem of computing the mass of a charged, gravitating particle in quantum field theory. It is shown how solving for the first quantized propagator of a particle in the presence of its own potentials reproduces the gauge and general coordinate invariant sum over an infinite class of diagrams. The distinguishing feature of this class of diagrams is that all closed loops contain p...

In recent years, the estimation of effort, budget and time has been a fundamental step in the software project life cycle. Having this knowledge it is possible to manage and control a software project. So that, it is important to have these estimations as early as possible in order to produce a sound schedule for the project. Taking into account that BPMN diagrams are widely used in industry fo...

This primer aims towards quick wins in BPM based on a conceptual understanding of S-BPM modeling. We put forward the main constructs in terms of model elements and diagrams. Addressing primarily non-S-BPMexperts we introduce fundamental approaches, namely S-BPM modeling by construction (i.e., when starting from scratch), and S-BPM modeling by restriction (i.e., when refining a generalized peer-...

The representational epistemic approach to the design of visual displays and notation systems advocates encoding the fundamental conceptual structure of a knowledge domain directly in the structure of a representational system. It is claimed that representations so designed will benefit from greater semantic transparency, which enhances comprehension and ease of learning, and plastic generativi...