Toolbox for Electric Fences

An Evaluation of Anti-coyote Electric Fences

We interviewed 21 sheep farmers and evaluated their electric fences to identify problems and determine efficacy of electric fences to prevent coyote (Canis latrans) predation. Modified woven wire fences and fences of 9 high-tensile smooth wires alternating charged and grounded were most effective in preventing coyote predation. The most serious problems in fence design and maintenance were a) b...

Curved Fences for Part Alignment

In automated packing or assembly it is often necessary to bring randomly oriented parts into uniform alignment. Mechanical methods such as vibratory bowl feeders are often used for this purpose, although there is no theory for the systematic design of such feeders. A slanted “fence” attached to the stationary sides of a conveyor belt is also capable of orienting a stream of parts and a sequence...

Electromembrane Processes, a Toolbox for Advanced Separations

De-Fences

The demonstration’s vehicle will be the multimedia performance «DE-FENCES», the outcome of the international «CUT Project», dealing with Europe’s new geography and questioning current «walls» and «separating lines» after the Fall of the Berlin Wall and the end of the Cold War, developed through Research and Residencies in former and present “cut” territories [Berlin, Palestine, Nicosia, Kosovo]...

A Program Logic for C11 Memory Fences

We describe a simple, but powerful, program logic for reasoning about C11 relaxed accesses used in conjunction with release and acquire memory fences. Our logic, called fenced separation logic (FSL), extends relaxed separation logic with special modalities for describing state that has to be protected by memory fences. Like its precursor, FSL allows ownership transfer over synchronizations and ...