125,797 research outputs found
Le bien-être du cheval
No full textil s'agit d'un type de produit dont les métadonnées ne correspondent pas aux métadonnées attendues dans les autres types de produit : REPORTLe cheval, grand herbivore social, est à la fois un animal d’élevage, un animal utilisé pour différents usages (courses, obstacles, dressage, traction, médiation, randonnée, production de viande,..) et un animal symbolique. La perception de cet animal est donc multiple autant par les éleveurs, les utilisateurs que par la société. L’intérêt grandissant pour le bien-être du cheval a été souligné dans la prospective récente sur la filière équine française (Jez 2012 et al.). L’Ifce l’a également constaté, lors d’une enquête par internet sur la perception du bien-être du cheval par les propriétaires, en recevant 3000 réponses en 1 mois (Scemama 2013, Doligez 2014)
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Lengths May Break Privacy – Or How to Check for Equivalences with Length
No full textSecurity protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes. While some decision procedures have been proposed for automatically deciding process equivalence, all existing approaches abstract away the information an attacker may get when observing the length of messages.
In this paper, we study process equivalence with length tests. We first show that, in the static case, almost all existing decidability results (for static equivalence) can be extended to cope with length tests.
In the active case, we prove decidability of trace equivalence with length tests, for a bounded number of sessions and for standard primitives. Our result relies on a previous decidability result from Cheval et al (without length tests). Our procedure has been implemented and we have discovered a new flaw against privacy in the biometric passport protocol
Dispelling the Myths Behind First-author Citation Counts
No full textWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
APTE: An Algorithm for Proving Trace Equivalence
No full textThis paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
The tool can handle protocols expressed in a calculus similar to the applied-pi calculus, which allows us to capture most existing protocols that rely on classical cryptographic primitives. In particular, APTE handles private channels and else branches in protocols with bounded number of sessions. Unlike most equivalence verifier tools, APTE is guaranteed to terminate
Moreover, APTE is the only tool that extends the usual notion of trace equivalence by considering ``side-channel'' information leaked to the attacker such as the length of messages and the execution times. We illustrate APTE on different case studies which allowed us to automatically (re)-discover attacks on protocols such as the Private Authentication protocol or the protocols of the electronic passports
Présentation : Frein de cheval trouvé à Athènes
No full textCharvet B. Présentation : Frein de cheval trouvé à Athènes. In: Bulletin de la Société d'anthropologie de Lyon, tome 8, 1889. pp. 79-80
Diagnostic immunologique de l’anémie infectieuse du cheval, par B. Toma
No full textGoret Pierre. Diagnostic immunologique de l’anémie infectieuse du cheval, par B. Toma. In: Bulletin de l'Académie Vétérinaire de France tome 129 n°1, 1976. pp. 61-63
B. Lizet, La Bête noire. A la recherche du cheval parfait
No full textDigard Jean-Pierre. B. Lizet, La Bête noire. A la recherche du cheval parfait. In: L'Homme, 1991, tome 31 n°118. pp. 157-158
B. Lizet, La Bête noire. A la recherche du cheval parfait
No full textDigard Jean-Pierre. B. Lizet, La Bête noire. A la recherche du cheval parfait. In: L'Homme, 1991, tome 31 n°118. pp. 157-158
Infection mixte, par leptospire et actinobacille chez un cheval
No full textFiocre B., Lataste-Dorolle Camille, Vallée A., Guillon J.-C. Infection mixte, par leptospire et actinobacille chez un cheval. In: Bulletin de l'Académie Vétérinaire de France tome 126 n°7, 1973. pp. 305-307
- …
