Results 301 to 310 of about 756,391 (343)
Some of the next articles are maybe not open access.
Refinement methods and refinement calculi
Software Engineering Journal, 1992A number of modern approaches to refinement are discussed and compared, and their broad classification into refinement methods and refinement calculi is explained. The refinement methods concerned are all based on the model-based specification languages VDM and Z, whereas the refinement calculi are all developments of the Dijkstra programming calculus.
Hans J. Litteck, Peter J.L. Wallis
openaire +1 more source
OpenCodeInterpreter: Integrating Code Generation with Execution and Refinement
Annual Meeting of the Association for Computational LinguisticsThe introduction of large language models has significantly advanced code generation. However, open-source models often lack the execution capabilities and iterative refinement of advanced systems like the GPT-4 Code Interpreter.
Tianyu Zheng +7 more
semanticscholar +1 more source
Image Inpainting With Local and Global Refinement
IEEE Transactions on Image Processing, 2022Image inpainting has made remarkable progress with recent advances in deep learning. Popular networks mainly follow an encoder-decoder architecture (sometimes with skip connections) and possess sufficiently large receptive field, i.e., larger than the ...
Weize Quan +5 more
semanticscholar +1 more source
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
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
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.
Gorrieri, Roberto, Rensink, Arend
openaire +3 more sources
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.
Gorrieri, Roberto, Rensink, Arend
openaire +3 more sources
Scientific American, 1919
<div class="htmlview paragraph">A short account of the discovery and early development of the oils in the Appalachian Field is followed by a description of several oil-testing instruments and of modern refinery practice with diagrams and drawings.
openaire +1 more source
<div class="htmlview paragraph">A short account of the discovery and early development of the oils in the Appalachian Field is followed by a description of several oil-testing instruments and of modern refinery practice with diagrams and drawings.
openaire +1 more source
Refinement of macromolecular structures by the maximum-likelihood method.
Acta Crystallographica Section D: Biological Crystallography, 1997G. Murshudov, A. Vagin, E. Dodson
semanticscholar +1 more source
OLEX2: a complete structure solution, refinement and analysis program
, 2009O. Dolomanov +4 more
semanticscholar +1 more source
SIR97: a new tool for crystal structure determination and refinement
, 1999A. Altomare +8 more
semanticscholar +1 more source
Factor analysis in the development and refinement of clinical assessment instruments.
, 1995F. Floyd, K. Widaman
semanticscholar +1 more source