7971 search results - page 153 / 1595 » On unbounded operators and applications |
117
click to vote
WSC
1998
15 years 7 months ago
1998
This paper discusses the concept of validation and proposes a multistage validation framework for traffic simulation models. The framework consists of conceptual validation and op...
165
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Consideration sets provide a standard tool for the exploration of consumer choice. It is appropriate to analyze it as a fuzzy set because not all the brands of a certain category o...
167
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
175
click to vote
SIAMCO
2008
15 years 6 months ago
2008
We consider systems governed by partial differential equations with spatially periodic coefficients over unbounded domains. These spatially periodic systems are considered as pertu...
156
click to vote
SIAMCO
2000
15 years 6 months ago
2000
In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include autonomous and...