We provide an expository account of Furstenberg’s ergodic theoretic proof of Szemerédi’s
theorem, which states that every subset of the integers with positive upper density contains …

Hello, my name is Jan SLIWKA and I am an engineer specialized in embedded systems
and automatics. I got my engineer diploma at ENSTA-Bretagne (Previously ENSIETA), an …

Toric topology emerged in the end of the 1990s on the borders of equivariant topology, algebraic
and symplectic geometry, combinatorics and commutative algebra. It has quickly grown …

Some important properties of the chromatic polynomial also hold for any polynomial set
map satisfying p S ( x + y ) = ∑ T ⊎ U = S p T ( x ) p U ( y ) . Using umbral calculus, we give a …

… Verification of uncertain embedded systems by computing reachable sets based on
zonotopes. In Proc. of the 17th IFAC World Congress (accepted), 2008a. …

… matroids of rank k + 1 are closely related to arrangements of pseudo-hyperplanes in Rk [152,
650], and zonotopes in Rd correspond to hyperplane arrangements in Rd−1 [288, 759]. …

We present abstraction techniques that transform a given non-linear dynamical system into
a linear system, such that, invariant properties of the resulting linear abstraction can be used …

The minimum distances of toric codes has been studied extensively for various forms of
polytopes. In [2], the authors determine bounds for the minimum distance of toric codes for some …

Analog circuit design is traditionally done by expert designers in an ad hoc manner heavily
dependent on simulation. This methodology has worked successfully for many years, but …

Many important geometric reasoning problems are characterized by the interdependence of
configurations (spatial positions and orientations) of moving parts. Examples of such …