<p style='text-indent:20px;'>In this paper, we aim to investigate the dynamic transition of Klausmeier-Gray-Scott (KGS) model in a rectangular domain or square domain. Our research tool is theory for dissipative system. Firstly, verify principle exchange stability (PES) by analyzing spectrum linear part model. Secondly, utilizing method center manifold reduction, show that undergoes conti...

In this paper we try to improve the current state of understanding concerning models of spaces with Scott domains. The main result given is that any developable space which has a model by a Scott domain must be Cech-complete. An important consequence is that any metric space homeomorphic to the maximal elements of a Scott domain must be completely metrizable.

The current status of the Davydov/Scott model for energy transfer in proteins is reviewed. After a brief introduction to the theoretical framework and to the basic results, the problems of finite temperature dynamics and of the full quantum and mixed quantum-classical approximations are described, as well as recent results obtained within each of these approximations. A short survey of experime...

The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between  $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is  bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.

Abstract We develop the Scott model of programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for non-termination PCF, use lifting monad (also known as partial map classifier monad) from topos theory, which has been extended to theory by Escardó Knapp. Our results show that is a viable approach partiality can be constructed predicative ...

Introduction: Voxel based morphometry is a type of statistical parametric mapping that can be used to investigate the effect of diseases such as epilepsy, Alzheimer's disease and Parkinson's disease or other agent such as skills on brain structure (white matter, gray matter and cerebrospinal fluid). The aim of this study is evaluate the effectiveness of this method in detection of differen...

A model of a space X is simply a continuous dcpo D and a homeomorphism : X ! max D, where max D is given its inherited Scott topology. We show that a space has a coherent model ii it has a Scott domain model and investigate the topological structure of spaces which have G models.

this essay evaluates the major methodological trends in research at the iranian academic educational journals based on scott’s methodological criticism. therefore, the present study sought to examine a small part of iranian educational research in the context of scott's taxonomy, including nine major fallacies: epistemic, homogeneity, causal, essentialist, value free knowledge, prospective, red...

In this study, trigonometric quintic B-spline collocation method is constructed for computing numerical solutions of the reaction-diffusion system (RDS). Schnakenberg, Gray-Scott and Brusselator models are special cases systems considered as examples in paper. Crank-Nicolson formulae used time discretization generalized RDS nonlinear terms time-discretized form linearized using Taylor expansion...