Psychologie de la musiquevignette|Modèle psychologique de la perception des hauteurs. La psychologie de la musique est une branche de la psychologie expérimentale consacrée à l'étude de la perception des sons musicaux. C'est un domaine des neurosciences annexe de la musicologie et de la musicothérapie.
R (langage)R est un langage de programmation et un logiciel libre destiné aux statistiques et à la science des données soutenu par la R Foundation for Statistical Computing. Il fait partie de la liste des paquets GNU et est écrit en C, Fortran et R. GNU R est un logiciel libre distribué selon les termes de la licence GNU GPL. Le site officiel fournit des binaires pour Linux, Windows et macOS, et des portages existent pour d'autres systèmes d'exploitation.
Théorie VSEPRLa théorie VSEPR (sigle de l'anglais Valence Shell Electron Pair Repulsion, en français RPECV : « répulsion des paires électroniques de la couche de valence ») est une méthode destinée à prédire la géométrie des molécules en s'appuyant sur la théorie de la répulsion des électrons de la couche de valence. Elle est aussi connue sous le nom de « théorie de Gillespie » (ou théorie de Nyholm-Gillespie). Ce sont les Britanniques Nevil Sidgwick et Herbert Powell de l'Université d'Oxford qui ont proposé en 1940 une corrélation entre la géométrie moléculaire et le nombre des électrons de valence.
Système de fichiersLe terme système de fichiers (abrégé « FS » pour File System, parfois filesystem en anglais) désigne de façon ambigüe : soit l'organisation hiérarchique des fichiers au sein d'un système d'exploitation (on parle par exemple du file system d'une machine unix organisé à partir de sa racine (/) ) soit l'organisation des fichiers au sein d'un volume physique ou logique, qui peut être de différents types (par exemple NTFS, , FAT32, ext2fs, ext3fs, ext4fs, zfs, btrfs, etc.
MésomérieEn chimie, la mésomérie désigne une délocalisation d'électrons dans les molécules conjuguées, que l'on représente par une combinaison virtuelle de structures aux électrons localisés appelées mésomères ou formes de résonance. Faute de moyens graphiques plus simples pour les décrire correctement, la mésomérie est donc une représentation simplifiée des systèmes moléculaires, qui sont plus précisément décrits par des approches de chimie quantique. Le terme « mésomérie » est dû à Ingold.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Molécule hypervalenteUne molécule hypervalente est une espèce chimique considérée comme comportant un atome qui, en ayant plus de huit électrons dans sa couche de valence, ne respecte pas la règle de l'octet. L'ion triiodure , le trifluorure de chlore , l'ion phosphate , le pentachlorure de phosphore , l'hexafluorure de soufre ou encore l'heptafluorure d'iode sont des exemples de molécules hypervalentes. Ce concept a été introduit en 1969 par Jeremy I. Musher pour les molécules formées par les éléments des colonnes 15 à 18 dans tous leurs états d'oxydation autres que l'état le plus bas.
Théorie de la musiqueUne théorie de la musique est un ensemble de règles décrivant le système musical d'une culture particulière. Le corpus mondial de textes théoriques concernant la musique est immense. Chaque culture musicale possède ses propres formes. Les théories de la musique regroupent des ensembles de notions concernant la production et l'organisation des sons musicaux, qui ne définissent pas nécessairement tous de la même façon le temps, le caractère distinctif de chaque son, et les relations entre sons successifs ou simultanés.
Géométrie moléculaire octaédriqueEn chimie, une géométrie moléculaire octaédrique est la géométrie des molécules où un atome central, noté A, est lié à six atomes, groupe d'atomes ou ligands, notés X, formant un octaèdre régulier. Cette configuration est notée AX6E0 selon la théorie VSEPR. Les angles de liaison sont de 90° lorsque tous les substituants sont les mêmes, et la structure est alors un octaèdre parfait appartenant au groupe ponctuel de symétrie Oh.
MusicologieLa musicologie (en Musikwissenschaft) est l'étude scientifique de la musique. Elle forme un domaine des sciences humaines. Un chercheur qui participe à cette étude est un musicologue. Le terme provient du grec et . La musicologie commence à se constituer en tant que champ disciplinaire au dans le sillage du développement de la critique musicale avec des revues dédiés et de premiers essais de théorisation. Au , la musicologie se divise en trois disciplines principales : la musicologie historique, la théorie et l'analyse musicale, et l'ethnomusicologie, complétées par de nombreuses disciplines annexes.
Cognitive musicologyCognitive musicology is a branch of cognitive science concerned with computationally modeling musical knowledge with the goal of understanding both music and cognition. Cognitive musicology can be differentiated from other branches of music psychology via its methodological emphasis, using computer modeling to study music-related knowledge representation with roots in artificial intelligence and cognitive science. The use of computer models provides an exacting, interactive medium in which to formulate and test theories.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Notebook (programmation)vignette|Notebook du logiciel informatique IPython.|338x338px En programmation informatique, un notebook, aussi fréquemment appelé calepin électronique, voire simplement calepin est une interface de permettant de combiner des sections en langage naturel et des sections en langage informatique. Les notebooks sont notamment utilisés en science des données pour explorer et analyser des données. Les notebooks peuvent ensuite être enregistrés sous forme de document. C'est un exemple de programmation lettrée.
Systematic musicologySystematic musicology is an umbrella term, used mainly in Central Europe, for several subdisciplines and paradigms of musicology. "Systematic musicology has traditionally been conceived of as an interdisciplinary science, whose aim it is to explore the foundations of music from different points of view, such as acoustics, physiology, psychology, anthropology, music theory, sociology, and aesthetics.
Musique algorithmiqueDepuis le démarrage de la réflexion sur la composition assistée par ordinateur, première expérimentation musicale utilisant l’outil informatique, les systèmes de composition se sont tour à tour préoccupés d’infléchir ou de laisser l’initiative à la machine, et, parallèlement, de libérer totalement l’homme de certaines tâches de régulation, ou de lui laisser une part importante de création. Pour tenter de réduire la proportion de hasard, l'ordinateur fut utilisé pour ses fonctions de contrôle de l’automation.
JupyterJupyter est une application web utilisée pour programmer dans plus de 40 langages de programmation, dont Python, Julia, Ruby, R, ou encore Scala. C'est un projet communautaire dont l'objectif est de développer des logiciels libres, des formats ouverts et des services pour l'informatique interactive. Jupyter est une évolution du projet IPython. Jupyter permet de réaliser des calepins ou notebooks, c'est-à-dire des programmes contenant à la fois du texte, simple ou enrichi typographiquement et sémantiquement grace au langage à balises simplifié Markdown, et du code, lignes sources et résultats d'exécution.
Programmation lettréeLa programmation lettrée (ou programmation littéraire) est une approche de la programmation préconisée par Donald Knuth qui se veut différente du paradigme de programmation structurée des années 1970. Le paradigme de la programmation lettrée, tel qu'il a été conçu par Knuth, s'éloigne dans son écriture de l'ordonnancement imposé par l'ordinateur, et à la place autorise les développeurs à utiliser un ordre imposé par la logique et le fil de leur pensée.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
