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.
Spectroscopic, photochemical and biological properties of indocyanine green (ICG) are presented. Light over 800 nm is effectively absorbed by ICG. This property as well as photochemical behaviour of ICG make it a very suitable dye for photodynamic treatmen ...
Polish Academy of Sciences / Acta Biochimica Polonica2002
We will develop and implement new algorithms for constraint solving and apply them to construct two classes of tools: 1) bug finding and verification tools building on tools such as Java PathFinder and Jahob; 2) tools for deep semantic analysis of texts co ...
We study charmless B+ meson decays to the p Lambda pi(+)pi(-) final state using a 605 fb(-1) data sample collected at the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric-energy e(+)e(-) collider. There are significant signals found wit ...
We present the first verification of full functional correctness for a range of linked data structure implementations, including mutable lists, trees, graphs, and hash tables. Specifically, we present the use of the Jahob verification system to verify form ...
Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming. We give a new operational semantics of join calculus, expressed as a reduction system with a single reduction rule similar to ...
Foundational work on programming has been based traditionally on some variant of lambda calculus. This approach, while ideally suited to sequential programming, is increasingly at odds with modern programs which are reactive in their interfaces and concurr ...
We present theoretical and experimental results on the application of the two-lambda method for prolonged readout of holographic memories to shift multiplexing implemented with a spherical-wave reference beam. ...
The authors report room temperature polariton lasing at lambda similar to 345 nm in a hybrid AlInN/AlGaN multiple quantum well microcavity (MQW-MC) containing a GaN/AlGaN MQW active region, i.e., the achievement under nonresonant optical excitation of cohe ...
Drop-calorimetry measurements performed on CaTiO3 perovskite between 400 and 1800 K have shown the occurrence of two overlapping phase transitions at 1384 and 1520 K. The 1384 K transition shows a lambda-type C(p) variation with a very sharp C(p) decrease ...
