In this work we propose an unified method to compute image symmetries based on founding the minimum-variance partitions of the image that better describe its repetitive nature. Then we use an statistical measure of these partitions as symmetry score. The main idea is that the same measure can be used to score the others symmetries (rotation, reflection, glide reflection). Finally, a feature vec...

Software process is inherently cooperative. During its activities, developers work together in order to develop a quality product. Especially, project managers are involved in decision make activities that can drive the project to success or failure. Those activities are better performed by experienced people, when developers work cooperatively, and when knowledge is shared. In this paper, we p...

We consider m independent exponential servers in parallel, driven by the same deterministic input. This is a modification of the Flatto-Hahn-Wright model which turns out to be easily tractable. We focus on the time-stationary distribution of the number of customers which is obtained using the Palm inversion formula.

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...