Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,792,303 papers from all fields of science
Search
Sign In
Create Free Account
Refinement (computing)
Known as:
Program Refinement
, Data refinement
, Refinement type
Expand
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
29 relations
Agile software development
Array data structure
B-Method
CoSMoS
Expand
Broader (2)
Computer programming
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
The Nature of Damped Lyman Alpha Systems and Their Hosts in the Standard Cold Dark Matter Universe
R. Cen
2013
Corpus ID: 155093739
Using adaptive mesh-refinement cosmological hydrodynamic simulations with a physically motivated supernova feedback prescription…
Expand
Highly Cited
2009
Highly Cited
2009
Ba2AlSi5N9—A New Host Lattice for Eu2+-Doped Luminescent Materials Comprising a Nitridoalumosilicate Framework with Corner- and Edge-Sharing Tetrahedra
Juliane A. Kechele
,
Cora Hecht
,
O. Oeckler
,
J. S. A. D. Günne
,
P. Schmidt
,
W. Schnick
2009
Corpus ID: 15972470
Ba2AlSi5N9 was synthesized starting from Si3N4, AlN, and Ba in a radio-frequency furnace at temperatures of about 1725 °C. The…
Expand
Highly Cited
2008
Highly Cited
2008
Indian Logic Ontology based Automatic Query Refinement
S. Rajasekar
,
G. Mahalakshmi
,
T. Geetha
,
S. Sendhilkumar
2008
Corpus ID: 62456560
The effectiveness of user query plays a vital role in retrieving highly relevant documents in keyword based search engine. Due to…
Expand
Highly Cited
2006
Highly Cited
2006
Hidden Automotive Antenna Performance and Simulation
L. Low
,
R. Langley
,
R. Breden
,
P. Callaghan
IEEE Transactions on Antennas and Propagation
2006
Corpus ID: 46703730
A new printed antenna system mounted in an aperture in the roof of a car is evaluated for broadcast signal reception from 88-108…
Expand
Highly Cited
2002
Highly Cited
2002
HASCASL: Towards Integrated Specification and Development of Functional Programs
Lutz Schröder
,
Till Mossakowski
International Conference on Algebraic Methodology…
2002
Corpus ID: 29061387
The development of programs in modern functional languages such as Haskell calls for a wide-spectrum specification formalism that…
Expand
Highly Cited
2001
Highly Cited
2001
On the Solution of Parametrised Linear Systems
E. Popova
2001
Corpus ID: 18987194
Considered are parametrised linear systems which parameters are subject to tolerances. Rump’s fixed-point iteration method for…
Expand
Highly Cited
1993
Highly Cited
1993
ADAPTIVE SPACE FRAME ANALYSIS. PART II: A DISTRIBUTED PLASTICITY APPROACH.
B. Izzuddin
,
A. Elnashai
1993
Corpus ID: 29830839
In a previous companion paper (Part I: A Plastic Hinge Approach), adaptive elasto-plastic analysis of space frames was discussed…
Expand
Highly Cited
1983
Highly Cited
1983
Palladio: An exploratory environment for circuit design
H. Brown
,
C. Tong
,
Gordon Foyster
Computer
1983
Corpus ID: 14741263
Palladio is a circuit design environment for experimenting with methodologies and knowledge-based, expert-system design aids. Its…
Expand
Highly Cited
1967
Highly Cited
1967
The crystal and molecular structure of tetraethylammonium tetrachloronickelate(II)
G. Stucky
,
J. Folkers
,
T. Kistenmacher
1967
Corpus ID: 95620513
The crystal structure of tetraethylammonium tetrachloronickelate(II) has been determined by fullmatrix least-squares refinement…
Expand
Highly Cited
1967
Highly Cited
1967
Pilot Describing Function Measurements in a Multiloop Task
R. Stapleford
,
D. McRuer
,
R. Magdaleno
1967
Corpus ID: 59541571
An experimental program to measure pilot describing functions in a multiloop control task is described. The basic objective of…
Expand