Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Économie mathématiquevignette|Les acteurs économiques (STN et actionnaires) sont classés par importance décroissante, donnée par . Un point de données situé en () correspond à une fraction des principaux acteurs économiques détenant cumulativement la fraction du contrôle, de la valeur ou des revenus d'exploitation du réseau. Les différentes courbes se réfèrent au contrôle du réseau calculé avec trois modèles (LM, TM, RM), voir l'annexe S1, section 3.1, et aux revenus d'exploitation. La ligne horizontale indique une valeur égale à .
MacOSmacOS (auparavant Mac OS X – , puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis , dont la version la plus récente est macOS Ventura () pour la version actuelle lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public. Avec iOS, iPadOS, watchOS et tvOS, il fait partie des systèmes d'exploitation d'Apple. macOS est le successeur de Mac OS Classic, la principale série des systèmes d'exploitation d'Apple depuis .
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Enzyme de restrictionthumb|L'enzyme de restriction EcoRV (en vert) avec son substrat : l'ADN. Une enzyme de restriction est une protéine capable de couper un fragment d'ADN au niveau d'une séquence de nucléotides caractéristique appelée site de restriction. Chaque enzyme de restriction reconnaît ainsi un site spécifique. Plusieurs centaines d'enzymes de restriction sont actuellement connues. Naturellement présentes chez un grand nombre d'espèces de bactéries, ces enzymes sont devenues des outils importants en génie génétique.
Site de restrictionUn site de restriction est une séquence particulière de nucléotides qui est reconnue par une enzyme de restriction comme un site de coupure dans la molécule d'ADN. Les sites sont généralement palindromiques, et une enzyme de restriction spécifique pourra couper entre deux nucléotides dans le site en question (enzyme de type II) ou en un autre endroit de la molécule (type I et type III). Par exemple, l'enzyme de restriction reconnaît la séquence bamh1et coupe entre le G et le A sur le brin du dessus et celui du dessous, laissant ainsi à la fin une extrémité AATT.
Lexical definitionThe lexical definition of a term, also known as the dictionary definition, is the definition closely matching the meaning of the term in common usage. As its other name implies, this is the sort of definition one is likely to find in the dictionary. A lexical definition is usually the type expected from a request for definition, and it is generally expected that such a definition will be stated as simply as possible in order to convey information to the widest audience.
Restriction digestA restriction digest is a procedure used in molecular biology to prepare DNA for analysis or other processing. It is sometimes termed DNA fragmentation, though this term is used for other procedures as well. In a restriction digest, DNA molecules are cleaved at specific restriction sites of 4-12 nucleotides in length by use of restriction enzymes which recognize these sequences. The resulting digested DNA is very often selectively amplified using polymerase chain reaction (PCR), making it more suitable for analytical techniques such as agarose gel electrophoresis, and chromatography.
Mac OS 8Mac OS 8 est le nom donné à la huitième révision majeure du système d'exploitation des ordinateurs Macintosh de la marque Apple. Pour la première fois il est nommé « Mac OS » (pour Macintosh Operating System), bien plus attrayant que les précédentes dénominations « Système » (ex. : Système 7). Apple ayant en effet décidé de rattraper les erreurs du Système 7 (à savoir : bugs à répétition avec les mises à jour 7.5, matériel non ou mal pris en charge, ...) en faisant disparaître tout ce qui avait trait à son prédécesseur.
Circular definitionA circular definition is a type of definition that uses the term(s) being defined as part of the description or assumes that the term(s) being described are already known. There are several kinds of circular definition, and several ways of characterising the term: pragmatic, lexicographic and linguistic. Circular definitions are related to Circular reasoning in that they both involve a self-referential approach. Circular definitions may be unhelpful if the audience must either already know the meaning of the key term, or if the term to be defined is used in the definition itself.
Définition des planètesvignette|Photographie de la planète Neptune (en grand) et de sa lune Triton (en petit), prise par Voyager 2 lors de sa sortie de la partie planétaire du Système solaire. Depuis sa création afin de décrire les « étoiles errantes » de l'époque classique, la définition des planètes est empreinte d'ambigüité. Durant sa longue utilisation, le mot a eu différentes significations, souvent équivalentes.
MacOS ServermacOS Server, anciennement Mac OS X Server puis OS X Server, est la version serveur de macOS développé par Apple. Mac OS X est basé sur NeXTSTEP (lui-même basé sur BSD-Unix) qu'Apple a acquis en rachetant NeXT. La version serveur de Mac OS X inclut des applications qui ont été prévues pour offrir aux administrateurs des outils simples mais puissants pour gérer les services liés à internet, aux courriels, à l'hébergement de sites Web et d'administration de réseaux Mac et Windows et offre des possibilités de partage de fichiers et d'imprimantes.
