On a graph property generalizing planarity and flatness

H van der Holst, R Pendavingh - Combinatorica, 2009 - Springer
We introduce a topological graph parameter σ(G), defined for any graph G. This parameter
characterizes subgraphs of paths, outerplanar graphs, planar graphs, and graphs that have a …

[PDF][PDF] Introduction to Optimization with Exact Arithmetic

K Fukuda - 2009 - Citeseer
… From the zonotope construction to the Minkowski addition of convex polytopes. Journal of
Symbolic Computation, 38(4):1261–1272, 2004. [10] K. …

ALGEBRAIC SOLUTION OF MODELS WITH A QUICK THRUST BY MEANS OF A COMPUTER ALGEBRA SYSTEM

M Legua, I Morales, LS RUIZ - İstanbul Aydın Üniversitesi Dergisi - dergipark.org.tr
Quick thrusts or pushes do appear in a number of engineering situations which are usually
modeled by means of delta generalizad functions. Some of these may be properly …

Strategic algorithms

EV Nikolova - 2009 - dspace.mit.edu
(cont.) In short, this thesis contributes new algorithms and their underlying theory at the interface
of optimization, uncertainty and economics. Although the interplay of these disciplines is …

The sphere by itself: can we distribute points on it evenly?

M Berger - Geometry Revealed, 2010 - Springer
As we shall see throughout this chapter, the geometry of the “ordinary sphere” S 2 – two
dimensional in a space of three dimensions – harbors many pitfalls. It’s much more subtle than …

Fault-detection relying on set-membership techniques for an atomic force microscope

V Reppa, A Tzes - IFAC Proceedings Volumes, 2009 - Elsevier
The objective of this article is the detection of tip-fractures as faults in the normal operation
of an Atomic Force Microscope (AFM), where the system's characteristics (damping, tip-radius…

New computation aspects for the Interval Kalman Filtering

J Xiong, C Jauberthie, LTM Jauberthie - IFAC Proceedings Volumes, 2012 - Elsevier
In this paper, we consider Filtering of discrete time linear models with bounded uncertainties
on parameters and measurement noise modeled by gaussian distribution. This work is …

Hybrid modeling for set-membership state estimation with uncertain nonlinear continuous-time systems

N Meslem, N Ramdani, Y Candau - Informatics in Control, Automation and …, 2009 - Springer
This work is about state estimation in the bounded error context for non linear continuous
time systems. The main idea is to seek to estimate not an optimal value for the unknown state …

[PDF][PDF] Comparing perfect and voronoi decompositions: the matroidal locus

M Melo, F Viviani - arXiv preprint arXiv:1106.3291, 2011 - researchgate.net
We compare two rational polyhedral admissible decompositions of the cone of positive
definite quadratic forms: the perfect cone decomposition and the Voronoi decomposition. We …

[BOOK][B] Reachability Problems

I Potapov, J Ouaknine, J Worrell - 2010 - Springer
This volume contains the papers presented at the 8th International Workshop on Reachability
Problems (RP 2014) held during September 22–24, 2014, at the Department of Computer …