Publications related to Integer overflow

Robust auction design under multiple priors by linear and integer programming

It is commonly assumed in the optimal auction design literature that valuations of buyers are independently drawn from a unique distribution. In this paper we study auctions under ambiguity, that is, in an environment where valuation distribution is uncert ...

2018

Trading off Energy versus Accuracy in Modern Computing Systems

Jérémy Lucien Maurice Schlachter

The slowdown of Moore's law, which has been the driving force of the electronics industry over the last 5 decades, is causing serious problem to Integrated Circuits (ICs) improvements. Technology scaling is becoming more and more complex and fabrication co ...

EPFL2018

Network Flow Integer Programming to Track Elliptical Cells in Time-Lapse Sequences

Pascal Fua, Engin Türetken, Xinchao Wang, Carlos Joaquin Becker

We propose a novel approach to automatically tracking elliptical cell populations in time-lapse image sequences. Given an initial segmentation, we account for partial occlusions and overlaps by generating an over-complete set of competing detection hypothe ...

2017

On some algebraic and extremal problems in discrete geometry

Seyed Hossein Nassajianmojarrad

In the present thesis, we delve into different extremal and algebraic problems arising from combinatorial geometry. Specifically, we consider the following problems. For any integer

n\ge 3

, we define

e(n)

to be the minimum positive integer such that an ...

EPFL2017

Decomposition of a Cube into Nearly Equal Smaller Cubes

János Pach

Let d be a fixed positive integer and let epsilon > 0. It is shown that for every sufficiently large n >= n(0)( d, e), the d-dimensional unit cube can be decomposed into exactly n smaller cubes such that the ratio of the side length of the largest cube to ...

Mathematical Assoc Amer2017

Solving quantified linear arithmetic by counterexample-guided instantiation

Viktor Kuncak, Andrew Joseph Reynolds

This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive decision procedur ...

2017

Flood frequency matters: Why climate change degrades deep-water quality of peri-alpine lakes

Alfred Johny Wüest

Sediment-laden riverine floods transport large quantities of dissolved oxygen into the receiving deep layers of lakes. Hence, the water quality of deep lakes is strongly influenced by the frequency of riverine floods. Although flood frequency reflects clim ...

Elsevier2016

Reconstructing Curvilinear Networks using Path Classifiers and Integer Programming

Pascal Fua, Engin Türetken, Fethallah Benmansour, Przemyslaw Rafal Glowacki

We propose a novel Bayesian approach to automated delineation of curvilinear structures that form complex and potentially loopy networks. By representing the image data as a graph of potential paths, we first show how to weight these paths using discrimina ...

Institute of Electrical and Electronics Engineers2016

Globally Optimal Cell Tracking using Integer Programming

Pascal Fua, Engin Türetken, Xinchao Wang, Carlos Joaquin Becker

We propose a novel approach to automatically track- ing cell populations in time-lapse images. To account for cell occlusions and overlaps, we introduce a robust method that generates an over-complete set of competing detection hypotheses. We then perform ...

2016

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Mathias Soeken

Formal verification utilizing symbolic computer algebra has demonstrated the ability to formally verify large Galois field arithmetic circuits and basic architectures of integer arithmetic circuits. The technique models the circuit as Gröbner basis polynom ...

IEEE2016

Integer overflow

Graph Chatbot

Chat with Graph Search

Robust auction design under multiple priors by linear and integer programming

Trading off Energy versus Accuracy in Modern Computing Systems

Network Flow Integer Programming to Track Elliptical Cells in Time-Lapse Sequences

On some algebraic and extremal problems in discrete geometry

Decomposition of a Cube into Nearly Equal Smaller Cubes

Solving quantified linear arithmetic by counterexample-guided instantiation

Flood frequency matters: Why climate change degrades deep-water quality of peri-alpine lakes

Reconstructing Curvilinear Networks using Path Classifiers and Integer Programming

Globally Optimal Cell Tracking using Integer Programming

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Trading off Energy versus Accuracy in Modern Computing Systems

Network Flow Integer Programming to Track Elliptical Cells in Time-Lapse Sequences

On some algebraic and extremal problems in discrete geometry

Robust auction design under multiple priors by linear and integer programming

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Globally Optimal Cell Tracking using Integer Programming

Reconstructing Curvilinear Networks using Path Classifiers and Integer Programming

Flood frequency matters: Why climate change degrades deep-water quality of peri-alpine lakes

Solving quantified linear arithmetic by counterexample-guided instantiation

Decomposition of a Cube into Nearly Equal Smaller Cubes