Preuve de concept

Top PDF Preuve de concept:

Formation basée sur la perturbation : preuve de concept par la conception et le test d'un environnement numérique de formation en radiologie médicale

Formation basée sur la perturbation : preuve de concept par la conception et le test d'un environnement numérique de formation en radiologie médicale

RÉSUMÉS Contrairement aux modèles de formation les plus répandus, la formation basée sur la perturbation ne repose pas sur la transmission de savoirs établis, mais vise à produire un « choc » pour encourager la production de nouvelles significations et le développement de nouvelles modalités d’action et d’organisation. Inscrite dans un programme de recherche technologique en formation et menée dans le domaine de la radiologie médicale, notre étude relève à la fois de la preuve de concept et d’une démarche d’ergonomie de la formation. Elle visait (i) à opérationnaliser et tester les principes de conception d’une formation basée sur la perturbation, et (ii) à concevoir un outil pour aider des formateurs à former des techniciens de radiologie médicale. Nous avons pour cela conçu un environnement numérique de formation (ENF), et l’avons testé avec un formateur non impliqué dans la conception. Dans le cadre de cette démarche, nous avons documenté empiriquement (i) la situation de découverte de l’ENF par le formateur à l’aide de données de verbalisations interruptives, et (ii) une situation de formation mobilisant l’ENF à l’aide de données d’observation et d’autoconfrontation du formateur. Les résultats font apparaître des perturbations attendues (par les chercheurs) et potentiellement constructives au niveau de sa culture de métier, mais aussi des perturbations inattendues et potentiellement contre-productives au niveau de sa culture de formation, créant des obstacles à l’appropriation de l’ENF. Nous analysons trois types de perturbation et concluons par des propositions pour la conception de formations basées sur le principe de perturbation.
En savoir plus

27 En savoir plus

Impacts d’une plateforme interactive « web » chez les enfants du primaire de 9 et 10 ans :  preuve de concept

Impacts d’une plateforme interactive « web » chez les enfants du primaire de 9 et 10 ans : preuve de concept

95 5.3 Forces et limitations du projet de recherche Tout projet comporte des lacunes, des améliorations à apporter, des limites et également des forces. Par conséquent, cette section fera l’inventaire de ce projet de recherche pour ce qui est de ces aspects. Tout d’abord, le projet a permis d’observer les effets sur un ensemble de paramètres à l’étude, ce qui en fait un projet dont la thématique est globale. De plus, les différents éléments traités dans ce mémoire sont en continuelle interaction et en lien l'un avec l’autre. Par exemple : l’activité physique influence sur l’estime de soi, l’image corporelle, le sommeil… Cela est donc un avantage de les étudier ensemble dans un seul projet. Ensuite, malgré le faible effectif de cette étude, il a tout de même été possible de faire ressortir certains effets de la plateforme Le Trotteur, de faire une preuve de concept ainsi que de vérifier la faisabilité et la viabilité d’un tel projet. Un autre des avantages de ce projet et indirectement dû à la plateforme le Trotteur, est que les activités physiques réalisées par les élèves en dehors des cours d’éducation physique ont été établies selon leur propre choix. Il n’y avait pas de pression sur aucun des élèves puisqu’ils ont réalisé l’activité physique (les kilomètres), selon leur goût, leurs capacités physiques, leur limitation autant matérielle que personnelle. Ainsi, le projet s’adapte à une clientèle plus variée sans obligation de réaliser un programme d’exercices précis.
En savoir plus

173 En savoir plus

Impacts d'une plateforme interactive «web» chez les enfants du primaire de 9 et 10 ans : preuve de concept.

Impacts d'une plateforme interactive «web» chez les enfants du primaire de 9 et 10 ans : preuve de concept.

95 Forces et limitations du projet de recherche Tout projet comporte des lacunes, des améliorations à apporter, des limites et également des forces. Par conséquent, cette section fera l’inventaire de ce projet de recherche pour ce qui est de ces aspects. Tout d’abord, le projet a permis d’observer les effets sur un ensemble de paramètres à l’étude, ce qui en fait un projet dont la thématique est globale. De plus, les différents éléments traités dans ce mémoire sont en continuelle interaction et en lien l'un avec l’autre. Par exemple : l’activité physique influence sur l’estime de soi, l’image corporelle, le sommeil… Cela est donc un avantage de les étudier ensemble dans un seul projet. Ensuite, malgré le faible effectif de cette étude, il a tout de même été possible de faire ressortir certains effets de la plateforme Le Trotteur, de faire une preuve de concept ainsi que de vérifier la faisabilité et la viabilité d’un tel projet. Un autre des avantages de ce projet et indirectement dû à la plateforme le Trotteur, est que les activités physiques réalisées par les élèves en dehors des cours d’éducation physique ont été établies selon leur propre choix. Il n’y avait pas de pression sur aucun des élèves puisqu’ils ont réalisé l’activité physique (les kilomètres), selon leur goût, leurs capacités physiques, leur limitation autant matérielle que personnelle. Ainsi, le projet s’adapte à une clientèle plus variée sans obligation de réaliser un programme d’exercices précis.
En savoir plus

167 En savoir plus

Magnétomètres à pompage optique à Hélium 4 : développement et preuve de concept en magnétocardiographie et en magnétoencéphalographie

Magnétomètres à pompage optique à Hélium 4 : développement et preuve de concept en magnétocardiographie et en magnétoencéphalographie

Chapitre 5, Preuve de concept en imagerie MEG 5.4 Bilan de la campagne de tests MEG Nous avons pu montrer aux travers de trois expériences, qu’il était possible de détecter des réponses évoquées suivant deux modalités (auditive et visuelle) ainsi que de l’activité cérébrale spontanée. Mieux, le nombre d'essais requis pour la détection des signaux cérébraux dans le cadre de l'utilisation des OPMs permet d'envisager des temps d'acquisitions similaires à ceux appliqués avec des SQUIDs voire même inférieurs à ceux utilisés avec certains SERFs [65]. Par ailleurs, l'application de l'algorithme ICA améliore la résolution des résultats obtenus avec les OPMs constituant ainsi un outil de choix dans le traitement des données. Parallèlement à cela, les amplitudes de champs mesurés par les OPMs sont de l'ordre de 10 fois supérieures à celles mesurées par les SQUIDs. Ceci s'explique par la réduction d'un facteur supérieur à 2 de la distance séparant le capteur de la source. Ces dernières données valident le fait qu'une réduction de la distance source-capteur permet de compenser une éventuelle dégradation de la sensibilité du capteur. A terme, ceci suggère de pouvoir enregistrer plus facilement des activités cérébrales d’origine plus profondes et de fait, plus distantes du capteur avec la technologie OPM.
En savoir plus

155 En savoir plus

Production d’un pancréas fonctionnel in vivo par complémentation de blastocyste - Preuve de concept chez le porc

Production d’un pancréas fonctionnel in vivo par complémentation de blastocyste - Preuve de concept chez le porc

(Paris) 2012 ; 28 : 370-2. Acte 3. What next ? Les auteurs confirment donc que la « fabrication » d’un organe entier fonctionnel est possible chez un gros animal via une procédure de complé- mentation de blastocystes dont ils avaient fait la preuve de concept chez le rongeur précédemment [1, 2]. Les auteurs ont évidemment en tête un autre « gros animal », l’homme, et la complémentation des embryons Pdx- Hes1 porcins par des cellules souches pluripotentes humaines, iPS en prio- rité. Mais ils ne sous-estiment pas les obstacles qu’ils devront franchir : la première est inhérente aux cellules pluripotentes : celles des primates ou de l’homme sont plus matures que celles des rongeurs, et, si l’on se réfère aux essais de création de chimères récemment publiés chez le singe [4] et rapportés dans médecine/sciences [5], sont spontanément probablement limitées dans ce potentiel de contri- buer à des chimères post-natales. La seconde difficulté est la barrière d’es- pèce, et l’efficacité de la complémen- tation de blastocystes de porcs par des iPS de singe, de vache (nul doute que ces essais soient en cours) ou humaines est loin d’être acquise. Au- delà, et si ces difficultés trouvent des solutions, on se heurtera à plusieurs problèmes éthiques, dont celui d’un éventuel développement de gamètes humains dans de telles chimères. Il est vrai que la configuration utilisée ici ne le permet probablement pas, puisque plusieurs études ont démontré que des cellules XX « complémentantes » ne se développent pas en gamètes mâles dans des blastocystes mâles. On peut aussi imaginer bloquer le déve- loppement de ces gamètes, soit selon une stratégie proche de celle utilisée ici pour bloquer le développement du pancréas, ou via une stratégie de gène suicide, déjà envisagée pour éliminer des dérivés tissulaires d’iPS qui se comporteraient de façon aberrante après leur transplantation.
En savoir plus

3 En savoir plus

Ajout automatique de disfluences pour la synthèse de la parole spontanée : formalisation et preuve de concept

Ajout automatique de disfluences pour la synthèse de la parole spontanée : formalisation et preuve de concept

Cet article présente notre travail sur l’ajout automatique de disfluences dans le but de permettre la synthèse de parole spontanée. Précisément, nous proposons une formalisation novatrice qui modélise le mécanisme de production de disfluences, et non seulement son résultat. Cette formalisation permet de contrôler la nature et la proportion des disfluences produites. Nous étayons notre proposition par une preuve de concept sous la forme d’une première implémentation appliquée sur un corpus de langue anglaise. Nous nous appuyons sur des méthodes d’apprentissage statistique (les champs aléatoires conditionnels et des modèles de langue n-grammes) pour démontrer expérimentalement la capacité de notre approche à produire des énoncés disfluents plausibles. S’agissant d’un travail exploratoire, aucune expérience en synthèse n’a été conduite car la prise en compte des disfluences dans un système de synthèse nécessite des adaptations autres que la seule transformation du texte en entrée (corpus de parole sous-jacent, prédiction de la prosodie. . .). Il était donc préférable, comme nous l’avons fait, de s’en tenir dans un premier temps à une validation textuelle des énoncés produits. Après une revue du domaine et de nos motivations (section 2), nous présentons notre processus formel de production (section 3) et son implémentation (section 4). Enfin, nous présentons la validation expérimentale de notre travail sous la forme d’évaluations objectives et perceptives (section 5).
En savoir plus

16 En savoir plus

Méthode de simulation appropriée aux systèmes complexes : preuve de concept auto-adaptative et auto-apprenante appliquée aux transferts thermiques

Méthode de simulation appropriée aux systèmes complexes : preuve de concept auto-adaptative et auto-apprenante appliquée aux transferts thermiques

Suitable method for complex systems simulation: self-adaptive and self- learning proof-of-concept applied to coupled heat transfer Abstract: A s computing power increases, engineers and designers tackle increasingly complex problems using simulation (multiphysics, multiscale, intricated geometries ...). In this context, discretization-based quadratures (FDM, FEM, FVM) show their limit: the need of a great number of sub-domains which induces prohibitive consumption of RAM and CPU power. The Monte Carlo method appears to be more appropriate, but the difficulty to build probabilistic models of complex systems forms a bottleneck. A systemic approach is proposed to alleviate it and is implemented to create a proof-of-concept dedicated to the coupled heat transfer simulation. After a successful validation step against ana- lytical solutions, this tool is applied to illustrative cases (emulating heat transfer in buildings and in solar heating systems) in order to study its simulation capabilities. This approach presents a major beneficial behavior for complex systems simu- lation: the computation time only depends on the influential parts of the problem. These parts are automatically identified, even in intricate or extensive geometries, which makes the simulation self-adaptive. In addition, the computational performance and the system scale ratio are completely uncorrelated. Consequently, this approach shows an exceptional capacity to tackle multiphysics and multiscale problems. Each temperature is estimated using exploration paths. By statistically analyzing these paths during the process, the tool is able to generate a reduced predictive model of this physical quantity, which is bringing a self-learning capacity to the simulation. Its use can significantly improve optimization and control of processes, or simplify inverse measurements. Furthermore, based on this model, an uncertainty propagation analysis has been performed. It quantifies the effect of uncertainties affecting boundary conditions on the temperature. Finally a Particle Swarm Optimization (PSO) process, based on simulations done by the framework, is successfully carried
En savoir plus

221 En savoir plus

en
                                                                    fr

en fr Semantic Representation of Neuroimaging Observations: Proof of Concept Based on the VASARI Terminology Représentation sémantique des observations de NeuroImagerie : Preuve de concept sur la terminologie VASARI

5 CONCLUSION We believe that neuroimaging data should be held in a structured format that makes their meanings ex- plicit to the systems and thus facilitate their compre- hension as well as management. Semantic data about imaging features (measurement values, qualities, le- sion components, lesion localization, etc.) are impor- tant (1) to support the clinical research on the develop- ment of new imaging biomarkers by combining clini- cal data with information coming from different med- ical domains (2) to improve the quality of the clini- cal healthcare that tend to provide personalized treat- ments to patients via the use of clinical guidelines that are based on evaluation criteria. In this paper, we em- ployed the VASARI terminology as a proof of concept for the demonstration of the feasibility and the impor- tance of making RDF and OWL data available to de- scribe cerebral tumors observations and determining the key concepts and relationships that are central in their evaluation. Our work can be easily expanded to answer to other use cases; thanks to the modular as- pect of the ontology and to the OWL language that is self-descriptive (concepts are textually and formally described in the ontology to guide users) and extend- able.
En savoir plus

13 En savoir plus

Preuve de concept d'une stratégie thérapeutique avec des neuro-implants microstructurés dans un nouveau modèle de lésion cérébrale focale chez le marmouset

Preuve de concept d'une stratégie thérapeutique avec des neuro-implants microstructurés dans un nouveau modèle de lésion cérébrale focale chez le marmouset

Le captage du manganèse par les cellules ne peut se faire que par des cellules fonctionnelles essentiellement en entrant par les canaux calciques voltage dépendants (Pautler [r]

256 En savoir plus

Preuve de concept d'un dispositif de stockage d'énergie pour applications dans des convertisseurs de puissance

Preuve de concept d'un dispositif de stockage d'énergie pour applications dans des convertisseurs de puissance

CHAPITRE 5 MISE EN OEUVRE ET TEST DU CONCEPT Les plans pr´esent´es au chapitre trois ont servi `a d´evelopper des prototypes de l’invention. Tout d’abord, un prototype a ´et´e implant´e sur un breadboard afin de proc´eder `a des essais de bon fonctionnement, tels qu’´enum´er´es dans le protocole de la section qui suit cette in- troduction. Une fois que le bon fonctionnement du concept de base a ´et´e v´erifi´e, un design de prototype sur PCB a ´et´e ´elabor´e `a l’aide du logiciel EagleCad. Vingt unit´es prototypes ont ´et´e r´ealis´ees, dont seize ayant un module de puissance grav´e sur une plaque d’un grade de deux onces de cuivre par pouce carr´e, permettant de tol´erer de plus forts courants. Neuf de ces unit´es ont servi `a l’´elaboration de convertisseurs form´es de trois branches d’unit´es en s´erie. Cette topologie permet de r´ealiser pratiquement n’importe quel type de convertisseur. Des convertisseurs DC/DC ont ´et´e r´ealis´es pour faire la preuve que ce concept fonctionne.
En savoir plus

109 En savoir plus

Intelligence d'affaires pour la soutenabilité : une preuve de concept

Intelligence d'affaires pour la soutenabilité : une preuve de concept

L 'objectif central de cette recherche est de proposer une méthode d 'application de la soutenabilité dans les entreprises, en utilisant les approches d ' intelligence d 'af[r]

150 En savoir plus

Stent pour limiter la dilatation progressive de l'aorte ascendante dans les cas de bicuspidie de la valve aortique : preuve de concept

Stent pour limiter la dilatation progressive de l'aorte ascendante dans les cas de bicuspidie de la valve aortique : preuve de concept

L’objectif principal du projet pr´ esent´ e dans ce m´ emoire ´ etait de montrer in silico l’in- fluence du stent sur les vitesses d’´ ecoulement et les forces de cisaillement ` a la par[r]

143 En savoir plus

Modification à façon des propriétés physiques du mucus - Preuve de concept et applications potentielles

Modification à façon des propriétés physiques du mucus - Preuve de concept et applications potentielles

Par exemple, dans l’in- testin, une couche trop mince de mucus, comme c’est le cas dans les maladies inflammatoires chroniques de l’intestin (maladie de Crohn et rectocolite hémor- ra[r]

4 En savoir plus

Mesure de la déformation pleurale régionale durant la ventilation mécanique par élastographie ultrasonore : une étude preuve de concept

Mesure de la déformation pleurale régionale durant la ventilation mécanique par élastographie ultrasonore : une étude preuve de concept

3. Insuffisance respiratoire aiguë Le dommage pulmonaire auto-infligé (patient self-inflicted lung injury ou P-SILI) est un concept novateur récent 18 . Selon celui-ci, le développement d’une pathologie pulmonaire réduisant significativement la CRF d’un patient pourrait mener à de la surdistension pulmonaire si le patient atteint respire avec des volumes courants trop importants même en l’absence d’une assistance ventilatoire. Cette hypothèse expliquerait pourquoi les manifestations histologiques du SDRA et du VILI sont identiques. Présentement, une telle hypothèse est difficilement vérifiable, car il n’existe pas de technique non-invasive, non-irradiante et utilisable au chevet en urgence permettant de détecter la surdistension pulmonaire. Néanmoins, durant la présente épidémie de SARS-CoV-2, plusieurs experts ont encouragé sur la base de ce concept les cliniciens à considérer l’intubation précoce de patients jugés moins sévère mais avec un effort respiratoire important 108 . Le développement d’un outil mesurant la
En savoir plus

102 En savoir plus

Preuve de concept in vitro de la navigation par résonance magnétique en conditions physiologiquement réalistes

Preuve de concept in vitro de la navigation par résonance magnétique en conditions physiologiquement réalistes

3.1.2. Preuves de concept de navigation vasculaire in vivo L’actuation magnétique fait l’objet de recherches depuis plusieurs années avec l’objectif de combiner la haute spécificité de la CETA , le caractère minimalement invasif des chambres à injection implantables, et l’élution médicamenteuse lente des microbilles. La NRM a été proposée comme une méthode pour diriger des microbilles magnétiques à l’aide d’un appareil d’ IRM clinique. Deux avantages du concept sont qu’il exploite la grande disponibilité des appareils d’ IRM dans les hôpitaux et qu’il permet d’évaluer la niveau d’embolisation atteint par le traitement grâce à la capacité d’imagerie. L’actuation magnétique a été utilisée avec succès pour diriger une bille magnétique millimétrique dans l’artère d’un porc vivant [ 40 ], dans un système à une bifurcation in vitro [ 43 ], dans les artères hépatiques gauche et droite de modèles de lapins [ 44 ], dans un système multi-bifurcation in vitro [ 45 ] et avec synchronisation avec la fonctionalité d’imagerie de l’ IRM in vitro [ 46 ]. La limitation technologique principale de la plupart de ces études est l’utilisation de billes millimétriques, qui possèdent un plus fort moment magnétique et permettent donc d’exercer une plus grande force magnétique, mais qui ne sont pas utilisables pour l’embolisation hépatique en raison de leur taille supérieure à celle des artères ciblées. De plus, des bobines de gradients insérées sont utilisées, qui sont plus puissantes que les bobines de gradients de l’appareil d’ IRM et qui permettent donc d’exercer une plus grande force magnétique, mais qui sont inutilisables cliniquement en raison de leur diamètre interne restreint. Ces études manquent aussi de réalisme anatomique et physiologique : elles sont soit effectuées dans des artères sans bifurcation [ 40 ], dans de petits modèles animaux [ 44 ] ou in vitro dans des canaux non tubulaires avec un débit lent et
En savoir plus

107 En savoir plus

La preuve de théorèmes pour les masses (soniques)

La preuve de théorèmes pour les masses (soniques)

Transform (Smith, J. O., 2007). La figure 3, à gauche, est une capture d’écran d’une fenêtre de navigateur qui affiche une page HTML enrichie par jsCoq et traitant de la notion de convolution. Ici, la définition dans Coq de l’opération de convolution convs 19 et la preuve du lemma convsC, qui stipule qu’une telle opération est commutative, sont directement gérées par jsCoq (dans les boîtes grises) ; cette zone de texte peut être directement éditée et exécutée de manière interactive par l’utilisateur. Notez la manière dont cette preuve Coq est précédée de l’explication mathématique correspondante (mise en forme à l’aide de MathJax.js 20 ) ; l’élève peut donc les mettre facilement en correspondance. Des images peuvent également être incluses dans des documents hybrides fondés sur HTML pour mieux illustrer un concept, comme ici où les graphiques de deux fonctions f et g sont affichés pour expliquer un point particulier concernant les informations de convolution.
En savoir plus

15 En savoir plus

La preuve par l’ADN et ses enjeux sociaux

La preuve par l’ADN et ses enjeux sociaux

5 et leur instauration progressive en une « machine de vérité », malgré les erreurs inhérentes à la technique (Lynch et al. 2008) ; l’utilisation, au début des années 1990, des empreintes ADN en matière de justice pénale aux Etats-Unis, ainsi que les conflits scientifiques et juridiques sur l’estimation de la probabilité de concordance entre deux profils génétiques (Aronson 2007) ; les défis éthiques et juridiques que pose le recours à l’ADN en science médico-légale, ainsi que les éventuels développements futurs de cette utilisation aux Etats-Unis (Lazer 2004) ; ou encore des éléments d’analyse juridique sur le développement des techniques d’identification en sciences médicolégales et de leur impact sur le droit en Grande-Bretagne (McCartney 2006). L’un de ces ouvrages, intitulé Genetic witness, a d’ailleurs inspiré le titre de notre projet, même si nous donnons à la formule « témoin génétique » un sens plus large car nous y incluons le phénotypage en complément du témoin oculaire, ce qui justifie tout particulièrement cette expression à nos yeux (Aronson 2007). Certains travaux sortent néanmoins du cadre étatsunien et britannique (New Genetics & Society 2012), notamment une étude comparative sur la gouvernance des fichiers dans différents pays situés à des stades différents d’organisation des fichiers ADN (Hindmarsh, Prainsack 2010) ; une ethnographie de la manière dont la preuve ADN circule entre différentes professions (juges, procureurs et avocats) dans le système judiciaire suédois (Kruse 2013) ; ou encore une étude menée au Portugal sur la réception des empreintes génétiques par la population (Machado, Silva 2016). Au total, les sciences sociales, que ce soit avec une approche de Science and Technology
En savoir plus

10 En savoir plus

Drosophile et cancer : la preuve par sav

Drosophile et cancer : la preuve par sav

Dans un organisme hétérozygote pour une mutation donnée (+/-), le système FLP/FRT per- met d’induire la recombinaison mitotique de façon à produire une cellule homozygote mutante (-/-) e[r]

3 En savoir plus

Preuve de propriétés dynamiques en B

Preuve de propriétés dynamiques en B

ψ ⇒ [P ]φ (4.13) Or d’après l’équation (4.2), cela revient á monter que le programme P raffine la spé- cification spec(ψ, φ) qui représenterait alors la propriété d’atteignabilité. Notre principe de preuve est donc le suivant. Le programme P doit être généré de manière progressive á partir de la spécification initiale spec(ψ, φ) en applicant les différentes règles de raffi- nement présentées á la section précédente. Ce processus de raffinement est réitéré jusqu’á l’obtention de substitutions finales correspondant á celle du langage B. á chaque étape de ce raffinement, des obligations de preuve sont générées afin de s’assurer de la correction des transformations effectuées. La section suivante illustre ce principe de preuve sur le même cas d’étude et la même propriété d’atteignabilité introduits dans le chapitre précédent.
En savoir plus

143 En savoir plus

Preuve et démonstration en mathématiques au collège

Preuve et démonstration en mathématiques au collège

de la résolution de problème ne peut être menée de· façon indépendante des contenus mis en jeu, d'une pan pour leur spécificité mathématique, mais sunout parce que no[r]

44 En savoir plus

Show all 1577 documents...