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.
Action de groupe (mathématiques)En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires. Plus précisément, c'est la donnée, pour chaque élément du groupe, d'une permutation de l'ensemble, de telle manière que toutes ces bijections se composent de façon compatible avec la loi du groupe. Étant donné un ensemble E et un groupe G, dont la loi est notée multiplicativement et dont l'élément neutre est noté e, une action (ou opération) de G sur E est une application : vérifiant chacune des 2 propriétés suivantes : On dit également que G opère (ou agit) sur l'ensemble E.
Location awarenessLocation awareness refers to devices that can passively or actively determine their location. Navigational instruments provide location coordinates for vessels and vehicles. Surveying equipment identifies location with respect to a well-known location wireless communications device. The term applies to navigating, real-time locating and positioning support with global, regional or local scope. The term has been applied to traffic, logistics, business administration and leisure applications.
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.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
CapitalLe capital est une somme d'investissements utilisée pour en tirer un profit, c'est-à-dire un stock de biens ou de richesses nécessaires à une production. Cet emploi, courant en sciences économiques, en finance, en comptabilité, en sociologie et en philosophie, a néanmoins dans les domaines distincts des significations spécifiques. Au , « capital » est un adjectif dérivé de la racine latine caput : la tête, signifiant « principal ». Dans le dictionnaire de Nicot publié en 1606, l'adjectif est transformé en substantif pour désigner « le capital d'un marchand ».
Groupe (mathématiques)vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'une loi de composition interne associative admettant un élément neutre et, pour chaque élément de l'ensemble, un élément symétrique. La structure de groupe est commune à de nombreux ensembles de nombres — par exemple les nombres entiers relatifs, munis de la loi d'addition.
Réseau socialEn sciences humaines et sociales, l'expression réseau social désigne un agencement de liens entre des individus ou des organisations, constituant un groupement qui a un sens : la famille, les collègues, un groupe d'amis, une communauté, etc. L'anthropologue australien John Arundel Barnes a introduit l'expression en 1954. L'analyse des réseaux sociaux est devenue une spécialité universitaire dans le champ de la sociologie, se fondant sur la théorie des réseaux et l'usage des graphes.
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.
Théorie des groupesvignette|Le Rubik's cube illustre la notion de groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes. Le développement de la théorie des groupes est issu de la théorie des nombres, de la théorie des équations algébriques et de la géométrie. La théorie des groupes est étroitement liée à la théorie des représentations.
Context awarenessContext awareness refers, in information and communication technologies, to a capability to take into account the situation of entities, which may be users or devices, but are not limited to those. Location is only the most obvious element of this situation. Narrowly defined for mobile devices, context awareness does thus generalize location awareness. Whereas location may determine how certain processes around a contributing device operate, context may be applied more flexibly with mobile users, especially with users of smart phones.
Marché (économie)Un marché est l'institution sociale abstraite où se rencontrent l'offre et la demande de biens ou de services. Le marché est ainsi le lieu, physique ou virtuel, où les échanges commerciaux ont lieu. Dans son acception la plus ancienne, un marché est une institution qui accueille un commerce localisé précisément dans l'espace et le temps mais de dimension variable, par exemple les marchés traditionnels, les marchés aux puces et Lloyd's of London.
Techniques de pointeLes techniques de pointe, hautes technologies ou, abusivement technologies de pointe, aussi connues sous l'anglicisme high-tech (pour high technology), sont des techniques considérées comme les plus avancées à une époque donnée.
Consentement libre et éclairéEn droit de la santé, le consentement libre et éclairé implique que le médecin est tenu de présenter clairement au patient tous les risques d'une conduite thérapeutique. Le consentement doit être libre, c’est-à-dire en l'absence de contrainte, et éclairé, c’est-à-dire précédé par une information. La règle selon laquelle le consentement doit être libre et éclairé est énoncée à l'article 10 du Code civil du Québec : Cette règle est placée immédiatement avant la section du Code civil du Québec intitulée « des soins ».
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.
PartenariatLe partenariat se définit comme une association active de différents intervenants qui, tout en maintenant leur autonomie, acceptent de mettre en commun leurs efforts en vue de réaliser un objectif commun relié à un problème ou à un besoin clairement identifié dans lequel, en vertu de leur mission respective, ils ont un intérêt, une responsabilité, une motivation, voire une obligation. Le partenariat s'envisage souvent dans le cadre d'alliances. Une entreprise qui fonctionne systématiquement en organisant des partenariats est une entreprise en réseau.
Groupe réductifEn mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments unipotents de ) soit trivial. Tout est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial.
Libre marchéUn libre marché est un marché dans lequel les transactions (prix, quantités, mesures...) entre acheteurs et vendeurs sont déterminées seulement par leur consentement mutuel. Cela exclut que l'une des parties obtienne la conclusion du marché par contrainte ou par tromperie ; cela exclut également l'intervention d'un tiers pour forcer ou empêcher le marché : notamment, cela limite l'intervention des pouvoirs publics à l'application des droits de propriétés, respect des contrats et vérification du consentement.
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.
Compagnie (entreprise)Une compagnie est une forme d'organisation d'entreprise. En droit canadien et québécois, le mot compagnie est synonyme de société par actions. Cependant, pour adopter une terminologie plus rigoureuse et afin de moderniser sa législation en matières de sociétés, le législateur québécois a abrogé la majeure partie de la Loi sur les compagnies et a adopté la Loi sur les sociétés par actions. C'est une association ou un groupement de personnes individuelles réelles et/ou d'autres sociétés, qui fournissent chacun une certaine forme de capital.
