Marketers have been rushing to increase their social media marketing expenditures. However, the state of empirical research, business intelligence and analytics into the business value of social media marketing engagements have still lagged behind. Prior research about the impact of social media user-generated content on aggregate sales has overlooked the qualitative aspects. Moreover, due to t...

‎Let $(Sigma_P,sigma_P)$ be the space of a spacing shifts where $Psubset mathbb{N}_0=mathbb{N}cup{0}$ and $Sigma_P={sin{0,1}^{mathbb{N}_0}: ‎s_i=s_j=1 mbox{ if } |i-j|in P cup{0}}$ and $sigma_P$ the shift map‎. ‎We will show that $Sigma_P$ is mixing if and only if it has almost specification property with at least two periodic points‎. ‎Moreover‎, ‎we show that if $h(sigma_P)=0$‎, ‎then $Sigma_...

The economic life of large investments is long and thus necessitates constant dynamic managerial actions. To be able to act in an optimal way in the dynamic management of large investments managers need the support of advanced analytical tools. They need to have constant access to information about the real time situation of the investment, as well as, access to up-to-date information about cha...

Starting from a classification of software validation techniques an innovative Petri net based methodology is proposed to integrate qualitative and quantitative analysis methods of parallel software systems. The approach combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based intermediate representation of the parallel software system u...

Although modern control theories have been successfully applied in solving a variety of problems, they are often mathematically and physically too specific to describe and analyze qualitative properties of hybrid real-time systems. In this paper, we propose to use qualitative formal methods, Compositional Modeling Language (CML) and Causal Functional Representation Language (CFRL) in particular...

Given the complexity of developmental networks, it is often difficult to predict the effect of genetic perturbations, even within coding genes. Regulatory factors generally have pleiotropic effects, exhibit partially redundant roles, and regulate highly interconnected pathways with ample cross-talk. Here, we delineate a logical model encompassing 48 components and 82 regulatory interactions inv...

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...