Results 11 to 20 of about 828,177 (293)
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
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
Foods, 2023 Shea butter is becoming increasingly popular in foods, cosmetics and pharmaceutical products. This work aims to study the effect of the refining process on the quality and stability of fractionated and mixed shea butters.
Adel G. Abdel-Razek +9 more
doaj +1 more source
Physical modelling of degassing process by blowing of inert gas [PDF]
, 2018 This paper deals with the possibilities of using physical modelling to study the degassing of metal melt during its treatment in the refining ladle. The method of inert gas blowing, so-called refining gas, presents the most common operational technology ...
Gryc, Karel +6 more
core +1 more source
Egyptian Journal of Petroleum, 2017 One of the most significant procedures in oil refineries is naphtha catalytic reforming unit in which high octane gasoline is gained. Normally, in oil refineries, flow instability in the composition of feedstock can affect the product quality. The aim of
Hussien A. Elsayed +4 more
doaj +1 more source
Fit-for-Use Nanofibrillated Cellulose from Recovered Paper
Nanomaterials, 2023 The cost-effective implementation of nanofibrillated cellulose (CNF) at industrial scale requires optimizing the quality of the nanofibers according to their final application. Therefore, a portfolio of CNFs with different qualities is necessary, as well
Ana Balea +7 more
doaj +1 more source
Eurasian Chemico-Technological Journal, 2001 The aim of this paper is to present a new concept for separation of a reaction mixture (RM) that is result of degradation of cumenehydroperoxide in industrial plants.
N. T. Popov +2 more
doaj +1 more source
Data refinement refined resume [PDF]
, 1986 We consider the original work of Hoare and Jones on data refinement in the light of Dijkstra and Smyth's treatment of nondeterminism and of Milner and Park's definition of the simulation of Communicating Systems. Two proof methods are suggested which we hope are simpler and more general than those in current use.
J. He, C. A. R. Hoare, J. W. Sanders
openaire +1 more source
Analytica, 2023 Argan kernels, fruits regurgitated by goats, are 30% cheaper than the regular kernels used to prepare food argan oil. The use of such argan kernels as a cosmetic ingredient, after refining, is thus economically attractive.
Rabha Aissa +9 more
doaj +1 more source