In a string of empirical studies, we show that the layout of UML diagrams contributes significantly to understanding the underlying model. This effect extends over different factors such as diagram type & size, and expertise. Status Quo The Unified Modeling Language (UML) has been called the “lingua franca of software engineering” for over a decade now. It is widely believed that, to a sizable ...

Several new developments in the calculation and interpretation of hadron densitydensity correlation functions are presented. The asymptotic behavior of correlation functions is determined from a tree diagram path integral. A method is developed to use this behavior to correct for leading image contributions on a finite periodic spatial lattice and to correct for the finite temporal extent of th...

We investigate the decay of pair correlation functions in a homogeneous (bulk) binary mixture of hard spheres. At a given state point the asymptotic decay r-->infinity of all three correlation functions is governed by a common exponential decay length and a common wavelength of oscillations. Provided the mixture is sufficiently asymmetric, size ratios q less than or approximately 0.7, we find t...

Investors hold portfolios of assets with different risk-reward profiles for diversification benefits. Conditional on the volatility of assets, diversification benefits can vary over time depending on the correlation structure among asset returns. The correlation of returns between assets has varied substantially over time. To insure against future “low diversification” states, investors might d...

forming limit diagram (fld) is an important diagram by which the formability of sheet metals is studied. strain rate is a very effective parameter influencing the fld which is, in turn, influenced by the forming velocity. in this work, forming limit diagram for st14 was investigated both experimentally and numerically. in addition, the effect of forming velocity was studied and the experiments ...

constructing phase diagram and its subsequent quality lines for lean gas condensate reservoirs is always crucial and challenging topic in reservoir fluid studies. due to small amounts of liquid drop-outs in lean gas condensates at reservoir conditions, full experimental tracking of phase diagram and its relevant quality lines is almost impossible for lean gas condensates.on the other hand, eos ...

Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers. In this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using CUDD - Colorado Univer...

Evidence suggests that fluid flow rates in mid-ocean ridge hydrothermal systems may be strongly influenced by mechanical forces such as ocean tidal loading. However, long time-series measurements of flow have not been collected in these environments. We develop a non-invasive method, called optical plume velocimetry (OPV), suitable for obtaining fluid flow rates through black smoker vents based...