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.
Satisfiability modulo theories (SMT) solvers that support quantifier instantiations via matching triggers can be programmed to give practical support for user-defined theories. Care must be taken to avoid so-called matching loops, which may prevent termina ...
It is known that a Green's function-type condition may be used to derive rates for approximation by radial basis functions (RBFs). In this paper, we introduce a method for obtaining rates for approximation by functions which can be convolved with a finite ...
As shown by Michel and Ramakrishnan (2007) and later generalized by Feigon and Whitehouse (2008), there are "stable" formulas for the average central L-value of the Rankin-Selberg convolutions of some holomorphic forms of fixed even weight and large level ...
We study the Gowers uniformity norms of functions over Z/pZ which are trace functions of l-adic sheaves. On the one hand, we establish a strong inverse theorem for these functions, and on the other hand this gives many explicit examples of functions with G ...
The ‘deep/surface approach to learning’ framework is widely used in higher education. Its perceived strength is that it is regarded as having two functions: both being (1) a useful metaphor for development of teaching and learning in higher education and ( ...
A complete and automatized strategy has been developed to derive the Vector and Scalar Potential Green’s Functions (GFs) of planar multilayered structures that include conductive sheets. The propagator matrix technique is enhanced to include conductive she ...
Let f, g be two closed k-forms over R-n. The pullback equation studies the existence of a diffeomorphism phi : R-n -> R-n such that phi*(g) = f. We prove two types of results. The first one sharpens some of the existing regularity results. The second one d ...
Owing to its imidazole side chain, histidine participates in various processes such as enzyme catalysis, pH regulation, metal binding, and phosphorylation. The determination of exchange rates of labile protons for such a system is important for understandi ...
This deliverable specifies the utility metrics that are considered and used in the scope of the OpenIoT project. These utility metrics are recorded as part of the implementation of the Utility Manager component of the OpenIoT platform, while they have also ...
We generalize the local renormalization group (RG) equation to theories with chiral anomalies. We find that a new anomaly is required by the Wess-Zumino consistency conditions. Taking into account the new anomaly, the trace of the energy momentum tensor is ...
