Canal ioniqueUn canal ionique est une protéine membranaire qui permet le passage à grande vitesse d'un ou plusieurs ions. Il existe de nombreux types de canaux ioniques. Ils peuvent être sélectivement perméables à un ion tel que le sodium, le calcium, le potassium ou l'ion chlorure, ou bien à plusieurs ions à la fois. Les canaux ioniques sont présents dans la membrane de toutes les cellules. Ils ont un rôle central dans la physiologie des cellules excitables comme les neurones ou les cellules musculaires et cardiaques.
Theory of computationIn theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., approximate solutions versus precise ones). The field is divided into three major branches: automata theory and formal languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".
ComputationA computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computations are mathematical equations and computer algorithms. Mechanical or electronic devices (or, historically, people) that perform computations are known as computers. The study of computation is the field of computability, itself a sub-field of computer science. The notion that mathematical statements should be ‘well-defined’ had been argued by mathematicians since at least the 1600s, but agreement on a suitable definition proved elusive.
Canal calciqueUn canal calcique est un canal ionique (cationique plus précisément), formé de protéines et traversant la membrane des cellules. Il permet le passage de l'ion calcium de l'extérieur à l'intérieur de la cellule. La plupart des canaux dits « calciques » peuvent aussi laisser passer une moindre quantité d'autres cations, plus ou moins selon la structure du pore qui les ouvre, ou selon le potentiel (voltage) ; leur rapport de perméabilité PCa/PNa varie de 0,3 à 10 . (voir aussi l'article transporteur membranaire).
Model of computationIn computer science, and more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how an output of a mathematical function is computed given an input. A model describes how units of computations, memories, and communications are organized. The computational complexity of an algorithm can be measured given a model of computation. Using a model allows studying the performance of algorithms independently of the variations that are specific to particular implementations and specific technology.
Chloride channelChloride channels are a superfamily of poorly understood ion channels specific for chloride. These channels may conduct many different ions, but are named for chloride because its concentration in vivo is much higher than other anions. Several families of voltage-gated channels and ligand-gated channels (e.g., the CaCC families) have been characterized in humans. Voltage-gated chloride channels perform numerous crucial physiological and cellular functions, such as controlling pH, volume homeostasis, transporting organic solutes, regulating cell migration, proliferation, and differentiation.
Programmation structuréeLa programmation structurée constitue un sous-ensemble de la programmation impérative. C'est un paradigme important de la programmation, apparu vers 1970. Elle dérive de travaux de Nicklaus Wirth pour son Algol W et reçut son coup d'envoi avec l'article fondateur de Dijkstra dans Communications of the ACM nommé GO TO statement considered harmful (L'instruction GOTO est considérée nocive). Elle est en effet célèbre pour avoir tenté d’éliminer l'instruction goto, ou, du moins, de limiter son usage à des cas inhabituels et graves .
Matrice inversibleEn mathématiques et plus particulièrement en algèbre linéaire, une matrice inversible (ou régulière ou encore non singulière) est une matrice carrée A pour laquelle il existe une matrice B de même taille n avec laquelle les produits AB et BA sont égaux à la matrice identité. Dans ce cas la matrice B est unique, appelée matrice inverse de A et notée B = A. Cette définition correspond à celle d’élément inversible pour la multiplication dans l’anneau des matrices carrées associé.
Éditeur de texteUn éditeur de texte est un logiciel destiné à la création et l'édition de fichiers textes. Chaque système d'exploitation fournit un éditeur, tant son usage est courant, voire indispensable pour certaines tâches informatiques de base comme l'administration de système et le développement de logiciels. thumb|Une chasse fixe conduit à un alignement vertical des caractères, où le i est aussi large que le w.
Matrice (mathématiques)thumb|upright=1.5 En mathématiques, les matrices sont des tableaux d'éléments (nombres, caractères) qui servent à interpréter en termes calculatoires, et donc opérationnels, les résultats théoriques de l'algèbre linéaire et même de l'algèbre bilinéaire. Toutes les disciplines étudiant des phénomènes linéaires utilisent les matrices. Quant aux phénomènes non linéaires, on en donne souvent des approximations linéaires, comme en optique géométrique avec les approximations de Gauss.
