255 research outputs found
Secure Refinements of Communication Channels
No full textIt is a common practice to design a protocol (say Q) assuming some secure channels. Then the secure channels are implemented using any standard protocol, e.g. TLS. In this paper, we study when such a practice is indeed secure.
We provide a characterization of both confidential and authenticated channels. As an application, we study several protocols of the literature including TLS and BAC protocols. Thanks to our result, we can consider a larger number of sessions when analyzing complex protocols resulting from explicit implementation of the secure channels of some more abstract protocol Q
Mise en relation de la qualité des produits et des paysages : rapport de synthèse sur la marque viande bovine du parc naturel régional du Morvan
No full text[Departement_IRSTEA]GT [TR1_IRSTEA]RURAMEN / CERES [TR2_IRSTEA]RURAMEN / AMANDEL'objectif de cette étude est de caractériser les liens entre des paysages et des produits dont la qualité est certifiée par un cahier des charges à partir de l'exemple de la marque viande bovine du parc naturel régional du Morvan. Différentes approches (géographique, agronomique, sociologique) ont été mises en ½uvre et croisées afin d'identifier les éléments matériels caractéristiques du paysage et ceux liés à la représentation des acteurs, mis en avant pour promouvoir le produit et pour affirmer le lien entre ce produit et le paysage. Les résultats de cette étude précisent si les éléments paysagers mis en avant (qualifiés d'emblématiques) dans l'atlas des paysages publié par le parc du Morvan concordent avec les représentations des éleveurs de cette région et dans quelle mesure les pratiques et systèmes d'élevage des agriculteurs sont associés aux éléments paysagers emblématiques. Puis l'analyse de l'intentionnalité paysagère des agriculteurs conduit à distinguer pertinence paysagère et engagement dans l'action publique paysagère
Mise en relation de la qualité des produits et des paysages : rapport de synthèse sur la marque viande bovine du parc naturel régional du Morvan
No full text[Departement_IRSTEA]GT [TR1_IRSTEA]RURAMEN / CERES [TR2_IRSTEA]RURAMEN / AMANDEL'objectif de cette étude est de caractériser les liens entre des paysages et des produits dont la qualité est certifiée par un cahier des charges à partir de l'exemple de la marque viande bovine du parc naturel régional du Morvan. Différentes approches (géographique, agronomique, sociologique) ont été mises en ½uvre et croisées afin d'identifier les éléments matériels caractéristiques du paysage et ceux liés à la représentation des acteurs, mis en avant pour promouvoir le produit et pour affirmer le lien entre ce produit et le paysage. Les résultats de cette étude précisent si les éléments paysagers mis en avant (qualifiés d'emblématiques) dans l'atlas des paysages publié par le parc du Morvan concordent avec les représentations des éleveurs de cette région et dans quelle mesure les pratiques et systèmes d'élevage des agriculteurs sont associés aux éléments paysagers emblématiques. Puis l'analyse de l'intentionnalité paysagère des agriculteurs conduit à distinguer pertinence paysagère et engagement dans l'action publique paysagère
Mise en relation de la qualité des produits et des paysages : rapport de synthèse sur la marque viande bovine du parc naturel régional du Morvan
No full text[Departement_IRSTEA]GT [TR1_IRSTEA]RURAMEN / CERES [TR2_IRSTEA]RURAMEN / AMANDEL'objectif de cette étude est de caractériser les liens entre des paysages et des produits dont la qualité est certifiée par un cahier des charges à partir de l'exemple de la marque viande bovine du parc naturel régional du Morvan. Différentes approches (géographique, agronomique, sociologique) ont été mises en ½uvre et croisées afin d'identifier les éléments matériels caractéristiques du paysage et ceux liés à la représentation des acteurs, mis en avant pour promouvoir le produit et pour affirmer le lien entre ce produit et le paysage. Les résultats de cette étude précisent si les éléments paysagers mis en avant (qualifiés d'emblématiques) dans l'atlas des paysages publié par le parc du Morvan concordent avec les représentations des éleveurs de cette région et dans quelle mesure les pratiques et systèmes d'élevage des agriculteurs sont associés aux éléments paysagers emblématiques. Puis l'analyse de l'intentionnalité paysagère des agriculteurs conduit à distinguer pertinence paysagère et engagement dans l'action publique paysagère
Mise en relation de la qualité des produits et des paysages : rapport de synthèse sur la marque viande bovine du parc naturel régional du Morvan
No full text[Departement_IRSTEA]GT [TR1_IRSTEA]RURAMEN / CERES [TR2_IRSTEA]RURAMEN / AMANDEL'objectif de cette étude est de caractériser les liens entre des paysages et des produits dont la qualité est certifiée par un cahier des charges à partir de l'exemple de la marque viande bovine du parc naturel régional du Morvan. Différentes approches (géographique, agronomique, sociologique) ont été mises en ½uvre et croisées afin d'identifier les éléments matériels caractéristiques du paysage et ceux liés à la représentation des acteurs, mis en avant pour promouvoir le produit et pour affirmer le lien entre ce produit et le paysage. Les résultats de cette étude précisent si les éléments paysagers mis en avant (qualifiés d'emblématiques) dans l'atlas des paysages publié par le parc du Morvan concordent avec les représentations des éleveurs de cette région et dans quelle mesure les pratiques et systèmes d'élevage des agriculteurs sont associés aux éléments paysagers emblématiques. Puis l'analyse de l'intentionnalité paysagère des agriculteurs conduit à distinguer pertinence paysagère et engagement dans l'action publique paysagère
Mise en relation de la qualité des produits et des paysages : rapport de synthèse sur la marque viande bovine du parc naturel régional du Morvan
No full text[Departement_IRSTEA]GT [TR1_IRSTEA]RURAMEN / CERES [TR2_IRSTEA]RURAMEN / AMANDEL'objectif de cette étude est de caractériser les liens entre des paysages et des produits dont la qualité est certifiée par un cahier des charges à partir de l'exemple de la marque viande bovine du parc naturel régional du Morvan. Différentes approches (géographique, agronomique, sociologique) ont été mises en ½uvre et croisées afin d'identifier les éléments matériels caractéristiques du paysage et ceux liés à la représentation des acteurs, mis en avant pour promouvoir le produit et pour affirmer le lien entre ce produit et le paysage. Les résultats de cette étude précisent si les éléments paysagers mis en avant (qualifiés d'emblématiques) dans l'atlas des paysages publié par le parc du Morvan concordent avec les représentations des éleveurs de cette région et dans quelle mesure les pratiques et systèmes d'élevage des agriculteurs sont associés aux éléments paysagers emblématiques. Puis l'analyse de l'intentionnalité paysagère des agriculteurs conduit à distinguer pertinence paysagère et engagement dans l'action publique paysagère
Impact du changement de l'utilisation des terres sur la biodiversité de la faune du sol : le cas du Morvan
No full textNational audienceLes changements de biodiversité se placent au cœur des problématiques des changements globaux. L'intensification et le changement d'usage des terres sont devenus des préoccupations constantes pour les décideurs politiques et l'évaluation du risque de perte en biodiversité, lié à la transformation des paysages. L'impact de l'intensification de l'usage du sol sur la faune du sol reste encore peu étudié. Celle-ci joue cependant un rôle important dans le fonctionnement du sol (recyclage de la matière organique, structuration du sol) et contribue à la fourniture de services écosystémiques (comme la séquestration de carbone). Cette étude mesure l'impact de l'intensification de l'usage du sol sur la diversité biologique du sol le long d'un gradient d'intensification des pratiques agricoles dans le Nord du parc naturel régional du Morvan (centre-est de la France). Il se compose de 6 fenêtres paysagères d'un km² distribuées depuis des paysages forestiers (semi-naturel et artificiel) à des paysages agricoles de plus en plus intensifs (clairière agricole en forêt, mosaïque agricole mixte, mosaïque prairiale et mosaïque céréalière). Les composantes de la diversité biologique du sol mesurées sont les carabes, la macrofaune du sol et les collemboles. Les échantillons de ces taxa sont spatialement emboîtés et distribués sur une même grille d'échantillonnage dans les six fenêtres paysagères. L'analyse portera sur une identification hiérarchique des facteurs environnementaux majeurs déterminant les variations de ces jeux de données en prenant en compte trois niveaux d'analyse spatiale : le point d'échantillonnage, le pattern des habitats dans un rayon de 100 m et le pattern des fenêtres paysagères. La discussion portera sur l'impact de l'anthropisation sur la faune du sol et ses implications en termes de fonctionnement écologique
Impact du changement de l'utilisation des terres sur la biodiversité de la faune du sol : le cas du Morvan
No full textNational audienceLes changements de biodiversité se placent au cœur des problématiques des changements globaux. L'intensification et le changement d'usage des terres sont devenus des préoccupations constantes pour les décideurs politiques et l'évaluation du risque de perte en biodiversité, lié à la transformation des paysages. L'impact de l'intensification de l'usage du sol sur la faune du sol reste encore peu étudié. Celle-ci joue cependant un rôle important dans le fonctionnement du sol (recyclage de la matière organique, structuration du sol) et contribue à la fourniture de services écosystémiques (comme la séquestration de carbone). Cette étude mesure l'impact de l'intensification de l'usage du sol sur la diversité biologique du sol le long d'un gradient d'intensification des pratiques agricoles dans le Nord du parc naturel régional du Morvan (centre-est de la France). Il se compose de 6 fenêtres paysagères d'un km² distribuées depuis des paysages forestiers (semi-naturel et artificiel) à des paysages agricoles de plus en plus intensifs (clairière agricole en forêt, mosaïque agricole mixte, mosaïque prairiale et mosaïque céréalière). Les composantes de la diversité biologique du sol mesurées sont les carabes, la macrofaune du sol et les collemboles. Les échantillons de ces taxa sont spatialement emboîtés et distribués sur une même grille d'échantillonnage dans les six fenêtres paysagères. L'analyse portera sur une identification hiérarchique des facteurs environnementaux majeurs déterminant les variations de ces jeux de données en prenant en compte trois niveaux d'analyse spatiale : le point d'échantillonnage, le pattern des habitats dans un rayon de 100 m et le pattern des fenêtres paysagères. La discussion portera sur l'impact de l'anthropisation sur la faune du sol et ses implications en termes de fonctionnement écologique
Impact du changement de l'utilisation des terres sur la biodiversité de la faune du sol : le cas du Morvan
No full textNational audienceLes changements de biodiversité se placent au cœur des problématiques des changements globaux. L'intensification et le changement d'usage des terres sont devenus des préoccupations constantes pour les décideurs politiques et l'évaluation du risque de perte en biodiversité, lié à la transformation des paysages. L'impact de l'intensification de l'usage du sol sur la faune du sol reste encore peu étudié. Celle-ci joue cependant un rôle important dans le fonctionnement du sol (recyclage de la matière organique, structuration du sol) et contribue à la fourniture de services écosystémiques (comme la séquestration de carbone). Cette étude mesure l'impact de l'intensification de l'usage du sol sur la diversité biologique du sol le long d'un gradient d'intensification des pratiques agricoles dans le Nord du parc naturel régional du Morvan (centre-est de la France). Il se compose de 6 fenêtres paysagères d'un km² distribuées depuis des paysages forestiers (semi-naturel et artificiel) à des paysages agricoles de plus en plus intensifs (clairière agricole en forêt, mosaïque agricole mixte, mosaïque prairiale et mosaïque céréalière). Les composantes de la diversité biologique du sol mesurées sont les carabes, la macrofaune du sol et les collemboles. Les échantillons de ces taxa sont spatialement emboîtés et distribués sur une même grille d'échantillonnage dans les six fenêtres paysagères. L'analyse portera sur une identification hiérarchique des facteurs environnementaux majeurs déterminant les variations de ces jeux de données en prenant en compte trois niveaux d'analyse spatiale : le point d'échantillonnage, le pattern des habitats dans un rayon de 100 m et le pattern des fenêtres paysagères. La discussion portera sur l'impact de l'anthropisation sur la faune du sol et ses implications en termes de fonctionnement écologique
Modalisation dans le discours mathématique pédagogique écrit en anglais
No full textThis article offers a quantitative and qualitative study of modalization in mathematical discourse in English. It is based on a corpus made up of extracts from university textbooks for undergraduate and graduate levels. The modalization markers taken into account are the modal auxiliaries, along with some adverbs and extraposed adjectival structures. The approach is that of the theory of enunciative operations. After examining a few features of mathematical speech we try to show why and how these features alter the commonly accepted rules of modalization in the English language. The context of mathematical discourse will be used to refine and expand some interpretations of the modalization markers studied
- …
