GouvernanceLa gouvernance est, de façon générale, un concept représentant la manière dont un domaine d’activités est gouverné. La gouvernance renvoie à un système d’entités décisionnelles qui dirige un certain domaine d’activités, autrement dit à un « système de gouvernance », impliquant notamment une structure de gouvernance et un dynamisme de système (processus de gouvernance, activités de gestion, etc). Parmi les types de gouvernance, on retrouve la gouvernance publique et la gouvernance privée.
Gouvernance environnementaleL’environnement et les ressources naturelles doivent être considérés comme des biens communs mondiaux, qui appartiennent aux catégories spécifiques des biens non manufacturés qui, lorsqu’ils sont partagés, peuvent être soit divisés soit détruits. Le caractère mondial de ces biens découle de l’appartenance de chacun des éléments qui le composent à un système intégré. Chacun peut profiter de l’atmosphère, du climat et de la biodiversité (entre autres) et, en même temps, la planète tout entière souffre des effets dramatiques du réchauffement global, de la réduction de la couche d'ozone ou de l’extinction des espèces.
Gouvernance multipartiteLa gouvernance multipartite est un système de gouvernance. Son objectif est d'impliquer les parties prenantes dans le dialogue, le processus de prise de décision et la mise en œuvre des réponses à des problèmes que chacune reconnait. Le principe qui sous-tend une telle structure est que si les acteurs concernés par une question contribuent suffisamment à son traitement, la décision prise par consensus qui en découlera sera plus légitime et pourra être mise en œuvre de manière plus efficace qu'une réponse conventionnelle apportée par un État.
Gouvernance mondialeLa question de la gouvernance mondiale se pose dans le contexte de la mondialisation. Face à des interdépendances — à l'échelle mondiale — entre les sociétés humaines mais aussi entre l'humanité et la biosphère, la gouvernance mondiale définit la construction de réglementations ou mieux de régulations à la même échelle. Cela ne signifie pas la mise en place d'un gouvernement mondial sur le modèle traditionnel des États mais la mise en place de réglementations publiques et privées à la hauteur des défis.
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.
HelsinkiHelsinki (prononcé ; prononcé en finnois : ; Helsingfors ) est la capitale de la Finlande. Avec dans la commune et dans le Grand Helsinki, elle est la plus grande ville de Finlande. Helsinki est la capitale la plus septentrionale du monde après Reykjavik, la capitale de l'Islande. La ville a la plus forte population immigrée de tout le pays ; plus de 130 nationalités y résident. Elle s'étale sur une presqu'île entourée d'un grand nombre d'îles et est fortement caractérisée par la présence de l'eau.
Gouvernement d'entreprisevignette|Exemple de Système Gouvernance par les documents Le gouvernement d'entreprise (ou gouvernance d'entreprise - expression dérivée de l'anglais « corporate governance » -) désigne l'ensemble des processus, réglementations, lois et institutions destinés à cadrer la manière dont l'entreprise est dirigée, administrée et contrôlée. Dans le modèle le plus courant du capitaliste moderne, le gouvernement d'entreprise est pensé pour maximiser les intérêts des actionnaires (montant des dividendes et valeur des parts sociales et des actions).
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.
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.
Prise de décision collectiveLa prise de décision collective (en anglais, collaborative decision making ou CDM) est une situation où des individus sont rassemblés en un groupe pour résoudre des problèmes. Selon l'idée de synergie, les décisions prises collectivement ont tendance à être plus efficaces que les décisions prises individuellement. Cependant, il existe des situations dans lesquelles les décisions prises en groupe aboutissent à un mauvais jugement. En psychologie sociale, la prise de décision collective peut être définie comme .
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.
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.
Méthode du consensusDans le monde politique et technique et dans les groupes, tout ou partie des acteurs ont souvent besoin d'appuyer leurs choix et décisions stratégiques sur des « preuves » rationnelles et scientifiques. Or ils sont souvent confrontés à des incertitudes. Pour réduire cette incertitude diverses méthodes ont été au cours du élaborées et affinées, dont les conférences de consensus qui aboutissent parfois à des résultats provisoires mais plus ou moins relativement consensuels. C'est un des moyens de résolution non violente de conflits.
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.
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).
Prise de décisionvignette|Lorsqu'il s'agit de prendre une décision, il est bon de savoir que des situations différentes nécessitent une approche différente. Il n'y a pas de façon unique de penser/d'agir. la plupart du temps, nous errons dans l'espace du désordre, sans savoir ce qui se passe, sans savoir comment agir. Dans ce cas, nous avons tendance à entrer dans l'espace avec lequel nous nous sentons le plus à l'aise et à commencer à agir. Lorsque vous avez trouvé le Saint Graal, la solution unique pour chaque problème, vous feriez mieux de faire attention.
Intuitionistic type theoryIntuitionistic 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.
Aéroport d'Helsinki-VantaaL'aéroport d'Helsinki-Vantaa est le principal aéroport international de Finlande, dans la région capitale (Uusimaa). Il est situé à du centre de la ville de Vantaa et à au nord du centre de la capitale Helsinki. C'est de très loin le principal aéroport de la région métropolitaine d'Helsinki et du reste du pays. En 2019, l'aéroport d'Helsinki-Vantaa a vu transiter passagers. L'ouverture a lieu pour les Jeux olympiques d'été de 1952. En 1956, on inaugure une deuxième piste et installe un système de radar.
PapierLe papier est un matériau en feuilles minces fabriqué à partir de fibres végétales. C'est un support d'écriture et de dessin avec de nombreuses autres applications. On appelle carton un papier épais et rigide. L'usage du papier est attesté il y a en Chine. Il s'y fabrique à partir de plantes riches en cellulose. L'invention de la xylographie au en augmente l'usage et la fabrication. À la même époque, il se diffuse dans le monde musulman, où les fabricants utilisent le chiffon, puis en Occident où on lui ajoute de la colle pour l'adapter à l'écriture à la plume.
FinlandeLa Finlande (Suomi ; Finland), en forme longue la république de Finlande (Suomen tasavalta ; Republiken Finland) est un État souverain d'Europe du Nord dont le territoire s'étend sur le flanc Est et sur 100000 îles de la mer baltique. La partie continentale possède près de 200000 lacs et partage ses frontières terrestres avec la Russie à l'Est ainsi que la Suède et la Norvège au Nord, tandis que les archipel de Turku et d'Åland constituent l'essentiel de la partie insulaire du pays.
