Sentence examples for abstraction operation from inspiring English sources

The effect of the antinomy is that it is impossible to have an abstraction operation φ {x | φ } mapping injectively any concept (property) φ into its extension (the class of all x such that φ(x)) (i.e., so that if the classes defined by φ and ψ are equal, then φ(a)↔ ψ(a), for every object a).

Externalization activities can be classified into two groups according to the repetitiveness in the target operations: abstraction for operations that are not repetitive and generalization for operations that are repetitive.

In this framework, a process is decomposed into two abstraction levels, operation level and equipment level, which are bridged using functional representation.

As for abstraction, modeling operations with single places in manufacturing system design is very popular.

In this context, we review the 50-year history of the Plastiras reservoir in central Greece, to highlight the multiple negative impacts from a non-systematic, abstraction-oriented, operation policy.

The goal in this work is to drastically decrease the development time, providing hardware abstraction and intuitive operation modes, allowing researchers to focus in their main research motivations, e.g., search and rescue, multi-robot surveillance or swarm robotics.

The main advantage of our Scenario-Based Testing technique is that it performs a full abstraction of the operation parameter values, that are instantiated at the end, when the scenario has been completely unfolded, using constraint solving techniques.

The first challenge is how to reduce information loss due to the data abstraction (or summarization) operations.

GWCL owns the physical assets and is also responsible for asset development and performance monitoring of the Operator whilst the day to day operations (Abstraction of raw water, production, distribution, maintenance and customer services) of water systems and personnel management in a service area are catered for by AVRL.

Sensitive students tend towards fact-based learning through problem solving and memorization of situations via laboratories and workshops, whereas intuitive students are often interested in discovery, exploration and connections, are innovative and often have a flair for abstraction and mathematical operations.

These rules of inference say that = is a congruence relation on the set of λ-terms: it 'preserves' both the application and abstraction term-building operations As before with the reflexivity rule, the rule β has no premises: for any variable x and any terms M and A, one can infer the equation (λx[M])A = M[x := A] at any point in a formal derivation in the theory λ.