A symbolic-numeric validation algorithm is developed to compute rigorous and tight uniform error bounds for polynomial approximate solutions linear ordinary differential equations, in particular D-finite functions. It relies on an a posteriori scheme, where such bound computed afterwards, independently from how the approximation was built. Contrary Newton–Galerkin methods, widely used mathemati...

Introduction The goal of research is investigation on the effectiveness of Holistic Multi-dimensional Treatment Model (HMTM) in improvement of CARS test indicators in children with Autism Spectrum Disorder (ASD) and it is done without pharmaceutical interventions, without names and accompanied by parental satisfaction questionnaire. Materials and Methods In this study with purposeful sampling m...

The paper generalises the notion of landmarks for reasoning about planning problems involving propositional and numeric variables. Intuitively, numeric landmarks are regions in the metric space defined by the problem whose crossing is necessary for its resolution. The paper proposes a relaxationbased method for their automated extraction directly from the problem structure, and shows how to exp...

death is one of the main issues in samih ghasem works; because he paid special attention to it in his works. the present paper studies his ideologies about death as well as his motivations on expressing this issue. his aesthetic view strengthens resistance spirit in his hometown fellows and causes changing in their view point on death. this article has been done in descriptive – analytic method...