Interval methods for verified integration of initial value problems (IVPs) for ODEs have been used for more than 40 years. For many classes of IVPs, these methods have the ability to compute guaranteed error bounds for the flow of an ODE, where traditional methods provide only approximations to a solution. Overestimation, however, is a potential drawback of verified methods. For some problems, the computed error bounds become overly pessimistic, or integration even breaks down. The dependency problem and the wrapping effect are particular sources of overestimations in interval computations. Berz (see [1]) and his co-workers have developed Taylor model methods, which extend interval arithmetic with symbolic computations. The latter is an ef

Abstract—The upper limb amputation exerts a significant burden on the amputee, limiting their ability to perform everyday activities, and degrading their quality of life. Amputee patients’ quality of life can be improved if they have natural control over their prosthetic hands. Among the biological signals, most commonly used to predict upper limb motor intentions, surface electromyography (sEMG), and axial acceleration sensor signals are essential components of shoulder-level upper limb prosthetic hand control systems. In this work, a pattern recognition system is proposed to create a plan for categorizing high-level upper limb prostheses in seven various types of shoulder girdle motions. Thus, combining seven feature groups, w

Incremental sheet metal forming is a modern technique of sheet metal forming in which a uniform sheet is locally deformed during the progressive action of a forming tool. The tool movement is governed by a CNC milling machine. The tool locally deforms by this way the sheet with pure deformation stretching. In SPIF process, the research is concentrate on the development of predict models for estimate the product quality. Using simulated annealing algorithm (SAA), Surface quality in SPIF has been modeled. In the development of this predictive model, spindle speed, feed rate and step depth have been considered as model parameters. Maximum peak height (Rz) and Arithmetic mean surface roughness (Ra) are used as response parameter to assess th

Coeliac disease is an immunologically mediated disease of the small intestinal mucosa, characterized by flattening of the small intestinal villi, increased numbers of intra-epithelial lymphocytes and inflammatory cell infiltrates in the lamina propria, resulting in gut damage and nonspecific malabsorption of nutrients. The disease is elicited by ingestion of gluten, a protein found in several cereals, principally wheat, but also barley and to a lesser extent, oats. Successful treatment is avoidance of dietary gluten. Long-standing evidence suggests a T-cell-mediated response to peptides derived from the gliadin fraction of wheat gluten, leading to immunologically mediated intestinal injury in genetically susceptible individuals. The

Background: The association between oral microbial infection and systemic disease is not a new concept. A major confounding issue is that oral infections often are only one of the many important factors that can influence systemic diseases .Objective: This study was conducted to evaluate the periodontal health status of patients with acquired coronary heart disease. Type of the study: Cross-sectional study.Methods: The study group consisted of 200 patients with an age range (35-70) years, having coronary heart disease .This study group were compared to a control group of non-coronary heart disease (200 individuals ) matching with age and gender. The oral parameters were examined including the periodontal conditions, assessment of periodo

Research Summary :

         Praise be to God, Lord of the Worlds, and prayers and peace be upon the Master of the Messengers, his family and all his companions, then after:

     This is brief research that contained between its two covers one of the jurisprudence rules derived from Islamic Sharia that guarantees the right of others, in case of forcing to do the prohibited act, and it is a restriction of the rule: “Necessities allow prohibitions” and “Hardship brings facilitation” and support for the rule: “Necessities are valued.” It is an origin in alleviating the taxpayer definitely , and the study has briefly shown some of the jurisprudential appli

In this paper, an ecological model with stage-structure in prey population, fear, anti-predator and harvesting are suggested. Lotka-Volterra and Holling type II functional responses have been assumed to describe the feeding processes . The local and global stability of steady points of this model are established. Finally, the global dynamics are studied numerically to investigate the influence of the parameters on the solutions of the system, especially the effect of fear and anti-predation.