The paper proposes a new translation algorithm that translates a hybrid system described as a discrete hybrid automaton (DHA) into an equivalent piecewise affine (PWA) system. The translation algorithm exploits, among others, a new technique for cell enumeration in hyperplane arrangement, all proposed in this paper. The new translation technique enables the transfer of several analysis and synt...

IP anycast is a commonly used technique to share the load of a variety of global services. For more than one year, leveraging a lightweight technique for IP anycast detection, enumeration and geolocation, we perform regular IP monthly censuses. While this paper provides a brief longitudinal study of the anycast ecosystem, we make all our datasets (raw measurement from PlanetLab and RIPE Atlas),...

In this paper, we enumerate enumeration problems and algorithms. Other useful catalogues for enumeration algorithms are provided by Komei Fukuda and Yasuko Matsui. This survey is under construction. If you know some results not in this survey or there is anything wrong, please let me know.

Polyhedral homotopy continuation is a promising approach to solving large-scale polynomial systems. However, the method faces a computational bottleneck in constructing the homotopy functions because we need to find all mixed cells for polynomial systems. The search for mixed cells can be formulated as a vertex enumeration problem for polyhedra. Among the search methods for solving the problem ...

Fischer provided a new type of binomial determinant for the number alternating sign matrices involving third root unity. In this paper we prove that her formula, when replacing unity by an indeterminate q, actually gives (q?1+2+q)-enumeration matrices. By evaluating generalisation are able to reprove conjecture Mills, Robbins and Rumsey stating Q-enumeration is product two polynomials in Q. Fur...