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).
Procedural knowledgeProcedural knowledge (also known as knowing-how, and sometimes referred to as practical knowledge, imperative knowledge, or performative knowledge) is the knowledge exercised in the performance of some task. Unlike descriptive knowledge (also known as declarative knowledge, propositional knowledge or "knowing-that"), which involves knowledge of specific facts or propositions (e.g. "I know that snow is white"), procedural knowledge involves one's ability to do something (e.g. "I know how to change a flat tire").
Gestion de projetLa gestion de projet, est l'ensemble des activités visant à organiser le bon déroulement d’un projet et à en atteindre les objectifs en temps et en heures selon les objectifs visés. Elle consiste à appliquer les méthodes, techniques, et outils de gestion spécifiques aux différentes étapes du projet, de l'évaluation de l'opportunité jusqu'à l'achèvement du projet. Cette activité porte également le nom de conduite de projet, pilotage de projet, ingénierie de projet, ou encore management de projet.
Ingénieur civilUn ingénieur civil est un ingénieur dont la particularité correspond à des statuts différents selon l'époque et le pays. Génie (technique)Jusqu'à la première révolution industrielle, les ingénieurs étaient bien souvent issus d'écoles d'origine militaire et étaient chargés principalement du génie militaire qui englobait alors bien souvent toutes les tâches associées comme la construction, les fortifications, les routes et ponts, les voies navigables.
Knowledge marketA knowledge market is a mechanism for distributing knowledge resources. There are two views on knowledge and how knowledge markets can function. One view uses a legal construct of intellectual property to make knowledge a typical scarce resource, so the traditional commodity market mechanism can be applied directly to distribute it. An alternative model is based on treating knowledge as a public good and hence encouraging free sharing of knowledge. This is often referred to as attention economy.
Sondage (statistique)Un sondage est une méthode statistique visant à évaluer les proportions de différentes caractéristiques d'une population à partir de l'étude d'une partie seulement de cette population, appelée échantillon. Les proportions sont déterminées avec des marges d'erreur, dans lesquelles se situent les proportions recherchées avec telle ou telle probabilité. Par métonymie, le mot sondage désigne également le document présentant les résultats de l'étude par sondage. Les sondages les plus connus du grand public portent sur des populations humaines.
Survey data collectionWith the application of probability sampling in the 1930s, surveys became a standard tool for empirical research in social sciences, marketing, and official statistics. The methods involved in survey data collection are any of a number of ways in which data can be collected for a statistical survey. These are methods that are used to collect information from a sample of individuals in a systematic way. First there was the change from traditional paper-and-pencil interviewing (PAPI) to computer-assisted interviewing (CAI).
Méthode scientifiqueLa méthode scientifique désigne l'ensemble des canons guidant ou devant guider le processus de production des connaissances scientifiques, qu'il s'agisse d'observations, d'expériences, de raisonnements, ou de calculs théoriques. Très souvent, le terme de « méthode » engage l'idée implicite de son unicité, tant auprès du grand public que de certains chercheurs, qui de surcroît la confondent parfois avec la seule méthode hypothético-déductive.
Sondage (sciences sociales)Un sondage en sciences sociales est l'application de la technique des sondages à une population humaine. Le sondage est un outil de mesure quantitative qui vise à donner une image juste d'un phénomène social inaccessible à la simple perception du chercheur qui souhaite l'appréhender. Ces points sont à peu près évidents intuitivement. La fréquence d'apparition d'un caractère dans un échantillon donne une idée sur cette fréquence dans la population mais seulement une idée imprécise.
Construction wasteConstruction waste or debris is any kind of debris from the construction process. Different government agencies have clear definitions. For example, the United States Environmental Protection Agency EPA defines construction and demolition materials as “debris generated during the construction, renovation and demolition of buildings, roads, and bridges.” Additionally, the EPA has categorized Construction and Demolition (C&D) waste into three categories: non-dangerous, hazardous, and semi-hazardous.
