Properties of light–harvesting (LH) pigment–protein complexes are strongly influenced by interactions with environment. Some of these interactions could be modeled by different types of static disorder. Slow fluctuations of bacteriochlorophyll’s dipole moment orientations represent one possible type of static disorder in B850 ring from LH2 complex of purple bacteria. This type of static disorde...

In this paper, the mechanical behavior of three-phase inhomogeneous materials is modeled using the meso-scale model with lattice beams for static and dynamic analyses. The Timoshenko beam theory is applied instead of the classical Euler-Bernoulli beam theory and the mechanical properties of lattice beam connection are derived based on the continuum medium using the non-local continuum theory. T...

In this study, synthetic sulfonated polymers were used in order to enhance the rheological properties of drilling fluids. The capability of these polymers in reducing the effects of environmentally friendly, but harmful, pollutants such as cement, calcium chloride, gypsum as well as pH changes were investigated. In the present work, two sulfonated synthetic polymers, namely Polythin and Polydri...

We present new static analysis methods for proving liveness properties of programs. In particular, with reference to the hierarchy of temporal properties proposed by Manna and Pnueli, we focus on guarantee (i.e., “something good occurs at least once”) and recurrence (i.e., “something good occurs infinitely often”) temporal properties. We generalize the abstract interpretation framework for term...

This paper discusses how the existing static analyses developed for typestate properties may be extended to a more expressive class of properties expressible by a specification formalism originally developed for runtime verification. The notion of typestate was introduced as a refinement of the notion of type and captures the allowed operations in certain contexts (states) as a subset of those ...

Most ecological networks are analysed as static structures, where all observed species and links are present simultaneously. However, this is over-simplified, because networks are temporally dynamical. We resolved an arctic, entire-season plant-flower visitor network into a temporal series of 1-day networks and compared the properties with its static equivalent based on data pooled over the ent...

We present new static analysis methods for proving liveness properties of programs. In particular, with reference to the hierarchy of temporal properties proposed by Manna and Pnueli, we focus on guarantee (i.e., “something good occurs at least once”) and recurrence (i.e., “something good occurs infinitely often”) temporal properties. We generalize the abstract interpretation framework for term...