A formal specification of a multi-level marketing (MLM) business is presented. Specifying a MLM business boils down to specifying properties of and operations on mathematical forests and trees. The usefulness of the model-based specification language, Z, is investigated as a vehicle for a formal specification of these recursive structures. The specification is presented following a prescribed f...

This paper aims to assess the application of Support Vector Machine (SVM) regression in order to analysis flexible pavements. To this end, 10000 Four-layer flexible pavement sections consisted of asphalt concrete layer, granular base layer, granular subbase layer, and subgrade soil were analyzed under the effect of standard axle loading using multi-layered elastic theory and pavement critical r...

We refine an active-database application taxonomy, proposed by Stonebraker, to include monotonic log monitoring applications (MLM). MLMs are a subclass of hard rule systems where triggering events are restricted to monotonic relations. We develop a formal semantic model for the MLM class. We then prove the correctness of concurrency schemes for applications within the model. Our results demonst...

in the present study, vibration of cylindrical laminates with different layers and angles were studied. in order to actuate and polarize in radial direction, a piezoelectric layer was located at outer surface of composite shell. laminates were assumed long enough so that plane strain state analysis in 2d can be used properly. in order to satisfy the boundary conditions, variables in terms of fo...

In communications theory, Nakagami distribution (NKD) is used to model scattered signals that reach a receiver from different paths. In order to use NKD to model a given set of data, we will have to estimate its parameters from the given data. Method of L-Moments (MLM) is being compared with Method of Moments (MOM) for estimating the parameters of NKD. In this study, we have derived its first t...

it has been demonstrated that anxiety is accompanied by significant warm up in the periorbital area. this warm up was attributed to the increased blood circulation in the area around the eyes. the whole pattern makes physiological and evolutionary sense since it represents a mechanism to facilitate rapid eye movements during preparedness for fight. this increased blood flow dissipates convectiv...