Publications related to Purely inseparable extension

A Model of Synaptic Reconsolidation

Wulfram Gerstner, Tilo Schwalger, Lorric Ziegler, David Barak Kastner

Reconsolidation of memories has mostly been studied at the behavioral and molecular level. Here, we put forward a simple extension of existing computational models of synaptic consolidation to capture hippocampal slice experiments that have been interprete ...

Frontiers Research Foundation2016

Structure Tensor Total Variation

Michaël Unser, Stamatios Lefkimmiatis

We introduce a novel generic energy functional that we employ to solve inverse imaging problems within a variational framework. The proposed regularization family, termed as structure tensor total variation (STV), penalizes the eigenvalues of the structure ...

SIAM2015

MATHICSE Technical Report : Efficient model reduction of parametrized systems by matrix discrete empirical interpolation

Andrea Manzoni, Federico Negri

In this work, we apply a Matrix version of the so-called Discrete Empirical Interpolation (MDEIM) for the efficient reduction of nonaffine parametrized systems arising from the discretization of linear partial differential equations. Dealing with affinely ...

MATHICSE2015

Efficient model reduction of parametrized systems by matrix discrete empirical interpolation

Andrea Manzoni, Federico Negri

In this work, we apply a Matrix version of the so-called Discrete Empirical Interpolation (MDEIM) for the efficient reduction of nonaffine parametrized systems arising from the discretization of linear partial differential equations. Dealing with affinely ...

Elsevier2015

An efficient deterministic test for Kloosterman sum zeros

Robert Granger

We propose a simple deterministic test for deciding whether or not a non-zero element

a \in \mathbb{F}_{2^n}

or

\mathbb{F}_{3^n}

is a zero of the corresponding Kloosterman sum over these fields, and analyse its complexity. The test seems to have been o ...

American Mathematical Society2014

Stochastic MPC framework for controlling the average constraint violation

Colin Neil Jones, Milan Korda

This paper considers linear discrete-time systems with additive, bounded, disturbances subject to hard control input bounds and a stochastic constraint on the amount of state-constraint violation averaged over time. The amount of violations is quantified b ...

Institute of Electrical and Electronics Engineers2014

Tree Interpolation in Vampire

Régis William Blanc, Laura Ildiko Kovacs, Ashutosh Gupta

We describe new extensions of the Vampire theorem prover for computing tree interpolants. These extensions generalize Craig interpolation in Vampire, and can also be used to derive sequence interpolants. We evaluated our implementation on a large number of ...

Springer Berlin Heidelberg2013

Splitting fields of conics and sums of squares of rational functions

David Maximilian Grimm

Given a geometrically unirational variety over an infinite base field, we show that every finite separable extension of the base field that splits the variety is the residue field of a closed point. As an application, we obtain a characterization of functi ...

Springer-Verlag2013

Convex Generalizations of Total Variation Based on the Structure Tensor with Applications to Inverse Problems

Michaël Unser, Stamatios Lefkimmiatis

We introduce a generic convex energy functional that is suitable for both grayscale and vector-valued images. Our functional is based on the eigenvalues of the structure tensor, therefore it penalizes image variation at every point by taking into account t ...

Springer2013

User Behavior Under the Influence of Groups in Social Media

Lionel Jérémie Martin

Social Media are at the heart of our communications and are among the most visited places on the web. Their user-generated content allows the gathering of immensely many information that cannot be processed entirely by the users. Thus it is of interest to ...

2013

Purely inseparable extension

Graph Chatbot

Chat with Graph Search

A Model of Synaptic Reconsolidation

Structure Tensor Total Variation

MATHICSE Technical Report : Efficient model reduction of parametrized systems by matrix discrete empirical interpolation

Efficient model reduction of parametrized systems by matrix discrete empirical interpolation

An efficient deterministic test for Kloosterman sum zeros

Stochastic MPC framework for controlling the average constraint violation

Tree Interpolation in Vampire

Splitting fields of conics and sums of squares of rational functions

Convex Generalizations of Total Variation Based on the Structure Tensor with Applications to Inverse Problems

User Behavior Under the Influence of Groups in Social Media

A Model of Synaptic Reconsolidation

Structure Tensor Total Variation

MATHICSE Technical Report : Efficient model reduction of parametrized systems by matrix discrete empirical interpolation

Efficient model reduction of parametrized systems by matrix discrete empirical interpolation

An efficient deterministic test for Kloosterman sum zeros

Stochastic MPC framework for controlling the average constraint violation

Splitting fields of conics and sums of squares of rational functions

Tree Interpolation in Vampire

Convex Generalizations of Total Variation Based on the Structure Tensor with Applications to Inverse Problems

User Behavior Under the Influence of Groups in Social Media