4403 search results - page 356 / 881 » Galois Theory of Algorithms |
166
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
151
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
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...
176
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A novel system, called the oscillator system, consisting of order of p 3 functions (signals) on the finite field p; with p an odd prime, is described and studied. The new functions...
200
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this survey a novel system, called the oscillator system, consisting of order of p3 functions (signals) on the finite field Fp, is described and studied. The new functions are p...
209
click to vote
CCE
2006
15 years 6 months ago
2006
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...