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

The extracting of personal sprite from the whole image faced many problems in separating the sprite edge from the unneeded parts, some image software try to automate this process, but usually they couldn't find the edge or have false result. In this paper, the authors have made an enhancement on the use of Canny edge detection to locate the sprite from the whole image by adding some enhancement steps by using MATLAB. Moreover, remove all the non-relevant information from the image by selecting only the sprite and place it in a transparent background. The results of comparing the Canny edge detection with the proposed method shows improvement in the edge detection.

In this paper, silicon carbonitried thin films were prepared by the method of photolysis of the silane (SiH4) and ethylene (C2H4) gases, with and without ammonia gas (NH3), which is represented by the ratio between the (PNH3) and (PSiH4 + PC2H4 + PNH3), (which assign by the letter X), X has the values (0, 0.13, 0.33). This method carried out by using TEA-CO2 laser, on glass substrate at (375 oC), deposition rate (0.416-0.833) nm/pulse thin film thickness of (500-1000) nm. The optical properties of the films were studied by using Absorbance and Transmittance spectrums in wavelength range of (400-1100) nm, the results showed that the electronic transitions is indirect and the energy gap for the SiCN films increase with increasing of nitrog

This research deals with process of artistic conception of nature's images between becoming and buration, as an attempt to transfer the philosophical concepts to art via it's structural applications in forming the picture, due to the importance of these concepts which might be engaged with the vision of the artist in his own and subjective contention with the nature. The research consists of four chapters, first one included the problem of the research, importance, need to the research and the aim of the research represented by process of artistic conception of nature's images between becoming  and buration. Also included the limits of research and most important terms. Second chapter included theoretical frame that consists of thre

0

Proverbs gain their importance not only from the fact that they represent a cultural record of the people of every nation, but they reveal the way they use language and how they exploit their environments as a good source of inspiration to enrich that language.  Domestic animals, as part of every environment, play a major role in composing proverbs in every nation.

       This study is an attempt to pragmastylistically analyse some selected English and Iraqi rural proverbs using domestic animals in their texts. It limits itself to investigate certain stylistic and pragmatic devices such as: the type of sentences, their lengths, their content and grammatical words, the part of speech used, metaph

Several recent approaches focused on the developing of traditional systems to measure the costs to meet the new environmental requirements, including Attributes Based Costing (ABCII). It is method of accounting is based on measuring the costs according to the Attributes that the product is designed on this basis and according to achievement levels of all the Attribute of the product attributes. This research provides the knowledge foundations of this approach and its role in the market-oriented compared to the Activity based costing as shown in steps to be followed to apply for this Approach. The research problem in the attempt to reach the most accurate Approach in the measurement of the cost of products from th

In this paper a new structure for the AVR of the power system exciter is proposed and designed using digital-based LQR. With two weighting matrices R and Q,  this method produces an optimal regulator that is used to generate the feedback control law. These matrices are called state and control weighting matrices and are used to balance between the relative importance of the input and the states in the cost function that is being optimized. A sample power system composed of single machine connected to an infinite- bus bar (SMIB) with both a conventional and a proposed Digital AVR (DAVR) is simulated. Evaluation results show that the DAVR damps well the oscillations of the terminal voltage and presents a faster respo

An automatic text summarization system mimics how humans summarize by picking the most ‎significant sentences in a source text. However, the complexities of the Arabic language have become ‎challenging to obtain information quickly and effectively. The main disadvantage of the ‎traditional approaches is that they are strictly constrained (especially for the Arabic language) by the ‎accuracy of sentence feature ‎functions, weighting schemes, ‎and similarity calculations. On the other hand, the meta-heuristic search approaches have a feature tha