Enhancing OCL for Specifying Pre- and Postconditions
Graph Chatbot
Chat with Graph Search
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.
The full understanding of cellular functions requires information about protein numbers for various biomolecular assemblies and their dynamics, which can be partly accessed by super-resolution fluorescence microscopy. Yet, many protein assemblies and cellu ...
This multidisciplinary research work aims to investigate the optimized information extraction from signals or data volumes and to develop tailored hardware implementations that trade-off the complexity of data acquisition with that of data processing, conc ...
Hand motor impairments are one of the main causes of disabilities worldwide. Rehabilitation procedures like mirror therapy are given crucial importance. In the traditional setup, the patient moves the healthy hand in front of a mirror; the view of the mirr ...
The built environment is facing environmental regulations more ambitious than ever before. In Europe, a law will lead all new buildings to the Nearly Zero-Energy performance level. However, even if a building does not have any energy consumption for its op ...
Contrary to preconceived ideas, the vast majority of older people have the necessary skills to use digital tools. Although they do not like to rely solely on digital solutions, they are willing to use digital tools to enhance their lives – but have specifi ...
The Pictorial Usability Inventory (PUI) is an image-based instrument that was designed for the assessment of perceived usability of smartphone apps. The aim was to provide users with an easy and intuitive access to the evaluation of perceived usability. PU ...
How are different measures of user experience (UX) related to each other? And does it differ if a technological device is used for work or leisure with regard to UX? In the present study, the influence of context factors (i.e. usage domain) on the outcomes ...
Social robotic assistants have been widely studied and deployed as telepresence tools or caregivers. Evaluating their design and impact on the people interacting with them is of prime importance. In this research, we evaluate the usability and impact of AR ...
Over the last decade, the use of wearable exoskeletons for human locomotion assistance has become more feasible. The VariLeg powered lower limb robotic exoskeleton is an example of such systems, potentially enabling paraplegic users to perform upright acti ...
Over a third of the world's population owns a smartphone. As generic computing devices that support a large and heterogeneous collection of mobile applications (apps), smartphones provide a plethora of functionalities and services to billions of users. B ...
