Catégorie des modulesEn mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.
Finitely generated moduleIn mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.
Faisceau (de modules)En mathématique, un faisceau de modules est un faisceau sur un espace localement annelé qui possède une structure de module sur le faisceau structural . Sur un espace localement annelé , un faisceau de -modules (ou un -Module) est un faisceau sur tel que soit un -module pour tout ouvert , et que pour tout ouvert contenu dans , l'application restriction soit compatible avec les structures de modules: pour tous , on a Les notions de sous--modules et de morphismes de -modules sont claires.
D-moduleEn mathématiques, un D-module est un module sur un anneau D d'opérateurs différentiels. L'intérêt principal des D-modules réside en son utilisation dans l'étude d'équations aux dérivées partielles. La théorie générale des D-modules nécessite une variété algébrique lisse X définie sur un corps K algébriquement clos de caractéristique nulle, par exemple K = C. Le faisceau des opérateurs différentiels DX est défini comme la OX-algèbre générée par les champs de vecteurs sur X, interprétés comme des dérivations.
Synthèse vocaleLa synthèse vocale est une technique informatique de synthèse sonore qui permet de créer de la parole artificielle à partir de n'importe quel texte. Pour obtenir ce résultat, elle s'appuie à la fois sur des techniques de traitement linguistique, notamment pour transformer le texte orthographique en une version phonétique prononçable sans ambiguïté, et sur des techniques de traitement du signal pour transformer cette version phonétique en son numérisé écoutable sur un haut parleur.
Tianhe (station spatiale chinoise)Tianhe () ou TH, aussi appelé module central ou CM (de l'Core Module) est le premier module de la station spatiale chinoise (SSC). Il est placé en orbite terrestre basse par un lanceur lourd Longue Marche 5B le 29 avril 2021. En tant que module central de la station, il est chargé du contrôle d'attitude, du maintien d'orbite, du système de support de vie ainsi que de l'approvisionnement initial en énergie. vignette|gauche|Schéma de la station spatiale chinoise avec au centre Tianhe en orange.
Robot-assisted surgeryRobot-assisted surgery or robotic surgery are any types of surgical procedures that are performed using robotic systems. Robotically assisted surgery was developed to try to overcome the limitations of pre-existing minimally-invasive surgical procedures and to enhance the capabilities of surgeons performing open surgery. In the case of robotically assisted minimally-invasive surgery, instead of the surgeon directly moving the instruments, the surgeon uses one of two methods to perform dissection, hemostasis and resection, using a direct telemanipulator, or through computer control.
Design methodsDesign methods are procedures, techniques, aids, or tools for designing. They offer a number of different kinds of activities that a designer might use within an overall design process. Conventional procedures of design, such as drawing, can be regarded as design methods, but since the 1950s new procedures have been developed that are more usually grouped together under the name of "design methods". What design methods have in common is that they "are attempts to make public the hitherto private thinking of designers; to externalise the design process".
Intelligence distribuéeL'intelligence distribuée, appelée aussi intelligence en essaim, désigne l'apparition de phénomènes cohérents à l'échelle d'une population dont les individus agissent selon des règles simples. L'interaction ou la synergie entre actions individuelles simples peut de façons variées permettre l'émergence de formes, organisations, ou comportements collectifs, complexes ou cohérents, tandis que les individus eux se comportent à leur échelle indépendamment de toute règle globale.
Audit interneL'audit interne est une activité indépendante qui permet de donner des conseils à une organisation L'audit interne est exercé dans différents environnements juridiques et culturels ainsi que dans des organisations dont l'objet, la taille, la complexité et la structure sont divers. Parfois aussi appelé inspection générale, l'audit interne se structure aujourd'hui autour d'un ensemble de bonnes pratiques professionnelles partagées au niveau international.
