TexasLe Texas (prononcé : ou ; en anglais : ; en espagnol : Texas ou Tejas ) est un État du Sud des États-Unis, le deuxième plus vaste du pays () après l'Alaska et deuxième plus peuplé après la Californie. Selon le décompte officiel du Bureau du recensement des États-Unis (2020), le Texas aurait . Sa capitale est Austin alors que Houston est sa plus grande ville et Dallas-Fort Worth son agglomération la plus peuplée. Les Texans sont à près de 80 % des citadins et presque la moitié d'entre eux vivent dans deux agglomérations : Dallas-Fort Worth ou Houston.
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).
Processus de Poissonvignette|Schéma expliquant le processus de Poisson Un processus de Poisson, nommé d'après le mathématicien français Siméon Denis Poisson et la loi du même nom, est un processus de comptage classique dont l'équivalent discret est la somme d'un processus de Bernoulli. C'est le plus simple et le plus utilisé des processus modélisant une . C'est un processus de Markov, et même le plus simple des processus de naissance et de mort (ici un processus de naissance pur).
PennsylvanieLa Pennsylvanie , officiellement le Commonwealth de Pennsylvanie (Pennsylvania et Commonwealth of Pennsylvania), est un État des États-Unis, bordé au nord-ouest par le lac Érié, au nord par l'État de New York, à l'est par le New Jersey, au sud par le Delaware, le Maryland et la Virginie-Occidentale et à l'ouest par l'Ohio. En 2019, sa population s'élève à . Avant sa colonisation, la région était habitée par les Lenapes (aussi connus sous le nom de Delawares), les Susquehannock, Iroquois, Ériés, Chaouanons, et d'autres tribus amérindiennes.
Processus stochastiqueUn processus ou processus aléatoire (voir Calcul stochastique) ou fonction aléatoire (voir Probabilité) représente une évolution, discrète ou à temps continu, d'une variable aléatoire. Celle-ci intervient dans le calcul classique des probabilités, où elle mesure chaque résultat possible (ou réalisation) d'une épreuve. Cette notion se généralise à plusieurs dimensions. Un cas particulier important, le champ aléatoire de Markov, est utilisé en analyse spatiale.
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.
SignA sign is an object, quality, event, or entity whose presence or occurrence indicates the probable presence or occurrence of something else. A natural sign bears a causal relation to its object—for instance, thunder is a sign of storm, or medical symptoms a sign of disease. A conventional sign signifies by agreement, as a full stop signifies the end of a sentence; similarly the words and expressions of a language, as well as bodily gestures, can be regarded as signs, expressing particular meanings.
SymboleUn symbole peut être un objet, une , un mot écrit, un son voire un être vivant, ou une marque particulière qui représente quelque chose d'autre par association, ressemblance ou convention. Le mot « symbole » vient du latin symbolus ou symbolum, lui-même emprunté au grec signifiant « objet coupé en deux dont les parties réunies à la suite d'une quête permettent aux détenteurs de se reconnaître ». Les racines grecques « sym- » et « -bole » viennent respectivement des mots (« avec, ensemble ») et (« lancer, jeter »).
Business process modelingBusiness process modeling (BPM) in business process management and systems engineering is the activity of representing processes of an enterprise, so that the current business processes may be analyzed, improved, and automated. BPM is typically performed by business analysts, who provide expertise in the modeling discipline; by subject matter experts, who have specialized knowledge of the processes being modeled; or more commonly by a team comprising both. Alternatively, the process model can be derived directly from events' logs using process mining tools.
Catégorie des modulesEn mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.
Category (mathematics)In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.
Catégorie des anneauxEn mathématiques, la catégorie des anneaux est une construction qui rend compte abstraitement des propriétés des anneaux en algèbre. Dans ce contexte, « anneau » signifie toujours anneau unitaire. La catégorie des anneaux, notée Ring, est la catégorie définie ainsi : Les objets sont les anneaux ; Les morphismes sont les morphismes d'anneaux, avec la composition usuelle, et l'identité est la fonction identité sur un anneau donné. La sous-catégorie pleine de Ring, dont les objets sont les anneaux commutatifs, forme la catégorie des anneaux commutatifs, notée CRing.
