نتایج جستجو برای: peak lf

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

پایان نامه :دانشگاه تربیت معلم - سبزوار - دانشکده فنی 1393

امروزه یکی از مباحث اصلی در تولید فولاد تمیز حذف آخال های غیر فلزی موجود در فولاد مذاب به نحو مطلوب می باشد بدین منظور عوامل موثر بر کاهش آخال ها در فولاد مذاب و فراهم کردن شرایط مطلوب جهت نیل به این هدف همواره مورد تحقیق و بررسی بوده است. درمجتمع فولاد اسفراین، عمل ذوب قراضه در یک کوره قوس الکتریکی انجام شده و سپس طی مراحل فولادسازی ثانویه در کوره lf و فرایند vd، فولاد تمیز تولید می شود. در ای...

1992
John Hannan Frank Pfenning

We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this technique to specify, implement, and verify a compiler from a simple functional programming language to a variant of the Categorical Abstract Machine (CAM).

Journal: :Bulletin of the Polish Academy of Sciences Mathematics 2008

Journal: :Czechoslovak Mathematical Journal 2001

2016
Laëtitia Théron Delphine Centeno Cécile Coudy-Gandilhon Estelle Pujos-Guillot Thierry Astruc Didier Rémond Jean-Claude Barthelemy Frédéric Roche Léonard Feasson Michel Hébraud Daniel Béchet Christophe Chambon

Mass spectrometry imaging (MSI) is a powerful tool to visualize the spatial distribution of molecules on a tissue section. The main limitation of MALDI-MSI of proteins is the lack of direct identification. Therefore, this study focuses on a MSI~LC-MS/MS-LF workflow to link the results from MALDI-MSI with potential peak identification and label-free quantitation, using only one tissue section. A...

Journal: :Physics of Fluids 2022

The light field particle image velocimetry (LF-PIV) has shown a great potential for three-dimensional (3D) flow measurement in space-constrained applications. Usually, the parameters of cross-correlation calculation LF-PIV are chosen based on empirical analysis or introduced from conventional planar PIV, which lowers accuracy 3D velocity measurement. This study presents an approach to selecting...

2009
R. Willingale

The prompt emission from GRBs is the brightest electromagnetic emission known yet it’s origin is not understood. The flux density of individual prompt pulses of a GRB can be represented by an analytical expression derived assuming the emission is from a thin, ultra-relativistically expanding, uniform, spherical shell over a finite range of radii. We present the results of fitting this analytica...

Journal: :Developmental Cognitive Neuroscience 2014
Megan M. Herting John B. Colby Elizabeth R. Sowell Bonnie J. Nagel

Exercise has been shown to have positive effects on the brain and behavior throughout various stages of the lifespan. However, little is known about the impact of exercise on neurodevelopment during the adolescent years, particularly with regard to white matter microstructure, as assessed by diffusion tensor imaging (DTI). Both tract-based spatial statistics (TBSS) and tractography-based along-...

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

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