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.
dotty is a new, experimental Scala compiler based on DOT, the calculus of Dependent Object Types. Higher-kinded types are a natural extension of first-order lambda calculus, and have been a core construct of Haskell and Scala. As long as such types are jus ...
Formal verification utilizing symbolic computer algebra has demonstrated the ability to formally verify large Galois field arithmetic circuits and basic architectures of integer arithmetic circuits. The technique models the circuit as Gröbner basis polynom ...
Collaborative learning has often been associated with the construction of a shared understanding of the situation at hand. The psycholinguistics mechanisms at work while establishing common grounds are the object of scientific controversy. We postulate tha ...
We explore the constraining power of OPE associativity in 4D conformal field theory with a continuous global symmetry group. We give a general analysis of crossing symmetry constraints in the 4-point function , where phi is ...
We propose a new type-theoretic foundation of Scala and languages like it: the Dependent Object Types (DOT) calculus. DOT models Scala’s path-dependent types, abstract type members and its mixture of nominal and structural typing through the use of refineme ...
Ext-int. one affine functions are functions affine in the direction of one-divisible exterior forms with respect to the exterior product in one variable and with respect to the interior product in the other. The purpose of this article is to prove a charac ...
Motivated by the work of Kupershmidt (J. Nonlin. Math. Phys. 6 (1998), 222 -245) we discuss the occurrence of left symmetry in a generalized Virasoro algebra. The multiplication rule is defined, which is necessary and sufficient for this algebra to be quas ...
The thesis represents an investigation into Conformal Field Theories (CFT's) in arbitrary dimensions. We propose an innovative method to extract informations about CFT's in a quantitative way. Studying the crossing symmetry of the four point function of sc ...
This paper presents two methods to compute scale anomaly coefficients in conformal field theories (CFTs), such as the c anomaly in four dimensions, in terms of the CFT data. We first use Euclidean position space to show that the anomaly coefficient of a fo ...