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.
Multimedia coding technology, after about 20 years of active research, has delivered a rich variety of different and complex coding algorithms. Selecting an appropriate subset of these algorithms would, in principle, enable a designer to produce the codec ...
The process of verifying that a program conforms to its specification is often hampered by errors in both the program and the specification. A runtime checker that can evaluate formal specifications can be useful for quickly identifying such errors. This p ...
Airline schedules are rarely performed as planned because of irregularities such as delays, unpredicted maintenances or bad weather conditions. Recover from a disrupted schedule as quickly as possible is a hard and high priority problem for practitioners: ...
Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simplified and abstract model of the system which is then moved by applying a series of model improvements toward implementation. ...
The main problem encountered in pulmonary artery banding is the difficulty in determining the optimal perimeter of the band, and sometime repeated surgical operations are required to adjust the band perimeter in order to control the pulmonary blood flow. T ...
In contrast to beta-testing, formal verification can guarantee correctness of a program against a specification. Two basic verification techniques are theorem proving and model checking. Both have strengths and weaknesses. Theorem proving is powerful, but ...
Group communication is the basic infrastructure for implementing fault-tolerant replicated servers. While group communication is well understood in the context of static groups (in which the membership does not change), current specifications of dynamic ...
Recent developments in discrete choice modelling have enabled the specification of models that can accomodate inter-alternative correlation and inter-agent taste heterogeneity. Nevertheless, to date, these two phenomena tend to have been addressed independ ...
Recent developments in discrete choice modelling have enabled the specification of models that can accomodate inter-alternative correlation and inter-agent taste heterogeneity. Nevertheless, to date, these two phenomena tend to have been addressed independ ...
Visual modeling languages propose specialized diagrams to represent behaviour and concepts necessary to specify IT systems. As a result, to understand a specification, the modeller needs to analyze these two types of diagrams and, often, additional stateme ...
