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

Includes search unemployment concept ... types, graduate unemployment a model introduction to the researcher tackled the problem of unemployment being dangerous to the community, it's also growing in size year after year is a waste of a clear human capabilities, also addressed the importance of the research being a touch on the problem of unemployment and its concept and try to find solutions to them , and then came the goals set by the search researcher identifies unemployment and their causes and consequences and to provide a true picture of the situation of unemployed graduates and disclosure about how they treat their graduates for jobs provide him with a decent life problem. And adopted a researcher on the use of a questionnaire add

Abstract

Objective / Purpose: Online social relationships through the emergence of Web 2.0 applications have become a new trend for researchers to study the behavior of consumers to shop online, as well as social networking sites are technologies that opened up opportunities for new business models. Therefore, a new trend has emerged, called social trade technology. In order to understand the behavioral intentions of the beneficiaries to adopt the technology of social trade, the current research aims at developing an electronic readiness framework and UTAUT model to understand the beneficiary's adoption of social trade technology.

Design/ methodology/ Approach: To achieve the obje

الخلاصة

اهتم الفكر السياسي في القرنين الاخيرين بدراسة الطبقات على نحو غير مسبوق, واصبح موضوع التحليل الطبقي المعني بالطبقات من حيث تعريفها, وتحديد موقعها في السلم الاجتماعي, فضلاً عن نوعية العلاقة بين شرائحها وفئاتها المختلفة من حيث الصراع والتناغم, المادة الرئيسة والموضوع الاكثر اهمية في دراسات الفكر السياسي والاجتماعي.ومن بين الطبقات, احتلت الطبقة الوسطى مكا

This paper is specifically a detailed review of the Spatial Quantile Autoregressive (SARQR) model that refers to the incorporation of quantile regression models into spatial autoregressive models to facilitate an improved analysis of the characteristics of spatially dependent data. The relevance of SARQR is emphasized in most applications, including but not limited to the fields that might need the study of spatial variation and dependencies. In particular, it looks at literature dated from 1971 and 2024 and shows the extent to which SARQR had already been applied previously in other disciplines such as economics, real estate, environmental science, and epidemiology. Accordingly, evidence indicates SARQR has numerous benefits compar

Computer literacy is an urgent necessity for university students, given the rapid development in the means of communication in which we live in this era, and the flow of abundant information. Mainly on the computer in all administrative and academic transactions, where first of all the registration for the semester is done through the computer. Computer culture has many characteristics and advantages that distinguish it from other sciences, including the concept of computer culture that cannot be defined absolutely, and it is difficult to define its levels, because the specifications of the computer-educated individual differ from one individual to another, and from time to time also, you find it a luxury in a country What, and you

The Ant System Algorithm (ASA) is a member of the ant colony algorithms family in swarm intelligence methods (part of the Artificial Intelligence field), which is based on the behavior of ants seeking a path and a source of food in their colonies. The aim of This algorithm is to search for an optimal solution for Combinational Optimization Problems (COP) for which is extremely difficult to find solution using the classical methods like linear and non-linear programming methods. 

The Ant System Algorithm was used in the management of water resources field in Iraq, specifically for Haditha dam which is one of the most important dams in Iraq. The target is to find out an efficient management system for

This research presents experimental and theoretical investigation of 15 reinforced concrete spliced and nonspliced girder models. Splices of hooked dowels and cast in place joints, with or without strengthening steel plates were used. Post-tensioning had been used to enhance the splice strength for some spliced girders. The ANSYS computer program was used for analyzing the spliced and non-spliced girders. A nonlinear three dimensional element was used to represent all test girders. The experimental results have shown that for a single span girder using steel plate connectors in the splice zone has given a sufficient continuity to resist flexural stresses in this region. The experimental results have shown that the deflection of hooked do