Intervalle de confiancevignette|Chaque ligne montre 20 échantillons tirés selon la loi normale de moyenne μ. On y montre l'intervalle de confiance de niveau 50% pour la moyenne correspondante aux 20 échantillons, marquée par un losange. Si l'intervalle contient μ, il est bleu ; sinon il est rouge. En mathématiques, plus précisément en théorie des probabilités et en statistiques, un intervalle de confiance encadre une valeur réelle que l’on cherche à estimer à l’aide de mesures prises par un procédé aléatoire.
Théorie du regretLa théorie du regret ou de l'aversion au regret ou du regret anticipé est un modèle de théorie économique développé simultanément en 1982 par Graham Loomes et Robert Sugden, David E. Bell, et Peter C. Fishburn. Elle permet de développer des modèles de choix dans un contexte d'incertitude qui tiennent compte des effets anticipés du regret. Cette théorie a par la suite été développée par d'autres auteurs. Elle incorpore un terme regret dans la fonction d'utilité qui dépend négativement du produit obtenu et positivement du meilleur produit alternatif l'incertitude étant donnée.
Fonction objectifvignette|comparaison de certains substituts de la fonction de perte Le terme fonction objectif ou fonction économique, est utilisé en optimisation mathématique et en recherche opérationnelle pour désigner une fonction qui sert de critère pour déterminer la meilleure solution à un problème d'optimisation. Elle associe une valeur à une instance d'un problème d'optimisation. Le but du problème d'optimisation est alors de minimiser ou de maximiser cette fonction jusqu'à l'optimum, par différents procédés comme l'algorithme du simplexe.
Binomial proportion confidence intervalIn statistics, a binomial proportion confidence interval is a confidence interval for the probability of success calculated from the outcome of a series of success–failure experiments (Bernoulli trials). In other words, a binomial proportion confidence interval is an interval estimate of a success probability p when only the number of experiments n and the number of successes nS are known. There are several formulas for a binomial confidence interval, but all of them rely on the assumption of a binomial distribution.
Loi binomialeEn théorie des probabilités et en statistique, la loi binomiale modélise la fréquence du nombre de succès obtenus lors de la répétition de plusieurs expériences aléatoires identiques et indépendantes. Plus mathématiquement, la loi binomiale est une loi de probabilité discrète décrite par deux paramètres : n le nombre d'expériences réalisées, et p la probabilité de succès. Pour chaque expérience appelée épreuve de Bernoulli, on utilise une variable aléatoire qui prend la valeur 1 lors d'un succès et la valeur 0 sinon.
Interval estimationIn statistics, interval estimation is the use of sample data to estimate an interval of possible values of a parameter of interest. This is in contrast to point estimation, which gives a single value. The most prevalent forms of interval estimation are confidence intervals (a frequentist method) and credible intervals (a Bayesian method); less common forms include likelihood intervals and fiducial intervals.
Optimal decisionAn optimal decision is a decision that leads to at least as good a known or expected outcome as all other available decision options. It is an important concept in decision theory. In order to compare the different decision outcomes, one commonly assigns a utility value to each of them. If there is uncertainty as to what the outcome will be but knowledge about the distribution of the uncertainty, then under the von Neumann–Morgenstern axioms the optimal decision maximizes the expected utility (a probability–weighted average of utility over all possible outcomes of a decision).
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Korean mixed scriptKorean mixed script () is a form of writing the Korean language that uses a mixture of the Korean alphabet or Hangul () and Hanja (, ), the Korean name for Chinese characters. The distribution on how to write words usually follows that all native Korean words, including suffixes, particles, and honorific markers are generally written in hangul and never in hanja. Sino-Korean vocabulary or hanja-eo (), either words borrowed from Chinese or created from Sino-Korean roots, were generally always written in hanja, although very rare or complex characters were often substituted with hangul.
CoréenLe coréen est une langue parlée en Corée, dans les districts frontaliers de la République populaire de Chine (Yanbian) et dans les communautés émigrées (notamment au Japon, en Chine (Pékin, Shandong), en Russie, en Australie, aux États-Unis, en France, etc.), et est la langue officielle de la Corée du Nord et de la Corée du Sud. Si le coréen était anciennement considéré comme un isolat, les études les plus récentes considèrent qu'il fait partie des langues coréaniques, dont il est le seul survivant.
Système de récompenseLe système de récompense / renforcement aussi appelé système hédonique, est un système fonctionnel fondamental des mammifères, situé dans le cerveau, le long du faisceau médian du télencéphale. Ce système de « récompenses » est indispensable à la survie, car il fournit la motivation nécessaire à la réalisation d'actions ou de comportements adaptés, permettant de préserver l'individu et l'espèce (prise de risque nécessaire à la survie, recherche de nourriture, reproduction, évitement des dangers, etc.).
Evidence-based policyEvidence-based policy is a concept in public policy that advocates for policy decisions to be grounded on, or influenced by, rigorously established objective evidence. This concept presents a stark contrast to policymaking predicated on ideology, 'common sense,' anecdotes, or personal intuitions. The approach mirrors the effective altruism movement's philosophy within governmental circles. The methodology employed in evidence-based policy often includes comprehensive research methods such as randomized controlled trials (RCT).
Petits livres de notes d'Anna Magdalena Bachthumb|250px|right|Clavier-Büchlein vor Anna Magdalena Bach in ANNO 1722 Les Petits livres de notes d'Anna Magdalena Bach (en allemand Notenbüchlein für Anna Magdalena Bach) sont des cahiers de musique (Klavierbüchlein) rédigés par Johann Sebastian Bach (Jean-Sébastien Bach) et des membres de sa famille. Le premier cahier commencé à Cöthen en 1720 est rédigé à l'intention de son fils aîné Wilhelm Friedemann Bach et comporte les versions originales des Inventions, Sinfonia(s) et quelques préludes du Clavier bien tempéré.
Langue SOVUne langue SOV est, en typologie syntaxique, une langue dont les phrases suivent, généralement, un ordre sujet-objet-verbe. D'après l'étude de 402 langues par Russell S. Tomlin publiée en 1986, 45 % des langues dans le monde suivent le modèle de SOV, et 75 % des langues naturelles sont des langues SOV ou SVO (sujet-verbe-objet). Cet ordre est le plus fréquent et représente environ 45 % des langues. Parmi les langues naturelles, SOV est le type le plus commun.
Alfred and EmilyAlfred and Emily is a book by Doris Lessing in a new hybrid form. Part fiction, part notebook, part memoir, it was first published in 2008. The book is based on the lives of Lessing's parents. Part one is a novella, a fictional portrait of how her parents' lives might have been without the interruption of the First World War. Part two is a retelling of how her parents' lives really developed. The novella begins in England in 1902, when Alfred and Emily meet at a cricket match.
Pratique fondée sur les preuvesLa pratique fondée sur les preuves, sur les faits, ou sur des données probantes est une approche interdisciplinaire de la pratique clinique qui a gagné du terrain après son apparition au début des années 1990 par l'intermédiaire du médecin canadien Gordon Guyatt. En 1992, une publication indique : . Elle a commencé en médecine comme médecine factuelle (EBM) et se propage aux professions paramédicales de la santé, domaines éducatifs et autres.
Tom Friedman (artist)Tom Friedman (born 1965) is an American conceptual sculptor. He was born in St. Louis, Missouri and received a BFA in graphic illustration from Washington University in St. Louis (1988) and an MFA in sculpture from the University of Illinois at Chicago (1990.). As a conceptual artist he works in diverse media including sculpture, painting, drawing, video, and installation. For over twenty years, Friedman has been investigating the viewer/object relationship, and "the space in between.
