Séance de cours

Speckles: Analyse microscopique

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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

Enseignement et PhD Doctorant·es actuel·les Mahmoud Abouelatta, Hossein Allahverdizadeh, Mustafa Yücel Cours Applied Electromagnetics for Metamaterial Design MICRO-449 This course provides the students with the appropriate electromagnetics foundation to understand, model and design metamaterials, especially two-dimensional electromagnetic and optical structures such as metasurfaces. This course covers concepts that apply to both the microwave and optical regimes. Ingénierie optique (pour

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 (34)

Régression linéaire et dorsale

Couvre la régression linéaire et de crête, le surajustement, les hyperparamètres et les ensembles d'essai.

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.

Analyse des réseaux : méthodes et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les méthodes d'analyse des réseaux, les concepts opérationnels, les applications historiques et les défis liés au traitement du temps au sein des réseaux.

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.