Let us begin by considering examples of the kinds of arguments an inductive logic should explicate.
Before considering examples the schematic (Figure 6) will be a useful guide to the process.
We illustrate the use of the extended CADP toolbox by considering examples of the VLTS benchmark suite and C implementations of various concurrent programs.
The effectiveness of the integrated formulation is tested for global characteristics considering examples related to multi-layered laminates and sandwich panels for which solutions are available.
However, we encounter a contradiction when considering examples such as (61) below, in which, in spite of producing a communicative exchange through the verb suggest, this example is, nevertheless, annotated as a relational process (Halliday and Matthiessen 2014: 285).
Considering examples of both real (Enron email) and artificial (Ravasz-Barabasi) networks perturbed by noise using Monte Carlo simulations, our method accurately recovers the percentages that information will be transferred to the intended receivers.
