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).
Espace de BanachEn mathématiques, plus particulièrement en analyse fonctionnelle, on appelle espace de Banach un espace vectoriel normé sur un sous-corps K de C (en général, K = R ou C), complet pour la distance issue de sa norme. Comme la topologie induite par sa distance est compatible avec sa structure d’espace vectoriel, c’est un espace vectoriel topologique. Les espaces de Banach possèdent de nombreuses propriétés qui font d'eux un outil essentiel pour l'analyse fonctionnelle. Ils doivent leur nom au mathématicien polonais Stefan Banach.
Foyer (logement)vignette Historiquement, le foyer (l'âtre, la cheminée) est le point central d'une habitation, dans la mesure où il procure la chaleur et permet de faire la cuisine. Le foyer désigne ici par métonymie le logement familial. En archéologie, trouver les traces d'un foyer permet généralement de déterminer nombre d'informations sur l'habitat et les habitudes des personnes vivant dans un lieu donné, en fonction de sa taille, de sa position dans l'espace par rapport aux limites de l’habitat et de son ancienneté (mesurées d'après la profondeur à laquelle il est découvert ou au carbone 14).
AttemptAn attempt to commit a crime occurs if a criminal has an intent to commit a crime and takes a substantial step toward completing the crime, but for reasons not intended by the criminal, the final resulting crime does not occur. Attempt to commit a particular crime is a crime, usually considered to be of the same or lesser gravity as the particular crime attempted. Attempt is a type of inchoate crime, a crime that is not fully developed. The crime of attempt has two elements, intent and some conduct toward completion of the crime.
QuestionnaireUn questionnaire est une série de questions méthodiquement posées afin de définir un cas, une situation, une demande parmi un grand nombre de possibilités. Un questionnaire peut être l'objet d'un formulaire, ou d'un jeu de menus informatiques. On peut le considérer comme modèle d'un parcours administratif. Les questionnaires sont aussi des outils de recherche pour les sciences humaines et sociales, en particulier la psychologie, la sociologie, le marketing et la géographie.
Result setIn databases, a result set is the set of results returned by a query. In SQL, it is the result of a SELECT query on a table or view and is itself a non-permanent table of rows, and could include metadata about the query such as the column names, and the types and sizes of each column. Depending on the database system, the number of rows in the result set may or may not be known. Usually, this number is not known up front because the result set is built on-the-fly.
Ménagethumb|Familienidylle, tableau d'Aimé Pez (Belgique), 1839. Un ménage (du latin mansio, « demeure ») est un ensemble de personnes partageant le même logement et participant à son économie. Il s'agit le plus souvent d'une famille ou d'une personne seule. Considéré comme une unité participant à l'économie nationale, chaque ménage est généralement assimilé de ce point de vue à un foyer fiscal. Dans le langage courant, le ménage désigne le couple, par exemple dans l'expression « jeune ménage » pour un couple marié nouvellement installé dans son logement.
Questionnaire constructionQuestionnaire construction refers to the design of a questionnaire to gather statistically useful information about a given topic. When properly constructed and responsibly administered, questionnaires can provide valuable data about any given subject. Questionnaire Questionnaires are frequently used in quantitative marketing research and social research. They are a valuable method of collecting a wide range of information from a large number of individuals, often referred to as respondents.
Tentative d'assassinatEn droit français, une tentative d'assassinat est une action qui vise à assassiner une personne, c'est-à-dire dont le but est de la tuer volontairement et , que le passage à l'acte soit effectif ou non et que la mort de la personne visée ait effectivement lieu ou non. Sauf cas prévus par la loi, la tentative en elle-même n'est pas une infraction : dès lors qu'il y a une tentative caractérisée, son auteur pourra être puni des faits de l'infraction tentée, et pour le même quantum de peine.
EurobaromètreL'Eurobaromètre est un ensemble d'études menées au sein de l'Union européenne. Il a été créé en 1973 par Jacques-René Rabier, à l'époque conseiller spécial de la commission européenne. Le site du secteur Analyse de l'opinion publique de la Commission européenne dresse la liste des enquêtes menées régulièrement en Europe. Jusqu'en , le site internet avait les menus et explications en français et en anglais. Depuis (sous la présidence française de l’Union européenne), le site n’est plus qu’en anglais.
