Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Circuit intégré à signaux mixtesA mixed-signal integrated circuit is any integrated circuit that has both analog circuits and digital circuits on a single semiconductor die. Their usage has grown dramatically with the increased use of cell phones, telecommunications, portable electronics, and automobiles with electronics and digital sensors. Integrated circuits (ICs) are generally classified as digital (e.g. a microprocessor) or analog (e.g. an operational amplifier). Mixed-signal ICs contain both digital and analog circuitry on the same chip, and sometimes embedded software.
Distributed-element circuitDistributed-element circuits are electrical circuits composed of lengths of transmission lines or other distributed components. These circuits perform the same functions as conventional circuits composed of passive components, such as capacitors, inductors, and transformers. They are used mostly at microwave frequencies, where conventional components are difficult (or impossible) to implement. Conventional circuits consist of individual components manufactured separately then connected together with a conducting medium.
Réglementation sur les nuisances sonoresLa réglémentation sur les nuisances sonores comprend des lois ou directives liées à l'émission de bruit, établies par des niveaux de gouvernements nationaux, d'états ou provinciaux et municipaux. Après le grand tournant de l'acte américain de contrôle des nuisances sonores, d'autres gouvernements locaux et d'état établissent d'autres règles. Une réglementation des nuisances sonores restreint la quantité de bruit, la durée du bruit et la source du bruit. Les restrictions sont généralement valables à certaines heures de la journée.
Mélangeur (électronique)Un mélangeur est un circuit permettant de combiner plusieurs signaux électriques contenant des informations différentes. Console de mixage En technique audio et vidéo, un mélangeur est un appareil à plusieurs entrées, dont le signal de sortie est la somme pondérée de signaux à ses entrées. Quand il traite des signaux audio et qu'il permet des interventions humaines, on l'appelle plutôt console de mixage. En vidéo on parle de mélangeurs. Les mélangeurs traitent les signaux analogiques ou numériques.
Philosophie analytiqueL'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du , pour éclairer les grandes questions philosophiques. Sa démarche s'appuie sur une analyse logique du langage cherchant à mettre en évidence les erreurs de raisonnement que celui-ci peut induire et faisant ainsi de la « clarification logique des pensées » le but de la philosophie selon le mot de Ludwig Wittgenstein dans le célèbre Tractatus logico-philosophicus.
Port (système)En dynamique des systèmes, un port est le lieu par lequel deux sous-systèmes interconnectés échangent de l'énergie. Ce lieu peut être un dispositif technique spécifiquement conçu pour échanger de l'énergie comme par exemple les quatre bornes d'un circuit électrique triphasé (correspondant aux trois phases plus le neutre), ou bien être plus abstrait ou plus diffus comme l'ensemble des surfaces extérieures d'un bâtiment qui échangent de la chaleur avec l'environnement sous les trois formes possibles (conduction, convection, rayonnement).
Métrothumb|Station Clapham Common du métro de Londres. vignette|Quais de la station Shinjuku du métro de Tokyo (Japon). vignette|Vue du quai d'une station de la ligne 1 du métro du Caire (Égypte). alt=|vignette| Une rame quittant la station Mouton-Duvernet du métro de Paris. vignette|Station Komsomolskaïa (Ligne Koltsevaïa) du métro de Moscou. vignette|Station 86th Street (Ligne Q) du métro de New York. Le 'métro, apocope de métropolitain', pour « chemin de fer métropolitain », est un moyen de transport en commun urbain.
Analytic–synthetic distinctionThe analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions (in particular, statements that are affirmative subject–predicate judgments) that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
Bus à haut niveau de serviceUn bus à haut niveau de service (BHNS) (en anglais, Bus with a High Level of Service, BHLS ou Bus rapid transit, BRT), parfois nommé Busway ou Trambus, est un système de transport dont l'objectif est d'améliorer la capacité et la régularité de service par rapport à des lignes de bus conventionnelles.
