Results 21 to 30 of about 70,423 (207)
Lengths May Break Privacy – Or How to Check for Equivalences with Length [PDF]
, 2013 Security 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 ...
A. Armando +4 more
core +4 more sources
Effect of concentrate feeding sequence on equine hindgut fermentation parameters
Animal, 2017 Feeding a diet with a small amount of hay and a high proportion of concentrate given in large meals entails a risk of colic to horses as this can impact the hindgut microbial ecosystem.
S. Sadet-Bourgeteau +2 more
doaj +1 more source
Chitin perception in plasmodesmata characterizes submembrane immune-signaling specificity in plants [PDF]
, 2020 The plasma membrane (PM) is composed of heterogeneous subdomains, characterized by differences in protein and lipid composition. PM receptors can be dynamically sorted into membrane domains to underpin signaling in response to extracellular stimuli.
Bellandi, Annalisa +9 more
core +2 more sources
Animal, 2008 The objectives of this study were to establish standards for growth and to model the evolution of wither height (WH) between birth and adult age in different breeds of sport- and race-horses. Therefore, 398 foals, then yearlings of three different breeds,
J.-P. Valette, C. Robert, J.-M. Denoix
doaj +1 more source
Quantification of the energy expenditure during training exercises in Standardbred trotters
Animal, 2015 An appropriate energy feeding management that ensures the optimal dietary energy supply according to the energy expenditure (EE) is a crucial component for the horse’s performance.
J. Fortier +3 more
doaj +1 more source
Verifying Privacy-Type Properties in a Modular Way [PDF]
, 2012 Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlink ability) that play an important role in many modern applications are formalised ...
Arapinis, Myrto +2 more
core +4 more sources
Animal, 2014 The horse’s hindgut bacterial ecosystem has often been studied using faecal samples. However few studies compared both bacterial ecosystems and the validity of using faecal samples may be questionable.
S. Sadet-Bourgeteau +3 more
doaj +1 more source
Prevalence of QoI resistance and mtDNA diversity in the Irish Zymoseptoria tritici population [PDF]
, 2019 peer-reviewedThe emergence and spread of Quinone outside Inhibitor (QoI) fungicide resistance in the Irish Zymoseptoria tritici population in the early 2000s had immediate impacts on the efficacy of the entire group of fungicides for the control of ...
Bucar, D.E. +5 more
core +1 more source
Douze nouvelles plaquettes gravées d'Enlène
Espacio, Tiempo y Forma. Serie I, Prehistoria y Arqueología, 2008 Le choix de cet article dans un volume d’Hommages à notre regretté ami le Professeur Eduardo Ripoll n’est pas fortuit. En effet, le seul article où nous ayons présenté de nombreuses plaquettes d’Enlène (31 en tout), en détails (descriptions aussi ...
Robert Bégouën, Jean Clottes
doaj +1 more source
Adapter l’épopée : l’exemple des chevaux chez Andrea da Barberino
Italies, 2006 L’œuvre d’Andrea da Barberino adapte des chansons de geste françaises où le cheval tenait une place prépondérante. Mais la prise en compte du public et de l’évolution sociale amène l’auteur à réduire l’animal à un élément du cadre de vie, qu’il se doit d’
Colette Gros
doaj +1 more source