Sciweavers

1449 search results - page 94 / 290
» Finiteness results for sigmoidal
Sort
View
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
15 years 6 months ago
Exact determinations of the maximal output admissible set for a class of nonlinear systems
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
Kenji Hirata, Yoshito Ohta
CORR
2010
Springer
91views Education» more  CORR 2010»
15 years 6 months ago
Simulations of Weighted Tree Automata
Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called f...
Zoltán Ésik, Andreas Maletti
CSDA
2008
112views more  CSDA 2008»
15 years 6 months ago
Robustness of Fourier estimator of integrated volatility in the presence of microstructure noise
The finite sample properties of the Fourier estimator of integrated volatility under market microstructure noise are studied. Analytic expressions for the bias and the mean square...
M. E. Mancino, S. Sanfelici
AAECC
2006
Springer
102views Algorithms» more  AAECC 2006»
15 years 6 months ago
An effective proof of the well-foundedness of the multiset path ordering
The contribution of this paper is an effective proof of the well-foundedness of MPO, as a term of the Calculus of Inductive Constructions. This proof is direct, short and simple. ...
Solange Coupet-Grimal, William Delobel
COMBINATORICA
2006
125views more  COMBINATORICA 2006»
15 years 6 months ago
Coloring Subgraphs of the Rado Graph
Given a universal binary countable homogeneous structure U and n , there is a partition of the induced n-element substructures of U into finitely many classes so that for any par...
Norbert W. Sauer