Graph Theory Meets Ab Initio Molecular Dynamics: Atomic Structures and Transformations at the Nanoscale
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.
A formalized theory of alpha-conversion for the pi-calculus in Isabelle/HOL is presented. Following a recent proposal by Gabbay and Pitts, substitutions are modelled in terms of permutations, and alpha-equivalence is defined over all but finitely many name ...
An incompressible variational ideal ballooning mode equation is discretized with the COOL finite element discretization scheme using basis functions composed of variable order Legendre polynomials. This reduces the second order ordinary differential equati ...
Quantum state-resolved sticking coefficients on Pt(111) and Ni(111) surfaces have been measured for CH4 excited to the first overtone of the antisymmetric C-H stretch (2ν3) at well defined kinetic energies in the range of 10-90 kJ/mol. The ground state rea ...
The potential energy surfaces of the desulfinylation of prop-2-enesulfinic acid (13) in CH2Cl2 solution at -15 degrees C have been explored by quantum calculations and analyzed with kinetic data obtained for the reaction in absence or presence of additives ...
We have performed a direct measurement of one of the most fundamental thermochemical values: the O-H bond energy in water. Using a triple-resonance laser excitation scheme, we excite the molecule through a series of vibrational overtone transitions to acce ...
We investigate the question when a cyclic code is maximum distance separable (MDS). For codes of (co-)dimension 3, this question is related to permutation properties of the polynomial (xb - 1)/(x - 1) for a certain b. Using results on these polynomials we ...
The biophysical properties of the interaction between fibronectin and its membrane receptor were inferred from adhesion tests on living cells. Individual fibroblasts were maintained on fibronectin-coated glass for short time periods (1-16 s) using optical ...
We have measured the rovibrational levels in the electronic ground state of the water molecule at the previously inaccessible energies above 26000 cm-1. The use of laser double-resonance overtone excitation combined with laser-induced fluorescence (LIF) ph ...
As more and more genomes are sequenced, evolutionary biologists are becoming increasingly interested in evolution at the level of whole genomes, in scenarios in which the genome evolves through insertions, deletions, and movements of genes along its chromo ...
Silicon dioxide (SiO2) films grown on silicon monocrystal (Si) substrates form the gate oxides in current Si-based microelectronics devices. The understanding at the atomic scale of both the silicon oxidation process and the properties of the Si(100)-SiO2 ...
