Publications related to Mapping Monotone Boolean Functions into Majority

Size effect on punching shear strength: differences and analogies with shear in one-way slabs

Size effect has been theoretically and experimentally acknowledged as a phenomenon influencing the shear and punching shear strength of concrete structures, with reducing unitary shear strength for increasing member sizes. For members failing in shear, as ...

2016

Data Reconciliation in Open Reaction Systems using the Concept of Extents

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

Kinetic models of chemical reaction systems are typically represented in terms of state variables, such as concentrations, temperature and partial pressures [1]. These state variables in turn depend on the underlying reactions, transfer phenomena, and tran ...

2015

Majority logic synthesis

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

A method for optimizing an implementation of a logic circuit, comprising steps of providing an interpretation of the logic circuit in terms of 3 Boolean variable majority operators M, with each of the majority operators being a function of a plurality of v ...

2015

Boolean Logic Optimization in Majority-Inverter Graphs

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

We present a Boolean logic optimization framework based on Majority-Inverter Graph (MIG). An MIG is a directed acyclic graph consisting of three-input majority nodes and regular/complemented edges. Current MIG optimization is supported by a consiste ...

2015

Enumeration-based approach to solving parametric linear complementarity problems

Colin Neil Jones

This paper presents a solution method for parametric linear complementarity problems (PLCP) that relies on an enumeration technique to discover all feasible bases. The enumeration procedure is based on evaluating all possible combinations of active constra ...

Elsevier2015

A constraint sampling approach for multi-stage robust optimization

Daniel Kuhn

We propose a tractable approximation scheme for convex (not necessarily linear) multi-stage robust optimization problems. We approximate the adaptive decisions by finite linear combinations of prescribed basis functions and demonstrate how one can optimize ...

Elsevier2012

NURBS-Based BEM Implementation of High-Order Surface Impedance Boundary Conditions

Annalisa Buffa, Rafael Vazquez Hernandez

When implementing high-order surface impedance boundary conditions in collocation boundary element method (BEM) with constant or linear elements, difficulties arise due to the computation of the curvature of the conductors and of the tangential derivatives ...

2012

The Distributed Multiple Voting Problem

Martin Vetterli, Patrick Thiran, Florence Bénézit

A networked set of agents holding binary opinions does not seem to be able to compute its majority opinion by means of local binary interactions only. However, the majority problem can be solved using two or more bits, instead of one [1]. Pairs of agents a ...

2011

Dictionary Identification - Sparse Matrix-Factorisation via $\ell_1$-Minimisation

Rémi Gribonval, Karin Schnass

This article treats the problem of learning a dictionary providing sparse representations for a given signal class, via

\ell_1

-minimisation. The problem can also be seen as factorising a

\ddim \times \nsig

matrix $Y=(y_1 \ldots y_\nsig), , y_n\in \R^\ ...

Institute of Electrical and Electronics Engineers2010

An output-sensitive algorithm for multi-parametric LCPs with sufficient matrices

Colin Neil Jones

This paper considers the multi-parametric linear complementarity problem (pLCP) with sufficient matrices. The main result is an algorithm to find a polyhedral decomposition of the set of feasible parameters and to construct a piecewise affine function that ...

2009

Mapping Monotone Boolean Functions into Majority

Graph Chatbot

Chat with Graph Search

Size effect on punching shear strength: differences and analogies with shear in one-way slabs

Data Reconciliation in Open Reaction Systems using the Concept of Extents

Majority logic synthesis

Boolean Logic Optimization in Majority-Inverter Graphs

Enumeration-based approach to solving parametric linear complementarity problems

A constraint sampling approach for multi-stage robust optimization

NURBS-Based BEM Implementation of High-Order Surface Impedance Boundary Conditions

The Distributed Multiple Voting Problem

Dictionary Identification - Sparse Matrix-Factorisation via $\ell_1$-Minimisation

An output-sensitive algorithm for multi-parametric LCPs with sufficient matrices

Boolean Logic Optimization in Majority-Inverter Graphs

NURBS-Based BEM Implementation of High-Order Surface Impedance Boundary Conditions

Majority logic synthesis

Size effect on punching shear strength: differences and analogies with shear in one-way slabs

Data Reconciliation in Open Reaction Systems using the Concept of Extents

Dictionary Identification - Sparse Matrix-Factorisation via $\ell_1$-Minimisation

Enumeration-based approach to solving parametric linear complementarity problems

A constraint sampling approach for multi-stage robust optimization

The Distributed Multiple Voting Problem

An output-sensitive algorithm for multi-parametric LCPs with sufficient matrices