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.
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In the case of infinite words, the value of a run is naturally computed as the ma ...
We describe a decision procedure for a logic that supports 1) finite collections of elements (sets or multisets), 2) the cardinality operator, 3) a total order relation on elements, and 4) min and max operators on entire collections. Among the applications ...
A general approach for structural interpretation of local disorder in partially ordered solids is proposed, combining high-resolution two-dimensional (2D) nuclear magnetic resonance (NMR) and first principles calculations. We show that small chemical shift ...
We study GaN-based light emitting diodes incorporating an omnidirectional photonic crystal with Archimedean lattice. Photonic bands are observed over several Brillouin zones, revealing reciprocal space symmetries and evidencing the omnidirectionality of th ...
We report detailed neutron scattering studies on Ba2Cu3O4Cl2. The compound consists of two interpenetrating sublattices of Cu, labeled as Cu-A and Cu-B, each of which forms a square-lattice Heisenberg antiferromagnet. The two sublattices order at different ...
We characterize the transition structure at the Si(100)-SiO2 interface by addressing the inverse ion-scattering problem. We achieve sensitivity to Si displacements at the interface by carrying out ion-scattering measurements in the channeling geometry for ...