نتایج جستجو برای: refinement

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

2011
John Derrick Eerke A. Boiten

Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data refinements, which can be checked on an event-byevent basis rather than per trace. In models of concurrency, refinement is often defined in terms o...

Journal: :Theoretical Computer Science 2001

Journal: :Computer Graphics Forum 2009

Journal: :Information and Computation 2014

Journal: :Computer Graphics Forum 2019

خوشنویسان, بهرام, فربد, منصور,

In this article, we have employed GSAS software to do Reitveld profile refinement on XRD patterns from H-Tc superconductor powder YBa2-xKxCu3O7-y (0<x,y<1) samples. Increasing the Potassium doping content of the sample, x, causes some changes in the XRD patterns such as creating new peaks and also deteriorating of goodness of the refinement, χ2. On the other hand, substituting of K instead of B...

Journal: :Electronic Notes in Theoretical Computer Science 2007

Journal: :IEEE Transactions on Software Engineering 1994

Journal: :Journal of Computer Science and Cybernetics 2016

Journal: :Journal of Applied Crystallography 2007

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

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