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 aim of this paper is to propose an efficient three steps iterative method for finding the zeros of the nonlinear equation f(x)=0 . Starting with a suitably chosen , the method generates a sequence of iterates converging to the root. The convergence analysis is proved to establish its five order of convergence. Several examples are given to illustrate the efficiency of the proposed new method and its comparison with other methods.

The advent of UNHCR reports has given rise to the uniqueness of its distinctive way of image representation and using semiotic features. So, there are a lot of researches that have investigated UNHCR reports, but no research has examined images in UNHCR reports of displaced Iraqis from a multimodal discourse perspective. The present study suggests that the images are, like language, rich in many potential meanings and are governed by clearly visual grammar structures that can be employed to decode these multiple meanings. Seven images are examined in terms of their representational, interactional and compositional aspects. Depending on the results, this study concludes that the findings support the visual grammar theory and highlight the va

Database is characterized as an arrangement of data that is sorted out and disseminated in a way that allows the client to get to the data being put away in a simple and more helpful way. However, in the era of big-data the traditional methods of data analytics may not be able to manage and process the large amount of data. In order to develop an efficient way of handling big-data, this work studies the use of Map-Reduce technique to handle big-data distributed on the cloud. This approach was evaluated using Hadoop server and applied on EEG Big-data as a case study. The proposed approach showed clear enhancement for managing and processing the EEG Big-data with average of 50% reduction on response time. The obtained results provide EEG r

The lowest layer of the atmosphere is called the atmospheric mixed layer, characterized by small-scale, irregular air motions defined by winds that change in speed and direction. Aerosol radiative effects impact the atmospheric boundary layer (ABL), which holds most aerosols in the lower atmosphere. Aerosol absorption and scattering both lower the quantity of solar energy that reaches the ground, which has an impact on the spectral signature of the land coverings. In this study, 51 locations in downtown Baghdad were chosen for four different types of land cover (water bodies, farms, open areas, and residential areas) for Sentinel 2 satellite imagery, and the time the pictures were taken was 8:00 am ( 22 March, 22 June, 20 September,

The field of Optical Character Recognition (OCR) is the process of converting an image of text into a machine-readable text format. The classification of Arabic manuscripts in general is part of this field. In recent years, the processing of Arabian image databases by deep learning architectures has experienced a remarkable development. However, this remains insufficient to satisfy the enormous wealth of Arabic manuscripts. In this research, a deep learning architecture is used to address the issue of classifying Arabic letters written by hand. The method based on a convolutional neural network (CNN) architecture as a self-extractor and classifier. Considering the nature of the dataset images (binary images), the contours of the alphabet

Due to the increase in the number of the satellite channels which resulted from the satellite broadcasting, the demand for the television drama production has increased dramatically, and there has been a significant competitive market, which encouraged the producers to adopt many carrots among them the inclusion of TV series large scenes whose main purpose is to show the volume of the production in the series, let alone achieving the dramatic function. The researcher called this type of scenes (the productive scenes), a name which has not been used before. The researcher studied these scenes and determined his research subject under the title (the production scenes in the TV series) where the research problem has been determined through