Publications related to Discrete mathematics

Semi-implicit BDF time discretization of the Navier–Stokes equations with VMS-LES modeling in a High Performance Computing framework

In this paper, we propose a semi-implicit approach for the time discretization of the Navier–Stokes equations with Variational Multiscale-Large Eddy Simulation turbulence modeling (VMS-LES). For the spatial approximation of the problem, we use the Finite E ...

Elsevier2015

Estimation of pedestrian origin-destination demand in train stations

Michel Bierlaire, Flurin Silvan Hänseler, Nicholas Alan Molyneaux

We present a framework for estimating pedestrian demand within a train station. It takes into account ridership data, and various direct and indirect indicators of demand. Such indicators may include link flow counts, density measurements, survey data, his ...

2015

Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation

Alain Vachoux

The SystemC AMS extensions support heterogeneous modeling and make use of several Models of Computation (MoCs) that operate on different time scales in the Discrete Event (DE), Discrete Time (DT), and Continuous Time (CT) domains. The simulation of such he ...

IEEE Conference Publications2015

The L-1-Potts Functional For Robust Jump-Sparse Reconstruction

Martin Kurt Storath

We investigate the nonsmooth and nonconvex L-1-Potts functional in discrete and continuous time. We show Gamma-convergence of discrete L-1-Potts functionals toward their continuous counterpart and obtain a convergence statement for the corresponding minimi ...

Siam Publications2015

A Tale of Two Quasi-Polynomial Algorithms

Robert Granger

In 2013 the Discrete Logarithm Problem in finite fields of small characteristic enjoyed a rapid series of developments, starting with the heuristic polynomial-time relation generation method due to Gologlu, Granger, McGuire and Zumbragel, and culminating w ...

2015

MATHICSE Technical Report : Semi-implicit BDF time discretization of the Navier-Stokes equations with VMS-LES modeling in a High Performance Computing framework

Luca Dede', Davide Forti

In this paper, we propose a semi–implicit approach for the time discretization of the Navier–Stokes equations with Variational Multiscale–Large Eddy Simulation turbulence modeling (VMS–LES). For the spatial approximation of the problem, we use the Finite E ...

MATHICSE2015

On the discrete logarithm problem in finite fields of fixed characteristic

Robert Granger, Thorsten Kleinjung, Jens Markus Zumbrägel

For

q

a prime power, the discrete logarithm problem (DLP) in

\mathbb{F}_q

consists in finding, for any

g \in \mathbb{F}_{q}^{\times}

and

h \in \langle g \rangle

, an integer

x

such that

g^x = h

. We present an algorithm for computing discrete log ...

2015

Method and apparatus for low complexity spectral analysis of bio-signals

David Atienza Alonso, Andreas Peter Burg, Srinivasan Murali, Georgios Karakonstantis, Aviinaash Sankaranarayanan

A method and device for reducing the computational complexity of a processing algorithm, of a discrete signal, in particular of the spectral estimation and analysis of bio-signals, with minimum or no quality loss, which comprises steps of (a) choosing a do ...

2015

Sub-Nyquist artifacts and sampling moiré effects, Part 2: Spectral-domain analysis

Isaac Amidror

Sampling moiré effects occur due to aliasing (foldover) when a continuous periodic signal g(x) is sampled using a sampling frequency that does not respect the Nyquist condition. However, visible beating artifacts may also occur when g(x) is sampled using s ...

2015

Enforcing Efficient Equilibria in Network Design Games via Subsidies

Christos Kalaitzis

The efficient design of networks has been an important engineering task that involves challenging combinatorial optimization problems. Typically, a network designer has to select among several alternatives which links to establish so that the resulting net ...

Springer Verlag2015

Discrete mathematics

Graph Chatbot

Chat with Graph Search

Semi-implicit BDF time discretization of the Navier–Stokes equations with VMS-LES modeling in a High Performance Computing framework

Estimation of pedestrian origin-destination demand in train stations

Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation

The L-1-Potts Functional For Robust Jump-Sparse Reconstruction

A Tale of Two Quasi-Polynomial Algorithms

MATHICSE Technical Report : Semi-implicit BDF time discretization of the Navier-Stokes equations with VMS-LES modeling in a High Performance Computing framework

On the discrete logarithm problem in finite fields of fixed characteristic

Method and apparatus for low complexity spectral analysis of bio-signals

Sub-Nyquist artifacts and sampling moiré effects, Part 2: Spectral-domain analysis

Enforcing Efficient Equilibria in Network Design Games via Subsidies

A Tale of Two Quasi-Polynomial Algorithms

Enforcing Efficient Equilibria in Network Design Games via Subsidies

Semi-implicit BDF time discretization of the Navier–Stokes equations with VMS-LES modeling in a High Performance Computing framework

Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation

The L-1-Potts Functional For Robust Jump-Sparse Reconstruction

MATHICSE Technical Report : Semi-implicit BDF time discretization of the Navier-Stokes equations with VMS-LES modeling in a High Performance Computing framework

Sub-Nyquist artifacts and sampling moiré effects, Part 2: Spectral-domain analysis

Estimation of pedestrian origin-destination demand in train stations

On the discrete logarithm problem in finite fields of fixed characteristic

Method and apparatus for low complexity spectral analysis of bio-signals