Standard MLStandard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML.
Power toolA power tool is a tool that is actuated by an additional power source and mechanism other than the solely manual labor used with hand tools. The most common types of power tools use electric motors. Internal combustion engines and compressed air are also commonly used. Tools directly driven by animal power are not generally considered power tools. Power tools are used in industry, in construction, in the garden, for housework tasks such as cooking, cleaning, and around the house for purposes of driving (fasteners), drilling, cutting, shaping, sanding, grinding, routing, polishing, painting, heating and more.
LyonLyon (prononcé ou ) est une commune française située dans le quart sud-est de la France, au confluent du Rhône et de la Saône. Siège du conseil de la métropole de Lyon, à laquelle son statut particulier confère à la fois les attributions d'une métropole et d'un département, elle est aussi le chef-lieu de l'arrondissement de Lyon, celui de la circonscription départementale du Rhône et celui de la région Auvergne-Rhône-Alpes. Ses habitants sont appelés les Lyonnais.
Maintenance prévisionnelleLa maintenance prévisionnelle, ou maintenance anticipée (en anglais predictive maintenance), est, selon la norme NF EN 13306 X 60-319 (2018), une . Le principe de la maintenance prévisionnelle est le suivant : tout élément manifeste des signes, visibles ou non, de dégradation qui en annoncent la défaillance. Le tout est de savoir reconnaître ces signes précurseurs. Des appareils permettent de mesurer cette dégradation, laquelle peut être une variation de température, de vibration, de pression, de dimension, de position, de bruit, etc.
ML (langage)ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel. ML fut initialement développé par Robin Milner et d'autres personnes dans les années 1970 à l'université d'Édimbourg, pour le système de preuves formelles (LCF). R. Milner rencontrait des difficultés avec le système de typage de Lisp qui permettait de « prouver » des assertions fausses. ML est un langage fonctionnel impur : il est possible de programmer en impératif et, en conséquence, les fonctions peuvent être sujettes à des effets secondaires non désirés (dits « de bord »), contrairement à des langages purement fonctionnels comme Haskell.
Sine and cosineIn mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle (the hypotenuse), and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle , the sine and cosine functions are denoted simply as and .
Système de gestion de contenu webLa gestion de contenu web (en anglais , souvent désigné par l'acronyme WCMS) est la technologie de gestion de contenu qui s'intéresse aux contenus web. Les systèmes de gestion de contenu (SGC ou CMS en anglais) sont des logiciels qui visent à gérer les différents contenus d'un ou plusieurs sites Web et surtout d'assurer la mise en page des informations présentées dans les pages web et la navigation entre ces pages. Certains Systèmes de gestion de contenu web sont disponibles directement en ligne, et ne nécessitent pas l'installation de logiciel.
Machine-outilUne machine-outil est un équipement mécanique destiné à exécuter un usinage, ou autre tâche répétitive, avec une précision et une puissance adaptées. Elle imprime à un outil, qu'il soit fixe, mobile, ou tournant, un mouvement permettant d'usiner ou de déformer une pièce ou un ensemble fixés sur un plateau mobile ou non. Le tour et notamment le tour à métaux a joué un rôle de premier plan au cours de la révolution industrielle. C'est la machine élémentaire de la mécanique industrielle, celle sans laquelle aucune autre machine ne peut voir le jour.
BordeauxInfobox Commune de France | nom = Bordeaux | statut = 2 | image = Bordeaux ( ) est une commune française, chef-lieu de la région Nouvelle-Aquitaine, préfecture du département de la Gironde. Capitale de la Gaule aquitaine sous l'Empire romain durant près de , puis capitale du duché d'Aquitaine au sein de la couronne d'Angleterre du , et de la province de Guyenne pour le royaume de France, elle est aujourd'hui le chef-lieu et la préfecture de la région Nouvelle-Aquitaine, du département de la Gironde et le siège de Bordeaux Métropole.
Théorie de l'informationLa théorie de l'information, sans précision, est le nom usuel désignant la théorie de l'information de Shannon, qui est une théorie utilisant les probabilités pour quantifier le contenu moyen en information d'un ensemble de messages, dont le codage informatique satisfait une distribution statistique que l'on pense connaître. Ce domaine trouve son origine scientifique avec Claude Shannon qui en est le père fondateur avec son article A Mathematical Theory of Communication publié en 1948.
Système de gestion de contenualt=Exemple de design du système de gestion de contenu WorldPress|vignette|293x293px|Exemple de design du système de gestion de contenu WordPress Un système de gestion de contenu ou SGC (content management system ou CMS en anglais) est un programme informatique permettant de créer un site internet, un blogue ou encore un site de vente en ligne. Les fonctionnalités d'un SGC sont nombreuses. Il permet entre autres de travailler à plusieurs sur un même document ; de séparer les opérations de gestion de la forme et du contenu ; de structurer le contenu (FAQ, documents, blogues, forums, etc.
GrenobleGrenoble (prononcé ; Grenoblo) est une commune du Sud-Est de la France, en région Auvergne-Rhône-Alpes ; elle est le chef-lieu du département de l'Isère et l’ancienne capitale du Dauphiné. Grenoble est la commune-centre de la deuxième agglomération de la région Auvergne-Rhône-Alpes en nombre d'habitants (après celle de Lyon), et la troisième commune de cette région (derrière Lyon et Saint-Étienne). Son agglomération de est également la plus grande métropole des Alpes (devant Innsbruck — dont l'agglomération compte — et Bolzano), ce qui lui vaut le surnom, en France, de « capitale des Alpes ».
