PAC-Bayesian Theory Meets Bayesian Inference

We exhibit a strong link between frequentist PAC-Bayesian risk bounds and the Bayesian marginal likelihood. That is, for the negative log-likelihood loss function, we show that the minimization of PAC-Bayesian generalization risk bounds maximizes the Bayesian marginal likelihood. This provides an alternative explanation to the Bayesian Occam's razor criteria, under the assumption that the data is generated by an i.i.d distribution. Moreover, as the negative log-likelihood is an unbounded loss function, we motivate and propose a PAC-Bayesian theorem tailored for the sub-gamma loss family, and we show that our approach is sound on classical Bayesian linear regression tasks.Comment: Published at NIPS 2015 (http://papers.nips.cc/paper/6569-pac-bayesian-theory-meets-bayesian-inference

Analyse des langages et modèles de la mobilité

Ce document présente une analyse comparative de divers langages prototypes et modèles formels existants pour la mobilité de code. Trois aspects sont retenus pour cette étude: la distribution, la mobilité, et la sécurité. L'étude est également structurée autour de la notion de domaine qui nous semble centrale dans ces langages et modèles, et illustre différentes sémantiques de cette notion

Caractérisation du gène RGA-7 pendant l'élongation embryonnaire de Caernorhabditis elegans

L'élongation embryonnaire contrôle la transformation embryonnaire de C. elegans qui passe d'un embryon ovoïde à une larve vermiforme. C'est un modèle idéal pour la dissection de voies de signalisation qui contrôlent la morphogénèse des tissus et l'intégration de ces signaux dans les diverses couches cellulaires. L'élongation peut être divisée en deux parties : l'élongation précoce qui implique la contraction de l'hypoderme, alors que l'élongation tardive implique l'action synergique des muscles et de l'hypoderme. La contraction des filaments d'actines est régulée par le niveau de phosphorylation des chaînes légères de la myosine (mlc-4). Les GTPases Rho sont des protéines de signalisation régulées par l'action de 3 familles protéiques : les « GTPase-activating proteins » (GAPs), les « Guanine nucléotide exchange factors » (GEFs) et les « Guanine nucléotide dissociation inhibitors » (GDI). Les GTPases Rho contrôlent un large éventail de processus biologiques. Il y a trois GTPases Rho qui contrôlent l'élongation de C. elegans. Notre laboratoire a identifié une quatrième GTPase contrôlant l'élongation, CDC-42 et son régulateur, RGA-7. CDC-42 a été associée à la polymérisation de filaments d'actines dans les évènements de polarisation, de migration et de trafic membranaire (Harris KP. et Ulrich Tepass U., 2010). Nos résultats suggèrent que le gène rga-7 coderait pour trois formes protéiques résultant d'une initiation alternative de la transcription et que ces trois protéines seraient impliquées dans le contrôle de l'élongation. La délétion ok1498 induit un phénotype de létalité embryonnaire ayant une pénétrance variant entre 25 et 30%. Cette létalité est le résultat d'hypercontractions dorsales pendant l'élongation. L'activité catalytique du domaine GAP de rga-7 a révélé une affinité élevée pour la GTPases CDC-42 et faible pour les GTPases RHO-1 et MIG-2. Des analyses d'épistasies suggèrent que rga-7 contrôlerait l'activité de cdc-42 ainsi que de ses effecteurs wsp-1 et mrck-1 au cours de l'élongation. Nous émettons l'hypothèse que rga-7 pourrait contrôler la dynamique du recyclage des jonctions adhérentes (cadhérines) comme son orthologue humain probable PARG1, hypothèse que nous testerons lors d'études subséquentes.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : RGA-7, élongation, CDC-42, endocytose, GTPases, signalisation cellulaire, développement embryonnaire, filaments d'actine, jonctions adhérentes

Application of inductive heating to granular media: temperature distribution in a granular bed.

Inductive heating aims at creating eddy currents in a conductor material by means of a periodic electromagnetic field : these currents generate heat by the Joule effect. This method and its applications, especially in surface treatment for metallurgy. have been studied for a long time, since it provides ;a fast and efficient way of heating items [I. 21. Another quality of this process is that it is all-electric, which makes it reliable. Clean and easy to automate

Protocolos de representación de conocimiento impreciso e incierto en una base de metaconocimiento difuso

El presente artículo da a conocer una serie de protocolos para modelar una base de metaconocimiento difuso basada en un modelo conceptual FuzzyEER [19], que permita estructurar el conocimiento de un dominio en una base de datos relacional Oracle 8 para el tratamiento de conocimiento impreciso e incierto usando, por un lado, el modelo GEFRED (GEneralized model for Fuzzy RElational Databases) [13,14], y por otro lado, el sistema FIRST (Fuzzy Interface for Relational SysTems) [8]. En este sentido, el conocimiento es percibido como un objeto, es decir, descrito a través de atributos y valores. En particular nos hemos concentrado en el dominio de competencias (knowhow) relativas a la fabricación de cartulinas estucadas, estudiadas en [27]. El proceso que nos interesa en este artículo, es relativo al proceso de conversión de los productos terminados (PILAS o ROLLOS), a partir de las cartulinas fabricadas, dado que en dicho proceso se utilizan atributos clásicos y atributos difusos para caracterizar la calidad de las cartulinas.Eje: Aplicaciones (APLI)Red de Universidades con Carreras en Informática (RedUNCI

Protocolos de representación de conocimiento impreciso e incierto en una base de metaconocimiento difuso

El presente artículo da a conocer una serie de protocolos para modelar una base de metaconocimiento difuso basada en un modelo conceptual FuzzyEER [19], que permita estructurar el conocimiento de un dominio en una base de datos relacional Oracle 8 para el tratamiento de conocimiento impreciso e incierto usando, por un lado, el modelo GEFRED (GEneralized model for Fuzzy RElational Databases) [13,14], y por otro lado, el sistema FIRST (Fuzzy Interface for Relational SysTems) [8]. En este sentido, el conocimiento es percibido como un objeto, es decir, descrito a través de atributos y valores. En particular nos hemos concentrado en el dominio de competencias (knowhow) relativas a la fabricación de cartulinas estucadas, estudiadas en [27]. El proceso que nos interesa en este artículo, es relativo al proceso de conversión de los productos terminados (PILAS o ROLLOS), a partir de las cartulinas fabricadas, dado que en dicho proceso se utilizan atributos clásicos y atributos difusos para caracterizar la calidad de las cartulinas.Eje: Aplicaciones (APLI)Red de Universidades con Carreras en Informática (RedUNCI

Applications intégrées et outils de simulation et d'aide à la décision

Nous proposons dans cet article un Système Interactif d'Aide à la Décision (SIAD) qui permet de gérer des scénarios de production par projet, multisites et multiprojets. Le prototype ainsi réalisé fédère les apports de la gestion de projets, du traitement de l'information et de la gestion des bases de données et intègre les nouvelles techniques de communication

Méthode d'évaluation des risques agrégés (application au choix des investissements de renouvellement des installations)

Pour répondre aux exigences et aux sensibilités sans cesse croissantes des acteurs de la vie économique et sociale, les organisations sont amenées à faire évoluer leurs outils de maîtrise des risques. Ainsi assiste-t-on au développement de systèmes de management intégré, favorisant le rapprochement des aspects qualité, sécurité, santé et protection de l'environnement. Ces développements touchent les domaines des sciences du danger et de la gestion des risques qui sont un axe de recherche important. Aujourd'hui, la gestion des risques doit être ancrée dans la politique générale de l'entreprise. De plus, la complexité croissante des entités "à risque" impose un regard multiple combinant démarche pluridisciplinaire et gestion rationnelle des différentes formes de ressources. Ce contexte montre la limite des méthodes traditionnelles d'analyse des risques qui, pour la plupart, reposent sur une prise en compte individuelle des risques. En réponse à ce problème, nous avons défini une méthodologie de modélisation et d'évaluation des risques permettant d'estimer l'importance relative de risques de natures différentes et de les agréger sous la forme d'un risque unique de synthèse. Nous proposons une méthode d'Evaluation des Risques Agrégés, ou ERA. Cette méthode permet d'associer les points de vue technique, économique, réglementaire et social, pour une gestion intégrée des risques opérationnels et des risques stratégiques. Notre démarche s'appuie sur l'approche opérationnelle du critère unique de synthèse (procédure d'analyse hiérarchique ou AHP, de l'anglais Analytic Hierarchy Process) pour la construction d'un modèle des risques agrégés. Nous présentons la formalisation de la méthode ERA ainsi que son application industrielle dans le cadre de l'élaboration du plan d'investissement des schémas directeurs d'évolution des réseaux de distribution de gaz naturel.TOULOUSE-ENSEEIHT (315552331) / SudocALBI-ENSTIMAC (810042301) / SudocPARIS-MINES ParisTech (751062310) / SudocSudocFranceF

De la gestion du projet à l'ingénierie simultanée

De la gestion du projet à l'ingénierie simultané