2233 search results - page 235 / 447 » Modular type classes |
123
click to vote
MOC
1998
15 years 6 months ago
1998
Abstract. In seeking suitable Runge-Kutta methods for differential algebraic equations, we consider singly-implicit methods to which are appended diagonally-implicit stages. Metho...
194
click to vote
PE
2010
Springer
15 years 4 months ago
2010
Springer
—In this paper we describe a framework for the optimal control of delay tolerant mobile ad hoc networks where multiple classes of nodes co-exist. We specialize the description of...
136
click to vote
ICMS
2010
15 years 4 months ago
2010
We announce the development and implementation of a new GAP package PCQL. This facilitates the computation of consistent polycyclic presentations for polycyclic quotients of groups...
128
click to vote
JSYML
2011
15 years 1 months ago
2011
Abstract. We give an affirmative answer to Brendle’s and Hruˇs´ak’s question of whether the club principle together with h > ℵ1 is consistent. We work with a class of ax...
188
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...