نتایج جستجو برای: polymorphic transformation
تعداد نتایج: 245506 فیلتر نتایج به سال:
A well-known organic host, tris-o-phenylenedioxycyclotriphosphazene, exists in two polymorphic guest-free forms: the thermodynamic nonporous high-density phase and the kinetic nanoporous low-density phase. Simple pressurization of the high density phase with CO(2) brings a solid-state transformation to the low density phase, resulting in significant expansion of the crystal volume by 23%.
We report novel results on self-organized three-dimensional spiral and target patterns exhibiting anomalous superdiffusive behaviour in a reaction-diffusion system with simultaneous precipitation and polymorphic transformation of mercuric iodide without external forcing. The superdiffusive dynamics of propagation of the targets/spirals and their breakup are presented.
pads/t is a declarative data description language paired with an error-aware transformation language. This pairing provides rich support for programming with ad hoc data sources. Such data is common in a wide range of domains including networking, financial analysis, biology, and physics. pads/t’s data description language is based on polymorphic, recursive, and dependent data types. From such ...
Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving transformation of an extension of System F with guarded algebraic data types into itself. We also suggest that defunctionalization is an instance of concretization, a more general technique that allows eliminating constructs other t...
Many calculi supporting a notion of state have been proposed. However this notion is nearly always based on the intuition of a store, that is a binding from name to values. The exception, monads, recently focused on for I/Os, su ers from its rigidity. The transformation calculus, an extension of lambda calculus, shows another, more general way to do that. It is di erent from others in that no o...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید