Publications related to Normal form (abstract rewriting)

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

We present a quasilinear time algorithm to decide the word problem on a natural algebraic structures we call orthocomplemented bisemilattices, a subtheory of boolean algebra. We use as a base a variation of Hopcroft, Ullman and Aho algorithm for tree isomo ...

Springer2022

On the probability distribution of the local times of diagonally operator-self-similar Gaussian fields with stationary increments

Thomas Mountford, Kamran Kalbasi

In this paper, we study the local times of vector-valued Gaussian fields that are 'diagonally operator-selfsimilar' and whose increments are stationary. Denoting the local time of such a Gaussian field around the spatial origin and over the temporal unit h ...

INT STATISTICAL INST2020

Structural Rewriting in XOR-Majority Graphs

Giovanni De Micheli, Mathias Soeken, Zhufei Chu

In this paper, we present a structural rewriting method for a recently proposed XOR-Majority graph (XMG), which has exclusive-OR (XOR), majority-of-three (MAJ), and inverters as primitives. XMGs are an extension of Majority-Inverter Graphs (MIGs). Previous ...

ASSOC COMPUTING MACHINERY2019

Benchmark of gyrokinetic, kinetic MHD and gyrofluid codes for the linear calculation of fast particle driven TAE dynamics

Wilfred Anthony Cooper, Alberto Bottino

Fast particles in fusion plasmas may drive Alfven modes unstable leading to fluctuations of the internal electromagnetic fields and potential loss of particles. Such instabilities can have an impact on the performance and the wall-load of machines with bur ...

2018

Modification of SOL profiles and fluctuations with line-average density and divertor flux expansion in TCV

Holger Reimerdes, Benoît Labit, Christian Gabriel Theiler, Nicola Vianello, Cedric Kar-Wai Tsui, Kevin Henricus Annemarie Verhaegh, Wouter Vijvers

A set of Ohmic density ramp experiments addressing the role of parallel connection length in modifying scrape off layer (SOL) properties has been performed on the TCV tokamak. The parallel connection length has been modified by varying the poloidal flux ex ...

2017

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...

ACM2017

Moment Semantics for Reversible Rule-Based Systems

Sandro Stucki

We develop a notion of stochastic rewriting over marked graphs – i.e. directed multigraphs with degree constraints. The approach is based on double-pushout (DPO) graph rewriting. Marked graphs are expressive enough to internalize the ‘no-dangling-edge’ con ...

Springer International Publishing2015

X-point Position Dependence of Edge Intrinsic Toroidal Rotation on TCV

Olivier Sauter, Basil Duval, Holger Reimerdes, Benoît Labit, Alexander Karpushov, Wouter Vijvers

Recent theoretical work predicts intrinsic toroidal rotation in the tokamak edge to depend strongly on the normalized major radial position of the X-point. With this motivation, we conducted a series of Ohmic L-mode shots on the Tokamak a Configuration Var ...

American Institute of Physics2015

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.

Normal form (abstract rewriting)

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Highly Efficient Activation of HCl Dissociation on Au(111) via Rotational Preexcitation

On the probability distribution of the local times of diagonally operator-self-similar Gaussian fields with stationary increments

Structural Rewriting in XOR-Majority Graphs

Benchmark of gyrokinetic, kinetic MHD and gyrofluid codes for the linear calculation of fast particle driven TAE dynamics

Higher-Order Subtyping with Type Intervals

Modification of SOL profiles and fluctuations with line-average density and divertor flux expansion in TCV

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Moment Semantics for Reversible Rule-Based Systems

X-point Position Dependence of Edge Intrinsic Toroidal Rotation on TCV

Graph Chatbot

Chat with Graph Search

Modification of SOL profiles and fluctuations with line-average density and divertor flux expansion in TCV

Higher-Order Subtyping with Type Intervals

Structural Rewriting in XOR-Majority Graphs

On the probability distribution of the local times of diagonally operator-self-similar Gaussian fields with stationary increments

Highly Efficient Activation of HCl Dissociation on Au(111) via Rotational Preexcitation

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Benchmark of gyrokinetic, kinetic MHD and gyrofluid codes for the linear calculation of fast particle driven TAE dynamics

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Moment Semantics for Reversible Rule-Based Systems

X-point Position Dependence of Edge Intrinsic Toroidal Rotation on TCV