324,772 research outputs found
Le cheval e(s)t le bien-être
No full textLe cheval a désormais une fonction que l’on pourrait qualifier de paraclétique dans notre monde global, et certains semblent l’avoir compris. Je vous invite à consulter cette page britannique qui fait de l’équitation certes un sport, mais qui montre également à quel point la proximité à cet animal permet de renouer avec un (bio)rythme qui vient contrebalancer les effets perçus comme néfaste de notre monde « glocal » (Roland Robertson et Zygmunt Bauman). Le cheval peut se pratiquer à tout âge ..
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)
Enquête sur la perception du bien-être du cheval
No full textAujourd’hui un intérêt croissant pour la protection et le bien-être animal se développe au sein de la société et particulièrement dans le monde du cheval. Or le domaine du bien-être animal est encore aujourd’hui difficile à objectiver et à mesurer (Jez et al 2013). L’Institut français du cheval et de l’équitation a mené une enquête auprès d’un public de pratiquants pour mettre en lien leur perception du bien-être du cheval et les connaissances scientifiques actuelles sur le sujet
Mémoire(s) de cheval
No full textNée de la volonté d’ouvrir un espace d’échanges et de découvertes autour du cheval, cette journée a pour objectif de rassembler doctorant·es et chercheur·es autour de leurs réflexions théoriques et méthodologiques sur cet animal. L’événement fera alterner conférences et tables rondes sous l’emblématique dôme des grandes écuries du château de Chantilly, joignant la dimension culturelle, littéraire et historique à la dimension spatiale pour permettre à chacun d’alimenter sa réflexion grâce à des apports interdisciplinaires dans une perspective transversale. Nous souhaitons interroger lors de ces journées les relations entre le cheval et la (les) mémoire(s) dans des contextes chronologiques et géographiques variés. Muséification, patrimonialisation, souvenir voire oubli du cheval seront au cœur des réflexions scientifiques de la journée
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
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
Figure 1 in A new species of the genus Euseius Wainstein (Acari: Phytoseiidae) from France
No full textFigure 1. Dorsal shield of the female of Euseius gallicus sp. nov. (from the holotype).Published as part of Tixier, M.-S., Kreiter, S., Okassa, M. & Cheval, B., 2010, A new species of the genus Euseius Wainstein (Acari: Phytoseiidae) from France, pp. 241-254 in Journal of Natural History 44 (3-4) on page 244, DOI: 10.1080/00222930903383529, http://zenodo.org/record/465226
Diffusive author(s), cohesive author: Analysis of S/N (1994)
No full textThis study indicates the ways in which various aspects of the author(s) are brought forth in Dumb type’s performance art, the S/N production. Previous research has suggested a non-hierarchical organization of Dumb type and the absence of a “privileged author” in Dumb type’s collaborative work, S/N. However, the results that I have investigated from member’s interviews on the creative process of S/N along with my analysis of the recorded images of S/N, indicate a different aspect of the author(s). First, S/N was created through, so to speak, the collective ideas of the members of Dumb type. Further, S/N has at least nine quotations from previous performances, installations, and printed writings, besides the work-in-progress technique. Explicating one of the “author functions” as given by Michel Foucault, each text has plural subjects of the author. However, it has been revealed from members’ interviews that Teiji Furuhashi had a decision-making role in selecting the members’ ideas within the performance. Since then, S/N has had plural subjects of creation; however, Furuhashi is one of the subjects of creation along with the “privileged author.” S/N has plural authors (diffusive authors) yet at the same time, it has a “privileged author,” Teiji Furuhashi (cohesive author)
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
L'élevage du cheval au Kirghizstan
No full textInternational audienceIn the present paper the author deals with some aspects of horse breeding in Kirghizstan. After a historical and ethnographical retrospective, he focuses on the present situation of Kirghiz horse breeding. He analyses the economic and cultural role of the horse among the Kirghiz on the basis of field research. This allows him to deal with some other questions: power relations between local authorities and the population during the Soviet period, the crisis of animal husbandry in the 1990’s, the evolution of livestock, the characteristics of present-day horse utilization, the adaptation of stock breeders to the market economy, gender division of work, the care of horses at different times of the year, relationships between man and horse.L'article examine certains aspects de l'élevage équin au Kirghizstan. Après une rétrospective historique et ethnographique, l'auteur se concentre sur l'aspect actuel de la question. Le rôle économique et culturel du cheval ainsi que les diverses fonctions qu'il remplit sont analysés sur la base de matériaux de terrain. Ce thème permet d'aborder la question des relations entre les autorités locales et la population à l'époque soviétique puis de traiter, entre autres, de la crise de l'élevage dans les années 1990, de l'évolution du cheptel, des particularités de l'utilisation de cet animal à l'époque actuelle, de l'adaptation des éleveurs aux conditions du marché, de la division sexuelle du travail, des soins portés aux chevaux aux différentes saisons, des relations qui s'établissent entre l'homme et le cheval
- …
