Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Formal grammar

Related publications (27)

Design considerations for implantable and wearable antennas

Anja Skrivervik

This contribution gives a review of our results characterizing the propagation in lossy biological tissues. These results were mainly obtained using a simplified spherical model allowing a description in spherical wave decomposition. This model is of cours ...

IEEE2017

Caradoc: a pragmatic approach to PDF parsing and validation

PDF has become a de facto standard for exchanging electronic documents, for visualization as well as for printing. However, it has also become a common delivery channel for malware, and previous work has highlighted features that lead to security issues. I ...

Ieee2016

A Note on the Expressiveness of BIP

Simon Bliudze, Eduard Baranov

We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms, strong and weak, of the notion of full expressiveness. Our earlier result shows that the BIP (Behaviour-Interaction-Priority) f ...

Open Publ Assoc2016

Simplifying Development and Management of Software-Defined Networks

Peter Peresini

Computer networks are an important part of our life. Yet, they are traditionally hard to manage and operate. The recent shift to Software-Defined Networking (SDN) is promised to change the way in which the networks are run by their operators. However, SDN ...

EPFL2016

A Query Model to Capture Event Pattern Matching in RDF Stream Processing Query Languages

Jean Paul Calbimonte Perez

The current state of the art in RDF Stream Processing (RSP) proposes several models and implementations to combine Semantic Web technologies with Data Stream Management System (DSMS) operators like windows. Meanwhile, only a few solutions combine Semantic ...

Springer Int Publishing Ag2016

Aggregation of Power Capabilities of Heterogeneous Resources for Real-Time Control of Power Grids

Mario Paolone, Jean-Yves Le Boudec, Lorenzo Enrique Reyes Chamorro, Andrey Bernstein, Wajeb Saab

Aggregation of electric resources is a fundamental function for the operation of power grids at different time scales. In the context of a recently proposed framework for the real-time control of microgrids with explicit power setpoints, we define and form ...

Università degli Studi di Genova, Italy2016

Automating Grammar Comparison

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We consider from a practical perspective the problem of checking equivalence of context-free grammars. We present techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalence. Among the key building ...

2015

Related publications (27)