Jurnal Edukasi
Not a member yet
4879 research outputs found
Sort by
Les 64 premières lignes du triangle de Pascal
No full textThe 64 first lines of the Pascal's Triangle (Les 64 premières lignes du triangle de Pascal
Monument Valley au lever du Soleil
No full textMonument Valley at sunrise (Monument Valley au lever du Soleil
discussion of the paper "Bayesian measures of model complexity and fit" by D. Spiegelhalter et al.
No full textInternational audienceThis is an invited discussion of "Bayesian measures of model complexity and fit" by D. Spiegelhalter et al.This is an invited discussion of the paper following a re-reading of the paper at the RSS meeting in Newcastle, Sept. 201
Pyrrolidinone and Piperidinone Isocyanides from Isocyano Esters
No full textInternational audienceThe alkylation of isocyano esters with 1,2- and 1,3-dibromoalkanes affords bromo isocyanides. Under treatment with various amines the latter form new isocyano-substituted lactams, which can be further used in Passerini or Ugi reactions
Superfluid/Bose-glass transition in one dimension
No full text21 pages, 3 figuresInternational audienceWe consider a one-dimensional system of interacting bosons in a random potential. At zero temperature, it can be either in the superfluid or in the insulating phase. We study the transition at weak disorder and moderate interaction. Using a systematic approach, we derive the renormalization group equations at two-loop order and discuss the phase diagram. We find the universal form of the correlation functions at the transitions and compute the logarithmic corrections to the main universal power-law behavior. In order to mimic large density fluctuations on a single site, we study a simplified model of disordered two-leg bosonic ladders with correlated disorder across the rung. Contrarily to the single-chain case, the latter system exhibits a transition between a superfluid and a localized phase where the exponents of the correlation functions at the transition do not take universal values
Comportement transitoire d'algorithmes distribués et modèles de circuits
No full textThe overall theme of the thesis is the transient behavior of certain distributed systems. The results can be grouped into three different categories: Transients of max-plus matrices and linear systems, convergence of asymptotic consensus systems, and glitch modeling in digital circuits. For max-plus algebra, the results are upper bounds on the transient (coupling time) of max-plus matrices and systems. They strictly improve all existing transience bounds. An account of the impact of these bounds in applications is given. The proofs mainly consist of walk reduction and completion procedures. For critical indices, sharper bounds are possible. In fact, they turn out to be independent of the specific weights, and to only depend on the structure of the matrix's digraph and its critical digraph. They are also strict generalizations of the Boolean transience bounds in non-weighted digraphs by the likes of Wielandt or Dulmage and Mendelsohn. For asymptotic consensus, i.e., a set of agents possessing a real value each and repeatedly updating it by forming weighted averages of its neighbors' values, the thesis strengthens certain upper bounds on the rate of convergence and shows new convergence results for the case of non self-confidence, i.e., agents possibly disregarding their own value. Asymptotic consensus can be described by a non time-homogeneous linear system in classical algebra. The results here are typically in completely dynamic networks. The thesis also presents a worst-case example that shows that exponentially large convergence time is possible even in static networks; meaning that the worst case convergence time in large classes of dynamic networks is actually achieved with a completely static one. The last part of the thesis is about glitch propagation in digital circuits. More specifically, it is about discrete-value continuous-time models for digital circuits. These models are used in hardware design tool chains because they are much faster than numerically solving the differential equations for timing simulations. However, as is shown in the thesis, none of the existing discrete-value models can correctly predict the occurrence of glitches (short pulses) in the output signal of circuits. Moreover, the thesis proposes a new discrete-value model and proves analytically that it does not share the same characteristics with the existing models that prevented them to correctly predict glitches.Le thème global de la thèse est le comportement transitoire de certains systèmes répartis. Les résultats peuvent être divisés en trois groupes : transients de matrices et systèmes max-plus, convergence de systèmes de consensus asymptotique et la modélisation de "glitches" dans des circuits numériques. Pour l'algèbre max-plus, les résultats sont des bornes supérieures sur les transients de matrices et système linéaires max-plus. Elles améliorent strictement les bornes publiées. La thèse inclut une discussion de l'impact des bornes dans des applications. Les preuves utilisent notamment des réductions de chemins. La thèse contient aussi des bornes plus précises pour les transients des indices critiques. Ces bornes sont, en fait, indépendantes des poids spécifiques et ne dépendent que de la structure du graphe de la matrice et son graphe critique. De plus, elles sont des généralisations strictes des bornes booléennes pour des graphes non pondérées; par exemple les bornes de Wielandt ou de Dulmage et Mendelsohn. Quant au consensus asymptotique, la thèse améliore des bornes supérieures sur le taux de convergence et établit de nouveaux résultats sur la convergence dans le cas où les agents n'ont pas nécessairement de confiance en soi, c'est-à-dire qu'ils peuvent ignorer leurs propres valeurs. Ces résultats sont notamment pour des réseaux complètement dynamiques. Elle contient aussi un exemple d'un réseau complètement statique dont le taux de convergence est dans le même ordre que celui d'une grande classe de réseaux dynamiques. La dernière partie de la thèse est sur la propagation de "glitches" (signaux transitoires très courts) dans des circuits numériques. Plus spécifiquement, elle traite des modèles à valeur discrète et temps continu pour des circuits numériques. Ces modèles sont utilisés dans des outils pour la conception de circuits car ils sont beaucoup plus vites que la résolution des équations différentielles. Cependant, comme c'est prouvé dans la thèse, les modèles existants ne prédisent pas correctement l'occurrence de glitches dans le signal sortant d'un circuit. De plus, la thèse contient une proposition d'un nouveau modèle qui ne partage pas les caractéristiques avec les modèles existants qui leur interdisent de prédire correctement l'occurrence de glitches
Vers un système de vote plus juste ?
No full textCe document de Recherche a été réalisé dans le Cadre du Projet Scientifique Collectif, un travail de recherche d'une année dans le cycle d'ingénieur de l'Ecole Polytechnique. Profitant des échéances électorales des années 2011 et 2012 (la primaire citoyenne de l'automne 2011 et l'élection présidentielle d'Avril 2012), nous avons étudié en conditions réelles certains systèmes de vote. Ces systèmes de vote étaient mis en avant par les publications scientifiques, qui s'intéressaient pour la plupart à leur étude théorique uniquement. Le choix du système de vote pour une élection revêt une importance fondamentale, dans la mesure où il détermine le caractère de la campagne qui sera menée par les candidats. Selon la façon dont les électeurs devront exprimer leurs opinions, le résultat d'une élection peut être modifié, car les différents systèmes de vote ne privilégient pas les mêmes facteurs. Nous avons donc recueilli en conditions réelles les bulletins de vote, pour étudier les caractéristiques techniques des systèmes de vote. Ces critères, comme le caractère robuste du résultat auquel le vote conduit, ou la possibilité d'en manipuler le résultat par un vote insincère, ont été abondamment décrits dans la littérature. Ce travail de recherche s'intéressera dans un premier temps à une revue de la littérature et à la description des différents systèmes de vote. Il exposera ensuite les deux expériences menées au cours de l'année 2011-2012, et analysera les résultats qui en seront obtenus. Enfin il dénombrera les difficultés pratiques rencontrées lors des expériences et conclura sur la pertinence des différents systèmes de vote
Analyzing Large Network Dynamics with Process Hitting
No full textIn this chapter, we introduce the Process Hitting framework, which provides the methodology of constructing the most permissive dynamics and then using successive refinements to fine tune the model. We present static analysis methods designed to identify fixed points or answer successive reachability questions, and introduce the stochastic semantics of Process Hitting too
Mesospheric CO2 Clouds on Mars: Detection, Properties and Origin
No full textThis abstract presents a review of the mesospheric cloud observations performed with OMEGA/MEx, accompanied by HRSC/MEx, and the modeling efforts that permit us today to draw a clearer picture of the formation of the exotic mesospheric CO2 clouds
Anisotropic Laplace-Beltrami Operators for Shape Analysis
No full textInternational audienceThis paper introduces an anisotropic Laplace-Beltrami operator for shape analysis. While keeping useful properties of the standard Laplace-Beltrami operator, it introduces variability in the directions of principal curvature, giving rise to a more intuitive and semantically meaningful diffusion process. Although the benefits of anisotropic diffusion have already been noted in the area of mesh processing (e.g. surface regularization), focusing on the Laplacian itself, rather than on the diffusion process it induces, opens the possibility to effectively replace the omnipresent Laplace-Beltrami operator in many shape analysis methods. After providing a mathematical formulation and analysis of this new operator, we derive a practical implementation on discrete meshes. Further, we demonstrate the effectiveness of our new operator when employed in conjunction with different methods for shape segmentation and matching