Publication

Rule of Thumb – Effect of Social Button Icons on Interaction

Concepts associés (46)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

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.

Wasted vote

In electoral systems, a wasted vote is any vote that does not receive representation in the final election outcome. This includes lost votes for a losing candidate or party, and excess votes for winning candidates in excess of the minimum needed to win. When applied to ranked-vote systems, it includes exhausted votes, votes where none of the candidates the voter ranked are elected. Wasted vote share changes from one election to another depending on voter behavior. Wasted votes can lead to political apathy.

Content creation

Content creation is the act of producing and sharing information or media content for specific audiences, particularly in digital contexts. According to Dictionary.com, content refers to "something that is to be expressed through some medium, as speech, writing or any of various arts" for self-expression, distribution, marketing and/or publication. Content creation encompasses various activities including maintaining and updating web sites, blogging, article writing, photography, videography, online commentary, social media accounts, and editing and distribution of digital media.

Modération d'informations

vignette|Exemple de suppression de commentaire sur une discussion sur GitHub La modération d'informations consiste à accepter, à déplacer vers une rubrique plus appropriée ou à refuser intégralement ou partiellement la publication d'une information ou d'un commentaire déposé par un utilisateur sur un réseau social, un site web ou un forum. L'utilisateur responsable de la modération est appelé modérateur.

Contingent vote

The contingent vote is an electoral system used to elect a single representative in which a candidate requires a majority of votes to win. It is a variation of instant-runoff voting (IRV). Under the contingent vote, the voter ranks the candidates in order of preference, and the first preference votes are counted. If no candidate has a majority (more than half the votes cast), then all but the two leading candidates are eliminated and the votes received by the eliminated candidates are distributed among the two remaining candidates according to voters' preferences.

Type dépendant

En 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).

Conversion de type

En 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.

Influence sociale

L’influence sociale ou la pression sociale est l'influence exercée par un individu, ou par un groupe sur chacun de ses membres, dont le résultat est d'imposer des normes dominantes en matière d'attitude et de comportement. . Cette influence entraîne la modification des comportements, attitudes, croyances, opinions ou sentiments d'un individu ou d'un groupe à la suite du contact avec un autre individu ou groupe. Pour noter un tel effet d’influence, une quelconque relation doit exister entre ces entités.

Reddit est un site web communautaire américain de discussion et d’actualités sociales. Ainsi, les liens les plus appréciés du moment se trouvent affichés en page d’accueil. Fondé en 2005, Reddit contient alors surtout du contenu sur la programmation et la science. Il ne cesse depuis de se diversifier et de s’ouvrir à du contenu plus grand public. Ayant connu une forte croissance en 2010, en partie due à une baisse de popularité de son concurrent Digg, en 2020 il se place comme le web le plus populaire au monde et le aux États-Unis selon Alexa Internet.

Intuitionistic type theory

Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.