final initial Abstract Initial structures are good for modelling constructor-based data types because they t the intuition about these types and admit resolution-and rewrite-oriented inductive theorem proving. The corresponding speciication and veriication methods do not comply so well with non-free or permutative types such as sets, bags and maps and are still less appropriate when innnite str...

Seagrass meadows commonly reside in shallow sheltered embayments typical of the locations that provide an attractive option for mooring boats. Given the potential for boat moorings to result in disturbance to the seabed due to repeated physical impact, these moorings may present a significant threat to seagrass meadows. The seagrass Zostera marina (known as eelgrass) is extensive across the nor...

Swinging types (STs) provide a speciication and veriication formalism for designing software in terms of many-sorted logic. Current formalisms, be they set-or order-theoretic, algebraic or coalgebraic, rule-or net-based, handle either static system components (in terms of functions or relations) or dynamic ones (in terms of transition systems) and either structural or behavioral aspects, while ...

During mechanized table grape harvesting, berries are subjected to vibration and collision, which can cause shedding damage the fruit. Research on berry has primarily focused macroscopic swing modes, reflected in integrated cluster structure idealized particle interactions, as well static response treatments. However, these approaches unable accurately explain characteristics of wobbling during...

In this paper, a novel design and development of a fuzzy logic controller using static synchronous series compensators (SSSC) to damp out the swinging oscillations in a FACTS based integrated multi-machine power system when a three-phase line to line ground fault takes place at one of the generators in the power system is proposed. The multi-machine power system considered consists of three gen...