Relevant bibliographies by topics / Preuves interactives

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Conference papers

Academic literature on the topic 'Preuves interactives'

Author: Grafiati
Published: 4 June 2021
Last updated: 10 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 modernis
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 expe
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 additi
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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,
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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étroviraux
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 p
APA, Harvard, Vancouver, ISO, and other styles

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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

Blazy, Olivier. "Preuves de connaissance interactives et non-interactives." Paris 7, 2012. http://www.theses.fr/2012PA077091.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

Fallot, Laurent. "Une aide interactive à la construction de preuves en logique du premier ordre." Bordeaux 1, 1989. http://www.theses.fr/1989BOR10526.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 l
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 know
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

Blier, Hugue. "Preuves interactives quantiques." Thèse, 2009. http://hdl.handle.net/1866/3567.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

Blier, Hugue. "Preuves interactives classiques." Thèse, 2006. http://hdl.handle.net/1866/16728.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference 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
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography