The efficacy of a single treatment with a pour-on application or a subcutaneous injection of the macrocyclic lactone endectocide, doramectin, was evaluated in separate trials on Hereford heifers infested with Boophilus microplus (Canestrini). Significantly fewer ticks per calf were recovered from both groups of treated animals than from the complimentary untreated calves. The mean weights of en...

In this paper, we rigorously prove the existence and stability of K-peaked asymmetric patterns for the Gierer-Meinhardt system in a two dimensional domain which are far from spatial homogeneity. We show that given any positive integers k1, k2 ≥ 1 with k1 + k2 = K, there are asymmetric patterns with k1 large peaks and k2 small peaks. Most of these asymmetric patterns are shown to be unstable. Ho...

The abuse of synthetic esters of natural steroids such as testosterone and estradiol in cattle fattening and sports is hard to detect via routine urine testing. The esters are rapidly hydrolysed in vivo into substances which are also endogenously present in urine. An interesting alternative can be provided by the analysis of the administered synthetic steroids themselves, i.e., the analysis of ...

Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons ...

RESUME: Nous considérons l'utilisation d'un cluster (i.e. une grappe d'ordinateurs) pour gérer des bases de données autonomes recevant des mises à jour intensives. Pour optimiser l'équilibrage de charge, nous utilisons la réplication optimiste des bases de données dont nous contrôlons la fraîcheur. Nous proposons une solution pour le routage (i.e. cheminement) des transactions qui préserve l'au...

— We prove a spectral Paley-Wiener theorem for the Heisenberg group by means of a support theorem for the twisted spherical means on Cn. If f(z)e 1 4 |z| 2 is a Schwartz class function we show that f is supported in a ball of radius B in Cn if and only if f×μr(z) = 0 for r > B+ |z| for all z ∈ Cn. This is an analogue of Helgason’s support theorem on Euclidean and hyperbolic spaces. When n = 1 w...

Résumé Nous prouvons la formule de Plancherel pour les fonctions de Whittaker sur un groupe réductif p-adique. Les méthodes sont proches de celles de la preuve de Waldspurger, d’après Harish-Chandra, pour les fonctions lisses sur le groupe. Au delà du résultat, ce travail met en place un cadre qui devrait s’avérer utile pour d’autres formules de Plancherel, notamment pour les espaces symétrique...

Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons ...

Si cette introduction vous est utile dans vos études, merci de m'envoyer un mail ici ou là pour m'indiquer votre année d'étude et université ; bien entendu vos commentaires et/ou suggestions pour corriger ou améliorer ce petit document sont les bienvenus. 4 Automates finis et expressions régulières 5 5 Automates minimaux 6 De nombreux livres traitent ce sujet. Pour des références générales on p...

Résumé-Nous présentons dans ce travail une approche automatique de haut niveau pour l’analyse de code de la cospécification java, et pour la description des composants qui composent l’architecture cible sur laquelle l’application s’exécute dessus. Dans ce contexte, nous avons développé deux outils pour extraire toutes les informations pertinentes concernant les entités matérielles et logicielle...