Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-12
|
Results: 12
Transfer theorems via sign conditions
Authors:
Koiran, P
Citation:
P. Koiran, Transfer theorems via sign conditions, INF PROCESS, 81(2), 2002, pp. 65-69
Deciding stability and mortality of piecewise affine dynamical systems
Authors:
Blondel, VD Bournez, O Koiran, P Papadimitriou, CH Tsitsiklis, JN
Citation:
Vd. Blondel et al., Deciding stability and mortality of piecewise affine dynamical systems, THEOR COMP, 255(1-2), 2001, pp. 687-696
Back-and-forth systems for generic curves and a decision algorithm for thelimit theory
Authors:
Koiran, P Portier, N
Citation:
P. Koiran et N. Portier, Back-and-forth systems for generic curves and a decision algorithm for thelimit theory, ANN PUR APP, 111(3), 2001, pp. 257-275
The stability of saturated linear dynamical systems is undecidable
Authors:
Blondel, VD Bournez, O Koiran, P Tsitsiklis, JN
Citation:
Vd. Blondel et al., The stability of saturated linear dynamical systems is undecidable, J COMPUT SY, 62(3), 2001, pp. 442-462
Guest editors' preface
Authors:
Dedieu, JP Koiran, P
Citation:
Jp. Dedieu et P. Koiran, Guest editors' preface, J COMPLEX, 16(3), 2000, pp. 528-528
The complexity of local dimensions for constructible sets
Authors:
Koiran, P
Citation:
P. Koiran, The complexity of local dimensions for constructible sets, J COMPLEX, 16(1), 2000, pp. 311-323
On defining irreducibility
Authors:
Koiran, P
Citation:
P. Koiran, On defining irreducibility, CR AC S I, 330(7), 2000, pp. 529-532
Theoretical analysis of real-valued function classes
Authors:
Shawe-Taylor, J Ben-David, S Koiran, P Schapire, R Shawe-Taylor, J
Citation:
J. Shawe-taylor et al., Theoretical analysis of real-valued function classes, NEUROCOMPUT, 29(1-3), 1999, pp. 1-2
The real dimension problem is NPR-complete
Authors:
Koiran, P
Citation:
P. Koiran, The real dimension problem is NPR-complete, J COMPLEX, 15(2), 1999, pp. 227-238
A polynomial time algorithm for diophantine equations in one variable
Authors:
Cucker, F Koiran, P Smale, S
Citation:
F. Cucker et al., A polynomial time algorithm for diophantine equations in one variable, J SYMB COMP, 27(1), 1999, pp. 21-29
Elimination of parameters in the polynomial hierarchy
Authors:
Koiran, P
Citation:
P. Koiran, Elimination of parameters in the polynomial hierarchy, THEOR COMP, 215(1-2), 1999, pp. 289-304
Saturation and stability in the theory of computation over the reals
Authors:
Chapuis, O Koiran, P
Citation:
O. Chapuis et P. Koiran, Saturation and stability in the theory of computation over the reals, ANN PUR APP, 99(1-3), 1999, pp. 1-49
Risultati:
1-12
|