Priority scheduling of distributed systems based on model checking
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.
Here we look at incorporating development education into classroom life and professional practice by examining the issue of teachers who teach development education but who do not have a strong knowledge base in global development issues. Where will they l ...
Social technologies are leading to transformations in education, by empowering the way learners connect to each other, by introducing new means for teaching and learning and by reshaping the way knowledge is delivered. Annotating texts is a learning strate ...
We consider the transfer learning scenario, where the learner does not have access to the source domain directly, but rather operates on the basis of hypotheses induced from it - the Hypothesis Transfer Learning (HTL) problem. Particularly, we conduct a th ...
Inertial measurement units (IMUs) offer great opportunities to analyze segmental and joints kinematics. When combined with another motion capture system (MCS), for example, to validate new IMU-based applications or to develop mixed systems, it is necessary ...
One of the main objectives of the alignment of Business and IT in both small and large organizations is to improve the chances for an IT department to provide services that result in business success. An essential phase for this alignment is the definition ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011
In speckle interferometry (SI), temporal signals are amplitude- and frequency-modulated signals and exhibit a fluctuating background. Prior to phase computation, this background intensity must be eliminated. Here our approach is to build a complex signal f ...
Research on conflict prevention has mainly focused on the causes of war and post-conflict reconstruction. Our knowledge on how civilians manage to contain violence in unstable and conflict environments is, however, very limited. This article aims to unders ...
Aircraft Electric Power Systems (EPS) route power from generators to vital avionic loads by configuring a set of electronic control switches denoted as contactors. In this paper, we address the problem of designing a hierarchical optimal control strategy f ...
Unions of graph Fourier multipliers are an important class of linear operators for processing signals defined on graphs. We present a novel method to efficiently distribute the application of these operators to the high-dimensional signals collected by sen ...
In the paper at hand, we study how the young Swiss republic in the late 19th century, which was in a political situation that objected to direct intervention and was deeply skeptical with regard to a centralized state in general, found a way to manifest it ...
