Sentence examples for composition refinement from inspiring English sources
The resulting theory satisfies itself the general laws of an interface theory for composition, refinement and communication compatibility.
We introduce heterogeneous composition, refinement, dominance and compatibility between contracts, altogether enabling a formalized and rigorous design process for heterogeneous systems.
The new alloys are designed to increase the amount of fine MX precipitates and reduce coarse M23C6 carbides through alloy composition refinement and the application of thermomechanical treatments.
However, there is a deficiency in the literature of phase diagrams of multi-component RE systems that could assist alloy development and composition refinement for enhanced property optimization.
Chase's painting is a masterpiece of elegance, composition and refinement; Henri's a loosely brushed snapshot.
Based on specification composition and refinement, the framework support mechanical program generation for concrete problem solving.
The composition and refinement operations are more involved in IACA compared to IA, and we must sacrifice associativity of composition.
To highlight the phase composition, Rietveld refinement studies were performed on the AgHAp samples at room temperature and after thermal treatment at 600 and 1000 °C.
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministic behaviour of action-based systems is considered.
In order to extract useful information about the mantle's composition, a refinement of the abundance and distribution of U and Th in the local crust is required, with particular attention to the geochemical characterization of the accessible upper crust where 47% of the expected geoneutrino signal originates and this region contributes the major source of uncertainty.
Feature-oriented programming (FOP) is a programming technique based on composition mechanisms, called refinements.
