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).
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Active usersActive users is a software performance metric that is commonly used to measure the level of engagement for a particular software product or object, by quantifying the number of active interactions from users or visitors within a relevant range of time (daily, weekly and monthly). The metric has many uses in software management such as in social networking services, online games, or mobile apps, in web analytics such as in web apps, in commerce such as in internet banking and in academia, such as in user behavior analytics and predictive analytics.
Violence familialeSont qualifiées de violences familiales celles exercées au sein de la famille, au sens large. L'expression, comme l'expression voisine de violences intrafamiliales, vise les faits de violence conjugale, de violences faites aux enfants mineurs, aux ascendants, ou à tout membre de la famille élargie, dès lors qu'ils partagent le même toit, voire, selon les cultures une communauté proche. Selon un rapport de 2014 de l'Office des Nations unies contre la drogue et le crime (ONUDC), sur les personnes assassinées dans le monde en 2012, 95 % des auteurs étaient des hommes qui représentaient aussi 80 % des victimes.
Déclaration des droits de l'homme en islamLa Déclaration des droits de l’homme en islam, adoptée au Caire le 5 août 1990 par l'Organisation de la coopération islamique, est une adaptation particulière de la Déclaration universelle des droits de l'homme aux pays musulmans. Cinquante-sept États l'ont ratifiée. Placée sous l'influence de la charia, cette adaptation se traduit notamment par une forte imprégnation religieuse, l'affirmation de la primauté divine, la limitation de la liberté de choisir sa religion et d'en changer, de la liberté d'expression et par l'inégalité des droits entre l'homme et la femme.
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.
Drapeau de la liberté d'expressionLe drapeau de la liberté d'expression (connu en anglais sous le nom Free Speech Flag) est un symbole de liberté utilisé pour diffuser un nombre illégal. Conçu par l'artiste John Marcotte, le drapeau et ses couleurs correspondent à une clé de chiffrement ayant permis aux utilisateurs de copier illégalement des HD DVD et des disques Blu-ray. Il a été créé le , lors de la .
Double négation (linguistique)Une double négation est un procédé rhétorique dans lequel deux mots négatifs se combinant mutuellement sont utilisés. Il existe dans de nombreuses langues du monde. Selon la langue, des phrases à négation double peuvent être utilisées pour exprimer des significations négatives ou positives. Son usage en français permet d'apporter des nuances par rapport à une formulation entièrement affirmative comme dans , à comparer avec : ; et avec : ; la double négation insistant sur la lassitude de Paul. Catégorie:Mor
Matrice de confusionEn apprentissage automatique supervisé, la matrice de confusion est une matrice qui mesure la qualité d'un système de classification. Chaque ligne correspond à une classe réelle, chaque colonne correspond à une classe estimée. La cellule ligne L, colonne C contient le nombre d'éléments de la classe réelle L qui ont été estimés comme appartenant à la classe C. Attention il y a parfois interversion des axes de la matrice en fonction des auteurs.
