[HTML][HTML] Quasi-interpolation projectors for box splines

T Lyche, C Manni, P Sablonniere - Journal of Computational and Applied …, 2008 - Elsevier
We consider box spline quasi-interpolants based on local linear functionals of point evaluator
and integral type. The approximations are easy to compute, and reproduce the whole …

[PDF][PDF] Safety Analysis of Hybrid Systems with SpaceEx

G Frehse, A Donzé, S Cotton, R Ray, O Lebeltel… - CMACS …, 2011 - cmacs.cs.cmu.edu
… Constraints Vertices Zonotopes Support F. … Constraints Vertices Zonotopes Support F. …

Real versus complex null space properties for sparse vector recovery

S Foucart, R Gribonval - Comptes Rendus Mathematique, 2010 - Elsevier
We identify and solve an overlooked problem about the characterization of underdetermined
systems of linear equations for which sparse solutions have minimal ℓ 1 -norm. This …

[BOOK][B] Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings

M Egerstedt, B Mishra - 2008 - books.google.com
This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation
and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24, 2008. The annual …

Relations among conditional probabilities

J Morton - arXiv preprint arXiv:0808.1149, 2008 - arxiv.org
We describe a Groebner basis of relations among conditional probabilities in a discrete
probability space, with any set of conditioned-upon events. They may be specialized to the …

Triangulations of and Tropical Oriented Matroids

H Yoo, S Oh - Discrete Mathematics & Theoretical Computer …, 2011 - dmtcs.episciences.org
… Unimodular oriented matroids are in bijection with mixed subdivisions of a zonotope, where
any edge used in the summand is an edge of ∆d−1. There happens to be a natural class of …

Développement d'un système robotique pour la radiologie interventionnelle sous IRM

S Abdelaziz - 2012 - tel.archives-ouvertes.fr
… La distance di représente la distance entre la facette i du zonotope et … zonotope est formé
par l’intersection de k hyperplans. La distance di , avec i ∈ [1, k], entre la facette i du zonotope

Green scheduling for energy-efficient operation of multiple chiller plants

M Behl, TX Nghiem… - 2012 IEEE 33rd Real-Time …, 2012 - ieeexplore.ieee.org
… For wide classes of system dynamics, these reach sets can be computed or approximated
efficiently both in discrete time and continuous time, using polytopes ellipsoids zonotopes

Complexity of phylogenetic networks: counting cubes in median graphs and related problems

M Kovše - Analysis of complex networks: From Biology to …, 2009 - Wiley Online Library
We survey various results on counting hypercubes and related problems. Since median
graphs are built in a very special way from hypercubes, the number of hypercubes of different …

Proving the correctness of the implementation of a control-command algorithm

O Bouissou - International Static Analysis Symposium, 2009 - Springer
In this article, we study the interactions between a control-command program and its physical
environment via sensors and actuators. We are interested in finding invariants on the …