Advantageous State Merging During Symbolic Analysis

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 valorisation of the plant biopolymer lignin is now recognised as essential to enabling the economic viability of the lignocellulosic biorefining industry. In this context, the "lignin-first" biorefining approach, in which lignin valorisation is conside ...

Soft pneumatic actuators (SPAs) are highly desirable for interactive robotics applications owing to their unconventional properties like high compliance, safe human-machine interaction and adaptable design space. The SPA dynamic behaviour is governed by pn ...

This chapter addresses the alignment of educational robotics (ER) tools with classroom activities. To this end, it first introduces a conceptualization of ER activities describing the relevant cognitive artifacts and the learning theories underlying such a ...

We are interested in a reduced order method for the efficient simulation of blood flow in arteries. The blood dynamics is modeled by means of the incompressible Navier–Stokes equations. Our algorithm is based on an approximated domain-decomposition of the ...

We investigate the regularity of the free boundary for the Signorini problem in Rn+1. It is known that regular points are (n−1)-dimensional and C∞. However, even for C∞ obstacles φ, the set of non-regular (or degenerate) points could be very large—e.g. wit ...

Four Electron Cyclotron Heating Upper Launchers (ECHUL) will be used at ITER to counteract magneto-hydrodynamic plasma instabilities by targeting them with up to 20 MW of mm-wave power at 170 GHz. The millimeter waves are guided through a set of fixed mirr ...

Grading student SQL queries manually is a tedious and error-prone process. Earlier work on testing correctness of student SQL queries, such as the XData system, can be used to test the correctness of a student query. However, in case a student query is fou ...

In this paper we study stationary graphs for functionals of geometric nature defined on currents or varifolds. The point of view we adopt is the one of differential inclusions, introduced in this context in the recent papers (De Lellis et al. in Geometric ...

With the increasing capabilities of the microelectronics technology, future particle detectors in high energy physics will be able to yield high-level features that are not only simple geometrical positions or energy measurement in the silicon sensors used ...

Atmospheric clusters play a key role in atmospheric new particle formation and they are a sensitive indicator for atmospheric chemistry. Both the formation and loss of atmospheric clusters include a complex set of interlinked physical and chemical processe ...

Theoretical and computational approaches to the study of materials and molecules have, over the last few decades, progressed at an exponential rate. Yet, the possibility of producing numerical predictions that are on par with experimental measurements is t ...

A new set of analytical formulae for calculating the bootstrap current and the neoclassical conductivity in tokamak experiments is presented. Previous works comparing the widely used Sauter model with results of recently developed numerical neoclassical so ...

Advantageous State Merging During Symbolic Analysis

Chat with Graph Search

Guidelines for performing lignin-first biorefining

Flow Path Optimization for Soft Pneumatic Actuators: Towards Optimal Performance and Portability

Aligning the Design of Educational Robotics Tools With Classroom Activities

Model order reduction of flow based on a modular geometrical approximation of blood vessels

Free Boundary Regularity for Almost Every Solution to the Signorini Problem

Design optimization of the Upper Steering Mirror Assembly (USMA) for ITER ECHUL in view of disruptive events

Edit Based Grading of SQL Queries

On the constancy theorem for anisotropic energies through differential inclusions

Development of a Data Concentrator ASIC for the High Luminosity upgrade of the CMS Outer Tracker detector with tracking trigger

Towards a concentration closure of sub-6 nm aerosol particles and sub-3 nm atmospheric clusters

Physics-enhanced machine learning with symmetry-adapted and long-range representations

A new set of analytical formulae for the computation of the bootstrap current and the neoclassical conductivity in tokamaks