What does the seventeenth-century Rundetarn (Round Tower) of Copenhagen have in common with the thirteenth-century Leaning Tower of Pisa? Or Houston's Astrodome, the first indoor baseball stadium built in the United States, with the vast dome of the Pantheon in Rome? Or a Chinese pagoda (fig. 1) with the Sydney Opera house (fig. 2)? A first response might be "shape" but a more accurate answer w...

Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying streams and stream operations, and their theory has been developed in many papers over the past two decades. In this paper we present a survey of the many re...

TO OPTIMIZE PERFORMANCE IMPROVEMENTS AND TO ENHANCE SKELETAL MUSCLE RECOVERY FROM HIGH-INTENSITY TRAINING, THE ATHLETE NEEDS TO ENSURE ADEQUATE ENERGY AND PROTEIN CONSUMPTION. PROTEIN INTAKE MAY HAVE EVEN GREATER RELEVANCE DURING PERIODS OF WEIGHT LOSS OFTEN ASSOCIATED WITH THE COMBAT SPORT ATHLETE. COMBAT SPORT ATHLETES OFTEN USE WATER RESTRICTION TO ACCOMPLISH DESIRED WEIGHT LOSS. THIS HAS SE...

In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle. The largest compatible function, called the companion, subsumes most enhancements and has been proved to enjoy many good properties. Here we move to universal coalgebra, where the corresponding notion is that of a final di...

1Alberta Agriculture, Food and Rural Development, Lethbridge, Alberta, Canada T1J 4V6 (e-mail: [email protected]); 2Agriculture and Agri-Food Canada, Range Research Unit, Kamloops, British Columbia, Canada V2B 8A9; 3Research Centre, Lethbridge, Alberta, Canada T1J 4B1; 4Agriculture and Agri-Food Canada, Pacific Agri-Food Research Centre, Summerland, British Columbia, Canada V0H 1Z0; 5Agricul...

We describe a new model which is able to model accurately the characteristics of subject motion, a dominant artefact in Functional Magnetic Resonance Images. Using the model, which is based on specific knowledge regarding the nature of the image acquisition, it is possible to correct for this motion which would otherwise render activation detection on the images invalid. We also present an init...

The social aspects of security are becoming increasingly important, now that security is at the foundation of the upcoming Internet Operating System. We will not be able to investigate the human side of security issues without considering the other side of the coin: surveillance. Some ‘Controlled Computing’ proposals are emerging, which at times recall Orwellian scenarios; on the other hand the...

Critical stresses necessary to generate dislocation glide loops in Czochralski silicon containing oxide precipitates have been investigated. Using three-point bending and etching techniques, it was possible to determine the minimum shear stress required to generate dislocation glide loops from controlled distribution of precipitates under constant-stress conditions. The generation of glide disl...