نتایج جستجو برای: generality specification
تعداد نتایج: 84495 فیلتر نتایج به سال:
Kinetic modeling is an important issue, whose objective is the accurate determination of the rates of various reactions taking place in a reacting system. This issue is a pivotal element in the process design and development particularly for novel processes which are based on reactions taking place between various types of species. The Fischer Tropsch (FT) reactions have been used as the ki...
In this work, the efficiency, generality and applicability of new Bronsted acidic ionic liquid (BAIL) 1-methyl-3-(2-(sulfooxy)ethyl)-1H-imidazol-3-ium chloride {[Msei]Cl} as heterogeneous and green catalyst for organic transformations are studied. Herein, the following one-pot multi-component reactions in the presence of [Msei]Cl are investigated: (i) the synthesis of quinoxaline derivatives fr...
I describe a novel hybrid approach to efficient parallel implementation of declaratively (and formally) specified applications. My approach proposes novel languages that support formal refinement and parallel distributions. I defer the complexity of designing user-level programming language features in favor of designing intermediate languages with specific properties and sufficient generality....
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید