Preuves interactives quantiques

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.

Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles

L'ensemble de mon travail a été réalisé grâce a l'utilisation de logiciel libre.

Les passions de l'agir juste. Fondements, figures, épreuves

L'éthique, en particulier dans sa version théologique, est exposée aujourd'hui à des mises à l'épreuve redoutables. Sans cesse solicitée par le public et les médias, elle engage une intelligence de la foi, une capacité analytique, une mobilisation de la raison et une implication des émotions. Le présent ouvrage entend conjoindre trois exigences: théorique, figurative et pratique. L'exigence théorique reprend à nouveaux frais la question des fondements de l'éthique, à l'interface de la rationalité, de la foi et de la théologie. L'exigence figurative, non sans rapport avec la démarche généalogique, précise les enjeux du dialogue que le théologien mène avec différentes formes de réflexion philosophique. L'exigence pratique, enfin, renoue les fils, jamais perdus de vue, avec l'expérience et l'existence des humains et des sociétés, sur la base de plusieurs cas exemplaires d'éthique appliquée: statut de l'embryon, compréhension de la maladie et de la santé, définition de la mort, transplantation d'organes, engagement social, toxicomanie, etc.

Eines interactives per l'aprenentatge de la dinàmica i el control dels convertidors de potència

El projecte s'ha centrat en el disseny i desenvolupament de laboratoris virtuals per a la docència del dispositius i mètodes de gestió d’energia. Això s’ha realitzat a dos nivells clarament diferenciats, el primer grup de laboratoris correspon als convertidors electrònics de potencia i el segon grup de laboratoris correspon a un conjunt de casos d’aplicacions concretes. En el primer grup es descriu el detall del funcionament dels diferents elements mentre que en el segon els descriuen les idees i conceptes bàsics de funcionament. Els laboratoris virtuals de convertidors electrònics de potència inclouen el convertidor elevador (boost), el convertidor reductor (buck), i convertidors acobladors magnèticament. Aquestes permeten estudiar el comportament dinàmica des d’un punt de vista commutat o bé promitjat, les aplicacions incorporen també la possibilitat de sintonitzar els controladors. Aquestes aplicacions han estat desenvolupades per ser un complement per les sessions de pràctiques presencials. Els laboratoris virtuals d’aplicacions, inclouen els sistema de transport metropolità, el vehicle híbrid i els sistemes de gestió de talls transitoris en el subministrament d’energia principalment. Aquestes laboratoris permeten introduir els estudiants de forma qualitativa en els diferents conceptes i tècniques emprades en els sistemes de generació, transport i transformació d’energia. Totes les aplicacions han estat desenvolupades emprant Easy JAVA Simulations, aquesta eina permet desenvolupar laboratoris multiplataforma fàcilment distribuïbles a través d’internet.

Aplicació per la creació de classes interactives de Ciclo Indoor

Es tracta d'un projecte evolutiu que permetrà crear una aplicació que serveixi de suport gràfic per a les classes de Ciclo Indoor i que a més a més permetrà al professor preparar-les en pocs minuts. També tindrà un apartat dedicat a gestionar als usuaris del sistema mitjançant una connexió a una base de dades que també ha sigut dissenyada i desenvolupada en aquest projecte.

Équipe de France [épreuves d'aviron dans le bassin de Saint-Cloud-Suresnes] : [photographie de presse] / [Agence Rol]

Référence bibliographique : Rol, 55042

Équipe de France [épreuves d'aviron dans le bassin de Saint-Cloud-Suresnes] : [photographie de presse] / [Agence Rol]

Référence bibliographique : Rol, 55043

Équipe d'Italie [épreuves d'aviron dans le bassin de Saint-Cloud-Suresnes] : [photographie de presse] / [Agence Rol]

Référence bibliographique : Rol, 55039

Passage course du huit [épreuves d'aviron dans le bassin de Saint-Cloud-Suresnes] : [photographie de presse] / [Agence Rol]

Référence bibliographique : Rol, 55038