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

Sans titre

Dans cours

PHYS-702: Advanced Quantum Field Theory

The course builds on the course QFT1 and QFT2 and develops in parallel to the course on Gauge Theories and the SM. ...

Enseignant·e·s (5)

Xiang Zhao

Riccardo Rattazzi

Riccardo Rattazzi was born in Novara (Italy) in 1964. He studied physics at the University of Pisa, where he received the Laurea cum laude in 1987, and at the Scuola Normale Superiore where he received the Diploma in Scienze and carried out graduate research in theoretical physics. After having been a post-doctoral research associate at the Lawrence Berkeley Laboratory, at Rutgers University and at CERN, in 1998 Riccardo obtained a permanent research position at the Istituto Nazionale di Fisica Nucleare in Pisa. From 2001 to 2006 he was a staff member at the Theory Division of CERN. In 2006 he was appointed professor of physics at EPFL.

Brando Bellazzini

Alexander Monin

Jiaxin Qiao

Source officielle

https://mediaspace.epfl.ch/media/0_gyo7nn0z

Concepts associés (32)

Programmation par contraintes

La programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).

Tribu (mathématiques)

En mathématiques, une tribu ou σ-algèbre (lire sigma-algèbre) ou plus rarement corps de Borel sur un ensemble X est un ensemble non vide de parties de X, stable par passage au complémentaire et par union dénombrable (donc aussi par intersection dénombrable). Les tribus permettent de définir rigoureusement la notion d'ensemble mesurable. Progressivement formalisées pendant le premier tiers du , les tribus constituent le cadre dans lequel s'est développée la théorie de la mesure.

Constraint logic programming

Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.

Mesure sigma-finie

Soit (X, Σ, μ) un espace mesuré. On dit que la mesure μ est σ-finie lorsqu'il existe un recouvrement dénombrable de X par des sous-ensembles de mesure finie, c'est-à-dire lorsqu'il existe une suite (E) d'éléments de la tribu Σ, tous de mesure finie, avec Mesure finie Mesure de comptage sur un ensemble dénombrable Mesure de Lebesgue. En effet, l'ensemble des intervalles pour tous les nombres entiers est un recouvrement dénombrable de , et chacun des intervalles est de mesure 1.

Isométrie

En géométrie, une isométrie est une transformation, qui conserve les longueurs et les mesures d’angles, délimités par deux demi‐droites ou bien deux demi‐plans. Autrement dit, une isométrie est une similitude particulière, qui reproduit n’importe quelle figure à l’échelle 1. Ce rapport 1 de longueurs s’appelle le rapport de la similitude. Comme une similitude, une isométrie dite directe conserve l’orientation des figures, tandis qu’une isométrie indirecte inverse leur orientation.

Afficher plus

Séances de cours associées (30)

Une conjecture d'Erdös : preuve de Moreira, Richter et Robertson

Présente une courte preuve d'une conjecture d'Erdös, explorant des questions connexes et une preuve détaillée de la proposition.

Approches dynamiques de la théorie spectrale des opérateurs

Explore la théorie ergonomique, les opérateurs spectraux et les facteurs presque périodiques dans les systèmes dynamiques et la théorie spectrale.

Mise à l'échelle et renormalisation en mécanique statistique

Explore l'échelle et la renormalisation en mécanique statistique, en mettant l'accent sur les points critiques et les propriétés invariantes.

Processus de détermination des points et extrapolation

Couvre les processus de point déterminant, le sinus-processus et leur extrapolation dans différents espaces.

Dynamique moléculaire sous contraintes

Explore les simulations de dynamique moléculaire sous des contraintes holonomiques, en se concentrant sur l'intégration numérique et la formulation d'algorithmes.

Afficher plus

Concepts associés (32)

Programmation par contraintes

Tribu (mathématiques)

Constraint logic programming

Mesure sigma-finie

Isométrie

Afficher plus