Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Entier (informatique)

Publications associées (23)

New Results in the Theory of Linear and Integer Programming

Nicolai Hähnle

The polynomial Hirsch conjecture states that the vertex-edge diameter of a d-dimensional polyhedron with n facets is bounded by a polynomial in d and n. For the special case where the polyhedron is defined as the set of points satisfying a system Ax ≤ b of ...

EPFL2012

Functional Performance Analysis and Optimization for the High-Frequency Magnetic Diagnostic System in ITER - II: Detailed Overview of the Analysis Method and of the Test Calculations

Jonathan Bryan Lister, Duccio Testa, Jean-Marc Moret, René Chavan, Matthieu Toussaint

The measurement performance of the baseline system design for the ITER high-frequency magnetic diagnostic system and attempts at its optimization have been performed using an innovative method based on the sparse representation of signals and the minimizat ...

American Nuclear Society2009

Proving non-termination

The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of verification tools. While this is well-understood in safety verification, th ...

2008