Conductive polymerConductive polymers or, more precisely, intrinsically conducting polymers (ICPs) are organic polymers that conduct electricity. Such compounds may have metallic conductivity or can be semiconductors. The main advantage of conductive polymers is that they are easy to process, mainly by dispersion. Conductive polymers are generally not thermoplastics, i.e., they are not thermoformable. But, like insulating polymers, they are organic materials. They can offer high electrical conductivity but do not show similar mechanical properties to other commercially available polymers.
GenevaGeneva (dʒəˈniːvə ; Genève ʒənɛv) is the second-most populous city in Switzerland (after Zürich) and the most populous city of Romandy, the French-speaking part of Switzerland. Situated in the south west of the country, where the Rhône exits Lake Geneva, it is the capital of the Republic and Canton of Geneva, and a center for international diplomacy. The city of Geneva (ville de Genève) had a population of 203,951 in 2020 (Jan. estimate) within its small municipal territory of , but the Canton of Geneva (the city and its closest Swiss suburbs and exurbs) had a population of 504,128 (Jan.
Polymer chemistryPolymer chemistry is a sub-discipline of chemistry that focuses on the structures of chemicals, chemical synthesis, and chemical and physical properties of polymers and macromolecules. The principles and methods used within polymer chemistry are also applicable through a wide range of other chemistry sub-disciplines like organic chemistry, analytical chemistry, and physical chemistry. Many materials have polymeric structures, from fully inorganic metals and ceramics to DNA and other biological molecules.
PolyethylenePolyethylene or polythene (abbreviated PE; IUPAC name polyethene or poly(methylene)) is the most commonly produced plastic. It is a polymer, primarily used for packaging (plastic bags, plastic films, geomembranes and containers including bottles, etc.). , over 100 million tonnes of polyethylene resins are being produced annually, accounting for 34% of the total plastics market. Many kinds of polyethylene are known, with most having the chemical formula (C2H4)n. PE is usually a mixture of similar polymers of ethylene, with various values of n.
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.
Canton of GenevaThe Canton of Geneva, officially the Republic and Canton of Geneva, is one of the 26 cantons forming the Swiss Confederation. It is composed of forty-five municipalities, and the seat of the government and parliament is in the City of Geneva. Geneva is the French-speaking westernmost canton of Switzerland. It lies at the western end of Lake Geneva and on both sides of the Rhone, its main river. Within the country, the canton shares borders with Vaud to the east, the only adjacent canton.
Reaction progress kinetic analysisIn chemistry, reaction progress kinetic analysis (RPKA) is a subset of a broad range of kinetic techniques utilized to determine the rate laws of chemical reactions and to aid in elucidation of reaction mechanisms. While the concepts guiding reaction progress kinetic analysis are not new, the process was formalized by Professor Donna Blackmond (currently at Scripps Research Institute) in the late 1990s and has since seen increasingly widespread use.
Religious conversionReligious conversion is the adoption of a set of beliefs identified with one particular religious denomination to the exclusion of others. Thus "religious conversion" would describe the abandoning of adherence to one denomination and affiliating with another. This might be from one to another denomination within the same religion, for example, from Protestant Christianity to Roman Catholicism or from Sunnī Islam to Shīʿa Islam. In some cases, religious conversion "marks a transformation of religious identity and is symbolized by special rituals".
Law of mass actionIn chemistry, the law of mass action is the proposition that the rate of the chemical reaction is directly proportional to the product of the activities or concentrations of the reactants. It explains and predicts behaviors of solutions in dynamic equilibrium. Specifically, it implies that for a chemical reaction mixture that is in equilibrium, the ratio between the concentration of reactants and products is constant.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Titanium alloysTitanium alloys are alloys that contain a mixture of titanium and other chemical elements. Such alloys have very high tensile strength and toughness (even at extreme temperatures). They are light in weight, have extraordinary corrosion resistance and the ability to withstand extreme temperatures. However, the high cost of both raw materials and processing limit their use to military applications, aircraft, spacecraft, bicycles, medical devices, jewelry, highly stressed components such as connecting rods on expensive sports cars and some premium sports equipment and consumer electronics.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
