We apply the concept of effective order to strong stability preserving (SSP) explicit Runge–Kutta methods. Relative to classical Runge–Kutta methods, methods with an effective order of accuracy are designed to satisfy a relaxed set of order conditions, but yield higher order accuracy when composed with special starting and stopping methods. We show that this allows the construction of four-stag...

For the high order numerical approximation of hyperbolic systems of conservation laws, we propose to use as a building principle an entropy diminishing criterion instead of the familiar total variation diminishing criterion introduced by Harten for scalar equations. Based on this new criterion, we derive entropy diminishing projections that ensure, both, the second order of accuracy and all of ...

Difference schemes for two-point boundary value problems for systems of first-order nonlinear ordinary differential equations are considered. It was shown in former papers of the authors that starting from the two-point exact difference scheme (EDS) one can derive a so-called truncated difference scheme (TDS) which a priori possesses an arbitrary given order of accuracy (|h|m) with respect to t...

Research on teacher cognition concerning listening instruction has not been sufficiently touched upon. The present case study aimed to investigate Iranian EFL teachers' stated practices, their perceptions of how effective those practices are, and their actual classroom practices of two casual process-oriented listening instructional approaches namely, strategy-based instruction (SBI) and metaco...

Domain-oriented web page extraction is a new and practical direction in the field of information extraction. The paper focuses on the representation of domain-oriented web page topic features, and hierarchical vector space (HVS) model is put forward. Considering the hierarchical characteristics of the web page itself, topic features of the web page are expressed more effectively by HVS model fr...

As they gain expertise in problem solving, people increasingly rely on patterns and spatially-oriented reasoning. This paper describes the integration of an associative visual pattern classifier and the automated acquisition of new, spatially-oriented reasoning agents that simulate such behavior. They are incorporated into a game-learning program whose architecture robustly combines agents with...

in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...

A method using Zernike Moments (ZM) and Histogram of Oriented Gradients (HOG) for classification and recognition of plant leaf images is proposed in this paper. After preprocessing, we compute the shape features of a leaf using Zernike Moments (ZM) and texture features using Histogram of Oriented Gradients (HOG) and then Support Vector Machine (SVM) classifier is used for plant leaf image class...

Von einem Überwachungssystem zur Begleitung von Personen innerhalb von Gebäuden wird häufig gefordert, sich in die bestehende Anwendungslandschaft eines Unternehmens integrieren zu lassen und vorhandene Anwendungsfunktionalität möglichst wiederzuverwenden. Anwendungslandschaften werden verstärkt in Form dienstorientierter Architekturen strukturiert, weshalb ein integrierbares Überwachungssystem...

abstract in this study the relationship among perfectionism, defense styles and depression symptoms was studied. participants were 426 undergraduate students from the university of guilan (264 females, 162 males), who were selected through randomized clustering multistage method. all participants were asked to complete the multidimensional perfectionism scale (hewitt & flett, 1991), the defense...