Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
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 ...
Walter De Gruyter Gmbh2016
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 ...
2017
, , , ,
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 ...
Springer2016
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 ...
Taylor & Francis Ltd2016
,
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 ...
2012
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 ...
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 ...
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 ...
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 ...
