Academic literature on the topic 'Preuves interactives'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Preuves interactives.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Preuves interactives"
1
Duraffourg, L., B. Taurel, J. M. Fedeli, and P. Labeye. "Des MEMS à l’optomécanique en cavité." Photoniques, no. 93 (September 2018): 30–36. http://dx.doi.org/10.1051/photon/20189330.
Full textAbstract:
Les travaux sur les microsystèmes mécaniques ont abouti à de nombreux succès techniques. Les technologies relatives aux capteurs inertiels sont désormais transférées à l’industrie, démontrant leur maturité. Ce domaine se renouvelle en intégrant la photonique et en exploitant les interactions de modes optiques résonants avec des modes de résonances mécaniques. Cette nouvelle approche aboutit à des preuves de concept de capteurs optomécaniques ultra sensibles ou de fonctions optiques nouvelles.
2
SZTOMPKA, Piotr. "Devenir social, néo-modernisation et importance de la culture." Sociologie et sociétés 30, no. 1 (2002): 85–94. http://dx.doi.org/10.7202/001781ar.
Full textAbstract:
Résumé Les révolutions anticommunistes de 1989 ont d’importantes implications pour les théories du changement. Elles semblentporter un dernier coup à certains paradigmes évolutionnistes, dialectiques et cycliques du XIXe siècle ainsi qu’à l’image del’utopie sociale. Elles fournissent aussi les preuves solides d’un paradigme alternatif du « devenir social ». Les théories duchangement doivent freiner les aspirations prédictives, devenir plus spécifiques par rapport à l’histoire et se défaire du déterminisme,du fatalisme et du finalisme. Parmi les théories du changement, la théorie de la modernisation doit être revue avecun soin particulier plutôt qu’abandonnée. À l’avenir, les théories du changement, en portant attention aux interactions humaineset en adoptant le modèle du devenir social, devraient accorder une place plus importante aux facteurs « mous », intangibles,comme les codes culturels, l’orientation des valeurs, les formes de discours, les façons d’agir et de penser.
3
Kurenov, Sergei, Juan Cendan, Saleh Dindar, et al. "Surgeon-Authored Virtual Laparoscopic Adrenalectomy Module Is Judged Effective and Preferred Over Traditional Teaching Tools." Surgical Innovation 24, no. 1 (2016): 72–81. http://dx.doi.org/10.1177/1553350616672971.
Full textAbstract:
Objective. The study assesses user acceptance and effectiveness of a surgeon-authored virtual reality (VR) training module authored by surgeons using the Toolkit for Illustration of Procedures in Surgery (TIPS). Methods. Laparoscopic adrenalectomy was selected to test the TIPS framework on an unusual and complex procedure. No commercial simulation module exists to teach this procedure. A specialist surgeon authored the module, including force-feedback interactive simulation, and designed a quiz to test knowledge of the key procedural steps. Five practicing surgeons, with 15 to 24 years of experience, peer reviewed and tested the module. In all, 14 residents and 9 fellows trained with the module and answered the quiz, preuse and postuse. Participants received an overview during Surgical Grand Rounds session and a 20-minute one-on-one tutorial followed by 30 minutes of instruction in addition to a force-feedback interactive simulation session. Additionally, in answering questionnaires, the trainees reflected on their learning experience and their experience with the TIPS framework. Results. Correct quiz response rates on procedural steps improved significantly postuse over preuse. In the questionnaire, 96% of the respondents stated that the TIPS module prepares them well or very well for the adrenalectomy, and 87% indicated that the module successfully teaches the steps of the procedure. All participants indicated that they preferred the module compared to training using purely physical props, one-on-one teaching, medical atlases, and video recordings. Conclusions. Improved quiz scores and endorsement by the participants of the TIPS adrenalectomy module establish the viability of surgeons authoring VR training.
4
Sobek, David, and Jeremy Wells. "Dangerous Liaisons: Dyadic Power Transitions and the Risk of Militarized Disputes and Wars." Canadian Journal of Political Science 46, no. 1 (2013): 69–92. http://dx.doi.org/10.1017/s0008423913000218.
Full textAbstract:
Abstract.Power transition theory has been both theoretically and empirically developed in the context of a hierarchy (both global and regional). Yet the logic of the theory describes the interactions of a hegemon in relation to a rising challenger, which is essentially a dyadic interaction. As a result, we argue that power transition theory is a dyadic theory that can be examined across all dyads. We test power transition in a data set of all non-directed dyads from 1816 to 2001. Our results find robust evidence that dyadic power transitions increase the risk of militarized disputes. In addition, this result is not actually contingent on the dyad containing either powerful states or those with dissimilar preferences.Résumé.La théorie de la transition du pouvoir a été à la fois théorique et empirique développée dans le cadre d'une hiérarchie (à la fois mondial et régional). Pourtant, la logique de la théorie décrit les interactions d'une puissance hégémonique par rapport à un challenger en hausse, qui est essentiellement une interaction dyadique. En conséquence, nous soutenons que la théorie de la transition du pouvoir est une théorie dyadique qui peut être examiné à travers toutes les dyades. Nous testons transition de puissance dans un ensemble de toutes les dyades non-directifs 1816–2001 données. Nos résultats trouvent des preuves solides que les transitions de pouvoir dyadique augmentent le risque de conflits militarisés. En outre, ce résultat n'est pas réellement subordonnée à la dyade contenant soit des Etats puissants ou ceux qui ont des préférences différentes.
5
Robitaille, Annie, Heather Orpana, and Cameron N. McIntosh. "Reciprocal Relationship between Social Support and Psychological Distress among a National Sample of Older Adults: An Autoregressive Cross-Lagged Model." Canadian Journal on Aging / La Revue canadienne du vieillissement 31, no. 1 (2012): 13–24. http://dx.doi.org/10.1017/s0714980811000560.
Full textAbstract:
RÉSUMÉDans cette étude, nous avons examiné les relations longitudinales entre les cinq dimensions de soutien social et la détresse psychologique afin de déterminer si (1) le soutien social est lié à niveaux subséquentes de la détresse psychologique ; ou (2) si les niveaux de détresse psychologique ont été liés à des niveaux ultérieurs de soutien social ; ou (3) si la détresse et le soutien avaient une relation réciproque (bi-directionnel) à travers le temps. L’étude a examiné le rapport bidirectionnel longitudinal entre les dimensions différentes du soutien social et la détresse psychologique, en utilisant un modèle autorégressif de corrélation avec décalage pour cinq périodes de données. Nous avons trouvé des preuves (d’appui) de la relation réciproque entre le soutien affectueux et la détresse. L’augmentation de la détresse psychologique etait liée à des niveaux élevés de la suite des interactions sociales positives et significativement liée a un soutien par la suite plus émotionnel et informationnel. Aucune relation significative n’a été trouvée entre un soutien tangible et structurelle et la détresse psychologique. Cette étude démontre que les différents types de soutien sont associés avec la détresse psychologique d’une manière correspondante et que la détresse psychologique peut être important, deux ans plus tard, pour prévoir des niveaux de soutien social.
6
Mueller, Marius, Michael Knop, Bjoern Niehaves, and Charles Christian Adarkwah. "Investigating the Acceptance of Video Consultation by Patients in Rural Primary Care: Empirical Comparison of Preusers and Actual Users." JMIR Medical Informatics 8, no. 10 (2020): e20813. http://dx.doi.org/10.2196/20813.
Full textAbstract:
Background The ongoing digitalization in health care is enabling patients to receive treatment via telemedical technologies, such as video consultation (VC), which are increasingly being used by general practitioners. Rural areas in particular exhibit a rapidly aging population, with an increase in associated health issues, whereas the level of attraction for working in those regions is decreasing for young physicians. Integrating telemedical approaches in treating patients can help lessen the professional workload and counteract the trend toward the spatial undersupply in many countries. As a result, an increasing number of patients are being confronted with digital treatment and new forms of care delivery. These novel ways of care engender interactions with patients and their private lives in unprecedented ways, calling for studies that incorporate patient needs, expectations, and behavior into the design and application of telemedical technology within the field of primary care. Objective This study aims to unveil and compare the acceptance-promoting factors of patients without (preusers) and with experiences (actual users) in using VC in a primary care setting and to provide implications for the design, theory, and use of VC. Methods In total, 20 semistructured interviews were conducted with patients in 2 rural primary care practices to identify and analyze patient needs, perceptions, and experiences that facilitate the acceptance of VC technology and adoption behavior. Both preusers and actual users of VC were engaged, allowing for an empirical comparison. For data analysis, a procedure was followed based on open, axial, and selective coding. Results The study delivers factors and respective subdimensions that foster the perceptions of patients toward VC in rural primary care. Factors cover attitudes and expectations toward the use of VC, the patient-physician relationship and its impact on technology assessment and use, patients’ rights and obligations that emerge with the introduction of VC in primary care, and the influence of social norms on the use of VC and vice versa. With regard to these factors, the results indicate differences between preusers and actual users of VC, which imply ways of designing and implementing VC concerning the respective user group. Actual users attach higher importance to the perceived benefits of VC and their responsibility to use it appropriately, which might be rooted in the technological intervention they experienced. On the contrary, preusers valued the opinions and expectations of their peers. Conclusions The way the limitations and potential of VC are perceived varies across patients. When practicing VC in primary care, different aspects should be considered when dealing with preusers, such as maintaining a physical interaction with the physician or incorporating social cues. Once the digital intervention takes place, patients tend to value benefits such as flexibility and effectiveness over potential concerns.
7
BELLON, S., S. PRACHE, M. BENOIT, and J. CABARET. "Recherches en élevage biologique : enjeux, acquis et développements." INRAE Productions Animales 22, no. 3 (2009): 271–84. http://dx.doi.org/10.20870/productions-animales.2009.22.3.3353.
Full textAbstract:
Au regard des objectifs de développement de l’agriculture biologique (AB) affichés au niveau français, l’élevage est potentiellement un contributeur important. Le modèle de polyculture-élevage est un des fondamentaux de l’AB et a fait la preuve de sa robustesse. Mais aujourd’hui, on constate une diversité d’intégrations de l’élevage dans des unités de production, et des exigences nouvelles s’imposent à l’AB en termes de performances, du fait d’évolutions réglementaires ou de la situation des marchés. Quatre thématiques de recherche sont jugées prioritaires : i) concevoir des systèmes d’élevage plus autonomes et économes en intrants, en combinant expérimentations et suivis en ferme ; ii) évaluer l’état sanitaire des troupeaux et les outils thérapeutiques alternatifs, conformément aux attendus réglemen- taires en termes de santé et de bien-être des animaux ; iii) améliorer la maîtrise des qualités nutritionnelles, sensorielles et sanitaires des produits animaux ; iv) renforcer les interactions entre élevage biologique et environnement, en privilégiant ses impacts sur la biodiversité et sur les émissions de gaz à effet de serre, ainsi que les consommations énergétiques et les transferts de fertilité dans ou entre les unités de production. Les enseignements méthodologiques de projets de recherche sont précisés dans une dernière partie, en distinguant évaluation des performances et contributions au développement de l’AB.
8
Maghsoudlou, Salimeh. "THE STATUS OF THE SPIRIT IN AL-MUSTAMLĪ AL-BUḪĀRĪ’S ŠARḤ AL-TA‘ARRUF: CASE STUDY OF THE INTERRELATIONSHIPS OF ḤANAFITE SUFISM, SUNNĪ KALĀM AND AVICENNISM IN THE FIFTH / ELEVENTH CENTURY TRANSOXIANA". Arabic Sciences and Philosophy 28, № 2 (2018): 225–55. http://dx.doi.org/10.1017/s0957423918000036.
Full textAbstract:
RésuméLa première partie de cet article est consacrée à la présentation d'al-Mustamlī al-Buḫārī et du commentaire volumineux qu'il a rédigé sur al-Ta‘rruf li-maḏhab altaṣawwuf d'al-Kalābāḏī. Al-Mustamlī et al-Kalābāḏī avaient, tous les deux, un grand penchant pour les discussions de kalām et al-Mustamlī s'est étendu sur nombre de questions théologiques dans son commentaire, le Šarḥ al-Ta‘arruf. Au vu de la présence de sujets propres au kalām dans le livre d'al-Mustamlī, cet article abordera la question de l'appartenance de ce dernier aux écoles de la théologie sunnite et montrera que malgré sa proximité géographique avec Abū Manṣūr al-Māturīdī, al-Mustamlī était probablement affilié à l’école d'Abū l-Ḥasan al-Aš‘arī. La seconde partie de cet article portera sur le problème de la nature de l'esprit (rūḥ) dans le traitement qu'en offre al-Mustamlī. En abordant cette question, al-Mustamlī est allé au-delà des frontières de l'anthropologie physicaliste du kalām et son argument en faveur de l'existence de l'esprit offre des affinités avec la preuve avicennienne de l'existence de l’âme rationnelle, telle qu'elle se présente dans le fameux argument de l'homme volant. L'ouvrage d'al-Mustamlī constitue donc une source importante pour comprendre l'histoire intellectuelle en Transoxiane et les interactions entre les différents groupes de théoriciens – mutakallimūn, Sufis et falāsifa.
9
Hull, Mark, Pierre Giguère, Marina Klein, et al. "Le Domaine des Co-infections et des Maladies Concomitantes du Réseau Canadien pour les Essais VIH des IRSC : Lignes Directrices Canadiennes pour la Prise en Charge et le Traitement de la Co-Infection par le VIH et l’Hépatite C chez les Adultes." Canadian Journal of Infectious Diseases and Medical Microbiology 25, no. 1 (2014): 39–62. http://dx.doi.org/10.1155/2014/921314.
Full textAbstract:
HISTORIQUE: De 20 % à 30 % des Canadiens qui vivent avec le VIH sont co-infectés par le virus de l’hépatite C (VHC), lequel est responsable d’une morbidité et d’une mortalité importantes. La prise en charge du VIH et du VHC est plus complexe en raison de l’évolution accélérée de la maladie hépatique, du choix et des critères d’initiation de la thérapie antirétrovirale et du traitement anti-VHC, de la prise en charge de la santé mentale et des toxicomanies, des obstacles socioéconomiques et des interactions entre les nouvelles thérapies antivirales à action directe du VHC et les antirétrovirauxOBJECTIF: Élaborer des normes nationales de prise en charge des adultes co-infectés par le VHC et le VIH dans le contexte canadien.MÉTHODOLOGIE: Le Réseau canadien pour les essais VIH des Instituts de recherche en santé du Canada a réuni un groupe d’experts possédant des compétences cliniques en co-infection par le VIH et le VHC pour réviser les publications à jour ainsi que les lignes directrices et les protocoles en place. Après une vaste sollicitation afin d’obtenir des points de vue, le groupe de travail a approuvé des recommandations consensuelles, qu’il a caractérisées au moyen d’une échelle de qualité des preuves fondée sur la classe (bienfaits par rapport aux préjudices) et sur la catégorie (degré de certitude).RÉSULTATS: Toutes les personnes co-infectées par le VIH et le VHC devraient subir une évaluation en vue de recevoir un traitement du VHC. Les personnes qui ne sont pas en mesure d’entreprendre un traitement du VHC devraient être soignées pour le VIH afin de ralentir l’évolution de la maladie hépatique. La norme de traitement du VHC de génotype 1 est un régime comprenant de l’interféron pégylé et de la ribavirine dosée en fonction du poids, associés à un inhibiteur de la protéase du VHC. Pour les génotypes 2 ou 3, une bithérapie classique est recommandée pendant 24 semaines s’il y a clairance virologique à la semaine 4 ou, pour les génotypes 2 à 6, à 48 semaines. On peut envisager de reporter le traitement chez les personnes ayant une maladie hépatique légère. Le VIH ne devrait pas être considéré comme un obstacle à la transplantation hépatique chez les patients co-infectés.EXPOSÉ: Les recommandations ne se substituent pas au jugement clinique personnel.
10
Strauss, Michael J. "The use of natural resources to influence state recognition: Africa as a laboratory / L’utilisation des ressources naturelles pour influencer la reconnaissance de l’État : l’Afrique comme laboratoire." Journal of the African Union Commission on International Law 2021 (2021): 102–30. http://dx.doi.org/10.47348/aucil/2021/a3.
Full textAbstract:
The recognition of states is a critical feature of international law, defining the actors that are subject to it and conferring rights and duties related to their interactions with other states. This recognition is traditionally based on criteria that are deemed essential for a state to exist, even if political factors often play a role. In recent years, it has become apparent that state recognition and de-recognition is sometimes linked to the recognising state’s future access to natural resources found on the territory of the state whose sovereignty is being recognised there. Although this phenomenon is not openly stated, the evidence is circumstantial but abundant, and Africa is at the centre of it. This makes the continent a laboratory for the practice and its consequences, not only for the states involved but also for the broader recognition process. This phenomenon seems to be occurring in two ways. The first way in which this happens is when states use their capacity to produce natural resources that other states need in order to obtain concessions from those states in the form of recognitions of sovereignty over the territory involved. An example is Morocco and its enormous phosphate reserves: various African states that need phosphate for food production have de-recognised the Sahrawi Arab Democratic Republic as an independent state, while recognising Moroccan sovereignty over the same territory – the former Spanish Sahara. The other way in which this happens is illustrated by China’s investments in numerous African countries. The exploitation of natural resources that can be exported to China has been the primary motive for such investments. Some African states that have sought to attract investments have derecognised Taiwan and have recognised China’s sovereignty over the island. This paper describes and assesses the apparent links between African natural resources and the forces that influence state recognition, with a view to identifying the consequences for Africa and for states around the world more generally. La reconnaissance des États est une caractéristique essentielle du droit international ; définir les acteurs qui y sont soumis et leur conférer des droits et obligations liés à leurs interactions avec d’autres États. Cette reconnaissance est traditionnellement basée sur des critères jugés essentiels à l’existence d’un État, même si parfois les facteurs politiques jouent un rôle. Ces dernières années, il est devenu évident que la reconnaissance et le désaveu d’un État sont parfois liés à l’accès futur de l’État reconnu aux ressources naturelles trouvées sur le territoire de l’État dont la souveraineté y est reconnue. Bien que ce phénomène n’est pas clairement/ouvertement déclaré, la preuve est circonstancielle mais abondante, et l’Afrique en est le centre. Cela fait du continent un laboratoire pour la pratique et ses conséquences, non seulement pour les États concernés mais aussi en général pour le processus de reconnaissance. Ce phénomène semble se produire de deux façons. La première façon dont cela se produit est lorsque les États utilisent leur capacité à produire lesº ressources naturelles dont d’autres ont besoin enfin d’obtenir des concessions de ces États sous la forme de la reconnaissance de souveraineté sur le territoire concerné. Le Maroc avec ses énormes réserves de phosphate en est un exemple : divers États africains qui ont besoin de phosphate pour la production alimentaire ont désavoué la République arabe sahraouie démocratique comme un État indépendant tout en reconnaissant la souveraineté marocaine sur le même territoire – l’ancien Sahara espagnol. L’autre manière dont cela se produit est illustrée par l’investissement chinois dans beaucoup de pays africains. Cette exploitation des ressources naturelles que la Chine peux exporter est le principal motif de ces investissements, car certains États africains qui cherchent à attirer les investissements ont désavoué Taiwan et ont reconnu la souveraineté de la Chine sur le l’île. Cette article décrit et analyse les liens apparents entre les ressources naturelles africaines et les forces qui influencent la reconnaissance de l’État, dans un but d’identifier les conséquences pour l’Afrique et les États du monde en général.
Dissertations / Theses on the topic "Preuves interactives"
1
Blazy, Olivier. "Preuves de connaissances interactives et non-interactives." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00768787.
Full textAbstract:
Dans cette th ese, nous proposons et utilisons de nouvelles briques conduisant a des protocoles e caces dans le cadre d'une approche modulaire de la cryptographie. Tout d'abord dans un contexte non-interactif en s'appuyant sur les preuves Groth-Sahai, puis avec des interactions en permettant aux Smooth Projective Hash Functions de g erer de nouveaux langages. Dans un premier temps cette th ese s'appuie sur la m ethodologie introduite par Groth et Sahai pour des preuves de connaissance non-interactives pour d evelopper divers protocoles de signatures de groupe dans le mod ele standard, puis de signatures en blanc. Pour cela, nous proposons un syst eme permettant de signer un chi r e de mani ere telle que, sous r eserve de connaissance d'un secret ind ependant du protocole de signature, il soit possible de retrouver une signature sur un clair. Cette approche nous permet entre autre de proposer un protocole de signatures en blanc avec un nombre optimal d'interactions a la n duquel le demandeur peut utiliser une signature usuelle et ce sous des hypoth eses classiques dans le mod ele standard. Ensuite nous proposons une nouvelle m ethodologie pour faire des preuves implicites de connaissance dans un contexte interactif sans oracle al eatoire. Pour cela nous utilisons les smooth projective hash functions, dans un premier temps pour faire des Oblivious Signature-Based Envelopes, puis dans des protocoles d'authenti cation et de mise en accord de cl es. Ce faisant nous pr ecisons la notion de langage, et elargissons grandement le spectre des langages pouvant ^etre trait es a l'aide de ces SPHF. Gr^ace a ce r esultat nous introduisons le concept de LAKE (Language Authenticated Key Exchange) ou encore Echange de cl es authenti e par un langage : un moyen pour deux utilisateurs de se mettre d'accord sur une cl e si chacun poss ede un secret v eri ant une contrainte esp er ee par l'autre. Nous montrons alors comment instancier plusieurs protocoles d' echange de cl e sous ce regard plus effi cacement qu'avec les techniques actuelles, et nous prouvons la s ecurit e de nos instanciations dans le mod ele UC sous des hypoth eses usuelles.
2
Blazy, Olivier. "Preuves de connaissance interactives et non-interactives." Paris 7, 2012. http://www.theses.fr/2012PA077091.
Full textAbstract:
Dans cette thèse, nous proposons et utilisons de nouvelles briques conduisant à des protocoles efficaces dans le cadre d'une approche modulaire de la cryptographie. A la fois dans un contexte non-interactif en s'appuyant sur les preuves Groth-Sahai, et avec des interactions en permettant aux Smooth Projective Hash Functions de gérer de nouveaux langages. Dans un premier temps cette thèse s'appuie sur la méthodologie de Groth et Sahai pour développer divers protocoles de signatures de groupe dans le modèle standard, puis de signatures en blanc. Nous proposons un système permettant de signer un chiffré de manière telle que, sous réserve de connaissance d'un secret annexe, il soit possible de retrouver une signature sur un clair. Ceci nous permet entre autre de proposer un protocole de signatures en blanc avec un nombre optimal d'interactions à la fin duquel le demandeur peut utiliser une signature usuelle. Puis nous proposons une nouvelle méthodologie pour faire des preuves implicites de connaissance dans un contexte interactif sans oracle aléatoire. Pour cela nous utilisons les SPHF, et pour faire des Oblivious Signature-Based Envelopes, et dans des protocoles d'authentification et de mise en accord de clés. Ce faisant nous précisons la notion de langage, et élargissons grandement le spectre des langages compatibles. Nous introduisons alors ! le concept de LAKE : deux utilisateurs de se mettent d'accord sur une clé si chacun possède un secret vérifiant une contrainte espérée par l'autre. Nous montrons comment instancier plusieurs protocoles d'échange de clé sous ce regard plus efficacement qu'avec les techniques actuelles en les prouvant dans le modèle UCIn this thesis, we create new building blocks and use them to present new efficient protocols via a modular design. We begin by using the Groth-Sahai methodology for non-interactive proofs to design various group signature protocols in the standard model. We also present a new approach allowing to sign ciphertext and then under the knowledge of a secret independent from the signature protocol we show how a user can recover the signature on the plaintext, creating this way some sort of commutative property between signature and encryption where a decryption of a signature on a ciphertext provides a signature on the associated plaintext. This approach allows us to build a Round-Optimal Blind Signature scheme where the user can ultimately exploit a regular signature. We prove the security of this construction under classical hypotheses in the standard model. We then present a new methodology for implicit proofs of knowledge in an interactive environment without random oracle. For that we use Smooth Projective Hash Functions, first to instantiate Oblivious Signature-Based Envelope schemes, and then to create Authenticated Key Exchange scheme. Throughout this process we refine the notion of language, and widen the set of languages manageable via SPHF. This last result allows us to introduce the concept of LAKE (Language AKE), a new design where two users will be able to share a common key if they both possess a secret word in a language expected by the other. We then show how to build standard AKE schemes using our framework, and show that our design leads to an increment in efficiency from existing solutions. We prove the security of our design in the UC framework
3
Fallot, Laurent. "Une aide interactive à la construction de preuves en logique du premier ordre." Bordeaux 1, 1989. http://www.theses.fr/1989BOR10526.
Full textAbstract:
Le systeme formel implante s'inspire de la deduction naturelle, s'approchant de l'ecriture des preuves dans un texte mathematique courant. Les resultats prouves peuvent etre sauvegardes et utilises ulterieurement comme regles d'inference pour d'autres preuves
4
Tremblay, Shirley, and Shirley Tremblay. "Impacts d'une plateforme interactive «web» chez les enfants du primaire de 9 et 10 ans : preuve de concept." Master's thesis, Université Laval, 2020. http://hdl.handle.net/20.500.11794/38111.
Full textAbstract:
Plusieurs solutions en lien avec les bienfaits de l’activité physique et les technologies sont mises en oeuvre afin d’améliorer la condition physique et la santé dès l’âge du primaire. Par conséquent, ce projet se veut une preuve de concept ayant pour but d’étudier les effets d’une nouvelle plateforme interactive « web » sur la santé globale, l’aptitude physique, le rendement scolaire et la motivation des enfants de 9 et 10 ans. Une population restreinte composée d’élèves de deux classes de 4e année du primaire provenant de deux écoles différentes a été évaluée à deux reprises sur trois mois lors de l’année scolaire. La première collecte de données a eu lieu en février et la deuxième, en mai. Ainsi, les élèves ont été évalués à l’aide de 12 tests d’habiletés motrices UQAC-UQAM ainsi que de différents questionnaires. Les deux écoles ont été sélectionnées puisqu’elles respectaient le critère de provenance, soit de faire partie de la région du Saguenay au Québec. Au total, il y a eu 39 participants, c’est-à-dire une classe de 19 élèves et une de 20 élèves. Le recrutement s’est fait sur une base volontaire avec l’approbation éthique du Comité éthique de la recherche (CER). Un consentement des enseignants, des parents / tuteurs ainsi que des élèves a été signé. Les résultats des données anonymisées révèlent que la plateforme le Trotteur a eu des impacts favorables sur l’aptitude physique (habiletés motrices), la motivation, la quantité d’activité physique réalisée et le nombre de kilomètres cumulés avec le Trotteur. En plus, les bienfaits de l’activité physique semblent engendrer une tendance favorable sur l’estime de soi, l’image corporelle et le sommeil. Il apparaît que la plateforme utilisant le tableau interactif à l’école est une motivation pour les jeunes. En conclusion, les résultats, ne pouvant pas être généralisés, peuvent toutefois orienter d’autres projetsPlusieurs solutions en lien avec les bienfaits de l’activité physique et les technologies sont mises en oeuvre afin d’améliorer la condition physique et la santé dès l’âge du primaire. Par conséquent, ce projet se veut une preuve de concept ayant pour but d’étudier les effets d’une nouvelle plateforme interactive « web » sur la santé globale, l’aptitude physique, le rendement scolaire et la motivation des enfants de 9 et 10 ans. Une population restreinte composée d’élèves de deux classes de 4e année du primaire provenant de deux écoles différentes a été évaluée à deux reprises sur trois mois lors de l’année scolaire. La première collecte de données a eu lieu en février et la deuxième, en mai. Ainsi, les élèves ont été évalués à l’aide de 12 tests d’habiletés motrices UQAC-UQAM ainsi que de différents questionnaires. Les deux écoles ont été sélectionnées puisqu’elles respectaient le critère de provenance, soit de faire partie de la région du Saguenay au Québec. Au total, il y a eu 39 participants, c’est-à-dire une classe de 19 élèves et une de 20 élèves. Le recrutement s’est fait sur une base volontaire avec l’approbation éthique du Comité éthique de la recherche (CER). Un consentement des enseignants, des parents / tuteurs ainsi que des élèves a été signé. Les résultats des données anonymisées révèlent que la plateforme le Trotteur a eu des impacts favorables sur l’aptitude physique (habiletés motrices), la motivation, la quantité d’activité physique réalisée et le nombre de kilomètres cumulés avec le Trotteur. En plus, les bienfaits de l’activité physique semblent engendrer une tendance favorable sur l’estime de soi, l’image corporelle et le sommeil. Il apparaît que la plateforme utilisant le tableau interactif à l’école est une motivation pour les jeunes. En conclusion, les résultats, ne pouvant pas être généralisés, peuvent toutefois orienter d’autres projets
5
Rassafi-Guibal, Hicham. "La notion de preuve économique : essai sur les interactions entre droit et économie en droits administratifs français et européen." Thesis, Valenciennes, 2016. http://www.theses.fr/2016VALE0015.
Full textAbstract:
La preuve économique est un objet complexe situé à la confluence du droit et de l’économie. Elle est un outil de dialogue entre ces deux disciplines. Dans la mécanique du droit, elle se retrouve lorsqu’une analyse économique est nécessaire à sa réalisation. En tant qu’elle supporte un discours économique, elle oblige le droit à rechercher des objets particuliers, susceptibles de se substituer au raisonnement juridique. Mais en tant que preuve juridique, elle interroge sur le degré d’assujettissement du droit par rapport à l’économie. Elle apparaît donc comme un moyen de conciliation entre les exigences de l’économie et de la science économique d’un côté, et la réalisation des finalités du droit de l’autre. Cette conciliation est effectuée par l’autorité administrative dont les activités normatives et de régulation, notamment, en influencent la formation. Le contexte administratif n’est pas neutre. Par ailleurs, la pratique du juge administratif et du juge de l’Union, réalisant son office en tant que juge administratif, lui offre un cadre procédural d’administration qui conditionne la façon dont le dialogue entre le droit et l’économie s’opère concrètementThe economic evidence is a complex subject just at the confront of Law and Economics. It plays a role of dialogue between these two fields. As a subject of the legal system, it appears when an economic analysis is necessary fulfilling the Law, it substitues legal reasoning for economic analysis. However, it questions how deep is the subjection of law facing economics. More precisely, it questions how Law and Economics uses each other. The economic evidence is a tool for conciliation between ends and purposes of Laws and requirements of economic thought and necessities of economic game. It is to the Administrative authority to fulfill the conciliation, under the constant review of the judge. The administrative law context has a great influence on the way different requirements are combined
6
Brun, Lélio. "Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation." Thesis, Université Paris sciences et lettres, 2020. http://www.theses.fr/2020UPSLE003.
Full textAbstract:
Les spécifications basées sur les schémas-blocs et machines à états sont utilisées pour la conception de systèmes de contrôle-commande, particulièrement dans le développement d'applications critiques. Des outils tels que Scade et Simulink/Stateflow sont équipés de compilateurs qui traduisent de telles spécifications en code exécutable. ls proposent des langages de programmation permettant de composer des fonctions sur des flots, tel que l'illustre le langage synchrone à flots de données Lustre. Cette thèse présente Vélus, un compilateur Lustre vérifié dans l'assistant de preuves interactif Coq. Nous développons des modèles sémantiques pour les langages de la chaîne de compilation, et utilisons le compilateur C vérifié CompCert pour générer du code exécutable et donner une preuve de correction de bout en bout. Le défi principal est de montrer la préservation de la sémantique entre le paradigme flots de données et le paradigme impératif, et de raisonner sur la représentation bas niveau de l'état d'un programme. En particulier, nous traitons le reset modulaire, une primitive pour réinitialiser des sous-systèmes. Ceci implique la mise en place de modèles sémantiques adéquats, d'algorithmes de compilation et des preuves de correction correspondantes. Nous présentons un nouveau langage intermédiaire dans le schéma habituel de compilation modulaire dirigé par les horloges de Lustre. Ceci débouche sur l'implémentation de passes de compilation permettant de générer un meilleur code séquentiel, et facilite le raisonnement sur la correction des transformations successives du reset modulaireSpecifications based on block diagrams and state machines are used to design control software, especially in the certified development of safety-critical applications. Tools like Scade and Simulink/Stateflow are equipped with compilers that translate such specifications into executable code. They provide programming languages for composing functions over streams as typified by dataflow synchronous languages like Lustre. In this thesis we present Vélus, a Lustre compiler verified in the interactive theorem prover Coq. We develop semantic models for the various languages in the compilation chain, and build on the verified CompCert C compiler to generate executable code and give an end-to-end correctness proof. The main challenge is to show semantic preservation between the dataflow paradigm and the imperative paradigm, and to reason about byte-level representations of program states. We treat, in particular, the modular reset construct, a primitive for resetting subsystems. This necessitates the design of suitable semantic models, compilation algorithms and corresponding correctness proofs. We introduce a novel intermediate language into the usual clock-directed modular compilation scheme of Lustre. This permits the implementation of compilation passes that generate better sequential code, and facilitates reasoning about the correctness of the successive transformations of the modular reset construct
7
Ortiz, Domènech Jordi. "Análisis de los criterios para el desarrollo de aplicaciones interactivas para pequeñas y medianas empresas: el caso de las aplicaciones en entornos de proyectos de instalaciones." Doctoral thesis, Universitat Politècnica de Catalunya, 2012. http://hdl.handle.net/10803/125116.
Full textAbstract:
The research examines the criteria that should be considered to pose an interactive application in relation to the needs of the engineer-designer-user in the "small and medium enterprises" background. It also appears the need to consider the possibility of creating interactive applications which let perform diffferent installation projects.
The general hypothesis starting point is the use of interactive applications as a standard tool in small and medium enterprises working in engineering facilities, improving business productivity, reducing errors and improving project acquisition and knowledge management users.
Considering the areas, the purposes and the goals of this research, it responds to the problematic aspects of the installation projects and the problems that need to be solved in the interactive applications. It also responds to the possibility of generating interactive applications that meet the needs of small and medium enterprises in the engineering environment and also creats interactive applications wich help to control over the installations projects.
The needs assessment of small and medium enterprises in the project engineering area has been perfomed by using empirical data adquired by analyzing the characteristics of the investigated companies, their capability on creating its known-how, the way of how they implement their methodology in the project performing and their information, learning and development projects needs.
In the setting of this research theoretical proposals are reviewed relating the project implementation rules and it is also analyzed the standards and norms that affect the activity projects and the installation projects. It's also discussed the administrative procedures of enginnering project processing record.
Finally, the thesis explores in the influence of technological innovation in the business environment, on the way that affects the organizational structure, and points out the influences the new competitive dynamics in the in the new information society
8
Jamal, Sarah. "Le rôle de la science dans l’établissement des faits en droit international : contribution à l'analyse des interactions entre le droit et la science." Thesis, Paris 2, 2019. http://www.theses.fr/2019PA020011.
Full textAbstract:
L’analyse des interactions entre la science et le droit dans les procédures d’établissement des faits est une thématique ancienne en droit international. Pourtant, la technicisation de la société et la complexification des connaissances scientifiques invitent à une relecture de cette question. La comparaison des différentes pratiques fait apparaître que les interactions entre le praticien du droit et les scientifiques en matière d’établissement des faits correspondent à un modèle de co-établissement des faits, et ce, quelle que soit la forme que prend la participation du scientifique en droit. Le praticien du droit et le scientifique combinent leurs compétences pour établir les faits. Leur coopération ne se limite pas à une procédure d’établissement des faits. Bien au contraire, dépassant les frontières d’une procédure, leurs échanges se répercutent dans les procédures d’établissement des faits créant ainsi une résonance du fait co-établi. Toutefois, l’existence d’une coopération entre eux n’exclut pas un contrôle de la connaissance ainsi forgée – contrôle nécessaire au maintien de l’identité de la pensée juridique. Il appartient alors au praticien du droit de vérifier la relevance du fait co-établi avant de l’intégrer à son établissement des faitsThe analysis of interaction between science and international law in establishing facts is an ancient thematic and yet the societal technicization and the complexity of modern scientific knowledge lead us to study this question with a new and deeper reflection. The comparison of different practices revealed that interaction between scientists in fact-finding and the legal practitioners correspond to a model of co-establishment of the facts, and this, regardless of the form of the scientists’ participation. Their skills are combined to determine the existence of the fact in law. This cooperation is not limited to a fact-finding procedure. On the contrary, it goes beyond the borders of a procedure ; and their exchanges are reflected in procedures for establishing the facts thus creating a resonance of the co-established fact. Nonetheless, if the judicial system reveals itself to be a system open towards scientific knowledge, it organises its relationship with science so as to maintain its own identity. It is therefore up to the legal practitioner to verify the relevancy of the fact co-established before its integration into the establishment of facts
9
Blier, Hugue. "Preuves interactives quantiques." Thèse, 2009. http://hdl.handle.net/1866/3567.
Full textAbstract:
Cette thèse est consacrée à la complexité basée sur le paradigme des preuves interactives.
Les classes ainsi définies ont toutes en commun qu’un ou plusieurs prouveurs,
infiniment puissants, tentent de convaincre un vérificateur, de puissance bornée, de
l’appartenance d’un mot à un langage. Nous abordons ici le modèle classique, où les
participants sont des machines de Turing, et le modèle quantique, où ceux-ci sont
des circuits quantiques. La revue de littérature que comprend cette thèse s’adresse
à un lecteur déjà familier avec la complexité et l’informatique quantique.
Cette thèse présente comme résultat la caractérisation de la classe NP par une
classe de preuves interactives quantiques de taille logarithmique.
Les différentes classes sont présentées dans un ordre permettant d’aborder aussi
facilement que possible les classes interactives. Le premier chapitre est consacré aux
classes de base de la complexité ; celles-ci seront utiles pour situer les classes subséquemment
présentées. Les chapitres deux et trois présentent respectivement les
classes à un et à plusieurs prouveurs. La présentation du résultat ci-haut mentionné
est l’objet du chapitre quatre.This thesis is devoted to complexity theory based on the interactive proof paradigm. All classes defined in this way involve one or many infinitely powerful provers attempting to convince a verifier of limited power that a string belongs to a certain language. We will consider the classical model, in which the various participants are Turing machines, as well as the quantum model, in which they are quantum circuits. The literature review included in this thesis assume that the reader is familiar with the basics of complexity theory and quantum computing. This thesis presents the original result that the class NP can be characterized by a class of quantum interactive proofs of logarithmic size. The various classes are presented in an order that facilitates the treatment of interactive classes. The first chapter is devoted to the basic complexity classes; these will be useful points of comparison for classes presented subsequently. Chapters two and three respectively present classes with one and many provers. The presentation of the result mentioned above is the object of chapter four.
10
Blier, Hugue. "Preuves interactives classiques." Thèse, 2006. http://hdl.handle.net/1866/16728.
Full textConference papers on the topic "Preuves interactives"
1
Ait-Ameur, Yamine, Idir Ait-Sadoune, Jean-Marc Mota, and Mickael Baron. "Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve." In the 18th international conference. ACM Press, 2006. http://dx.doi.org/10.1145/1132736.1132752.
Full text