Fichier informatiquethumb|Pictogrammes représentant des fichiers. Un fichier informatique est au sens commun, une collection, un ensemble de données numériques réunies sous un même nom, enregistrées sur un support de stockage permanent, appelé mémoire de masse, tel qu'un disque dur, un cédérom, une mémoire flash ou une bande magnétique, une série de cartes perforées et manipulées comme une unité. Techniquement un fichier est une information numérique constituée d'une séquence d'octets, c'est-à-dire d'une séquence de nombres, permettant des usages divers.
Cls (commande)En informatique, la commande cls (pour ear creen en anglais) est utilisée pour effacer l'affichage. Elle est disponible avec l'interface en ligne de commande de nombreux systèmes d'exploitation mais aussi en tant qu'instruction avec certains langages de programmation comme le BASIC. Pour le langage de programmation BASIC, l'instruction CLS (noté en majuscule avec les premières versions du langage) est traduite par l'interpréteur en routine compréhensible par la machine. cls est une commande interne au programme command.
Potentiel postsynaptique inhibiteurAn inhibitory postsynaptic potential (IPSP) is a kind of synaptic potential that makes a postsynaptic neuron less likely to generate an action potential. IPSPs were first investigated in motorneurons by David P. C. Lloyd, John Eccles and Rodolfo Llinás in the 1950s and 1960s. The opposite of an inhibitory postsynaptic potential is an excitatory postsynaptic potential (EPSP), which is a synaptic potential that makes a postsynaptic neuron more likely to generate an action potential.
Electrotonic potentialIn physiology, electrotonus refers to the passive spread of charge inside a neuron and between cardiac muscle cells or smooth muscle cells. Passive means that voltage-dependent changes in membrane conductance do not contribute. Neurons and other excitable cells produce two types of electrical potential: Electrotonic potential (or graded potential), a non-propagated local potential, resulting from a local change in ionic conductance (e.g. synaptic or sensory that engenders a local current).
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Corbeille (informatique)La corbeille est un composant d'interface graphique des environnements de bureau qui fait analogie à une corbeille à papier. Elle permet d'offrir une seconde chance aux fichiers que l'utilisateur a décidé d'effacer de la mémoire de masse de l'ordinateur (disque dur), tout en préparant leur élimination définitive. Elle est apparue sur les systèmes Apple Lisa OS des ordinateurs Lisa, en 1980. En général, la corbeille est accessible par le navigateur de fichiers du système d'exploitation.
Del (commande DOS)vignette|Exemple d'utilisation de la commande "del" dans un terminal del (ou erase) est une commande DOS présente dans tous les interpréteurs DOS, OS/2 et Microsoft Windows comme COMMAND.COM, cmd.exe, 4DOS, NDOS, 4OS2, 4NT et Windows PowerShell. Elle est l'équivalent de rm sous UNIX Pour supprimer un fichier : del Fichier1 De plus, elle comprend plusieurs paramètres : /P : demande une confirmation avant de supprimer un fichier. /F : force la suppression de fichiers en lecture seule.
Potentiel évoquéUn potentiel évoqué (PE, dit aussi ERP pour l'anglais Event-Related Potential) désigne la modification du potentiel électrique produite par le système nerveux en réponse à une stimulation externe, notamment sensorielle (un son, une image, etc.) mais aussi à un événement interne, notamment une activité cognitive (attention, préparation motrice, etc.) et enregistré grâce à des techniques comme l'électroencéphalographie (EEG) ou la magnétoencéphalographie (MEG).
Fonction elliptique de JacobiEn mathématiques, les fonctions elliptiques de Jacobi sont des fonctions elliptiques d'une grande importance historique. Introduites par Carl Gustav Jakob Jacobi vers 1830, elles ont des applications directes, par exemple dans l'équation du pendule. Elles présentent aussi des analogies avec les fonctions trigonométriques, qui sont mises en valeur par le choix des notations sn et cn, qui rappellent sin et cos. Si les fonctions elliptiques thêta de Weierstrass semblent mieux adaptées aux considérations théoriques, les problèmes physiques pratiques font plus appel aux fonctions de Jacobi.
Répertoire personnelA home directory is a on a multi-user operating system containing for a given user of the system. The specifics of the home directory (such as its name and location) are defined by the operating system involved; for example, Linux / BSD () systems use /home/ or /usr/home/ and Windows systems between 2000 and Server 2003 keep home directories in a folder named Documents and Settings. A user's home directory is intended to contain that user's files; including text documents, music, pictures, videos, etc.
Fonction thêtaEn mathématiques, on appelle fonctions thêta certaines fonctions spéciales d'une ou de plusieurs variables complexes. Elles apparaissent dans plusieurs domaines, comme l'étude des variétés abéliennes, des espaces de modules, et les formes quadratiques. Elles ont aussi des applications à la théorie des solitons. Leurs généralisations en algèbre extérieure apparaissent dans la théorie quantique des champs, plus précisément dans la théorie des cordes et des D-branes.
Neurophysiologie cliniqueLa neurophysiologie clinique est l'application de l'électrophysiologie à la neurologie, c'est-à-dire la spécialité médicale consacrée à l'étude du système nerveux par l'enregistrement de son activité bioélectrique, qu'elle soit spontanée ou déclenchée par des stimulations. Elle comporte à la fois des activités de recherche concernant la physiopathologie des maladies neurologiques (on parle alors de neurophysiologie expérimentale) et diverses applications adaptées au diagnostic des affections du système nerveux central ou périphérique (on parle alors souvent, dans le monde francophone, d'explorations fonctionnelles du système nerveux).
