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

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

2002
T. Durig

During a preformulation programme the effect of atmospheric moisture on pyridoxal HCI (PL) was investigated. A complete moisture sorption isotherm was derived for PL at 25 o C. In addition, PL samples were stored at 11 and 75% relative humidity (RH) for 2 weeks. Changes in the samples were detected by differential scanning calorimetety (DSC), infrared spectroscopy (IR) and scanning electron mic...

Journal: :PVLDB 2010
Curtis E. Dyreson Sourav S. Bhowmick Kirankanth Mallampalli

XMorph is a new, shape polymorphic, domain-specific XML query language. A query in a shape polymorphic language adapts to the shape of the input, freeing the user from having to know the input’s shape and making the query applicable to a wide variety of differently shaped inputs. An XMorph query specifies the shape of the output. The XMorph query engine transforms the input to the desired shape...

2011
Jean-Philippe Bernardy

This thesis revisits the well-known notion of parametric polymorphism in the light of modern developments in type-theory. Additionally, applications of parametric polymorphism are also presented. The first part of the thesis presents a theoretical investigation of the semantics of parametric polymorphism of and within type-theories with dependent types. It is shown how the meaning of polymorphi...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده علوم 1377

this thesis deals essentially (but not from all aspects) with the extension of the notion of semigroup compactification and the construction of a general theory of semitopological nonaffine (affine) transformation semigroup compactifications. it determines those compactification which are universal with respect to some algebric or topological properties. as an application of the theory, it is i...

1999
D. D. J. Allman

Microstructural study of the C49-TiSi, to C54-TiSi, polymorphic transformation has been performed to elucidate microstructural evolution and possible mechanism of the phase transformation. It has been shown that the nucleation of the C54-TiSi, is heterogeneous, and preferentially takes place at triple grain junctions or grain boundaries. The interphase interfaces between C49 and C54 disilicides...

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

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