Concept
Integer (computer science)
Related publications (46)
On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022Paths in pseudorandom graphs and applications
Let G = (V, E) be an (n, d, lambda)-graph. In this paper, we give an asymptotically tight condition on the size of U subset of V such that the number of paths of length k in U is close to the expected number for arbitrary integer k >= 1. More precisely, we ...
CHARLES BABBAGE RES CTR2020New Results in Integer and Lattice Programming
An integer program (IP) is a problem of the form , where , , , and is a separable convex objective function.
The problem o ...
EPFL2020Loops in AdS: from the spectral representation to position space
We compute a family of scalar loop diagrams in AdS. We use the spectral representation to derive various bulk vertex/propagator identities, and these identities enable to reduce certain loop bubble diagrams to lower loop diagrams, and often to tree- level ...
2020Proximity Results and Faster Algorithms for Integer Programming Using the Steinitz Lemma
We consider integer programming problems in standard form max{c(T)x : Ax = b, x >= 0, x is an element of Z(n)} where A is an element of Z(mxn), b is an element of Z(m), and c is an element of Z(n). We show that such an integer program can be solved in time ...
ASSOC COMPUTING MACHINERY2020Verified Functional Programming
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
EPFL2019Role of higher order plasmonic modes in one-dimensional nanogratings
Ershad Mohammadi, Foziyeh Sohrabi
By theoretically investigating the optical behavior of one-dimensional gold nanogratings using Fourier Modal Method, we have shown that both integer and non-integer multiples of surface plasmon polariton wavelengths should be taken into consideration in sp ...
SPRINGER2019Proximity results and faster algorithms for Integer Programming using the Steinitz Lemma
We consider integer programming problems in standard form max{c(T)x : Ax = b; x >= 0, x is an element of Z(n)} where A is an element of Z(mxn), b is an element of Z(m) and c is an element of Z(n). We show that such an integer program can be solved in time ...
ASSOC COMPUTING MACHINERY2018Faster Algorithms for Integer Programs with Block Structure
Friedrich Eisenbrand, Kim-Manuel Klein, Christoph Hunkenschröder
We consider integer programming problems max {c^Tx : A x = b, l
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2018Robust 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