Jerome Tremblay - Academia.edu (original) (raw)
Uploads
Papers by Jerome Tremblay
The objective of this study was to determine whether dietary Ca concentration affects the ability... more The objective of this study was to determine whether dietary Ca concentration affects the ability to maintain Ca homeostasis in non-lactating non-pregnant dairy cows fed diets differing in dietary cation-anion difference (DCAD). Eight non-lactating non-pregnant multiparous Holstein cows (594 ± 80.3 kg body weight; 34.5 ± 11.4 month old) were fed diets Low or High in DCAD (−64 vs. 82 mequiv./kg dry matter, respectively) in combinations with Low or High dietary Ca concentration (3.0 vs. 9.1 g/kg of dry matter, respectively) in a duplicated 4 × 4 Latin square design with 14-d periods. On d 14 of each period, cows were subjected to an EDTA challenge that consists of an intra-jugular infusion of EDTA solution to decrease blood Ca concentration. In this protocol, the time required to recover to 90% of the pre-challenge blood Ca concentration was determined as recovery time. During the EDTA challenge, mean blood bicarbonate concentration was lower for cows fed Low-DCAD diets although mean blood pH was not affected by treatment, indicating that cows fed Low-DCAD diets had mild compensated metabolic acidosis. Feeding High-Ca diet shortened the recovery time (106 vs. 134 min; P=0.04) when DCAD was low, while Low-Ca diet shortened the recovery time (125 vs. 159 min; P=0.02) when DCAD was high. These results suggest that the optimum dietary Ca concentration to minimize the risk of hypocalcaemia in dairy cows is likely different depending on the DCAD value.
A "data-aware" web service property is a constraint on the pattern of message exchanges of a work... more A "data-aware" web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. The logic CTL-FO + expresses these properties by allowing temporal operators and first-order quantification over message content to be freely mixed. A "naïve" translation of CTL-FO + into CTL leads to a serious exponential blow-up of the problem that prevents existing validation tools to be used. In this paper, we provide an alternate translation of CTL-FO + into CTL where the construction of the workflow model depends on the property to validate. We show experimentally how this translation is significantly more efficient and makes model checking of data-aware temporal properties on real-world web service workflows tractable using off-the-shelf tools. We gratefully acknowledge the financial support of the Natural Sciences and Engineering Research Council of Canada on this research.
We present here a linear time and space algorithm for computing the outer hull of any discrete pa... more We present here a linear time and space algorithm for computing the outer hull of any discrete path encoded by its Freeman chain code. The basic data structure uses an enriched version of the data structure introduced by Brlek, Koskas and Provençal: using quadtrees for representing points in the discrete plane Z × Z with neighborhood links, deciding path intersection is achievable in linear time and space. By combining the well-known wall follower algorithm for traversing mazes, we obtain the desired result with two passes resulting in a global linear time and space algorithm. As a byproduct, the convex hull is obtained as well.
The objective of this study was to determine whether dietary Ca concentration affects the ability... more The objective of this study was to determine whether dietary Ca concentration affects the ability to maintain Ca homeostasis in non-lactating non-pregnant dairy cows fed diets differing in dietary cation-anion difference (DCAD). Eight non-lactating non-pregnant multiparous Holstein cows (594 ± 80.3 kg body weight; 34.5 ± 11.4 month old) were fed diets Low or High in DCAD (−64 vs. 82 mequiv./kg dry matter, respectively) in combinations with Low or High dietary Ca concentration (3.0 vs. 9.1 g/kg of dry matter, respectively) in a duplicated 4 × 4 Latin square design with 14-d periods. On d 14 of each period, cows were subjected to an EDTA challenge that consists of an intra-jugular infusion of EDTA solution to decrease blood Ca concentration. In this protocol, the time required to recover to 90% of the pre-challenge blood Ca concentration was determined as recovery time. During the EDTA challenge, mean blood bicarbonate concentration was lower for cows fed Low-DCAD diets although mean blood pH was not affected by treatment, indicating that cows fed Low-DCAD diets had mild compensated metabolic acidosis. Feeding High-Ca diet shortened the recovery time (106 vs. 134 min; P=0.04) when DCAD was low, while Low-Ca diet shortened the recovery time (125 vs. 159 min; P=0.02) when DCAD was high. These results suggest that the optimum dietary Ca concentration to minimize the risk of hypocalcaemia in dairy cows is likely different depending on the DCAD value.
A "data-aware" web service property is a constraint on the pattern of message exchanges of a work... more A "data-aware" web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. The logic CTL-FO + expresses these properties by allowing temporal operators and first-order quantification over message content to be freely mixed. A "naïve" translation of CTL-FO + into CTL leads to a serious exponential blow-up of the problem that prevents existing validation tools to be used. In this paper, we provide an alternate translation of CTL-FO + into CTL where the construction of the workflow model depends on the property to validate. We show experimentally how this translation is significantly more efficient and makes model checking of data-aware temporal properties on real-world web service workflows tractable using off-the-shelf tools. We gratefully acknowledge the financial support of the Natural Sciences and Engineering Research Council of Canada on this research.
We present here a linear time and space algorithm for computing the outer hull of any discrete pa... more We present here a linear time and space algorithm for computing the outer hull of any discrete path encoded by its Freeman chain code. The basic data structure uses an enriched version of the data structure introduced by Brlek, Koskas and Provençal: using quadtrees for representing points in the discrete plane Z × Z with neighborhood links, deciding path intersection is achievable in linear time and space. By combining the well-known wall follower algorithm for traversing mazes, we obtain the desired result with two passes resulting in a global linear time and space algorithm. As a byproduct, the convex hull is obtained as well.