Results 11 to 20 of about 209,691 (268)
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.
John Derrick, Eerke A. Boiten
openaire +1 more source
Reduction and Refinement [PDF]
Electronic Notes in Theoretical Computer Science, 2008 In this paper we explore the relation between refinement and reduction, especially as it is used in the context of cryptography. We show how refinement is a special case of reduction, and more interestingly, how reduction is an instance of a novel generalisation, ''refinement with context''.
Eerke A. Boiten, Dan Grundy
openaire +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 +3 more sources
Refinement of Intentions [PDF]
, 2016 According to Bratman, future-directed intentions are high-level plans. We view such plans as high-level actions that can typically not be executed directly: they have to be progressively refined until executable basic actions are obtained. Higher- and lower-level actions are linked by the means-end relation, alias instrumentality relation.
Herzig, Andreas +3 more
openaire +3 more sources
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
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
Effects of Solvent Concentration on Refining (Degumming, Dewaxing, and Deacidification) of Canola Oil Using Membrane Filtration [PDF]
Iranian Journal of Chemistry & Chemical Engineering, 2023 Miscellas of canola were obtained by mixing its crude oil with hexane solvent at 80:20 and 70:30 ratios. Then, 16.1 M of phosphoric acid and 6.92 M of sodium hydroxide were mixed with the resulting micelles at 0.3% (w/w for degumming) and 13% (w/w for ...
Maryam Rashidian +4 more
doaj +1 more source
Identification of Deoxynivalenol and Degradation Products during Maize Germ Oil Refining Process
Foods, 2022 Deoxynivalenol (DON) contamination in germs and germ oil is posing a serious threat to food and feed security. However, the transformation pathway, the distribution of DON, and its degradation products in edible oil refining have not yet been reported in
Yuqian Guo +5 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