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.
Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...
Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...
A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. In particular, objects can contain type members, which can be selected as ...
Statically typed languages verify programs at compile-time. As a result many programming mistakes are detected at an early stage of development. A programmer does not have to specify types for every single term manually, however. Many programming languages ...
Social buttons are now widespread in social media apps. They are used to assign weight to user content and trigger user engagement. They come in different shapes (e.g., thumb in Facebook, arrows in Reddit or StackOverflow, plus one in Google+) but very lit ...
Scala's type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...
In this thesis we study calculus of variations for differential forms. In the first part we develop the framework of direct methods of calculus of variations in the context of minimization problems for functionals of one or several differential forms of th ...
Luminance ratios have historically been used to assess glare. Using data from a previous experiment, this exploratory study investigates the relationship between luminance variations in the field of view (FOV), measured as luminance ratios, and glare sensa ...
Double emulsion drops are well-suited templates to produce capsules whose dimensions can be conveniently tuned by adjusting those of the drops. To closely control the release kinetics of encapsulants, the composition and thickness of the capsule shell must ...
Bi2Se3 has recently attracted a lot of attention because it has been reported to be a platform for the realization of three-dimensional topological insulators. Due to this exotic characteristic, it supports excitations of a two-dimensional electron gas at ...
