نتایج جستجو برای: polymorphic transformation

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

Journal: :Chemical communications 2011
Jian Tian Praveen Thallapally Jun Liu Gregory J Exarhos Jerry L Atwood

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%.

Journal: :Physical chemistry chemical physics : PCCP 2014
M M Ayass I Lagzi M Al-Ghoul

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.

2005
Mary Fernandez Yitzhak Mandelbaum David Walker

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 ...

Journal: :Higher-Order and Symbolic Computation 2006
François Pottier Nadji Gauthier

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...

1993
Jacques Garrigue

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...

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

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