Publications related to Pairs of majority-decomposing functions

Stable parameterization of continuous and piecewise-linear functions

Michaël Unser, Alexis Marie Frederic Goujon, Joaquim Gonçalves Garcia Barreto Campos

Rectified-linear-unit (ReLU) neural networks, which play a prominent role in deep learning, generate continuous and piecewise-linear (CPWL) functions. While they provide a powerful parametric representation, the mapping between the parameter and function s ...

2023

Debates on the dorsomedial prefrontal/dorsal anterior cingulate cortex: insights for future research

Nicolas Clairis

The dorsomedial prefrontal cortex/dorsal anterior cingulate cortex (dmPFC/dACC) is a brain area subject to many theories and debates over its function(s). Even its precise anatomical borders are subject to much controversy. In the past decades, the dmPFC/d ...

Oxford2023

Derivative voltammetry: a simple tool to probe reaction selectivity in photoelectrochemical cells

Kevin Sivula, Florent Alexandre Boudoire, Nukorn Plainpan

We demonstrate the use of the derivative voltammogram method to predict the selectivity of the photo-driven oxidation of 5-hydroxymethylfurfural (HMF) on a WO3 photoanode as a function of applied potential using only information obtained from the linear sw ...

2022

Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost

Adam Teodor Polak

We study the basic problem of assigning memoryless workers to tasks with dynamically changing demands. Given a set of w workers and a multiset T ⊆ [t] of |T| = w tasks, a memoryless worker-task assignment function is any function ϕ that assigns the workers ...

Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik2022

A New Channel-Base Lightning Current Formula With Analytically Adjustable Parameters

Farhad Rachidi-Haeri

The article provides a new channel-based current function, which aims at faithfully reproducing the salient parameters of lightning currents. All the model parameters can be set in a fully analytical way, guaranteeing the possibility of changing them (acco ...

2021

A Spectral Algorithm for 3-valued Function Equivalence Classification

Mathias Soeken

Spectral techniques for Boolean and multiple-valued functions have been well studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This ...

OLD CITY PUBLISHING INC2020

New insights on Drosophila antimicrobial peptide function in host defense and beyond

Bruno Lemaitre, Mark Austin Hanson

Since the first animal antimicrobial peptides (AMPs) were discovered in insects, Drosophila melanogaster has emerged as a powerful model for their characterization. Drosophila AMPs have been used extensively to monitor the activity of the Toll and Imd NF-κ ...

2019

Discrete least-squares approximations over optimized downward closed polynomial spaces in arbitrary dimension

Fabio Nobile, Giovanni Migliorati

We analyze the accuracy of the discrete least-squares approximation of a function

u

in multivariate polynomial spaces

P_\Lambda:=span\{y\mapsto y^\nu \,: \, \nu\in \Lambda\}

with

\Lambda\subset N_0^d

over the domain

\Gamma:=[-1,1]^d

, based on the s ...

2017

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

Serge Vaudenay

Threshold implementations allow to implement circuits us- ing secret sharing in a way to thwart side-channel attacks based on prob- ing or power analysis. It was proven they resist to attacks based on glitches as well. In this report, we show the limitatio ...

Springer Int Publishing Ag2016

BDD Minimization for Approximate Computing

Mathias Soeken, Arun Chandrasekharan

We present Approximate BDD Minimization (ABM) as a problem that has application in approximate computing. Given a BDD representation of a multi-output Boolean function, ABM asks whether there exists another function that has a smaller BDD representa ...

IEEE2016

Pairs of majority-decomposing functions

Graph Chatbot

Chat with Graph Search

Stable parameterization of continuous and piecewise-linear functions

Debates on the dorsomedial prefrontal/dorsal anterior cingulate cortex: insights for future research

Derivative voltammetry: a simple tool to probe reaction selectivity in photoelectrochemical cells

Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost

A New Channel-Base Lightning Current Formula With Analytically Adjustable Parameters

A Spectral Algorithm for 3-valued Function Equivalence Classification

New insights on Drosophila antimicrobial peptide function in host defense and beyond

Discrete least-squares approximations over optimized downward closed polynomial spaces in arbitrary dimension

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

BDD Minimization for Approximate Computing

Discrete least-squares approximations over optimized downward closed polynomial spaces in arbitrary dimension

A Spectral Algorithm for 3-valued Function Equivalence Classification

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

Debates on the dorsomedial prefrontal/dorsal anterior cingulate cortex: insights for future research

New insights on Drosophila antimicrobial peptide function in host defense and beyond

Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost

A New Channel-Base Lightning Current Formula With Analytically Adjustable Parameters

Derivative voltammetry: a simple tool to probe reaction selectivity in photoelectrochemical cells

Stable parameterization of continuous and piecewise-linear functions

BDD Minimization for Approximate Computing