Abstract: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Since business users prefer EPCs over Petri nets, we show how information of extended EPCs can be transformed into business landscapes. This facilitates development of IT landscapes satisfying the requirements of...

Free energies and correlation functions of liquid and solid hard-sphere (HS) mixtures are calculated using the fundamental measure density functional theory. Using the thermodynamic perturbation theory the free energies of solid and liquid Lennard-Jones (LJ) mixtures are obtained from correlation functions of HS systems within a single theoretical approach. The resulting azeotrope- and spindle-...

Estimating the computational complexity of discrete functions is one of the central and classical topics in the theory of computation. Mathematicians and computer scientists have long tried to classify natural families of Boolean functions according to fundamental complexity measures like Boolean circuit size and depth. A variety of other nonuniform computational models with individual bit oper...

In the present paper scalar macroscopic models for traffic and pedestrian flows are coupled and the resulting system is investigated numerically. For the traffic flow the classical Lighthill-Whitham model on a network of roads and for the pedestrian flow the Hughes model are used. These models are coupled via terms in the fundamental diagrams modeling an influence of the traffic and pedestrian ...

In the last ten years significant advances have been made in our understanding and ability to compute and predict properties of ferroelectrics and piezoelectrics using fundamental physics. Phase diagrams, electromechanical and elastic properties, and effects of defects and surfaces are now amenable to computation. Most importantly, new techniques have been developed, and new understanding of th...

We present an algorithm taking a Kirby diagram of closed oriented $4$-manifold to trisection the same manifold. This provides us with large number examples for diagrams $4$-manifolds since many Kirby-diagrammatic descriptions are known. That being said, does not necessarily provide particularly efficient diagrams. also extend this work non-orientable case.

urban green space is a fundamental and attractive element of cities around the world all through the year. selecting species resistant to dryness is an essential decision for planting them in the urban green space in arid and semi-arid regions. one of the most important experiments to introduce new plants in new regions is phenology of different species. in this study, the phonological characte...

and Dedication This paper is an exploration of simple four-regular graphs in the plane (i.e. loopless and with no more than one edge between any two nodes). Such graphs are fundamental to the theory of knots and links in three dimensional space, and their planar diagrams. We dedicate this paper to Frank Harary (1921 – 2005) whose fascination with graphs of knots inspired this work and with whom...

We characterize the virtual link invariants that can be described as partition function of a real-valued R-matrix, by being weakly reflection positive. Weak reflection positivity is defined in terms of joining virtual link diagrams, which is a specialization of joining virtual link diagram tangles. Basic techniques are the first fundamental theorem of invariant theory, the Hanlon–Wales theorem ...

Dynamic traffic assignment has grown steadily in popularity and use since its inception. It has become an important and permanent tool in transportation agencies across the country. However, the exact nature of DTA equilibrium, including existence and uniqueness results, is not fully known in simulation-based models. Specifically, we discuss the possibilities of unrealistic multiple equilibria ...