DFT plus U-type functional derived to explicitly address the flat plane condition
Graph Chatbot
Chat with Graph Search
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.
In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...
We present a verification procedure for pure higher-order functional Scala programs with parametric types. We show that our procedure is sound for proofs, as well as sound and complete for counter-examples. The procedure reduces the analysis of higher-orde ...
The development and implementation of increasingly accurate methods for electronic structure calculations mean that, for many atomistic simulation problems, treating light nuclei as classical particles is now one of the most serious approximations. Even th ...
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 ...
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 ...
The core structures of < c + a > edge and screw dislocations in Mg are computed using density functional theory (DFT). Both types dissociate into two 1/2 < c + a > partials on the second-order pyramidal planes. These DFT results are then allowed to relax w ...
We present the foundations of a verifier for higher-order functional programs with generics and recursive algebraic data types. Our ver- ifier supports finding sound proofs and counterexamples even in the presence of certain quantified invariants and recur ...
Among the various logical components of a phasor measurement unit (PMU), the synchrophasor estimation (SE) algorithm definitely represents the core one. Its choice is driven by two main factors: its accuracy in steady state and dynamic conditions as well a ...
The Institution of Engineering and Technology - IET2015
The excited state properties of transition metal complexes have become a central focus of research owing to a wide range of possible applications that seek to exploit their luminescence properties. Herein, we use density functional theory (DFT), time-depen ...
Hydrocarbon chains are important intermediates in various aqueous-phase surface processes, such as CO2 electroreduction, aqueous Fischer-Tropsch synthesis, and aqueous phase reforming of biomass-derived molecules. Further, the interaction between water and ...