Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
ImmotiqueL'Immotique est un néologisme formé à partir du mot immeuble et du suffixe -tique, qui connote l'informatique et l'électronique voire l'automatique etc. Comme la domotique, ce domaine est issu de la réunion de l'électronique, de l'informatique et des télécommunications. Autant que possible et théoriquement, l'immotique est un service et une somme de processus qui devraient être rendu de manière transparente ou discrète, fiable et non-intrusive pour les usagers et visiteurs d'un bâtiment.
Electronic assessmentElectronic assessment, also known as digital assessment, e-assessment, online assessment or computer-based assessment, is the use of information technology in assessment such as educational assessment, health assessment, psychiatric assessment, and psychological assessment. This covers a wide range of activities ranging from the use of a word processor for assignments to on-screen testing. Specific types of e-assessment include multiple choice, online/electronic submission, computerized adaptive testing such as the Frankfurt Adaptive Concentration Test, and computerized classification testing.
Impact environnemental de l'élevageL'impact environnemental de l'élevage, intensif ou extensif, inclut la consommation d'eau et d'énergie, un risque de pollution de l'eau, et une substitution des forêts par des prairies destinées à l'élevage du bétail, ou des prairies par des cultures annuelles destinées à l'alimentation animale. Certaines sources évoquent aussi une plus forte contrainte sur les territoires, une réduction de la biodiversité et une production de gaz à effet de serre.
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.
Educational assessmentEducational assessment or educational evaluation is the systematic process of documenting and using empirical data on the knowledge, skill, attitudes, aptitude and beliefs to refine programs and improve student learning. Assessment data can be obtained from directly examining student work to assess the achievement of learning outcomes or can be based on data from which one can make inferences about learning. Assessment is often used interchangeably with test, but not limited to tests.
Bâtiment à énergie zérovignette|Bâtiment d'essai zéro énergie à Tallinn , Estonie . Université de Technologie de Tallinn Un bâtiment à énergie zéro (en anglais zero-energy building (ZEB), zero net energy (ZNE) ou net-zero energy building (NZEB), net zero building), est un bâtiment à consommation énergétique nette nulle, ce qui signifie que la quantité totale d'énergie utilisée, calculée sur une base annuelle, est à peu près égale à la quantité d'énergie renouvelable créée sur le site, ou dans d'autres définitions par des sources d'énergie renouvelables externes.
SystèmeUn système est un ensemble d' interagissant entre eux selon certains principes ou règles. Par exemple une molécule, le système solaire, une ruche, une société humaine, un parti, une armée etc. Un système est déterminé par : sa frontière, c'est-à-dire le critère d'appartenance au système (déterminant si une entité appartient au système ou fait au contraire partie de son environnement) ; ses interactions avec son environnement ; ses fonctions (qui définissent le comportement des entités faisant partie du système, leur organisation et leurs interactions) ; Certains systèmes peuvent également avoir une mission (ses objectifs et sa raison d'être) ou des ressources, qui peuvent être de natures différentes (humaine, naturelle, matérielle, immatérielle.
Matériau de constructionLes matériaux de construction sont des matériaux utilisés dans les secteurs de la construction : bâtiments et travaux publics (souvent désignés par le sigle BTP). Ils couvrent une vaste gamme des matériaux qui inclut principalement le bois, le verre, l'acier, l'aluminium, les textiles, les matières plastiques (isolants notamment) et les matériaux issus de la transformation de produits de carrières, qui peuvent être plus ou moins élaborés (incluant le béton et divers dérivés de l'argile tels que briques, tuiles, carrelages et divers éléments sanitaires).
