Online termination techniques dynamically guarantee termination of computations by supervising them in such a way that computations whose termination can no longer be guaranteed are stopped. Homeomorphic Embedding (HEm) has proven to be very useful for online termination provided that the computations supervised are performed over a finite signature, i.e., the number of constants and function s...

A 6-wk feeding study was conducted to evaluate the antioxidative potential, indices such as quality of the thigh meat and liver of broiler chickens fed with a dietary medicinal herb extract mixture (HEM, consisting: Iranian green tea, cinnamon, garlic and chicory at a ratio of 25:15:45:15). A total of 320, one-d-old Ross (male) broiler chickens were used to investigate the effects of 0.0, 2.5, ...

Several new excitation and load models are proposed for electromagnetic analysis in the context of a Galerkin-type large-domain (higherorder) boundary element method (BEM) or Method of moments for structures composed of thin wires, metallic surfaces, and imperfect inhomogeneous dielectric bodies. The models represent a natural generalization of point-delta generators and loads for wires. They a...

We seek to understand and utilize environmental and deliberately produced electromagnetic (EM) signals in the coastal ocean. Our studies are undertaken to provide a means for communicating with and guiding autonomous underwater vehicle (AUV) and other autonomous sensor systems, such as moored instruments. We include various EM influences in our models such as environmental noise, seabed electri...

Finding a suitable estimation of stability domain around stable equilibrium points is an important issue in the study of nonlinear dynamical systems. This paper intends to apply a set of analytical-numerical methods to estimate the region of attraction for autonomous nonlinear systems. In mechanical and structural engineering, autonomous systems could be found in large deformation problems or c...

Infantile hemangioma, a common benign tumor of infancy, grows quickly in the first year of life, and then regresses slowly to fibrofatty tissue in childhood. The accumulation of fibrofatty tissue in hemangioma involution indicates adipogenesis during this period. Perivascular cells (PCs) from multiple organs display multi-lineage differentiation, including adipogenesis. So we supposed that PCs ...

We consider the effect of a small-scale matter-antimatter domain structure on big bang nucleosynthesis and place upper limits on the amount of antimatter in the early universe. For small domains, which annihilate before nucleosynthesis, this limit comes from underproduction of 4He. For larger domains, the limit comes from 3He overproduction. Since most of the 3He from &pmacr; 4He annihilation a...

In this work, a non-integer order Airy equation involving Liouville differential operator is considered. Proposing an undetermined integral solution to the left fractional Airy differential equation, we utilize some basic fractional calculus tools to clarify the closed form. A similar suggestion to the right FADE, converts it into an equation in the Laplace domain. An illustration t...