Heure d'été du Royaume-UniL'heure d'été du Royaume-Uni (en anglais : « British Summer Time », en abrégé BST) est le temps civil durant les mois de printemps et d'été au Royaume-Uni, ce qui signifie que les horloges du temps moyen de Greenwich (GMT) sont avancées d'une heure (UTC+1). La période du « British Summer Time » commence le dernier dimanche de mars et se termine le dernier dimanche d'octobre. Bien que populaire à son apparition en 1916, la pratique est maintenant parfois remise en question.
Temps moyen de Greenwichvignette|upright 1.1|Horloge de l'Observatoire royal de Greenwich. Le temps moyen de Greenwich ou heure moyenne de Greenwich, en anglais : Greenwich Mean Time, abrégé en GMT, est l'heure solaire moyenne au méridien de Greenwich, méridien d'origine des longitudes, traversant l'Observatoire royal de Greenwich, près de Londres au Royaume-Uni. L'heure moyenne de Greenwich a servi de référence temporelle dans le monde pendant la majeure partie du , avant d’être remplacée par le temps universel coordonné (UTC) en 1972.
Temps universel coordonnévignette|upright=1.5|L’heure dans le monde par rapport à UTC. Le temps universel coordonné ou UTC (coordinated universal time) est une échelle de temps adoptée comme base du temps civil international par la majorité des pays du globe. UTC est une échelle de temps comprise entre le temps atomique international (TAI) qui est stable mais déconnecté de la rotation de la Terre et le temps universel (TU), directement lié à la rotation de la Terre et donc lentement variable.
Voyage dans le tempsLe voyage dans le temps est un des grands thèmes de la science-fiction, au point d’être considéré comme un genre à part entière. L’idée d’aller revivre le passé ou de découvrir à l’avance le futur est un rêve humain causé par le fait que l’être humain avance dans le temps de manière permanente, mais irréversible (et, à l’état de veille, apparemment de façon linéaire). La première mention d’un voyage dans le temps serait le personnage de Merlin l’Enchanteur dans le cycle arthurien des chevaliers de la Table ronde, qui visitait les temps passés.
Data dredgingvignette|Exemple de Data dredging. Le data dredging (littéralement le dragage de données mais mieux traduit comme étant du triturage de données) est une technique statistique qui . Une des formes du data dredging est de partir de données ayant un grand nombre de variables et un grand nombre de résultats, et de choisir les associations qui sont « statistiquement significatives », au sens de la valeur p (on parle aussi de p-hacking).
Complexité en tempsEn algorithmique, la complexité en temps est une mesure du temps utilisé par un algorithme, exprimé comme fonction de la taille de l'entrée. Le temps compte le nombre d'étapes de calcul avant d'arriver à un résultat. Habituellement, le temps correspondant à des entrées de taille n est le temps le plus long parmi les temps d’exécution des entrées de cette taille ; on parle de complexité dans le pire cas. Les études de complexité portent dans la majorité des cas sur le comportement asymptotique, lorsque la taille des entrées tend vers l'infini, et l'on utilise couramment les notations grand O de Landau.
Catégorie de foncteursUne catégorie de foncteurs ou catégorie des foncteurs entre deux catégories est une catégorie dont les objets sont les foncteurs entre ces catégories, et les morphismes sont les transformations naturelles entre ces foncteurs. Soient et des catégories. On définit la catégorie de foncteurs de dans , notée , ou parfois ou : Les objets de sont les foncteurs de dans ; Les morphismes sont les transformations naturelles. Il existe, pour tout objet F, un morphisme correspondant à l'identité incarné par le foncteur .
Sélection de caractéristiqueLa sélection de caractéristique (ou sélection d'attribut ou de variable) est un processus utilisé en apprentissage automatique et en traitement de données. Il consiste, étant donné des données dans un espace de grande dimension, à trouver un sous-sensemble de variables pertinentes. C'est-à-dire que l'on cherche à minimiser la perte d'information venant de la suppression de toutes les autres variables. C'est une méthode de réduction de la dimensionnalité. Extraction de caractéristique Catégorie:Apprentissage
Théorie du choix socialLa théorie du choix social est un domaine multidisciplinaire lié aux thématiques de l'économie, de la théorie de la décision et de la théorie politique. Elle vise l'étude et l'analyse de la manière dont la combinaison d'opinions individuelles peut mener, au niveau collectif (ou social) à un classement des choix possibles, voire à une décision unique. Cette théorie a donc pour champ d'application d'une part les questions d'évaluation des choix collectifs (aspect normatif) et d'autre part l'analyse des procédures de choix (aspect positif).
Théorie du choix rationnelLa théorie du choix rationnel (en anglais « rational choice theory », prononcé 'ræʃənl tʃɔɪs thēərē), ou « décision rationnelle », en microéconomie contemporaine, regroupe plusieurs théories de l'action qui, de manière générale, attribuent aux agents un comportement rationnel, lequel, en raison de préférences, dénote une recherche du plus grand profit pour le moindre mal. Elles ont été développées en économie (où elles constituent un paradigme dominant), en sociologie (où elles sont en concurrence avec d'autres paradigmes) et en psychologie, notamment en criminologie.
Twelfth gradeTwelfth grade (also known as 12th grade, grade 12, or senior year) is the twelfth year of formal or compulsory education. It is typically the final year of secondary school in most parts of the world. Students in twelfth grade are usually 17–18 years old. Some countries have a thirteenth grade, while other countries do not have a 12th grade/year at all. In Australia, the twelfth grade is referred to as Year 12. In New South Wales, students are usually 16 or 17 years old when they enter Year 12 and 17 or 18 years during graduation (end of year).
Homotopy categoryIn mathematics, the homotopy category is a built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra.
