Sciweavers

10910 search results - page 9 / 2182
» Input modeling using a computer algebra system
Sort
View
78
Voted
CORR
2011
Springer
174views Education» more  CORR 2011»
14 years 4 months ago
Left invertibility of discrete-time output-quantized systems: the linear case with finite inputs
This paper studies left invertibility of discrete-time linear output-quantized systems. Quantized outputs are generated according to a given partition of the state-space, while inp...
Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi
APIN
1998
98views more  APIN 1998»
14 years 9 months ago
The Evolution of Concurrent Programs
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
Brian J. Ross
BIOCOMP
2006
14 years 11 months ago
Basic Reproductive Rate of a Spatial Epidemic Seir Model using Computer Algebra Software
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
Sebastian Guzmán, Juan Fernando Ospina
AMC
2010
114views more  AMC 2010»
14 years 9 months ago
Witness sets of projections
Elimination is a basic algebraic operation which geometrically corresponds to projections. This article describes using the numerical algebraic geometric concept of witness sets t...
Jonathan D. Hauenstein, Andrew J. Sommese
TCOS
2008
14 years 9 months ago
On Contemporary Denotational Mathematics for Computational Intelligence
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
Yingxu Wang