Théorème d'existenceEn mathématiques, un théorème d'existence est un théorème qui affirme l'existence d'un certain objet mathématique, c'est-à-dire que les conclusions du théorème auront la forme « il existe tel objet vérifiant telles propriétés », ou plus généralement, l'objet en question pouvant dépendre d'autres objets, eux-mêmes soumis à certaines conditions, « pour tous x, y, ... tels que ... il existe ... ».
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Théorème de Cauchy-Peano-ArzelàLe théorème de Cauchy-Peano-Arzelà est un théorème d'analyse qui garantit qu'un problème de Cauchy possède toujours au moins une solution locale, sous réserve que la fonction définissant l'équation différentielle soit continue. Soient une fonction continue à valeurs dans , définie sur un cylindre compact , un majorant de la norme de sur , Alors, il existe une solution au problème de Cauchy On peut même, dans cet énoncé, remplacer simultanément les deux intervalles centrés en par des demi-intervalles d'extrémité .
Contre-exempleEn logique, en rhétorique et en mathématiques, un contre-exemple est un exemple, un cas particulier ou un résultat général, qui contredit les premières impressions. Un contre-exemple peut aussi être donné pour rejeter une conjecture, c'est-à-dire un énoncé que les gens (et en particulier les mathématiciens) pensaient vrai. Exemple: Toute notre vie on voit des cygnes blancs. On fait donc l'inférence que tous les cygnes sont blancs, jusqu'à ce qu'un événement change notre perception du réel.
Weak solutionIn mathematics, a weak solution (also called a generalized solution) to an ordinary or partial differential equation is a function for which the derivatives may not all exist but which is nonetheless deemed to satisfy the equation in some precisely defined sense. There are many different definitions of weak solution, appropriate for different classes of equations. One of the most important is based on the notion of distributions.
Stokes' theoremStokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence: The line integral of a vector field over a loop is equal to the flux of its curl through the enclosed surface.
Adversarial machine learningAdversarial machine learning is the study of the attacks on machine learning algorithms, and of the defenses against such attacks. A survey from May 2020 exposes the fact that practitioners report a dire need for better protecting machine learning systems in industrial applications. To understand, note that most machine learning techniques are mostly designed to work on specific problem sets, under the assumption that the training and test data are generated from the same statistical distribution (IID).
Théorème des accroissements finisEn analyse, le théorème des accroissements finis (en abrégé : TAF) est à la fois une généralisation et un corollaire du théorème de Rolle. Pour toute fonction dérivable d'une variable réelle, son taux d'accroissement entre deux valeurs est réalisable comme pente d'une des tangentes à son graphe. Graphiquement, le théorème des accroissements finis indique que, pour toute droite sécante en deux points à une courbe différentiable, il existe, entre ces deux points, une tangente parallèle à la sécante.
Théorème du virielEn mécanique classique, le théorème du viriel est une relation générale qui s'applique à un système de plusieurs corps en interaction. Il relie les moyennes temporelles de ses énergies cinétique et potentielle. Il fut proposé en 1870 par Rudolf Clausius qui travaillait alors sur les fondements de la thermodynamique et cherchait à relier les notions de température et de chaleur aux mouvements des molécules de gaz. Le terme « viriel », du latin vis (force), et le théorème sont tous deux proposés par Rudolf Clausius en 1870.
LausanneLausanne () est une ville suisse située sur la rive nord du lac Léman. Capitale du canton de Vaud, elle est également capitale olympique et chef-lieu du district de Lausanne. Elle est la quatrième ville du pays en nombre d'habitants après Zurich, Genève et Bâle. En , la commune de Lausanne compte , et l'agglomération lausannoise compte . En 2012, elle concentre 50 % de la population et 60 % des emplois du canton de Vaud.
District de LausanneLe district de Lausanne, dont Lausanne est le chef-lieu, est l'un des dix districts du canton de Vaud. Originellement composé de 12 communes, divisé en 3 cercles, le district s'est vu, lors de la réorganisation cantonale du , amputé des communes de Belmont-sur-Lausanne, Paudex et Pully qui ont rejoint le nouveau district de Lavaux-Oron ainsi que de Crissier, Prilly et Renens rattaché au nouveau district de l'Ouest lausannois. Au janvier 2008, la préfecture du district de Lausanne est administrée par trois préfets, Jacques Nicod, Anne Bornand et Sylviane Klein.
Romanel-sur-LausanneRomanel-sur-Lausanne est une commune suisse du canton de Vaud, située dans le district de Lausanne. Elle est située entre Cheseaux, et Lausanne. vignette|gauche|Photo aérienne (1964). Le territoire de Romanel-sur-Lausanne s'étend sur . Lors du relevé de , les surfaces d'habitations et d'infrastructures représentaient de sa superficie, les surfaces agricoles , les surfaces boisées et les surfaces improductives . À au nord-ouest de Lausanne sur la route reliant cette dernière à Echallens et à Yverdon, le village de Romanel est situé à l'extrémité sud du grand plateau du Jorat.
Le Mont-sur-LausanneLe Mont-sur-Lausanne ( ) est une commune du canton de Vaud située dans le district de Lausanne, sur les pentes méridionales du Jorat. La commune est divisée en trois parties : le Petit Mont, le Grand Mont et les Planches. Quatre communes entourent le Mont-sur-Lausanne : la commune de Cugy (au nord), la commune d'Épalinges (à l'est), la commune de Romanel-sur-Lausanne (à l'ouest) et la commune de Lausanne (au sud). vignette|gauche|Photo aérienne (1964). La commune de Le Mont-sur-Lausanne s'étend sur .
Cheseaux-sur-LausanneCheseaux-sur-Lausanne est une commune suisse du canton de Vaud, située dans le district de Lausanne à de Lausanne, d'Yverdon et de Genève. vignette|gauche|Photo aérienne (1964) Cheseaux s'étend sur et se situe à de la ville de Lausanne, elle est traversée par l'axe cantonal reliant Lausanne à Yverdon. Elle se situe entre Étagnières, Lausanne et Morrens. Sa population s'élève environ à à la fin 2019. Elle est traversée par deux rivières, la Chamberonne (à l'Ouest) et la Mèbre (à l'Est).
Belmont-sur-LausanneBelmont-sur-Lausanne est une commune suisse du canton de Vaud, située dans le district de Lavaux-Oron, à l'est de Lausanne et au nord de Pully. Les habitants de la commune se nomment les Belmontais ou les Bimands (du nom en patois vaudois de la commune : Bîman). Ils sont surnommés les Hannetons ou les Cancoires (Quincoâre ou Cancoâre). La commune de Belmont faisait partie intégrante de la commune de Pully jusqu'à la scission. Belmont tire son nom de « beau mont ». La commune est dotée d'un petit centre commercial non loin de l'école.
DonnéeUne donnée est ce qui est connu et qui sert de point de départ à un raisonnement ayant pour objet la détermination d'une solution à un problème en relation avec cette donnée. Cela peut être une description élémentaire qui vise à objectiver une réalité, le résultat d'une comparaison entre deux événements du même ordre (mesure) soit en d'autres termes une observation ou une mesure. La donnée brute est dépourvue de tout raisonnement, supposition, constatation, probabilité.
ExistenceLe terme d'existence en soi est ambigu, il recouvre de multiples sens. Dans le langage trivial il désigne le fait d'être, d'être de manière réelle, il est ainsi utilisé dans un usage tout aussi indéterminé chez beaucoup de philosophes comme équivalent au terme d'« être ». Outre le fait d'exister, il intervient, indique le Petit Larousse, dans plusieurs expressions courantes pour signaler une durée (une longue existence), au sens de vie (être las de son existence), un mode de vie (changer d'existence), etc.
Arguments sur l'existence de DieuLes arguments sur l'existence de Dieu, en faveur ou en défaveur de son existence, ont été nombreux au cours de l'histoire de la philosophie et de la théologie. Le Dieu dont il est question ici est ce que l'on nomme parfois le Dieu des philosophes, à savoir le Dieu des grandes religions du Livre (judaïsme, christianisme, islam), tel qu'il a été conceptualisé par les philosophes. Ses attributs sont d'être le créateur du monde, omniscient, omnipotent, omniprésent et bon.
Big dataLe big data ( « grosses données » en anglais), les mégadonnées ou les données massives, désigne les ressources d’informations dont les caractéristiques en termes de volume, de vélocité et de variété imposent l’utilisation de technologies et de méthodes analytiques particulières pour créer de la valeur, et qui dépassent en général les capacités d'une seule et unique machine et nécessitent des traitements parallélisés. L’explosion quantitative (et souvent redondante) des données numériques permet une nouvelle approche pour analyser le monde.
Analyse des donnéesL’analyse des données (aussi appelée analyse exploratoire des données ou AED) est une famille de méthodes statistiques dont les principales caractéristiques sont d'être multidimensionnelles et descriptives. Dans l'acception française, la terminologie « analyse des données » désigne donc un sous-ensemble de ce qui est appelé plus généralement la statistique multivariée. Certaines méthodes, pour la plupart géométriques, aident à faire ressortir les relations pouvant exister entre les différentes données et à en tirer une information statistique qui permet de décrire de façon plus succincte les principales informations contenues dans ces données.
