Lipid raftThe plasma membranes of cells contain combinations of glycosphingolipids, cholesterol and protein receptors organised in glycolipoprotein lipid microdomains termed lipid rafts. Their existence in cellular membranes remains somewhat controversial. It has been proposed that they are specialized membrane microdomains which compartmentalize cellular processes by serving as organising centers for the assembly of signaling molecules, allowing a closer interaction of protein receptors and their effectors to promote kinetically favorable interactions necessary for the signal transduction.
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.
Solder pasteSolder paste is used in the manufacture of printed circuit boards to connect surface mount components to pads on the board. It is also possible to solder through-hole pin in paste components by printing solder paste in and over the holes. The sticky paste temporarily holds components in place; the board is then heated, melting the paste and forming a mechanical bond as well as an electrical connection. The paste is applied to the board by jet printing, stencil printing or syringe; then the components are put in place by a pick-and-place machine or by hand.
Social structureIn the social sciences, social structure is the aggregate of patterned social arrangements in society that are both emergent from and determinant of the actions of individuals. Likewise, society is believed to be grouped into structurally related groups or sets of roles, with different functions, meanings, or purposes. Examples of social structure include family, religion, law, economy, and class. It contrasts with "social system", which refers to the parent structure in which these various structures are embedded.
Plastic filmPlastic film is a thin continuous polymeric material. Thicker plastic material is often called a "sheet". These thin plastic membranes are used to separate areas or volumes, to hold items, to act as barriers, or as printable surfaces. Plastic films are used in a wide variety of applications. These include: packaging, plastic bags, labels, building construction, landscaping, electrical fabrication, photographic film, film stock for movies, video tape, etc. Almost all plastics can be formed into a thin film.
Prover9Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune. Prover9 is noted for producing relatively readable proofs and having a powerful hints strategy. Prover9 is intentionally paired with Mace4, which searches for finite models and counterexamples. Both can be run simultaneously from the same input, with Prover9 attempting to find a proof, while Mace4 attempts to find a (disproving) counter-example.
