Global citizenshipGlobal citizenship is the idea that one's identity transcends geography or political borders and that responsibilities or rights are derived from membership in a broader class: "humanity". This does not mean that such a person denounces or waives their nationality or other, more local identities, but that such identities are given "second place" to their membership in a global community. Extended, the idea leads to questions about the state of global society in the age of globalization.
High-performance computingHigh-performance computing (HPC) uses supercomputers and computer clusters to solve advanced computation problems. HPC integrates systems administration (including network and security knowledge) and parallel programming into a multidisciplinary field that combines digital electronics, computer architecture, system software, programming languages, algorithms and computational techniques. HPC technologies are the tools and systems used to implement and create high performance computing systems.
Global justiceGlobal justice is an issue in political philosophy arising from the concern about unfairness. It is sometimes understood as a form of internationalism. Norwegian philosopher Henrik Syse claims that global ethics and international justice in the western tradition form part of the tradition of natural law: the topic has been organised and taught within Western culture since Latin times of Middle Stoa and Cicero, and the early Christian philosophers Ambrose and Augustine.
Kripke structure (model checking)This article describes Kripke structures as used in model checking. For a more general description, see Kripke semantics. A Kripke structure is a variation of the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a system. It consists of a graph whose nodes represent the reachable states of the system and whose edges represent state transitions, together with a labelling function which maps each node to a set of properties that hold in the corresponding state.
World governmentWorld government is the concept of a single political authority with jurisdiction over all of Earth and humanity. It is conceived in a variety of forms, from tyrannical to democratic, which reflects its wide array of proponents and detractors. A world government with executive, legislative, and judicial functions and an administrative apparatus has never existed. The inception of the United Nations (UN) in the mid-20th century remains the closest approximation to a world government, as it is by far the largest and most powerful international institution.
CrayCray Inc., a subsidiary of Hewlett Packard Enterprise, is an American supercomputer manufacturer headquartered in Seattle, Washington. It also manufactures systems for data storage and analytics. Several Cray supercomputer systems are listed in the TOP500, which ranks the most powerful supercomputers in the world. Cray manufactures its products in part in Chippewa Falls, Wisconsin, where its founder, Seymour Cray, was born and raised.
Torus interconnectA torus interconnect is a switch-less network topology for connecting processing nodes in a parallel computer system. In geometry, a torus is created by revolving a circle about an axis coplanar to the circle. While this is a general definition in geometry, the topological properties of this type of shape describes the network topology in its essence. The following images are 1D, and 2D torus. 1D torus is a simple circle, and 2D torus has the shape of a doughnut.
Initial coin offeringAn initial coin offering (ICO) or initial currency offering is a type of funding using cryptocurrencies. It is often a form of crowdfunding, although a private ICO which does not seek public investment is also possible. In an ICO, a quantity of cryptocurrency is sold in the form of "tokens" ("coins") to speculators or investors, in exchange for legal tender or other (generally established and more stable) cryptocurrencies such as Bitcoin or Ether.
Washington ConsensusThe Washington Consensus is a set of ten economic policy prescriptions considered to constitute the "standard" reform package promoted for crisis-wracked developing countries by Washington, D.C.-based institutions such as the International Monetary Fund (IMF), World Bank and United States Department of the Treasury. The term was first used in 1989 by English economist John Williamson. The prescriptions encompassed free-market promoting policies such as trade liberalization, privatization and finance liberalization.
