Sciweavers

8582 search results - page 195 / 1717
» Here or There
Sort
View
ENTCS
2008
84views more  ENTCS 2008»
15 years 6 months ago
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
Bart Jacobs
ENTCS
2008
124views more  ENTCS 2008»
15 years 6 months ago
Modular Functional Descriptions
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
Bernhard Schätz
APAL
2006
78views more  APAL 2006»
15 years 6 months ago
Categoricity in abstract elementary classes with no maximal models
CITY IN ABSTRACT ELEMENTARY CLASSES WITH NO MAXIMAL MODELS MONICA VANDIEREN Abstract. The results in this paper are in a context of abstract elementary classes identified by Shelah...
Monica Van Dieren
APPML
2006
79views more  APPML 2006»
15 years 6 months ago
A note on a symmetry analysis and exact solutions of a nonlinear fin equation
A similarity analysis of a nonlinear fin equation has been carried out by M. Pakdemirli and A.Z. Sahin [Similarity analysis of a nonlinear fin equation, Appl. Math. Lett. (2005) (...
Ashfaque H. Bokhari, Abdul Hamid Kara, F. D. Zaman
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
15 years 6 months ago
Barrier certificates for nonlinear model validation
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
Stephen Prajna