Results 1 to 10 of about 839,744 (319)
Testing refinements by refining tests [PDF]
, 1998 One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated.
C. Wezeman +15 more
core +5 more sources
Journal of Marine Science and Engineering, 2023 Adsorptive treatment using granulated macroporous Al2O3-SiO2 adsorbent is proposed as a preliminary stage for residue pretreatment in refineries. The study evaluates the adsorptive treatment of atmospheric and visbreaking residue at 485–510 °C and 1 h−1 ...
Renata Iuzmukhametova +5 more
doaj +1 more source
Energies, 2023 This article presents the prospect of using the process of deep hydrodesulfurization and hydrodearomatization of secondary gas oils using highly active NiMo catalysts to obtain hydrocarbon bases for drilling fluids.
Aleksei Iusovskii +6 more
doaj +1 more source
Efficient CO2 methanation using nickel nanoparticles supported mesoporous carbon nitride catalysts
Scientific Reports, 2023 The CO2 methanation technique not only gives a solution for mitigating CO2 emissions but can also be used to store and convey low-grade energy. The basic character and large surface area of mesoporous carbon nitride, (MCN), are considered promising ...
Zakaria Refaat +6 more
doaj +1 more source
Xylene Isomerization using Hierarchically Mesoporous ZSM-5
Bulletin of Chemical Reaction Engineering & Catalysis, 2023 The current study described the synthesis of H-ZSM-5 zeolites with hierarchical micro-meso- porosity (HM-ZSM-5-x) via the soft-templating route, employing organosilane surfactant, 3-[(trimethoxysilyl) propyl]octyldimethyl-ammonium chloride, as the ...
Ahmed El Fadaly +5 more
doaj +1 more source
HYDROGENOLYSIS OF PALM OIL DERIVED METHYL ESTERS OVER NIOBIUM AND TUNGSTEN BASE CATALYSTS
Studia Universitatis Babes-Bolyai Chemia, 2023 Vegetable oils are widely available in nature and are one of the most important sustainable feedstocks for biofuel production. W/Pd/γ-Al2O3-ZnZSM-5 and Nb/Pd/γ-Al2O3-ZnZSM-5 catalysts where prepared, characterized and tested in the hydrogenolysis ...
Mihai MARINESCU +5 more
doaj +1 more source
ALTEX, 2014 The ultimate goal of the Three Rs is the full replacement of animals used in biomedical research and testing. However, replacement is unlikely to occur in the near future; therefore the scientific community as a whole must continue to devote considerable effort to ensure optimal animal welfare for the benefit of the science and the animals, i.e., the R
Joanne, Zurlo, Eric, Hutchinson
openaire +4 more sources
Mathematics of Computation, 1973 We study mesh refinement techniques for first-order hyperbolic equations. A refinement method for use with the leap-frog scheme is defined and its stability established. The remainder of the paper is devoted to a discussion of the effects of nonuniform grids and the circumstances under which they may be used.
Browning, Gerald +2 more
openaire +2 more sources
Economical Assessment of Replacing and Refining Methods of Hydraulic Oil of Sugarcane Harvesters in Sugarcane Cultivation Industry of Khuzestan [PDF]
Journal of Agricultural Machinery, 2021 Contamination due to hydraulic fluids exerts deleterious effects after a long time, however this factor is often ignored or its consecutive breakdowns and system failures are considered due to other factors.
H Nematpour Malek Abad +3 more
doaj +1 more source
Hydrotreating of waste lube oil by rejuvenated spent hydrotreating catalyst
Egyptian Journal of Petroleum, 2014 Large quantities of catalysts are used in the Egyptian refining industry for the purification and upgrading of various petroleum streams. These catalysts gradually lose activity through deactivation with time and the spent catalysts were usually ...
Sadeek A. Sadeek +4 more
doaj +1 more source