関連したドキュメント
Theory of solvation-induced reentrant phase separation in polymer solutions. Matsuyama, Akihiko;
The framework is based on a traced symmetric monoidal category, and it yields a certain compact closed category as a model of linear combinatory algebra, covering as much as
The mGoI framework provides token machine semantics of effectful computations, namely computations with algebraic effects, in which effectful λ-terms are translated to transducers..
Simulation results show that errors related to GPS measurement are the main error sources for the spatial baseline determination, and carrier phase noise of GPS observation and
Theorem 4.8 shows that the addition of the nonlocal term to local diffusion pro- duces similar early pattern results when compared to the pure local case considered in [33].. Lemma
Nonlinear systems of the form 1.1 arise in many applications such as the discrete models of steady-state equations of reaction–diffusion equations see 1–6, the discrete analogue of
Variational iteration method is a powerful and efficient technique in finding exact and approximate solutions for one-dimensional fractional hyperbolic partial differential equations..
The aim of this paper is to prove the sum rule conjecture of [8] in the case of periodic boundary conditions, and actually a generalization thereof that identifies the