Radeau lipidiqueUn radeau lipidique (en anglais, lipid raft) ou raft lipidique est un microdomaine de la membrane plasmique, riche en cholestérol, en sphingolipides et en DHA (Acide DocosaHexaénoïque). Il se caractérise par sa faible densité (flottabilité sur un gradient de densité) et son insolubilité dans des détergents doux, d'où l'autre nom technique parfois utilisé : detergent-resistant membrane. Ce sont des structures rigides dans la membrane et constituent des zones privilégiées pour l'activité de certaines protéines qui y sont intégrées.
Polymère conducteurLa plupart des polymères organiques produits sont d'excellents isolants électriques. Les polymères conducteurs, ou plus précisément polymères conducteurs intrinsèques (PCI), presque toujours organiques, possèdent des liens délocalisés (souvent dans un groupe aromatique) qui forment une structure similaire à celle du silicium. Quand on applique une tension entre les deux bandes, la conductivité électrique augmente : c'est un transistor.
Crème à braserthumb|Pot de crème à braser. Une crème à braser est une suspension d'une poudre métallique dans un liquide visqueux appelé flux de brasage. La crème à braser est utilisée pour souder des CMS (composant monté en surface) sur des cartes électroniques. L'application de la crème peut se faire de plusieurs manières : Par seringue, la crème est dans une seringue et l'utilisateur la délivre par pression À travers un pochoir (parfois abusivement appelé sérigraphie). La pâte est étalée sur le pochoir avec une raclette.
Structure socialeIn 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.
