Sagbi bases of Cox–Nagata rings
B Sturmfels, Z Xu - Journal of the European Mathematical Society, 2010 - ems.press
We degenerate Cox–Nagata rings to toric algebras by means of sagbi bases induced by
configurations over the rational function field. For del Pezzo surfaces, this degeneration implies …
configurations over the rational function field. For del Pezzo surfaces, this degeneration implies …
[PDF][PDF] Maximum likelihood estimation in network models
A Rinaldo, S Petrovic, SE Fienberg - arXiv preprint arXiv:1105.6145, 2011 - stat.cmu.edu
We study maximum likelihood estimation for the statistical model for both directed and undirected
random graph models in which the degree sequences are minimal sufficient statistics. …
random graph models in which the degree sequences are minimal sufficient statistics. …
[PDF][PDF] ISSAC 2009 Poster Abstracts
C Bertonea, GCA Galligoa - Issue 169, Volume 43 Number 3, September … - researchgate.net
In symbolic computation, polynomial multiplication is a fundamental operation akin to matrix
multiplication in numerical computation. We present efficient implementation strategies for …
multiplication in numerical computation. We present efficient implementation strategies for …
Méthodes ensemblistes pour une localisation robuste de robots sous-marins
J Sliwka - 2011 - tel.archives-ouvertes.fr
Pour qu'un robot autonome puisse interagir proprement avec son milieu, ce dernier doit
connaitre d'une part l'environnement dans lequel il évolue et d'autre part son état dans cet …
connaitre d'une part l'environnement dans lequel il évolue et d'autre part son état dans cet …
Reliable robust path planner
R Pepy, M Kieffer, E Walter - 2008 IEEE/RSJ International …, 2008 - ieeexplore.ieee.org
This paper addresses the problem of planning paths for a vehicle that are guaranteed to be
safe in the presence of bounded uncertainty on the model of the vehicle, its sensors, and on …
safe in the presence of bounded uncertainty on the model of the vehicle, its sensors, and on …
[PDF][PDF] Lectures on discrete and polyhedral geometry
I Pak - Manuscript (http://www. math. ucla. edu/~ pak/book …, 2010 - math.ucla.edu
The subject of Discrete Geometry and Convex Polytopes has received much attention in recent
decades, with an explosion of the work in the field. This book is an introduction, covering …
decades, with an explosion of the work in the field. This book is an introduction, covering …
Understanding deadlock and livelock behaviors in hybrid control systems
A Abate, A D'Innocenzo, MD Di Benedetto… - … Analysis: Hybrid Systems, 2009 - Elsevier
This paper introduces a formal definition and a categorization of Deadlock and Livelock
behaviors for a general class of deterministic Hybrid Control Systems (HCS), thus extending the …
behaviors for a general class of deterministic Hybrid Control Systems (HCS), thus extending the …
[PDF][PDF] OBSERVATION WITH BOUNDS OF BIOLOGICAL SYSTEMS
F Tadeo, MA Rami - researchgate.net
This paper presents a technique to estimate the states of biological systems that cannot be
directly measured, by using available measurements of other states that affect them. More …
directly measured, by using available measurements of other states that affect them. More …
[PDF][PDF] The active bijection in graphs, hyperplane arrangements, and oriented matroids 1
E Gioan, M Las Vergnas - The fully optimal basis of a bounded region, to appear - lirmm.fr
The present paper is the first in a series of four dealing with a mapping, introduced by the
present authors, from orientations to spanning trees, from regions to simplices in real …
present authors, from orientations to spanning trees, from regions to simplices in real …
Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata
KD Kim, S Mitra, PR Kumar - arXiv preprint arXiv:1205.3426, 2012 - arxiv.org
We define a special class of hybrid automata, called Deterministic and Transversal Linear
Hybrid Automata (DTLHA), whose continuous dynamics in each location are linear time-…
Hybrid Automata (DTLHA), whose continuous dynamics in each location are linear time-…