Soft powerLe soft power (traduisible en français par la ou le ) est un concept utilisé en relations internationales. Développé par le professeur américain Joseph Nye, il a été repris par de nombreux dirigeants politiques. Colin Powell l'a employé au Forum économique mondial en 2003 pour décrire la capacité d'un acteur politique d'influencer indirectement le comportement d'un autre acteur ou influencer la définition par cet autre acteur de ses propres intérêts, tout à travers des moyens non coercitifs (structurels, culturels ou idéologiques).
Droit international coutumiervignette|Palais de la Paix Vredespaleis Le droit international coutumier correspond aux différentes coutumes du droit international. À la différence d'un principe universel de jus cogens, c'est la pratique qui détermine qu'une règle est qualifiée de « coutumière » car elle doit pour cela refléter une pratique étatique étendue, représentative et pratiquement uniforme et acceptée comme étant le droit.
International lawInternational law (also known as public international law and the law of nations) is the set of rules, norms, and standards generally recognised as binding between states. It establishes normative guidelines and a common conceptual framework for states across a broad range of domains, including war and diplomacy, economic relations, and human rights. International law differs from state-based domestic legal systems in that it is primarily, though not exclusively, applicable to states, rather than to individuals, and operates largely through consent, since there is no universally accepted authority to enforce it upon sovereign states.
Droitvignette|La Loi par Jean-Jacques Feuchère. Marbre, 1852. Place du Palais-Bourbon, VIIe arrondissement de Paris. Le droit est défini comme , ou de façon plus complète . Ces règles, appelées règles de droit sont impersonnelles, abstraites, obligatoires et indiquent ce qui « doit être fait ». Ces règles juridiques peuvent trouver leur source dans une source normative « supérieure », extérieure, transcendante, comme le droit naturel, ou découler de normes intrinsèques, issues de la morale et de la raison.
Droit international pénalLe droit international pénal est une branche du droit située à l'intersection du droit international public et du droit pénal, qui s'attache à la responsabilité pénale individuelle dans les crimes considérés comme internationaux. Un crime international est un acte qui est universellement reconnu comme un acte criminel et qui revêt une importance internationale. Le droit international pénal est une matière relativement nouvelle. Ce caractère contemporain sous-tend des difficultés quant à l'exposition d'une définition générale et précise.
Droit international relatif aux droits de l’hommeLe droit international relatif aux droits de l'homme, ou pour les Nations unies le « droit international relatif aux droits de humains » est la somme des droits internationaux présents dans la Déclaration universelle des droits de l'homme et les traités internationaux sur les droits de l'homme, y compris les instruments internationaux relatifs aux droits de l'homme. Quelquefois, on considère aussi le droit international humanitaire comme faisant partie de la loi internationale des droits de l'Homme.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Directive 95/46/CE sur la protection des données personnellesLa directive 95/46/CE est une ancienne directive de l'Union européenne abrogée le qui constituait le texte de référence en matière de protection des données à caractère personnel. Publiée au Journal officiel de l'Union européenne du , elle est officiellement intitulée « directive 95/46/CE du Parlement européen et du Conseil, du 24 octobre 1995, relative à la protection des personnes physiques à l'égard du traitement des données à caractère personnel et à la libre circulation de ces données ».
Violation de donnéesUne fuite de données consiste en la copie, la transmission, la visualisation, le vol ou l'utilisation d'informations confidentielles, sensibles ou protégées par une personne non autorisée. Les fuites de données impliquent souvent des informations financières telles que des numéros de carte de crédit ou des informations bancaires, les renseignements médicaux personnels (DMP), les informations personnelles identifiables (PII), les secrets commerciaux de sociétés ou de la propriété intellectuelle.
Proof of spaceProof of space (PoS) is a type of consensus algorithm achieved by demonstrating one's legitimate interest in a service (such as sending an email) by allocating a non-trivial amount of memory or disk space to solve a challenge presented by the service provider. The concept was formulated in 2013 by Dziembowski et al. and (with a different formulation) by Ateniese et al.. Proofs of space are very similar to proofs of work (PoW), except that instead of computation, storage is used to earn cryptocurrency.
Droit international humanitaireLe droit international humanitaire (DIH) ou droit humanitaire international (DHI), appellation de ce qui est connu traditionnellement sous le nom droit de la guerre et des gens, est un ensemble de règles qui tend à limiter les effets des opérations de guerre, en particulier à l'égard des populations et des installations civiles et des personnes qui ne participent pas ou plus aux combats (prisonniers de guerre, réfugiés), ainsi qu'en limitant les objectifs, les moyens et les armes de guerre.
Livre-codeEn cryptographie, un livre-code est un document utilisé pour chiffrer un message. Il contient une table de correspondance qui sert à la fois pour coder et décoder. Au , les livres-codes ne sont pratiquement plus utilisés, remplacés avantageusement par les algorithmes cryptographiques implantés sur ordinateurs. La plupart des livres-codes contiennent des listes de symboles, de syllabes, de mots, de paraphrases ou de phrases, chacun associé à un nombre, par exemple.
Relations internationalesLes relations internationales sont aussi appelées études internationales (en anglais International Studies (IS)). Les sujets principaux d'études y sont le droit international, la politique internationale, l'économie internationale, et l'histoire des relations internationales. Sous ces vocables, sont en général désignés l'étude des affaires étrangères et des grandes questions du système international : rôle des États, des organisations internationales, des organisations non gouvernementales (ONG) ainsi que des entreprises multinationales.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Preuve de travailUn système de validation par preuve de travail (en anglais : proof of work, PoW) est, en informatique, un protocole permettant de repousser, sur un environnement client-serveur, des attaques par déni de service ou d'autres abus de service tels que les spams. Ce système de preuve de travail est utilisé dans des cadres beaucoup plus complexes, pour la validation des transactions de la blockchain de certaines crypto-monnaies comme le Bitcoin. Cette vérification par les mineurs de bitcoins est récompensée par l'émission de nouveaux bitcoins au bénéfice des vérificateurs.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Règlement général sur la protection des donnéesLe règlement général sur la protection des données (RGPD, ou encore GDPR, de l'anglais « General Data Protection Regulation »), officiellement appelé règlement UE 2016/679 du Parlement européen et du Conseil du relatif à la protection des personnes physiques à l'égard du traitement des données à caractère personnel et à la libre circulation de ces données, et abrogeant la directive 95/46/CE, est un règlement de l'Union européenne qui constitue le texte de référence en matière de protection des données à car
Code (cryptography)In cryptology, a code is a method used to encrypt a message that operates at the level of meaning; that is, words or phrases are converted into something else. A code might transform "change" into "CVGDK" or "cocktail lounge". The U.S. National Security Agency defined a code as "A substitution cryptosystem in which the plaintext elements are primarily words, phrases, or sentences, and the code equivalents (called "code groups") typically consist of letters or digits (or both) in otherwise meaningless combinations of identical length.
Données personnellesUne donnée à caractère personnel ou DCP (couramment « données personnelles ») correspond en droit français à toute information relative à une personne physique identifiée ou qui peut être identifiée, directement ou indirectement, par référence à un numéro d'identification ou à un ou plusieurs éléments qui lui sont propres. En France, les données ayant été l'objet d'un procédé d'anonymisation ne sont pas considérées comme des données à caractère personnel.
