منابع مشابه
Beyond Shapes: Lists with Ordered Data
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties that deal with the actual content of these structures. For instance, these analysis would not establish that the result of merging two ordered lists is an ordered list. Separation logic, one of the prominent framework ...
متن کاملPersistence in nonequilibrium surface growth.
Persistence probabilities of the interface height in ( 1+1 ) - and ( 2+1 ) -dimensional atomistic, solid-on-solid, stochastic models of surface growth are studied using kinetic Monte Carlo simulations, with emphasis on models that belong to the molecular beam epitaxy (MBE) universality class. Both the initial transient and the long-time steady-state regimes are investigated. We show that for gr...
متن کاملCritical behavior of nonequilibrium phase transitions to magnetically ordered states.
We describe nonequilibrium phase transitions in arrays of dynamical systems with cubic nonlinearity driven by multiplicative Gaussian white noise. Depending on the sign of the spatial coupling we observe transitions to ferromagnetic or antiferromagnetic ordered states. We discuss the phase diagram, the order of the transitions, and the critical behavior. For global coupling we show analytically...
متن کاملMemory effects in a nonequilibrium growth model.
We study memory effects in a kinetic roughening model. For d=1, a different dynamic scaling is uncovered in the memory dominated phases; the Kardar-Parisi-Zhang scaling is restored in the absence of noise. dc=2 represents the critical dimension where memory is shown to smoothen the roughening front (alpha<or=0). Studies on a discrete atomistic model in the same universality class reconfirm the ...
متن کاملGrowth Models for Shapes
A central problem in computer vision is to detect, delineate (segment) and recognize objects in an image. One reason why this is diicult is that very little information speciic to given types of objects is used during segmentation. Making use of information about an object's shape, for example, should facilitate and improve the segmentation of that object. The thrust of this thesis lies in the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physica D: Nonlinear Phenomena
سال: 1989
ISSN: 0167-2789
DOI: 10.1016/0167-2789(89)90168-1