Results 351 to 360 of about 1,081,314 (373)

Biomass Refining

Science, 1982
Processes for refining biomass from trees or from agricultural residues are fast approaching commercialization. Advances have been made in acidic and enzymatic hydrolysis of the cellulose component of biomass and in some newer processes for biomass refining which leave the lignin fraction relatively intact.
openaire   +2 more sources

Refine and gabriel: support for refinement and tactics

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., 2004
Using Morgan's refinement calculus, we can write software in a precise and consistent way. Nevertheless, this may involve long and repetitive developments. Several refinement strategies are useful in different developments, and even in different points of a single development. A lot is gained by identifying these strategies, documenting them as tactics,
Marcel Oliveira, Ana Cavalcanti, Manuela Xavier   +2 more
openaire   +2 more sources

Refining clinical risk stratification for predicting stroke and thromboembolism in atrial fibrillation using a novel risk factor-based approach: the euro heart survey on atrial fibrillation.

Chest, 2010
G. Lip, R. Nieuwlaat, R. Pisters, D. Lane, H. Crijns   +4 more
semanticscholar   +1 more source

Action Refinement

2001
In this chapter, we give a comprehensive overview of the research results in the field of action refinement during the past 12 years. The different approaches that have been followed are outlined in detail and contrasted to each other in a uniform framework. We use two running examples to discuss their effects, benefits and disadvantages.
Arend Rensink, Roberto Gorrieri
openaire   +4 more sources

Metavariables and Conditional Refinements in the Refinement Calculus

1994
We describe two techniques for the refinement calculus that facilitate goal-directed development. The techniques achieve this by allowing the deferring of decisions about the precise form of refinement steps, so high-level choices can be expressed as soon as those choices are appropriate.
Raymond G. Nickson, Lindsay Groves
openaire   +1 more source

Refining the theory of basic individual values.

Journal of Personality and Social Psychology, 2012
S. Schwartz, Jan Cieciuch, M. Vecchione, E. Davidov, R. Fischer, C. Beierlein, A. Ramos, M. Verkasalo, J. Lönnqvist, Kursad Demirutku, Ozlem Dirilen-Gumus, Mark Konty   +11 more
semanticscholar   +1 more source

Toward the development of Mg alloys with simultaneously improved strength and ductility by refining grain size via the deformation process

International Journal of Minerals, Metallurgy, and Materials, 2020
Zhi Zhang, Jinghuai Zhang, Jun Wang, Zehua Li, Jin-shu Xie, Shujuan Liu, K. Guan, R. Wu   +7 more
semanticscholar   +1 more source

The Least Conjunctive Refinement and Promotion in the Refinement Calculus

Formal Aspects of Computing, 1999
Abstract. A syntactic calculation of Morgan's least conjunctive refinement operator for predicate transformers is developed. The operator is used to develop a general approach to lifting relational operators to predicate transformer operators.
openaire   +3 more sources

Carbon intensity of global crude oil refining and mitigation potential

Nature Climate Change, 2020
L. Jing, Hassan M. El-Houjeiri, Jean-Christophe Monfort, A. Brandt, M. Masnadi, D. Gordon, J. Bergerson   +6 more
semanticscholar   +1 more source

Refining Chemistry

2011
Publisher Summary In its unrefined state crude oil is unusable, and before it can be used it must be processed into various products. The major refinery products are liquefied petroleum gas, gasoline, jet fuel, solvents, kerosene, middle distillates, residual fuel oil, lubricating oil, and asphalt.
openaire   +2 more sources