نتایج جستجو برای: scott model
تعداد نتایج: 2121160 فیلتر نتایج به سال:
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 ...
We study a reaction-diffusion system which models the pre-mixed isothermal autocatalytic chemical reaction of order m (m > 1) between two species, reactant A and an auto-catalyst B, + B --> (m+1) linear decay -->C, where C is inert product. The special case = 2 much studied Gray-Scott model, but without feeding. prove existence multiple traveling waves have distinctive number local max...
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...
Scott’s information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a newSeely category), with a “set-theoretic” interpretation of exponentials that recovers Scott conti...
In this work, we analyse a pair of two-dimensional coupled reaction-diusion equations known as the Gray-Scott model, in which spot patterns have been observed. We focus on stationary patterns, and begin by deriving the asymptotic scaling of the parameters and variables necessary for the analysis of these patterns. A complete bifurcation study of these solutions is presented. The main mathematic...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید