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 effective tool for reducing both the dependency problem and the wrapping effect. By construction, Taylor model methods appear particularly suitable for integrating nonlinear ODEs. In this paper, we analyze Taylor model based integration of ODEs and compare Taylor model with traditional enclosure methods for IVPs for ODEs. More advanced Taylor model integration methods are discussed in the algorithm (1). For clarity, we summarize the major steps of the naive Taylor model method as algorithm 1.
The aim of the research is to design educational software based on Web Quests and to measure its effectiveness in developing information search skills of students at the Department of Educational and Psychological Sciences. The research is experimental in nature using pre-post measurement. The research sample consisted of (91) male and female students from the second grade in the Department of Educational and Psychological Sciences, they were divided into two equal groups; the experimental group consisted of (47) students who adopted the educational software as a studying method, and the control group consisted of (44) students who follow the traditional method. The researchers prepared a list of skills for searching information and they
... Show MoreThe current study aims to show the importance of plant products as mosquitocides against Culex quinquefasciatus. Castor oil Nanoemulsions were subedit in various ratios including castor oil, ethanol, tween 80, and deionized water by using ultrasonication. Thermodynamic, centrifugation, PH, assay which improved that the formula of 10 ml of castor oil, ethanol 5ml, tween 80 (14 ml) and deionized water 71ml was more stable than other formulas. The stable formula of castor oil nanoemulsion was characterized by transmission electron microscopy (TEM) and dynamic light scattering (DLS). Nanoemulsion droplets were spherical in shape and were found to have a Z-average diameter of 87.4nm. A concentration of ca
... Show MoreThe research aims to determine what a photograph intends to convey as a visual text. Photographs are not captured randomly, especially those of politicians. Each photograph carries a message, even if interpretations of that message vary from person to person. The research adopts a methodology based on semiotic analysis, applying Laurent Gervero's model to analyze a photograph of the Iraqi Prime Minister Mustafa Al-Kadhimi's visit to Fallujah on the anniversary of the victory over ISIS. The photographs in question constitute a visual language built upon a sequence of iconic symbols and signs. These elements coalesce to give rise to an image centered around a particular theme, one designed to convey a precise messag
... Show MoreThe study aims to verify the independence of auditors working in companies and offices of the Iraqi audit, and measure the level of accounting conservatism in the financial statements of banks and insurance companies listed on the Iraq Stock Exchange, as well as a statement after the independence of the auditor on accounting conservatism in the financial statements of banks and insurance companies listed on the market Iraq Stock Exchange, as it has been measuring the independence of the auditor using the survey form was auditors working in the Iraqi audit firms were measured the level of accounting conservatism for companies sample using a form( Basu) was a statement after variables through the use of statistical models in a mann
... Show MoreThe study aimed to clarify the meanings learned and inferred from reading books، letters and messages in Surat Al-Qur’an. The inductive method، the analytical method، and the deductive method، One of the most prominent results of the research: that the multiplicity of Qur’anic readings produces a variety and expansion in the meaning that has a clear impact on the interpretation by clarifying the meaning of the verse.
This study aims to identify the impact of using the infrastructure of the Information Technology (IT) on the performance of human resources in the public universities. This process is done by doing research in the size, quality, and efficiency of the performance, also speed of achievement and simplification of procedures. Diyala University was chosen for the diagnosis through the opinions and attitudes of its employees. Consequently, suggestions that contribute to improve the performance of the employees and thus its overall performance are obtained. Another objective of this study is identifying the human resources which are currently used in academic institutions and educational services systems because the significant role of th
... Show MoreIn the present study, a novel ligand (L) made of 2-hydroxynaphthaldehyde and 3-hydrazone-1,3-dihydro-indole-2-one(3-[(3-hydroxynaphthalen-2-yl-ethylidene)-hydrazono]-1,3-dihydro-indol-2-one). The ligand was characterized by FTIR, UV-vis, mass, 1H-NMR, 13C-NMR, and CHN elemental analysis. New complexes of this ligand were created by treating methanol and a drop of DMF solution of the produced ligand with the hydrated metal salts of Mn(II), Co(II), Ni(II), Cu(II), and Zn(II) in a molar ratio of 2:1 (L:M). As a result, complexes have been emerged and identified FTIR, UV-vis, C.H.N., chloride-containing, molar conductance, magnetic susceptibility, and atomic absorption. The characterization result for each complex indicated complexes wi
... Show MoreBackground: Eucalyptus extracts and derivatives are natural substances with potent antimicrobial properties. This study investigated the in- vitro effects of non-nutritive sweeteners on the antifungal activity of alcoholic and aqueous Eucalyptus extracts against Candida albicans, a common oral pathogen. Materials and Method: Ten isolates of Candida albicans were isolated from dental students’ salivary samples. The alcoholic and aqueous extracts were prepared from fresh Eucalyptus leaves using maceration. The sensitivity of Candida albicans isolates to various concentrations of Eucalyptus extracts ranging from 50 to 250 (mg/mL) was evaluated via agar well diffusion method, while the agar streaking method was used to assess the minimum
... Show MoreBackground: Enterococcus faecalis is emerging as an important endodontic pathogen, which can persist in the environment for extended periods after treatment and may cause endodontic failure. It is known to produce biofilms, a community of bacteria enclosed within a protective polymeric matrix. This study aimed to establish whether the biofilm formation by Enterococcus faecalis can be inhibited with steralium, co+steralium, and 5% sodium hypochlorite in the root surface environment. Materials and Methods: Extracted human teeth were biomechanically prepared, vertically sectioned, placed in the tissue culture wells exposing the root canal surface to E. faecalis to form a biofilm. At the end of the 3rd and 6th weeks, all groups were treated fo
... Show MoreThe issue of auditing contracts according to the related services is one of the important topics It has also become necessary to develop traditional procedures and auditing according to international standards to improve the profession of accounting and auditing. From this standpoint, the research aims to indicate the reflection of the contracting audit in accordance with the related services on the auditor's report. in line with the new directions regarding the need to adopt international standards in the Iraqi environment as the research problem focused on the non-comprehensiveness of the audit programs that deal with auditing contracts according to assurance commitments to contribute obtaining Governing evidence, The research
... Show More