Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Speckles: Analyse microscopique

Dans cours

MICRO-321: Optical engineering

Ce cours présente différentes facettes de l'optique moderne et met à la fois l'accent sur des bases rigoureuses et des applications pratiques. Le cours inclut une partie théorique avec un cours et des exercices, ainsi qu'une partie expérimentale avec des t ...

Description

Cette séance de cours couvre l'analyse microscopique des speckles, y compris des sujets tels que l'étiquetage, la quantification et la détermination de la position. L'instructeur discute de l'utilisation de diverses techniques pour l'analyse des speckle et de leurs applications dans la recherche.

Enseignant·e·s (2)

Karim Achouri

Olivier Martin

Olivier J.F. Martin a obtenu le diplôme (M.Sc.) et le doctorat en physique de l'Ecole Polytechnique Fédérale de Lausanne (EPFL) en 1989, respectivement 1994. En 1989 il a rejoint le laboratoire de recherche d'IBM à Rüschlikon près de Zurich, où il a étudié les propriétés optiques et thermiques des lasers semiconducteur. Entre 1994 et 1997 il était collaborateur scientifique de l'Ecole Polytechnique Fédérale de Zurich (ETHZ). En 1997 il a reçu une bourse Profil du Fonds National Suisse de la Recherche Scientifique (FNSRS) lui permettant de mettre sur pied un groupe de recherche indépendant. Entre 1996 et 1999, Olivier Martin a passé plus d'une année et demi aux U.S.A. comme collaborateur invité de l'Université de Californie à San Diego. En 2001 il a reçu une bourse de professeur assistant du FNSRS et devint professeur de Nano-optique à l'ETHZ. En 2003 il a été nommé professeur de nanophotonique et de traitement optique du signal à l'EPFL où il dirige actuellement le laboratoire de Nanophotonique & Métrologie.

Source officielle

Concepts associés (5)

Quantification (logique)

vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).

Universal quantification

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

Quantification existentielle

En mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.

Branching quantifier

In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.

Unicité (mathématiques)

En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».

Séances de cours associées (31)

Le rôle des Symmetries

Déplacez-vous dans des symétries en physique, couvrant la théorie de groupe, la perturbation, et la quantification.

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

Moteurs d'inférence : Clauses de résolution et de corne

Couvre les moteurs d'inférence basés sur la résolution, les clauses Horn, le filtrage et l'unification de l'intelligence artificielle.

Capacité d'hébergement PV automatisée Quantification

Explore le développement d'un outil open-source pour la quantification automatisée de la capacité d'hébergement PV dans les réseaux de distribution à l'aide de Power Factory.

Méthodes en immunologie : Partie I MOOC: Introduction à l'immunologie (part 2)

Couvre l'identification de molécules à l'aide d'anticorps et de techniques ELISA pour la détection et la quantification.