1805 search results - page 47 / 361 » A Theory of Closure Operators |
127
click to vote
APPML
2011
14 years 11 months ago
2011
We propose a general method to obtain the representation of solutions for linear fractional order differential equations based on the theory of (a, k)-regularized families of oper...
141
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
128
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
106
click to vote
ANOR
2010
15 years 4 months ago
2010
Abstract In this paper we provide a survey of recent contributions to robust portfolio strategies from operations research and finance to the theory of portfolio selection. Our sur...
128
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...