Continuous linear operatorIn functional analysis and related areas of mathematics, a continuous linear operator or continuous linear mapping is a continuous linear transformation between topological vector spaces. An operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator. Continuous function (topology) and Discontinuous linear map Bounded operator Suppose that is a linear operator between two topological vector spaces (TVSs). The following are equivalent: is continuous.
Sequence analysisIn bioinformatics, sequence analysis is the process of subjecting a DNA, RNA or peptide sequence to any of a wide range of analytical methods to understand its features, function, structure, or evolution. Methodologies used include sequence alignment, searches against biological databases, and others. Since the development of methods of high-throughput production of gene and protein sequences, the rate of addition of new sequences to the databases increased very rapidly.
Groupe localement compactUn groupe localement compact est, en mathématiques, un groupe topologique dont l'espace topologique sous-jacent est localement compact. Ces propriétés permettent de définir une mesure, dite mesure de Haar, et donc de calculer des intégrales et des moyennes ou encore une transformée de Fourier. Ces propriétés à la croisée de l'algèbre générale, de la topologie et de la théorie de la mesure sont particulièrement intéressantes, notamment pour leurs applications en physique.
Axiome de fondationL'axiome de fondation, encore appelé axiome de régularité, est l'un des axiomes de la théorie des ensembles. Introduit par Abraham Fraenkel, Thoralf Skolem (1922) et John von Neumann (1925), il joue un grand rôle dans cette théorie, alors que les mathématiciens ne l'utilisent jamais ailleurs, même s'ils le considèrent souvent comme intuitivement vérifié. L'axiome de fondation fait ou non partie des axiomes de ZF (et ZFC) suivant les ouvrages. Dans la suite, on choisit de prendre ZF et ZFC sans axiome de fondation.
Epsilon-inductionIn set theory, -induction, also called epsilon-induction or set-induction, is a principle that can be used to prove that all sets satisfy a given property. Considered as an axiomatic principle, it is called the axiom schema of set induction. The principle implies transfinite induction and recursion. It may also be studied in a general context of induction on well-founded relations. The schema is for any given property of sets and states that, if for every set , the truth of follows from the truth of for all elements of , then this property holds for all sets.
Multiplication complexeEn mathématiques, une courbe elliptique est à multiplication complexe si l'anneau de ses endomorphismes est plus grand que celui des entiers (il existe une théorie plus générale de la multiplication complexe pour les variétés abéliennes de dimension supérieure). Cette notion est liée au douzième problème de Hilbert. Un exemple de courbe elliptique avec multiplication complexe est C/Z[i]θ où Z[i] est l'anneau des entiers de Gauss, et θ est n'importe quel nombre complexe différent de zéro.
World Community GridLe projet World Community Grid (WCG) regroupe plusieurs projets de recherche scientifique au sein d'un même projet de calcul distribué, afin de principalement lutter contre plusieurs maladies humaines. Plus largement, WCG regroupe des projets ayant un fort intérêt humanitaire. Le but premier de WCG était de créer la plus grande grille de calcul publique au monde. La plateforme logicielle utilisée est le logiciel BOINC (Berkeley Open Infrastructure for Network Computing), qui est actuellement disponible sur toutes les plates-formes (Windows, Linux, Mac OS X et FreeBSD).
