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.
Conventional formworks for concrete curved shells either are expensive, complex and wasteful or have formal restrictions. Using tile vaults (also known as timbrel, Guastavino, thin-tile or Catalan vaults) as stay-in-place formwork for concrete shells could ...
We construct a measure on the thick points of a Brownian loop soup in a bounded domain DD of the plane with given intensity theta>0θ>0, which is formally obtained by exponentiating the square root of its occupation field. The measure is construct ...
We present a formal theory of a behavioral L-system and describe as application a real time structured L-system interpreter. The behavioral L-system is a timed, conditional, stochastic, parametric and environmentally sensitive L-system which allows besides ...
In previous articles (di Lenardo et al, 2016; Seguin et al, 2016), we explored how efficient visual search engines operating not on the basis of textual metadata but directly through visual queries, could fundamen- tally change the navigation in large data ...
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally describe correct behavior or errors is a major barrier to the widespread ado ...
