ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems
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 magnet feeders are part of the critical systems of a fusion reactor since they represent the interface between the in-cryostat components at 4.5 K and the room-temperature cryogenic plant and power supply. The European DEMO tokamak foresees 16 toroidal ...
Industrial information integration engineering (IIIE) is an interdisciplinary field to facilitate the industrial information integration process. In the age of complex and large-scale systems, model-based systems engineering (MBSE) is widely adopted in ind ...
The global construction industry contributes to 37% of carbon emissions associated to both building operations and construction. To help achieve the net-zero targets set by 2050, it is mandated to achieve a 50% reduction in carbon emissions by 2030. As we ...
Volume electron microscopy is the method of choice for the in situ interrogation of cellular ultrastructure at the nanometer scale, and with the increase in large raw image datasets generated, improving computational strategies for image segmentation and s ...
The pyroresistive response of conductive polymer composites (CPCs) has attracted much interest because of its potential applications in many electronic devices requiring a significant responsiveness to changes in external physical parameters such as temper ...
The design and discovery of potential novel materials is critical for the advancement of climate change mitigation technologies. In this respect, metal-organic frameworks (MOFs) have received considerable attention over the last two decades. The combinatio ...
In algorithms for solving optimization problems constrained to a smooth manifold, retractions are a well-established tool to ensure that the iterates stay on the manifold. More recently, it has been demonstrated that retractions are a useful concept for ot ...
The paper details the process of developing the ITER Plasma Control System (PCS), that is, how to design and deploy it systematically, in the most efficient and effective manner. The integrated nature of the ITER PCS, with its multitude of coupled control ...
Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...
Modern control synthesis methods rely on accurate models to derive a performant controller. Obtaining a good model is often a costly step, and has led to a renewed interest in data-driven synthesis methods. Frequency-response-based synthesis methods have b ...