A Model-independent criteria of encodabil-ity A.0.1 Absolute equality and subbisimilarity Fu's model-independent interaction theory [1] is a set of criteria set for encodability of different style compared to Gorla's [2], which starts from the following basic principles. In a sense, one can read model-independence as general essence of process models. The readers are referred to [1] for more ex...

Adding versatile interactions to imperative programming – C, Java and Android – is an essential task. Unfortunately, existing languages provide only limited constructs for user interaction. These constructs are usually in the form of unbounded quantification. For example, existing languages can take the keyboard input from the user only via the read(x)/scan(x) statement. Note that the value of ...

This article consinders the problem of designing sustainable development tools for manager organizations hoursing and communal service. The applying process approach to management apartment buildings is discussed in example system relationships between owners premises companies. main business processes a managing organization company are identified, which make up pool CRM as tool customer focus...

In this paper are presented two distinct Bayesian networks to analyse human beings’ facial expressions. Both classifiers are completely defined: structure of the networks, belief variables and respective events, likelihoods, initial priors and procedure to change dynamically priors. The performance (relatively to the convergence) of the two approaches is compared. For both networks, the classif...

Introduction Na MRI has been used for a variety of tissue and organ imaging, including the brain, cartilage, the disc, breast, and kidneys. With the advent of high-field MRI scanners, high-resolution images can be obtained within clinically acceptable scan times. The sodium ions bound to tissues and organs can provide us with an invaluable information on the onset of disorder, such as osteoarth...

When charged current weak interations are excluded, the neutral current weak interaction is formally similar to ordinary electromagnetism with a massive photon. In this spirit, the Maxwell equations for the fields of the Z-boson are derived from the standard model. These describe the Z-boson scalar and vector potentials, and the Z-boson electric and magnetic fields whose sources are electron an...

Residual herbicides and cover crops are important tools inside an integrated weed management program. The straw produced in crop rotation can interacts with herbicides. aim of this study was to evaluate the interaction diclosulam, sulfentrazone, imazethapyr, flumioxazin, s-metolachlor pyroxasulfone black oat, cereal rye, common vetch oilseed radish it´s reflection on control soybean p...

This paper contains a theoretical formulation of multiple interface cracks in two bonded dissimilar half planes subjected to in-plane traction. The distributed dislocation technique is used to construct integral equations for a dissimilar mediums weakened by several interface cracks. These equations are of Cauchy singular type at the location of dislocation, which are solved numerically to obta...