Publications related to Symmetric difference

Stabilized isogeometric discretizations on trimmed and union geometries, and weak imposition of the boundary conditions for the Darcy flow

Modern manufacturing engineering is based on a ``design-through-analysis'' workflow. According to this paradigm, a prototype is first designed with Computer-aided-design (CAD) software and then finalized by simulating its physical behavior, which usually i ...

EPFL2022

On arithmetic progressions in symmetric sets in finite field model

Jan Hazla

We consider two problems regarding arithmetic progressions in symmetric sets in the finite field (product space) model. First, we show that a symmetric set S subset of Z(q)(n) containing vertical bar S vertical bar = mu . q(n) elements must contain at leas ...

ELECTRONIC JOURNAL OF COMBINATORICS2020

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Eleonora Testa

Logic synthesis is a key component of digital design and modern EDA tools; it is thus an essential instrument for the design of leading-edge chips and to push the limits of their performance. In the last decades, the electronic circuits community has evolv ...

EPFL2020

Scalable Boolean Methods in a Modem Synthesis Flow

Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Eleonora Testa

With the continuous push to improve Quality of Results (QoR) in EDA, Boolean methods in logic synthesis have been recently drawing the attention of researchers. Boolean methods achieve better QoR than algebraic methods but require higher computational cost ...

IEEE2019

Accounting for Observational Uncertainty in Forecast Verification: An Information-Theoretical View on Forecasts, Observations, and Truth

Steven Vincent Weijs, Nicolaas Cornelis van de Giesen

Recently, an information-theoretical decomposition of Kullback–Leibler divergence into uncertainty, reliability, and resolution was introduced. In this article, this decomposition is generalized to the case where the observation is uncertain. Along with a ...

2011

Experimental mapping of the spatial and angular emission patterns in photonic crystal microcavities

Laurent Balet, Massimo Gurioli

We report on a set of experimental measurements aimed to fully characterize both the spatial and angular pattern of the optical modes of photonic crystal microcavities. By using a confocal microscope we resolve the spatial distribution of the mode on the s ...

2010

Illuminant retrieval for fixed location cameras

Sabine Süsstrunk, Joanna Marguier

Fixed location cameras, such as panoramic cameras or surveillance cameras, are very common. In images taken with these cameras, there will be changes in lighting and dynamic image content, but there will also be constant objects in the background. We propo ...

2008

Parametric integer programming in fixed dimension

Friedrich Eisenbrand, Gennady Shmonin

We consider the following problem: Given a rational matrix

A \in \mathbb{Q}^{m \times n}

and a rational polyhedron

Q \subseteq \mathbb{R}^{m+p}

, decide if for all vectors

b \in \mathbb{R}^m

, for which there exists an integral

z \in \mathbb{Z}^p

suc ...

2008

Efficient secure aggregation in VANETs

Jean-Pierre Hubaux, Maxime Raya, Adel Aziz

In VANETs, better communication efficiency can be achieved by sacrificing security and vice versa. But VANETs cannot get started without either of them. In this paper, we propose a set of mechanisms that can actually reconcile these two contradictory requi ...

2006

Symmetric difference

Graph Chatbot

Chat with Graph Search

Stabilized isogeometric discretizations on trimmed and union geometries, and weak imposition of the boundary conditions for the Darcy flow

On arithmetic progressions in symmetric sets in finite field model

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Scalable Boolean Methods in a Modem Synthesis Flow

Accounting for Observational Uncertainty in Forecast Verification: An Information-Theoretical View on Forecasts, Observations, and Truth

Experimental mapping of the spatial and angular emission patterns in photonic crystal microcavities

Illuminant retrieval for fixed location cameras

Parametric integer programming in fixed dimension

Efficient secure aggregation in VANETs

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Stabilized isogeometric discretizations on trimmed and union geometries, and weak imposition of the boundary conditions for the Darcy flow

Efficient secure aggregation in VANETs

On arithmetic progressions in symmetric sets in finite field model

Accounting for Observational Uncertainty in Forecast Verification: An Information-Theoretical View on Forecasts, Observations, and Truth

Experimental mapping of the spatial and angular emission patterns in photonic crystal microcavities

Scalable Boolean Methods in a Modem Synthesis Flow

Illuminant retrieval for fixed location cameras

Parametric integer programming in fixed dimension