نتایج جستجو برای: stewartson 2 1

تعداد نتایج: 3933809  

2007
GianLuigi Ferrari Ugo Montanari

Tiles are rewrite rules with side e ects, reminiscent of both Plotkin SOS and Meseguer rewriting logic rules. They are well suited for modeling coordination languages, since they can be composed both statically and dynamically via possibly complex synchronization and workow mechanisms. In this paper, we give a tile-based bisimilarity semantics for the asynchronous -calculus of Honda and Tokoro ...

Journal: :Proceedings of the Japan Academy, Series A, Mathematical Sciences 2001

2011
Zaihui Gan

This paper concerns the sharp threshold of blowup and global existence of the solution as well as the strong instability of standing wave eu(x) to the system iφt +Δφ+ a|φ|p−1φ+ bE1(|φ|)φ = 0 (DS) in R , where a > 0, b > 0, 1 ≤ p < N+2 (N−2)+ , N ∈ {2, 3} and u is a ground state. First, by constructing a type of cross-constrained variational problem and establishing so-called cross-invariant man...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید