329 search results - page 25 / 66 » A note on the Hopf-Stiefel function |
JGO
2008
13 years 8 months ago
2008
When dealing with convex functions defined on a normed vector space X the biconjugate is usually considered with respect to the dual system (X, X ), that is, as a function defined...
ITA
2007
13 years 8 months ago
2007
This note is about functions f : Aω → Bω whose graph is recognized by a B¨uchi finite automaton on the product alphabet A × B. These functions are Baire class 2 in the Bair...
CTW
2006
13 years 8 months ago
2006
We discuss the human role in hydropower system control, noting how it is different from other supervisory control environments and the typical shortcomings in current displays pro...
AFP
1995
Springer
14 years 6 days ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
APSCC
2008
IEEE
13 years 10 months ago
2008
IEEE
Although social informatics has been a subject of systematic analytical and critical research for more than three decades, previous research has rarely noted the importance of soc...