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"
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 textSZTOMPKA, 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 textKurenov, 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 textSobek, 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 textRobitaille, 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 textMueller, 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 textBELLON, 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 textMaghsoudlou, 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 textHull, 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 textStrauss, 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 textDissertations / Theses on the topic "Preuves interactives"
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 textBlazy, Olivier. "Preuves de connaissance interactives et non-interactives." Paris 7, 2012. http://www.theses.fr/2012PA077091.
Full textIn 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
Fallot, Laurent. "Une aide interactive à la construction de preuves en logique du premier ordre." Bordeaux 1, 1989. http://www.theses.fr/1989BOR10526.
Full textTremblay, 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 textPlusieurs 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
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 textThe 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
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 textSpecifications 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
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 textJamal, 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 textThe 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
Blier, Hugue. "Preuves interactives quantiques." Thèse, 2009. http://hdl.handle.net/1866/3567.
Full textThis 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.
Blier, Hugue. "Preuves interactives classiques." Thèse, 2006. http://hdl.handle.net/1866/16728.
Full textConference papers on the topic "Preuves interactives"
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