Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Acide aminé non protéinogèneUn acide aminé non protéinogène est un acide aminé qui ne peut pas être incorporé dans les protéines lors de la traduction de l'ARN messager par les ribosomes. De tels acides aminés peuvent malgré tout être présents dans les protéines, mais dans ce cas ils se forment à partir de résidus d'acides aminés protéinogènes par modification post-traductionnelle ; ils peuvent également ne jamais se trouver dans des protéines et remplir d'autres fonctions physiologiques au sein des cellules.
AxolemmaIn neuroscience, the axolemma (, and 'axo-' from axon) is the cell membrane of an axon, the branch of a neuron through which signals (action potentials) are transmitted. The axolemma is a three-layered, bilipid membrane. Under standard electron microscope preparations, the structure is approximately 8 nanometers thick. The skeletal framework of this structure is formed by a spectrum of hexagonal or pentagonal arrangement on the inside of the cell membrane, as well as actin connected to the transmembrane.
Asymétrievignette|Crabe violoniste, exemple d'asymétrie gauche-droite dans le règne animal. L'asymétrie est l'absence de symétrie, ou son inverse. En biologie, on parle d'axe de polarité. Dans le domaine militaire ou commercial, on parle de force asymétrique lorsque les deux belligérants ou concurrents sont de taille très différente ( David contre Goliath). Dans le domaine de la cryptographie, un système de chiffrement est dit asymétrique quand il utilise une clé différente pour le chiffrement et le déchiffrement, l'une publique, l'autre privée.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
