Publication
Caradoc: a pragmatic approach to PDF parsing and validation
Publications associées (32)
Optimized Data Representation for Interactive Multiview Navigation
Pascal Frossard, Thomas Maugey, Rui Ma
In contrary to traditional media streaming services where a unique media content is delivered to different users, interactive multiview navigation applications enable users to choose their own viewpoints and freely navigate in a three-dimensional scene. Th ...
2018Visualization, Adaptation, and Transformation of Procedural Grammars
Procedural shape grammars are powerful tools for the automatic generation of highly detailed 3D content from a set of descriptive rules. It is easy to encode variations in stochastic and parametric grammars, and an uncountable number of models can be gener ...
EPFL2017Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Viktor Kuncak, Mikaël Mayer, Jad Hamza
Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...
2017Aggregation of Power Capabilities of Heterogeneous Resources for Real-Time Control of Power Grids
Jean-Yves Le Boudec, Mario Paolone, Lorenzo Enrique Reyes Chamorro, Wajeb Saab, Andrey Bernstein
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, Italy2016Reciprocal diagrams: Innovative applications of past theories
The geometric relationships between a structural configuration and its internal force distribution have not received much attention for nearly hundred years. Directly stemming from the most fundamental principles of statics, the underlying theories were br ...
2016Automating 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 ...
2015Automating 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 ...
Assoc Computing Machinery2015Towards Automating Grammar Equivalence Checking
Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan
We consider from practical perspective the (generally undecidable) problem of checking equivalence of context-free grammars. We present both techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalen ...
2015Grammar-based generation of equilibrium structures through graphic statics
This paper proposes a grammar-based structural design methodology using graphic statics. By combining shape grammars with graphic statics, this method enables the designer to: 1) rapidly generate unique, yet functional structures that fall outside of the e ...
IASS2015Marginal Stability in Structural, Spin, and Electron Glasses
We revisit the concept of marginal stability in glasses and determine its range of applicability in the context of an avalanche-type response to slow external driving. We argue that there is an intimate connection between a pseudogap in the distribution of ...
2015