Diversité bêtaLa diversité bêta (diversité-β) est une mesure de la biodiversité qui consiste à comparer la diversité des espèces entre écosystèmes ou le long de gradients environnementaux. Cela suppose de comparer le nombre de taxons qui sont uniques à chacun des écosystèmes. C'est le taux de variation en composition d'espèces dans l'ensemble des habitats ou parmi des communautés. Cela donne une mesure quantitative de la diversité des communautés des environnements changeants.
Outilthumb|Une boîte à outils en bois des années 1950. Un outil est un objet physique utilisé par un être vivant directement, ou par l'intermédiaire d'une machine, afin d'exercer une action le plus souvent mécanique, ou thermique, sur un élément d'environnement à traiter (matière brute, objet fini ou semi-fini, être vivant, etc). Il améliore l'efficacité des actions entreprises ou donne accès à des actions impossibles autrement. Beaucoup procurent un avantage mécanique en fonctionnant selon le principe d'une machine simple, comme la pince-monseigneur, qui exploite le principe du levier.
Court of SessionLa Court of Session est la cour suprême en Écosse pour le droit civil, même si un appel peut être porté auprès de la Cour suprême du Royaume-Uni. Elle est incluse dans le et est située au d'Édimbourg. Elle est à la fois un tribunal de première instance et une cour d'appel. Elle partage ses prérogatives avec les locales et il est laissé le choix de la cour au poursuivant. Toutefois, dans les faits, la Court of Session traite des affaires les plus complexes ou importantes.
Cour suprême du VictoriaLa Cour suprême du Victoria (Supreme Court of Victoria) est le plus haut tribunal de l'État australien du Victoria. Fondée en 1852, elle constitue l'ultime recours juridique pour toutes les décisions judiciaires, avec une compétence illimitée et inhérente au sein de l'État. La Cour suprême comprend une Division générale et une Cour d'appel. Les décisions de la Cour suprême sont susceptibles d'appel devant la Haute Cour d'Australie.
Camel casevignette|CamelCase illustré avec un chameau. vignette|camelCase illustré avec un dromadaire. vignette|Camel case sur un panneau de direction (les mots champions et gate sont mis bout-à-bout et le second commence par une majuscule pour marquer la séparation). Le camel case (de l'anglais, littéralement « casse de chameau ») est une notation consistant à écrire un ensemble de mots en les liant sans espace ni ponctuation, et en mettant en capitale la première lettre de chaque mot.
Logique d'ordre supérieurLes logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats. Elles étendent le calcul des prédicats. Cela revient à dire que l'on considère les fonctions et prédicats comme des objets de base à part entière, au même titre que, par exemple, un nombre entier. On s'autorisera ainsi, d'une part, à quantifier les prédicats et les fonctions et, d'autre part, à donner des fonctions ou des prédicats en arguments à d'autres fonctions ou prédicats.
Tractatus logico-philosophicusLe Tractatus logico-philosophicus est une œuvre de Ludwig Wittgenstein, d'abord publiée en allemand, sous le titre Logisch-Philosophische Abhandlung en 1921, puis en anglais un an plus tard avec le titre latin actuel, sur les suggestions de George Edward Moore. Avec Investigations philosophiques, ce texte est l’une des pièces majeures de la philosophie de Wittgenstein ; il est inspiré par un logicisme anti-psychologiste, une position que Wittgenstein abandonne par la suite.
Hiérarchie arithmétiquethumb|Illustration de la hiérarchie arithmétique. En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Stephen Cole Kleene, est une hiérarchie des sous-ensembles de l'ensemble N des entiers naturels définissables dans le langage du premier ordre de l'arithmétique de Peano. Un ensemble d'entiers est classé suivant les alternances de quantificateurs d'une formule sous forme prénexe qui permet de le définir.
Psychologie légaleLe professionnel qui travaille dans le champ de la psychologie légale est un psychologue légal. Il est confronté à des patients qui présentent un rapport particulier à la loi. Le psychologue légal peut travailler dans le cadre du droit de la police, du droit de la famille, du droit de la protection de l'enfant et de l'adulte, dans le cadre de l'organisation du droit de garde et de l'autorité parentale, ainsi que dans le cadre du droit d'aide aux victimes.
Forensic identificationForensic identification is the application of forensic science, or "forensics", and technology to identify specific objects from the trace evidence they leave, often at a crime scene or the scene of an accident. Forensic means "for the courts". People can be identified by their fingerprints. This assertion is supported by the philosophy of friction ridge identification, which states that friction ridge identification is established through the agreement of friction ridge formations, in sequence, having sufficient uniqueness to individualize.
