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 new method for measuring shape rectangularity is introduced. The new shape measure is invariant with respect to similarity transformations, ranges over the interval (0,1] and picks the value 1 if and only if the measured shape is a rectangle. The measure ...
Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current too ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011
The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bounded protocols with freshness check is shown to be NEXPTIME-complete. Relating ...
Gällivare is a remote city in the middle of the northern Swedish wilderness. The city was established as iron ore was found in the ground just over a century ago. Until the 60's the mining industry and the city grew together in what seemed to be a perfect ...
Acoustic tomography aims at recovering the unknown parameters that describe a field of interest by studying the physical characteristics of sound propagating through the considered field. The tomographic approach is appealing in that it is non-invasive and ...
ABSTRACT: Thin ultra high performance fibre reinforced concretes overlays are suitable for rehabilitation of structures thanks to their enhanced properties. However, in such composite structures, restrained differential shrinkage cracking is an important c ...
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerful tool for supporting business interactions, once heterogeneities have been s ...
This paper addresses the problem of streaming packetized media over a lossy packet network, with sender-driven (re)transmission using acknowledgement feedback. The different transmission scenarios associated to a group of interdependent media data units ar ...
The learning center concept is based on a new vision centered on the need for a convergence of human, information, knowledge, educational resources and a relevant part of information and collaborative technologies. This vision is founded on the new student ...
Sound or acoustic tomography is a type of inverse problem. The idea of estimating physical quantities that influence sound propagation by measuring the parameters of sound propagation has proven to be successful in several practical domains, including medi ...
