Journal of Gender Equality Disability Social Inclusion and Children
Not a member yet
25069 research outputs found
Sort by
Exploiting symmetries when proving equivalence properties for security protocols (Technical report)
No full textVerification of privacy-type properties for cryptographic protocols in an active adversarial environment, modelled as a behavioural equivalence in concurrent-process calculi, exhibits a high computational complexity. While undecidable in general, for some classes of common cryptographic primitives the problem is coNEXP-complete when the number of honest participants is bounded. In this paper we develop optimisation techniques for verifying equivalences, exploiting symmetries between the two processes under study. We demonstrate that they provide a signi cant (sev-eral orders of magnitude) speed-up in practice, thus increasing the size of the protocols that can be analysed fully automatically
Teaser-labUne démarche ascendante et territorialisée pour un système agri-alimentaire sain, durable, et créateur d’emploi
No full textImpacts des options de réforme des taxes sur les produits agricoles en Tanzanie: Une analyse micro-économique utilisant un modèle de ménage agricole
No full textThe government of Tanzania is willing to improve the socio-economic environment for the farming sector to encourage farmers to produce (and sell) more products from their activities. To that end, the central government is reforming the local tax system and particularly the agricultural produce cess, which is a turnover tax on marketed agricultural products charged by local government authorities (LGAs) at a maximum of 5% of the farm-gate price. Although it constitutes a significant source of revenue for many LGAs, this tax restricts an increase in production by farmers, and thus improvement of their livelihoods. In 2017, the government reduced the maximum cess rate from 5% to 3%. However, this reduction seems insufficient according to stakeholders, and several options to further reduce the rate are currently under discussion by the government. This report provides an ex ante impact assessment of the main reform options, using a microeconomic simulation model called FSSIM-Dev (Farming System Simulator for Developing Countries). Based on positive mathematical programming, this model was applied to a representative sample of 3,134 farm households spread throughout the country, taken from the World Bank LSMS–ISA surveys. Simulation results show that reduction of the cess rate leads to greater intensification and an increase in farm income, ranging between +2% and +21% depending on options and regions. The largest positive impacts are observed in the Northern and Western highlands. As expected, large farms and farms specialized in cash crops tend to gain more from the reduction in cess. At the individual farm household level, the impact is modest: 95% of the farms will experience an income increase of less than 10%. The impact on food security and rural poverty reduction is quite limited (improvement is less than 2%). Finally, the results show that a uniform cess rate of 1% for all crops seems to be the most efficient policy option.Ce rapport présente les résultats d'une analyse d'impact de plusieurs options de réforme de la taxe sur les produits agricoles en Tanzanie. Il s’agit d’une taxe sur le chiffre d'affaire des produits agricoles commercialisés perçue par les collectivités locales (LGA) fixée à un taux maximal de 5% du prix producteur. Bien qu'elle constitue une source de revenus importante pour de nombreuses LGA, cette taxe empêche l’augmentation de la production agricole, et donc l’amélioration des moyens de subsistance des exploitants. En 2017, le gouvernement a réduit le taux maximal de 5% à 3%. Cependant, cette réduction semble insuffisante selon les parties prenantes, et plusieurs options pour réduire davantage ce taux sont actuellement à l’étude par le gouvernement. Cette analyse est réalisée à l’aide d’un modèle microéconomique appliqué à un échantillon représentatif de 3134 ménages agricoles répartis sur l’ensemble du pays provenant des enquêtes LSMS-ISA de la Banque Mondiale. Les effets potentiels des options de réforme simulées sur l'utilisation des terres, la production, l'utilisation des intrants, le revenu agricole, les revenus des gouvernements locaux et certains indicateurs liés à la sécurité alimentaire sont présentés et discutés dans ce rapport
La grotte Gatzarria à Ossas-Suhare (Pyrénées-Atlantiques). Rapport d'opération annuelle 2019
No full textrapport d'expertise, Rapport de fouille 2019 et Demande de fouille programmée 2020, les mine du Thillot (88), F. Pierre,
No full textPHRASEOROM. Phraséologie du roman contemporain français, anglais et allemand: Compte-rendu de fin de projet ANR DFG PhraseoRom ANR-156FRAL-009
No full textLe Moustier (Saint-Léon-sur-Vézère, Dordogne). Opération de fouille triennale 2019-2021. Rapport intermédiaire 2019
No full textThe antioxidant properties of Edaravone analogs and Amyloid β induced oxidative stress and neurotoxicity in Alzheimer's disease -a quantum mechanical study
No full textThis study has examined the free radical scavenging ability of Edaravone and its analogs towards the stable free radical DPPH and compares such results to the behavior of Edv and analogs with lipid peroxidation. The scavenging activity is directly proportional to the negative of the HOMO-LUMO gaps of the Edv analogs. We have previously shown that inhibition of lipid peroxidation for Edaravone and 35 analogs is dependent on the water desolvation (ΔG desolv,CDS) , lipophilicity (ΔG lipo,CDS), Dipole Moment and the negative of the HOMO-LUMO gap. Lipid peroxidation is a known element of the pathogenesis of Alzheimer's disease. This study has also examined the quantum chemical reactivity properties of the Aβ 25-35 protein and Edaravone to elucidate the factors which drive the binding interactions between the protein and Edaravone. Edaravone and its analogs are known to interact with the Amyloid Precursor Protein (APP) which is the precursor to the A , Aβ 1-42 and Aβ 25-35 proteins which are neurotoxic substances which play an important role in the pathogenesis of Alzheimer's disease. Aβ 25-35 has been used as a convenient proxy in AD investigations since the smaller peptide mimics several of the toxicological and oxidative stress properties of the native full-length peptides A and Aβ 1-42. It is known that Aβ 25-35 is more rapidly toxic and causes more oxidative damage than the parent Aβ 1-42. The redox properties of the C-terminal methionine of Aβ 25-35 has been previously identified as the cause of the enhanced AD reactivity of Aβ 25-35. It is shown that the docking binding energy of 10 Edaravone analogs with Amyloid Precursor Protein (APP) is dependent on the water desolvation, lipophilicity and the negative of the HOMO-LUMO gap of the 10 Edv analogs. This study has also shown that a rotated cation radical conformation of Aβ 25-35 (which is overall less stable than the non-rotated conformation by 24.5 kcal/mol), has a reactive conformation with the LUMO located on the L-methionine that appears to be the basis for the enhanced activity of the C-terminal L-methionine of Aβ 25-35 in AD pathogenesis. The relative energies of the HOMO, LUMO and the HOMO-LUMO energy gaps of the Aβ 25-35 protein in relation to those of Edaravone dictate the reactivity between the Edaravone and the Aβ 25-35 protein. The rotated cation radical Aβ 25-35 conformation is unique in that the LUMO resides on the methionine moiety, whereas other conformations such as the radical, anionic and non-rotated conformations has the HOMO residing on the methionine. This arrangement allows 3 electron bonding overlap between the S + atom and the N atom of methionine. As such, this cation radical bonding arrangement can confer unique redox properties on the methionine of Aβ 25-35 protein which has strong implications for Alzheimer's pathogenesis. The studies of the Aβ 25-35 protein, Edaravone, and the binding energies of the Edaravone analogs to the Amyloid Precursor Protein are all consistent in showing that the HOMO, LUMO and HOMO-LUMO energy gaps are inherent predictors of how such molecular properties are important to Alzheimer's pathogenesis
La bague en or d’Ensisheim « Reguisheimer Feld » (Haut-Rhin): Perduration d’un modèle gaulois
No full textEtude typologique, technologique et archéométrique de la bague en or d'Ensisheim, découverte en contexte d'habitat antique et témoignant de la perduration d'une forme en circulation dès le IVe siècle avant notre ère